Picture of a Boruvka tree, and a proof.

[saga.git] / pic / bortree.vrr

 (document 0.6 ( (filename "/home/mj/texts/saga/pic/bortree.vrr") (name "Untitled 1")) (
 (page ( (tex_footer "\\bye
") (tex_header "\\nopagenumbers\\vglue0pt
") (name "bortree")) (
 (segment (coords 73.2953948974609 -8.87743759155273) (coords 79.9855499267578 -0.185325980186462) ( (id 136016776) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 59.9151039123535 -8.87743759155273) (coords 63.2601776123047 -0.185325980186462) ( (id 136258608) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 46.5348052978516 -8.87743759155273) (coords 49.8798789978027 -0.185325980186462) ( (id 136297128) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 26.4643611907959 -8.87743759155273) (coords 33.1545104980469 -0.185325980186462) ( (id 136196784) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords -38.0808715820312 -1.61617410182953) (coords -30.9259719848633 1.96127533912659) ( (id 136246728) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136016776 0.5 ( (id 140434192) (name "noname")))
 (segment (coords 86.6756973266602 -8.87743759155273) (end 136016776) ( (id 136248232) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 79.9855499267578 -8.87743759155273) (end 136016776) ( (id 136230440) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136258608 0.5 ( (id 140773264) (name "noname")))
 (segment (end 136258608) (coords 66.6052474975586 -8.87743759155273) ( (id 136249392) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136297128 0.5 ( (id 138881760) (name "noname")))
 (segment (end 136297128) (coords 53.2249526977539 -8.87743759155273) ( (id 136325800) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136196784 0.5 ( (id 140643680) (name "noname")))
 (segment (coords 33.1545104980469 -8.87743759155273) (end 136196784) ( (id 136200584) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (coords 41.5171928405762 5.60941553115845) (end 136196784) ( (id 136307464) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136246728 0.5 ( (id 136170504) (name "noname")))
 (decorator-point (start 136246728) 0 0.5 0.0 ( (id 137364280) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 136246728) (coords -23.7710723876953 -1.61617410182953) ( (id 136251016) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136248232 0.5 ( (id 137371480) (name "noname")))
 (parametric-point 136230440 0.5 ( (id 140942088) (name "noname")))
 (parametric-point 136249392 0.5 ( (id 140901296) (name "noname")))
 (segment (start 136249392) (coords 71.6228637695312 5.60941553115845) ( (id 136297520) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136325800 0.5 ( (id 136240512) (name "noname")))
 (parametric-point 136200584 0.5 ( (id 138793696) (name "noname")))
 (segment (coords 39.8446578979492 -8.87743759155273) (end 136200584) ( (id 136216520) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136307464 0.5 ( (id 140364696) (name "noname")))
 (segment (coords 56.5700263977051 14.3015270233154) (start 136307464) ( (id 136175272) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (segment (start 136307464) (end 136297128) ( (id 136298504) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136251016 0.5 ( (id 136175560) (name "noname")))
 (segment (end 136251016) (coords -16.616174697876 1.96127533912659) ( (id 136246440) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136297520 0.5 ( (id 141050832) (name "noname")))
 (segment (end 136016776) (end 136297520) ( (id 136198696) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136216520 0.5 ( (id 136197392) (name "noname")))
 (parametric-point 136175272 0.5 ( (id 141061952) (name "noname")))
 (parametric-point 136298504 0.5 ( (id 141010936) (name "noname")))
 (parametric-point 136246440 0.5 ( (id 136200448) (name "noname")))
 (segment (end 136246440) (coords -9.46127510070801 -1.61617410182953) ( (id 136200104) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136198696 0.5 ( (id 141077488) (name "noname")))
 (segment (start 136175272) (end 136198696) ( (id 136243264) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136200104 0.5 ( (id 136250368) (name "noname")))
 (segment (end 136200104) (coords -2.30637645721436 1.96127533912659) ( (id 136306984) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 136200104) 0 0.5 0.0 ( (id 137350984) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136243264 0.5 ( (id 140979248) (name "noname")))
 (parametric-point 136306984 0.5 ( (id 136221696) (name "noname")))
 (segment (end 136306984) (coords 4.84852266311646 -1.61617410182953) ( (id 136298280) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136298280 0.5 ( (id 136207616) (name "noname")))
 (segment (end 136298280) (coords 12.0034217834473 1.96127533912659) ( (id 136199432) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 136298280) 0 0.5 0.0 ( (id 137356712) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136199432 0.5 ( (id 136307208) (name "noname")))
 (segment (end 136199432) (coords 8.42597198486328 9.11617374420166) ( (id 136230728) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (segment (end 136199432) (coords 15.5808706283569 9.11617374420166) ( (id 136295592) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
 (parametric-point 136230728 0.5 ( (id 136200328) (name "noname")))
 (parametric-point 136295592 0.5 ( (id 136255624) (name "noname")))
 (decorator-point (start 136295592) 0 0.5 0.0 ( (id 137355576) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (top-level-group ( (name "top-level-group")) (
 (text (center 140979248) "9" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.5) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (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"))) 140979248
 (text (center 141061952) "9" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.5) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (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"))) 141061952
 (text (center 141077488) "7" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.5) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (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"))) 141077488
 (text (center 141050832) "7" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.5) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (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"))) 141050832
 (text (center 141010936) "8" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.5) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (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"))) 141010936
 (text (center 140364696) "8" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.5) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (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"))) 140364696
 (text (center 137371480) "6" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 137371480
 (text (center 140942088) "5" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.5) (absolute-shift-y -3.0) (alignment-x (alignment-x ref-relative)) (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"))) 140942088
 (text (center 140434192) "5" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 140434192
 (text (center 140901296) "4" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 140901296
 (text (center 140773264) "4" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 140773264
 (text (center 136240512) "3" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 136240512
 (text (center 138881760) "3" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 138881760
 (text (center 136197392) "2" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 136197392
 (text (center 138793696) "1" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.5) (absolute-shift-y -3.0) (alignment-x (alignment-x ref-relative)) (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"))) 138793696
 (text (center 140643680) "1" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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"))) 140643680
 (tex-text (center 136221696) "9" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -0.5) (absolute-shift-y 1.5) (alignment-x (alignment-x ref-relative)) (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 136200448) "8" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -0.5) (absolute-shift-y 1.5) (alignment-x (alignment-x ref-relative)) (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 136307208) "7" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -0.5) (absolute-shift-y 1.5) (alignment-x (alignment-x ref-relative)) (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 136255624) "6" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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 136200328) "5" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.5) (absolute-shift-y -1.0) (alignment-x (alignment-x ref-relative)) (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 136207616) "4" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.5) (absolute-shift-y 1.5) (alignment-x (alignment-x ref-relative)) (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 136250368) "3" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.5) (absolute-shift-y 1.5) (alignment-x (alignment-x ref-relative)) (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 136175560) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.5) (absolute-shift-y 1.5) (alignment-x (alignment-x ref-relative)) (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 136170504) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -0.5) (absolute-shift-y 1.5) (alignment-x (alignment-x ref-relative)) (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")))
 (text (end 136295592) "y" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 2.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (end 136230728) "x" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 2.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (decorator-point 137355576) "h" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -5.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (decorator-point 137356712) "g" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (end 136306984) "f" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -5.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (decorator-point 137350984) "e" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (end 136246440) "d" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -5.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136251016) "b" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -5.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (end 136251016) "c" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (decorator-point 137364280) "a" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136248232) "y" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136230440) "x" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136016776) "h" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (end 136249392) "g" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136258608) "f" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (end 136325800) "e" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136297128) "d" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136216520) "c" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136200584) "b" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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")))
 (text (start 136196784) "a" "Bitstream Vera Serif" "Roman" 3.52777767181396 ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y -4.0) (alignment-x (alignment-x ref-relative)) (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"))) 136243264 136175272 136198696 136297520 136298504 136307464 136248232 136230440 136016776 136249392 136258608 136325800 136297128 136216520 136200584 136196784 136221696 136200448 136307208 136255624 136200328 136207616 136250368 136175560 136170504
 (decorator-point (end 136295592) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 136230728) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 137355576 137356712
 (decorator-point (start 136298280) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 137350984
 (decorator-point (start 136200104) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (start 136246440) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 (decorator-point (end 136246728) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 137364280 136295592 136230728 136199432 136298280 136306984 136200104 136246440 136251016 136246728))))))