9-decomp/mima.vrr

   1
   2  (document 0.6 ( (filename "/home/mares/tex/ga/9-decomp/mima.vrr") (name "Untitled 1")) (
   3  (page ( (tex_footer "\\bye
   4 ") (tex_header "\\nopagenumbers\\vglue0pt
   5 ") (name "mima")) (
   6  (segment (coords 105.0 2.5) (coords 107.5 -2.5) ( (id 138124808) (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")))
   7  (segment (coords 122.499954223633 -12.5) (coords 124.999954223633 -7.49999952316284) ( (id 137807240) (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")))
   8  (segment (coords 112.499954223633 -12.5) (coords 114.999954223633 -7.49999952316284) ( (id 137807880) (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")))
   9  (segment (coords 102.499954223633 -12.5) (coords 104.999954223633 -7.49999952316284) ( (id 137807408) (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")))
  10  (segment (coords 92.4999542236328 -12.5) (coords 94.9999542236328 -7.49999952316284) ( (id 137809448) (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")))
  11  (segment (coords 65.0 -10.0) (coords 70.0 -5.0) ( (id 137810216) (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")))
  12  (segment (coords 40.0 -10.0) (coords 45.0 -5.0) ( (id 137810984) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  13  (segment (coords 21.2842693328857 8.13515663146973) (coords 11.2842655181885 -6.86484384536743) ( (id 137811752) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  14  (segment (end 137807240) (coords 127.499954223633 -12.5) ( (id 137812520) (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")))
  15  (segment (end 137807880) (coords 117.499954223633 -12.5) ( (id 137813288) (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")))
  16  (segment (end 137807880) (coords 119.999954223633 -2.49999952316284) ( (id 137814056) (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")))
  17  (segment (end 137807408) (coords 107.499954223633 -12.5) ( (id 137814824) (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")))
  18  (segment (end 137809448) (coords 97.4999542236328 -12.5) ( (id 137815592) (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")))
  19  (segment (end 137809448) (coords 99.9999542236328 -2.49999952316284) ( (id 137816360) (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")))
  20  (segment (start 137810216) (coords 60.0 -15.0) ( (id 137809160) (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")))
  21  (segment (start 137810216) (coords 70.0 -15.0) ( (id 137817128) (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")))
  22  (segment (end 137810216) (coords 75.0 0.0) ( (id 137817896) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  23  (segment (coords 35.0 -15.0) (start 137810984) ( (id 137818664) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  24  (segment (end 137810984) (coords 50.0 0.0) ( (id 137819432) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  25  (segment (start 137811752) (coords 26.2842655181885 -6.86484384536743) ( (id 137809792) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  26  (segment (start 137811752) (coords 16.2842655181885 -6.86484384536743) ( (id 137820200) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  27  (segment (end 137814056) (coords 114.999954223633 2.50000047683716) ( (id 137820968) (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")))
  28  (segment (end 137816360) (end 137807408) ( (id 137821736) (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")))
  29  (segment (start 137817128) (coords 65.0 -15.0) ( (id 137822504) (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 0 0 0)) (invisible #f) (name "noname")))
  30  (segment (start 137817896) (coords 75.0 -10.0) ( (id 137823272) (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")))
  31  (segment (end 137817896) (coords 80.0 5.0) ( (id 137810560) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  32  (segment (end 137819432) (coords 55.0 5.0) ( (id 137824040) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  33  (segment (start 137809792) (coords 31.2842655181885 -6.86484384536743) ( (id 137803904) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  34  (segment (start 137820200) (coords 21.2842655181885 -6.86484384536743) ( (id 137807624) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  35  (segment (start 137821736) (coords 104.999954223633 2.50000047683716) ( (id 137812728) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  36  (segment (start 137810560) (coords 80.0 -5.0) ( (id 137812896) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  37  (segment (end 137810560) (coords 85.0 10.0) ( (id 137813496) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  38  (segment (end 137810560) (coords 85.0 0.0) ( (id 137813664) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  39  (segment (end 137824040) (coords 60.0 10.0) ( (id 137821176) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  40  (segment (end 137812728) (coords 109.999954223633 7.50000047683716) ( (id 137821360) (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")))
  41  (segment (end 137813496) (coords 90.0 5.0) ( (id 137814264) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  42  (segment (end 137821360) (end 137820968) ( (id 137814432) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  43  (segment (start 137814432) (coords 109.999954223633 2.50000047683716) ( (id 137823480) (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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  44  (top-level-group ( (name "top-level-group")) (
  45  (decorator-point (end 137812728) 0 1.0 0.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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  46  (decorator-point (end 138124808) 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"))) 138124808
  47  (segment (start 137821360) (coords 104.999954223633 2.50000047683716) ( (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")))
  48  (decorator-point (end 137822504) 0 1.0 0.0 ( (stroke-style (stroke-style dashed)) (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"))) 137822504
  49  (decorator-point (start 137807624) 0 1.0 0.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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  50  (decorator-point (end 137803904) 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")))
  51  (decorator-point (end 137809792) 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")))
  52  (decorator-point (end 137807624) 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")))
  53  (decorator-point (end 137820200) 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")))
  54  (decorator-point (end 137811752) 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")))
  55  (decorator-point (end 137821176) 0 1.0 0.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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  56  (decorator-point (end 137824040) 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")))
  57  (decorator-point (start 137824040) 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")))
  58  (decorator-point (end 137810984) 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")))
  59  (decorator-point (end 137818664) 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")))
  60  (decorator-point (start 137818664) 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")))
  61  (decorator-point (end 137814264) 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")))
  62  (decorator-point (end 137813496) 0 1.0 0.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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  63  (decorator-point (end 137813664) 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")))
  64  (decorator-point (start 137813664) 0 1.0 0.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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  65  (decorator-point (end 137812896) 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")))
  66  (decorator-point (start 137812896) 0 1.0 0.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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  67  (decorator-point (end 137823272) 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")))
  68  (decorator-point (end 137810216) 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")))
  69  (decorator-point (start 137810216) 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")))
  70  (decorator-point (end 137817128) 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")))
  71  (decorator-point (end 137809160) 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")))
  72  (decorator-point (start 137821736) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  73  (decorator-point (end 137821360) 0 1.0 0.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 (rgb 255 255 255)) (invisible #f) (name "noname")))
  74  (decorator-point (end 137823480) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  75  (decorator-point (end 137814432) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  76  (decorator-point (start 137820968) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  77  (decorator-point (start 137812520) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  78  (decorator-point (end 137812520) 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")))
  79  (decorator-point (start 137807240) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  80  (decorator-point (start 137813288) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  81  (decorator-point (end 137813288) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  82  (decorator-point (start 137807880) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  83  (decorator-point (end 137809448) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  84  (decorator-point (end 137807408) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  85  (decorator-point (end 137814824) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  86  (decorator-point (start 137807408) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  87  (decorator-point (end 137815592) 0 1.0 0.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 (rgb 0 0 0)) (invisible #f) (name "noname")))
  88  (decorator-point (start 137809448) 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"))) 137823480 137814432 137821360 137820968 137812728
  89  (segment (end 137814056) (end 137807240) ( (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"))) 137814056 137821736 137816360 137812520 137807240 137813288 137807880 137814824 137807408 137815592 137809448 137818664 137817128 137809160 137814264 137813664 137812896 137823272 137813496 137810560 137817896 137810216 137821176 137824040 137819432 137810984 137803904 137809792 137807624 137820200 137811752))))))