(document 0.6 ( (filename "/hdb1/home/mj/tex/ga/5-mst/mst-bez.vrr") (name "Untitled 1")) (
 (page ( (tex_footer "\\bye
") (tex_header "\\nopagenumbers\\vglue0pt
") (name "mst-bez")) (
 (segment (coords 55.0 0.0) (coords 85.0 5.0) ( (id 139921032) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 9.56808471679688 -3.3770956993103) (coords 39.5680847167969 1.6229043006897) ( (id 141851192) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (segment (start 139921032) (coords 61.899829864502 8.02024841308594) ( (id 142305800) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (start 139921032) (coords 64.0984802246094 -6.17874097824097) ( (id 141063560) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (end 139921032) (coords 77.2473602294922 9.32690334320068) 0.0 0.0 ( (id 139920264) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (segment (start 141851192) (coords 13.8247928619385 8.56311798095703) ( (id 141820488) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 142305800) (coords 68.7596282958984 11.9402141571045) ( (id 138177920) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 142305800) (coords 68.0560607910156 5.66826820373535) ( (id 141025232) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 141063560) (coords 70.7823867797852 -3.65254044532776) ( (id 140770232) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 139920264 0.956207811832428 ( (id 143471240) (name "noname")))
 (parametric-point 139920264 0.051079947501421 ( (id 137435616) (name "noname")))
 (parametric-point 139920264 0.2211654484272 ( (id 141951528) (name "noname")))
 (segment (end 141820488) (coords 23.0591354370117 3.77204895019531) ( (id 140996488) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 141025232 0.961217284202576 ( (id 139922952) (name "noname")))
 (parametric-point 140770232 1.0 ( (id 139919112) (name "noname")))
 (segment (end 140996488) (coords 29.5680847167969 11.6229038238525) ( (id 139902256) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (top-level-group ( (name "top-level-group")) (
 (tex-text (coords 84.0925369262695 9.94756507873535) "$\\overline M$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 56.6093902587891 7.87868785858154) "$M$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 22.2004871368408 8.85867881774902) "$M$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 69.3615646362305 0.474311709403992) "$e$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 87.5004501342773 3.30539703369141) "$y$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 53.311408996582 -2.57455062866211) "$x$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 24.838846206665 -3.22787666320801) "$e$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 40.5592269897461 -0.723455905914307) "$y$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (tex-text (coords 8.78870964050293 -5.73229932785034) "$x$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 138177920) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 250)) (invisible #f) (name "noname")))
 (decorator-point (start 138177920) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 141025232) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 141063560) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139921032) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 140770232) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (start 141063560) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 141951528
 (segment (center 139919112) (center 141951528) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 139919112 137435616
 (segment (center 139922952) (center 137435616) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 139922952 143471240
 (segment (end 138177920) (center 143471240) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 139920264 140770232 141063560 141025232 138177920 142305800
 (decorator-point (end 141851192) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 139902256) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 140996488) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (start 140996488) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (start 141820488) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 139902256) (end 141851192) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 139902256 140996488 141820488 139921032 141851192
 (path ( (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")) ())))))))