(document 0.6 ( (filename "/aux/mj/tree/vrr/run/planar1.vrr") (name "Untitled 1")) (
 (page ( (tex_footer "\\bye
") (tex_header "\\nopagenumbers\\vglue0pt
") (name "planar1")) (
 (ellipse-by-3-points-smallest (coords 7.24144411087036 -2.91753172874451) (coords 11.3628816604614 -19.4032821655273) (coords 3.1200065612793 -19.4032821655273) ( (id 137799432) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (ellipse-by-3-points-smallest (coords -9.24430656433105 -2.91753172874451) (coords -9.24430656433105 -19.4032821655273) (coords -20.3402061462402 -17.2139759063721) ( (id 137799656) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (parametric-point 137799432 0.504456698894501 ( (id 137801096) (name "noname")))
 (parametric-point 137799432 0.501741051673889 ( (id 137800888) (name "noname")))
 (parametric-point 137799656 0.509517669677734 ( (id 137801000) (name "noname")))
 (parametric-point 137799656 0.309220433235168 ( (id 137801608) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (coords 3.1200065612793 -31.7675952911377) (center 137800888) 1.04719948768616 0.970000028610229 ( (id 137802008) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (ellipse-by-3-points-smallest (center 137801000) (coords -12.2213039398193 -39.9838485717773) (coords -21.4678325653076 -39.6487731933594) ( (id 137802808) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (ellipse-by-3-points-smallest (center 137801608) (coords -25.7300567626953 -19.4032821655273) (coords -25.7300567626953 -11.1604070663452) ( (id 137803672) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (parametric-point 137802008 0.991182506084442 ( (id 137803896) (name "noname")))
 (parametric-point 137802008 0.526112914085388 ( (id 137803384) (name "noname")))
 (parametric-point 137802808 0.239055275917053 ( (id 137804536) (name "noname")))
 (parametric-point 137802808 0.335623443126678 ( (id 139088976) (name "noname")))
 (parametric-point 137803672 0.474132269620895 ( (id 137803512) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (coords 11.3628816604614 -31.7675952911377) (center 137803896) 2.09439945220947 0.970000028610229 ( (id 137804680) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (cubic-bezier (center 137804536) 1.0 (coords -42.3163871765137 -18.2405490875244) 1.0 (coords -33.1149635314941 6.3314642906189) 1.0 (coords -1.00143110752106 5.3253436088562) 1.0 ( (id 137805832) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (parametric-point 137804680 0.738825857639313 ( (id 137805696) (name "noname")))
 (top-level-group ( (name "top-level-group")) (
 (cubic-bezier (center 139088976) 1.0 (coords -52.2452354431152 -32.8203964233398) 1.0 (coords -48.6146392822266 7.09624671936035) 1.0 (coords -31.0667610168457 15.367262840271) 1.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
 (decorator-point (center 139088976) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname"))) 139088976
 (tex-text (coords -3.11117935180664 7.81546354293823) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (cubic-bezier (center 137805696) 1.0 (coords 29.1299591064453 -21.4572467803955) 1.0 (coords 28.9495391845703 -0.191287666559219) 1.0 (coords 16.8613967895508 11.4245729446411) 1.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style butt)) (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")))
 (cubic-bezier (center 137803512) 1.0 (coords -41.0534477233887 -9.75203418731689) 1.0 (coords -39.7002983093262 6.51017045974731) 1.0 (coords -25.7177410125732 12.0500421524048) 1.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style butt)) (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 (center 137803512) (coords -27.5068206787109 -14.3659114837646) ( (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 (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (cubic-bezier (center 137803384) 1.0 (coords 33.1894111633301 -55.5900077819824) 1.0 (coords 31.2950000762939 3.20411777496338) 1.0 (controlpoint-4 137805832) 1.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style butt)) (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")))
 (decorator-point (center 137803384) 0 1.0 0.785400629043579 ( (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"))) 137803384
 (decorator-point (center 137805696) 4 1.0 0.785400629043579 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname"))) 137805696
 (decorator-point (center 137803512) 4 1.0 0.785400629043579 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname"))) 137803512 137805832 137803672 137803896 137804680 137800888 137802008
 (decorator-point (center 137801096) 4 1.0 0.785400629043579 ( (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"))) 137801096
 (ellipse-by-center-point-rotation-eccentricity (coords 3.1200065612793 1.20390594005585) (coords -1.00143110752106 5.3253436088562) 2.35619950294495 0.995000004768372 ( (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (coords -5.12286853790283 1.20390594005585) (coords -1.00143110752106 5.3253436088562) 0.785399436950684 0.995000004768372 ( (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 1)) (invisible #f) (name "noname"))) 137799432
 (decorator-point (coords 7.24144411087036 -2.91753172874451) 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")))
 (decorator-point (center 137804536) 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"))) 137804536 137802808
 (decorator-point (center 137801608) 4 1.0 0.785399377346039 ( (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"))) 137801608
 (decorator-point (center 137801000) 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"))) 137801000 137799656
 (decorator-point (coords -9.24430656433105 -2.91753172874451) 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")))
 (decorator-point (coords -1.00143110752106 5.3253436088562) 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")))))))))