2 (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/1-toky/vertex-split.vrr") (name "Untitled 1")) (
3 (page ( (tex_footer "\\bye
4 ") (tex_header "\\nopagenumbers\\vglue0pt
5 ") (name "vertex-split")) (
6 (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")))
7 (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")))
8 (point (coords 34.9999847412109 0.0) ( (id 136538784) (invisible #f) (name "noname")))
9 (point (coords -2.86102294921875e-6 0.0) ( (id 136718336) (invisible #f) (name "noname")))
10 (parametric-point 136540528 0.0278844702988863 ( (id 136718048) (name "noname")))
11 (parametric-point 136540528 0.0 ( (id 136532904) (name "noname")))
12 (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")))
13 (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")))
14 (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")))
15 (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")))
16 (parametric-point 136599048 1.0 ( (id 136037496) (name "noname")))
17 (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")))
18 (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")))
19 (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")))
20 (top-level-group ( (name "top-level-group")) (
21 (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")))
22 (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")))
23 (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")))
24 (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")))
25 (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")))
26 (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")))
27 (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")))
28 (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")))
29 (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")))
30 (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")))
31 (parametric-point 136538568 0.988735973834991 ( (name "noname"))) 136532904 136538568 136037496 136718048
32 (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
33 (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
34 (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")))
35 (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")))
36 (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
37 (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))))))