8-qheap/trie.vrr

   1
   2  (document 0.6 ( (filename "/home/cs/school/semgraf/trie.vrr") (name "Untitled 1")) (
   3  (page ( (tex_footer "\\bye
   4 ") (tex_header "\\nopagenumbers\\vglue0pt
   5 ") (name "Page 1")) (
   6  (segment (coords -69.6395797729492 -2.13419485092163) (coords -69.674919128418 -6.78998899459839) ( (id 137262032) (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")))
   7  (segment (coords -78.7550888061523 -2.12308263778687) (coords -78.7904281616211 -6.77887487411499) ( (id 137141008) (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")))
   8  (segment (coords 30.1835308074951 -0.0573275834321976) (coords 23.7482738494873 -0.0727405324578285) ( (id 137141368) (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")))
   9  (segment (coords 16.2369785308838 -0.0142008448019624) (coords 9.93080139160156 -0.029304638504982) ( (id 137190760) (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")))
  10  (segment (coords 6.3678617477417 -5.22586536407471) (coords -0.148809269070625 -5.24147319793701) ( (id 137190160) (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")))
  11  (segment (coords -10.1621284484863 -4.98721361160278) (coords -15.964506149292 -5.00111055374146) ( (id 137142536) (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")))
  12  (segment (coords -23.6672763824463 -5.14270782470703) (coords -29.9350547790527 -5.15772008895874) ( (id 137190384) (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")))
  13  (segment (coords -39.9239387512207 -5.18133211135864) (coords -46.3073272705078 -5.19662094116211) ( (id 137190984) (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")))
  14  (ellipse-by-center-point-rotation-eccentricity (coords -6.34745788574219 3.80655813217163) (coords -4.97359085083008 1.52151823043823) 0.0 0.0 ( (id 137209384) (conic (point-entire)) (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")))
  15  (ellipse-by-center-point-rotation-eccentricity (coords -33.8248138427734 3.66374373435974) (coords -32.4509468078613 1.37870383262634) 0.0 0.0 ( (id 137143464) (conic (point-entire)) (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")))
  16  (ellipse-by-center-point-rotation-eccentricity (coords 20.387659072876 9.87618637084961) (coords 21.7615261077881 7.59114742279053) 0.0 0.0 ( (id 137215608) (conic (point-entire)) (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")))
  17  (ellipse-by-center-point-rotation-eccentricity (coords -19.8301944732666 10.0189762115479) (coords -18.4563274383545 7.73393630981445) 0.0 0.0 ( (id 137141632) (conic (point-entire)) (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")))
  18  (ellipse-by-center-point-rotation-eccentricity (coords 0.0925129652023315 20.0874443054199) (coords 1.46638071537018 17.8024044036865) 0.0 0.0 ( (id 137211072) (conic (point-entire)) (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")))
  19  (segment (start 137262032) (coords -70.9119033813477 -3.83535146713257) ( (id 137143944) (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")))
  20  (segment (start 137141008) (coords -80.0274124145508 -3.8242392539978) ( (id 137191720) (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")))
  21  (segment (end 137141368) (coords 23.7252864837646 4.24289989471436) ( (id 137192200) (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")))
  22  (segment (end 137190760) (coords 9.90827560424805 4.19977235794067) ( (id 137188648) (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")))
  23  (segment (end 137190160) (coords -0.17208631336689 -0.871234357357025) ( (id 137189416) (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")))
  24  (segment (end 137142536) (coords -15.9852323532105 -1.10989367961884) ( (id 137189896) (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")))
  25  (segment (end 137190384) (coords -29.9574413299561 -0.954394519329071) ( (id 137211568) (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")))
  26  (segment (end 137190984) (coords -46.3301277160645 -0.915765464305878) ( (id 137191432) (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")))
  27  (parametric-point 137209384 0.405458569526672 ( (id 137265192) (name "noname")))
  28  (parametric-point 137209384 0.655175507068634 ( (id 137265064) (name "noname")))
  29  (parametric-point 137209384 0.163842514157295 ( (id 137264936) (name "noname")))
  30  (parametric-point 137143464 0.405877113342285 ( (id 137264808) (name "noname")))
  31  (parametric-point 137143464 0.672067046165466 ( (id 137264680) (name "noname")))
  32  (parametric-point 137143464 0.16384245455265 ( (id 137264552) (name "noname")))
  33  (parametric-point 137215608 0.421253889799118 ( (id 137222184) (name "noname")))
  34  (parametric-point 137215608 0.65202271938324 ( (id 137210952) (name "noname")))
  35  (parametric-point 137215608 0.176431387662888 ( (id 137209904) (name "noname")))
  36  (parametric-point 137141632 0.420289427042007 ( (id 137140160) (name "noname")))
  37  (parametric-point 137141632 0.65048223733902 ( (id 137210648) (name "noname")))
  38  (parametric-point 137141632 0.16797699034214 ( (id 137183584) (name "noname")))
  39  (parametric-point 137211072 0.663844585418701 ( (id 137208592) (name "noname")))
  40  (parametric-point 137211072 0.163843438029289 ( (id 137138784) (name "noname")))
  41  (segment (end 137192200) (coords 30.1605529785156 4.25831365585327) ( (id 137215112) (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")))
  42  (segment (end 137188648) (coords 16.2144622802734 4.21487617492676) ( (id 137212328) (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")))
  43  (segment (end 137189416) (coords 6.3445930480957 -0.855626404285431) ( (id 137213096) (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")))
  44  (segment (end 137189896) (coords -10.1828460693359 -1.09599649906158) ( (id 137213864) (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")))
  45  (segment (end 137211568) (coords -23.6896553039551 -0.939382672309875) ( (id 137214632) (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")))
  46  (segment (end 137191432) (coords -39.9467315673828 -0.9004767537117) ( (id 137210320) (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")))
  47  (parametric-point 137215112 0.478677123785019 ( (id 137183272) (name "noname")))
  48  (parametric-point 137212328 0.455544263124466 ( (id 137183408) (name "noname")))
  49  (parametric-point 137213096 0.471718221902847 ( (id 137184176) (name "noname")))
  50  (parametric-point 137213864 0.494850397109985 ( (id 137138936) (name "noname")))
  51  (parametric-point 137214632 0.56419050693512 ( (id 137217024) (name "noname")))
  52  (parametric-point 137210320 0.541113555431366 ( (id 137209272) (name "noname")))
  53  (top-level-group ( (name "top-level-group")) (
  54  (point (coords 32.8589630126953 2.25741171836853) ( (invisible #f) (name "noname")))
  55  (segment (coords -69.0324935913086 26.0782642364502) (coords -69.0324935913086 -1.8152824640274) ( (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")))
  56  (segment (coords -70.7908096313477 26.1007270812988) (coords -70.7908096313477 -1.79282057285309) ( (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")))
  57  (segment (coords -77.8251419067383 26.1564388275146) (coords -77.8251419067383 -1.73710787296295) ( (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")))
  58  (segment (coords -79.5834579467773 26.1789016723633) (coords -79.5834579467773 -1.71464598178864) ( (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")))
  59  (tex-text (coords -99.8479232788086 -13.5454893112183) "" ( (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")))
  60  (group ( (name "noname")) (
  61  (tex-text (coords -73.9311904907227 -8.2445011138916) "543210" ( (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")))
  62  (group ( (name "noname")) (
  63  (segment (start 137143944) (coords -68.5508499145508 -3.88012075424194) ( (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"))) 137143944 137262032))
  64  (group ( (name "noname")) (
  65  (segment (start 137191720) (coords -77.6663589477539 -3.86900854110718) ( (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"))) 137191720 137141008))))
  66  (tex-text (coords -70.1075286865234 11.9764108657837) "\\halign{\\indent$#$\\quad\\quad&$#$\\cr
  67 x_1=000011 & c_1=3\\cr
  68 x_2=001010 & c_2=4\\cr
  69 x_3=010001 & c_3=2\\cr
  70 x_4=010101 & c_4=5\\cr
  71 x_5=100000 & c_5=0\\cr
  72 x_6=100001 & \\cr
  73 }
  74 " ( (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")))
  75  (tex-text (coords 27.0975303649902 1.66434144973755) "$x_6$" ( (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")))
  76  (tex-text (coords 13.7881298065186 1.66433656215668) "$x_5$" ( (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")))
  77  (tex-text (coords 3.62724280357361 -3.3341817855835) "$x_4$" ( (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")))
  78  (tex-text (coords -12.8305053710938 -3.33418154716492) "$x_3$" ( (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")))
  79  (tex-text (coords -26.4260845184326 -3.33418273925781) "$x_2$" ( (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")))
  80  (tex-text (coords -44.8874359130859 -2.1916937828064) "" ( (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")))
  81  (tex-text (coords -43.1700782775879 -3.33418273925781) "$x_1$" ( (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")))
  82  (tex-text (coords 26.525016784668 7.23411321640015) "1" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  83  (tex-text (coords 13.931266784668 7.66254901885986) "0" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  84  (tex-text (coords 1.19435501098633 2.52122473716736) "101" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  85  (tex-text (coords -13.2598657608032 2.52122473716736) "001" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  86  (tex-text (coords -25.9967517852783 2.23559522628784) "1010" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  87  (tex-text (coords -41.7389755249023 2.37841057777405) "0011" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  88  (tex-text (coords -9.82520008087158 10.0904102325439) "10
  89 " ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  90  (tex-text (coords -29.8607482910156 10.0904092788696) "0" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  91  (tex-text (coords 16.221019744873 16.6598873138428) "10000" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  92  (tex-text (coords 13.5019397735596 8.51942539215088) "" ( (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")))
  93  (tex-text (coords 13.3588285446167 9.37631511688232) "" ( (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"))) 137183272
  94  (segment (center 137209904) (center 137183272) ( (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"))) 137209904 137183408
  95  (segment (center 137210952) (center 137183408) ( (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"))) 137210952 137184176
  96  (segment (center 137264936) (center 137184176) ( (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"))) 137264936 137138936
  97  (segment (center 137265064) (center 137138936) ( (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"))) 137265064 137217024
  98  (segment (center 137264552) (center 137217024) ( (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"))) 137264552 137209272
  99  (segment (center 137264680) (center 137209272) ( (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"))) 137264680
 100  (path ( (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")) ( 137141368 137192200 137215112
 101  (segment (end 137215112) (coords 30.1835308074951 -0.0573275834321976) ( (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")))))
 102  (path ( (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")) ( 137190760 137188648 137212328
 103  (segment (end 137212328) (coords 16.2369785308838 -0.0142008448019624) ( (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")))))
 104  (path ( (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")) ( 137190160 137189416 137213096
 105  (segment (end 137213096) (coords 6.3678617477417 -5.22586536407471) ( (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")))))
 106  (path ( (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")) ( 137142536 137189896 137213864
 107  (segment (end 137213864) (coords -10.1621284484863 -4.98721361160278) ( (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")))))
 108  (path ( (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")) ( 137190384 137211568 137214632
 109  (segment (end 137214632) (coords -23.6672763824463 -5.14270782470703) ( (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")))))
 110  (path ( (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")) ( 137190984 137191432 137210320
 111  (segment (end 137210320) (coords -39.9239387512207 -5.18133211135864) ( (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")))))
 112  (tex-text (center 137209384) "2" ( (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")))
 113  (tex-text (center 137143464) "3" ( (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"))) 137265192
 114  (segment (center 137183584) (center 137265192) ( (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"))) 137183584 137264808
 115  (segment (center 137210648) (center 137264808) ( (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"))) 137210648 137209384
 116  (parametric-point 137143464 0.329653769731522 ( (name "noname"))) 137222184
 117  (segment (center 137138784) (center 137222184) ( (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"))) 137138784 137140160
 118  (segment (center 137208592) (center 137140160) ( (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"))) 137208592
 119  (point (coords -6.63369464874268 5.23468208312988) ( (invisible #f) (name "noname")))
 120  (point (coords -10.0683746337891 -0.0494439601898193) ( (invisible #f) (name "noname"))) 137143464
 121  (tex-text (coords -5.20259666442871 6.23440980911255) "" ( (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")))
 122  (tex-text (coords -13.5296688079834 17.1597366333008) "0" ( (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 0.708072125911713 0.0 0.0 0.708072125911713)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
 123  (tex-text (center 137215608) "0" ( (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")))
 124  (tex-text (center 137141632) "4" ( (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"))) 137215608 137141632 137211072
 125  (tex-text (coords 0.235624194145203 19.9446296691895) "5" ( (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 0.993641078472137 0.0 0.0 0.993641078472137)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))))))))