(document 0.6 ( (filename "/hdb1/home/mj/tex/ga/1-toky/vertex-split.vrr") (name "Untitled 1")) (
 (page ( (tex_footer "\\bye
") (tex_header "\\nopagenumbers\\vglue0pt
") (name "vertex-split")) (
 (segment (coords 14.9999961853027 0.0) (coords 19.9999961853027 0.0) ( (id 136601920) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 44.9999961853027 0.0) (coords 54.9999961853027 -5.0) ( (id 136540528) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (point (coords 34.9999847412109 0.0) ( (id 136538784) (invisible #f) (name "noname")))
 (point (coords -2.86102294921875e-6 0.0) ( (id 136718336) (invisible #f) (name "noname")))
 (parametric-point 136540528 0.0278844702988863 ( (id 136718048) (name "noname")))
 (parametric-point 136540528 0.0 ( (id 136532904) (name "noname")))
 (segment (coords 24.9999961853027 5.0) (point 136538784) ( (id 136540168) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 24.9999961853027 0.0) (point 136538784) ( (id 136599048) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords -10.0000028610229 0.0) (point 136718336) ( (id 136540752) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords -10.0000028610229 5.0) (point 136718336) ( (id 136608296) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136599048 1.0 ( (id 136037496) (name "noname")))
 (segment (coords 24.9999961853027 -5.0) (end 136599048) ( (id 136715144) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (center 136037496) (center 136532904) ( (id 136538568) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 136538568) (coords 54.9999961853027 5.0) ( (id 136608008) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (top-level-group ( (name "top-level-group")) (
 (tex-text (center 136718048) "$v^-$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.5) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (center 136037496) "$v^+$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.5) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (point 136718336) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.5) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-arrow 136538568 0.699999988079071 2.0 0.0 ( (back-distance 0.699999988079071) (front-curvature 0.5) (arrow-angle 1.0) (arrow-back (arrow-back poly)) (arrow-front (arrow-front parabolic)) (arrow-alignment (arrow-alignment back)) (reversed #f) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-arrow 136715144 0.600000023841858 2.0 0.0 ( (back-distance 0.699999988079071) (front-curvature 0.5) (arrow-angle 1.0) (arrow-back (arrow-back poly)) (arrow-front (arrow-front parabolic)) (arrow-alignment (arrow-alignment back)) (reversed #f) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-arrow 136599048 0.600000023841858 2.0 0.0 ( (back-distance 0.699999988079071) (front-curvature 0.5) (arrow-angle 1.0) (arrow-back (arrow-back poly)) (arrow-front (arrow-front parabolic)) (arrow-alignment (arrow-alignment back)) (reversed #f) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-arrow 136540168 0.600000023841858 2.0 0.0 ( (back-distance 0.699999988079071) (front-curvature 0.5) (arrow-angle 1.0) (arrow-back (arrow-back poly)) (arrow-front (arrow-front parabolic)) (arrow-alignment (arrow-alignment back)) (reversed #f) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-arrow 136540528 0.699999988079071 2.0 0.0 ( (back-distance 0.699999988079071) (front-curvature 0.5) (arrow-angle 1.0) (arrow-back (arrow-back poly)) (arrow-front (arrow-front parabolic)) (arrow-alignment (arrow-alignment back)) (reversed #f) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-arrow 136608008 0.699999988079071 2.0 0.0 ( (back-distance 0.699999988079071) (front-curvature 0.5) (arrow-angle 1.0) (arrow-back (arrow-back poly)) (arrow-front (arrow-front parabolic)) (arrow-alignment (arrow-alignment back)) (reversed #f) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (center 136718048) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136538568 0.988735973834991 ( (name "noname"))) 136532904 136538568 136037496 136718048
 (decorator-arrow 136601920 0.99101322889328 2.0 0.0 ( (back-distance 0.699999988079071) (front-curvature 0.5) (arrow-angle 1.0) (arrow-back (arrow-back poly)) (arrow-front (arrow-front parabolic)) (arrow-alignment (arrow-alignment back)) (reversed #f) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136601920 136540528 136608008 136715144 136540168 136599048
 (decorator-point (point 136538784) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136538784
 (segment (end 136540752) (coords 9.99999713897705 -5.0) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 136608296) (coords 9.99999713897705 5.0) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords -10.0000028610229 -5.0) (end 136540752) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136608296 136540752
 (decorator-point (point 136718336) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136718336))))))