Merge branch 'master' of git+ssh://git.ucw.cz/home/mj/GIT/ga

[ga.git] / 11-planar / planar2.vrr

 (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/11-planar/planar2.vrr") (name "Untitled 1")) (
 (page ( (tex_footer "\\bye
") (tex_header "\\nopagenumbers\\vglue0pt
") (name "planar2")) (
 (ellipse-by-3-points-smallest (coords -16.2520904541016 -23.4961986541748) (coords -12.2213039398193 -39.9838485717773) (coords -21.4678325653076 -39.6487731933594) ( (id 137976176) (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 #t) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (coords -5.12286853790283 1.20390594005585) (coords -1.00143110752106 5.3253436088562) 0.785399436950684 0.995000004768372 ( (id 138867456) (conic (start-dif 2.87979936599731 3.66520071029663)) (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 7.24144411087036 -2.91753172874451) (coords 11.3628816604614 -19.4032821655273) (coords 3.1200065612793 -19.4032821655273) ( (id 138868096) (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 #t) (name "noname")))
 (ellipse-by-3-points-smallest (coords -9.24430656433105 -2.91753172874451) (coords -9.24430656433105 -19.4032821655273) (coords -20.3402061462402 -17.2139759063721) ( (id 138869640) (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 #t) (name "noname")))
 (parametric-point 137976176 0.206805899739265 ( (id 137978376) (name "noname")))
 (parametric-point 137976176 0.315222918987274 ( (id 137978632) (name "noname")))
 (parametric-point 137976176 0.315222918987274 ( (id 138869000) (name "noname")))
 (parametric-point 138867456 0.10413271933794 ( (id 137971912) (name "noname")))
 (parametric-point 138868096 0.504456698894501 ( (id 138864488) (name "noname")))
 (parametric-point 138868096 0.501741051673889 ( (id 138870920) (name "noname")))
 (parametric-point 138869640 0.509517669677734 ( (id 138864632) (name "noname")))
 (parametric-point 138869640 0.668973803520203 ( (id 138863296) (name "noname")))
 (parametric-point 138869640 0.670427322387695 ( (id 138863624) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (coords 3.1200065612793 -31.7675952911377) (center 138870920) 1.04719948768616 0.970000028610229 ( (id 138869864) (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 138864632) (coords -12.2213039398193 -39.9838485717773) (coords -21.4678325653076 -39.6487731933594) ( (id 138871688) (conic (start-dif 1.30900061130524 4.97419929504395)) (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 138863624) (coords -6.741774559021 -26.9467754364014) (coords -2.02200078964233 -22.9910717010498) ( (id 138872712) (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 138869864 0.991182506084442 ( (id 137979272) (name "noname")))
 (parametric-point 138869864 0.762724041938782 ( (id 138856152) (name "noname")))
 (parametric-point 138869864 0.756619036197662 ( (id 138873992) (name "noname")))
 (parametric-point 138871688 0.00218114210292697 ( (id 138865048) (name "noname")))
 (parametric-point 138872712 0.474132269620895 ( (id 138865208) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (coords 11.3628816604614 -31.7675952911377) (center 137979272) 2.09439945220947 0.970000028610229 ( (id 138873608) (conic (start-dif 0.0 3.14159941673279)) (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 138865048) 1.0 (coords -42.3163871765137 -18.2405490875244) 1.0 (coords -33.1149635314941 6.3314642906189) 1.0 (coords -1.00143110752106 5.3253436088562) 1.0 ( (id 138874760) (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")))
 (top-level-group ( (name "top-level-group")) ( 138869000 137978632
 (cubic-bezier (end 138873608) 1.0 (coords 18.6187953948975 -26.2675018310547) 1.0 (coords 23.9556579589844 6.57409858703613) 1.0 (controlpoint-4 138874760) 1.0 ( (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 0)) (invisible #f) (name "noname")))
 (ellipse-by-center-point-rotation-eccentricity (center 138868096) (start 138868096) 1.57079935073853 0.901400029659271 ( (conic (point-dif 3.14160060882568)) (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 0)) (invisible #f) (name "noname"))) 138865048 137978376 137976176 137971912
 (ellipse-by-center-point-rotation-eccentricity (center 138869640) (center 137971912) 1.1444000005722 0.811299979686737 ( (conic (start-dif 3.26609945297241 3.14160060882568)) (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 255 255 255 0)) (invisible #f) (name "noname")))
 (parametric-point 138873608 0.472251832485199 ( (name "noname"))) 138873992 138856152 138863624 138863296
 (cubic-bezier (center 138869000) 1.0 (coords -35.2255439758301 -48.6633415222168) 1.0 (coords -48.5723419189453 3.21401381492615) 1.0 (coords -18.7653865814209 6.58815097808838) 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 137978632) 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")))
 (parametric-point 138871688 0.335623443126678 ( (name "noname")))
 (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 138873992) 1.0 (coords 12.7141799926758 -63.7204246520996) 1.0 (coords 35.4706802368164 -31.7926578521729) 1.0 (coords 14.5900135040283 7.85345220565796) 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 138865208) 1.0 (coords -4.42502784729004 -78.749397277832) 1.0 (coords -74.6889038085938 -17.5931644439697) 1.0 (coords -22.0299587249756 10.243465423584) 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 (end 138873608) 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")))
 (parametric-point 138869864 0.526112914085388 ( (name "noname")))
 (decorator-point (center 138856152) 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")))
 (parametric-point 138873608 0.738825857639313 ( (name "noname")))
 (decorator-point (center 138865208) 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"))) 138865208 138874760 138872712 137979272 138873608 138870920 138869864
 (decorator-point (center 138864488) 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"))) 138864488
 (ellipse-by-center-point-rotation-eccentricity (coords 3.1200065612793 1.20390594005585) (coords -1.00143110752106 5.3253436088562) 2.35619950294495 0.995000004768372 ( (conic (point-dif 3.14160060882568)) (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"))) 138867456 138868096
 (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 137978376) 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 138871688 0.239055275917053 ( (name "noname"))) 138871688
 (decorator-point (center 138863296) 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")))
 (parametric-point 138869640 0.309220433235168 ( (name "noname")))
 (decorator-point (center 138864632) 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"))) 138864632 138869640
 (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")))))))))