pic/mst-rb.vrr

   1
   2  (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/5-mst/mst-rb.vrr") (name "Untitled 1")) (
   3  (page ( (tex_footer "\\bye
   4 ") (tex_header "\\nopagenumbers\\vglue0pt
   5 ") (name "mst-rb")) (
   6  (segment (coords 45.0 -8.74227794156468e-7) (coords 50.0 8.66025352478027) ( (id 137642192) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.5) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
   7  (segment (coords -5.82800054550171 -2.13236546516418) (coords 15.330171585083 0.620474934577942) ( (id 137881168) (stroke-style (stroke-style dashed)) (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")))
   8  (segment (coords -2.64530920982361 9.23420143127441) (coords 12.6854009628296 7.68017864227295) ( (id 137837824) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
   9  (cubic-bezier (coords 14.6089181900024 -15.0042972564697) 1.0 (coords 24.6084842681885 -14.9111309051514) 1.0 (coords 24.3289852142334 15.0875673294067) 1.0 (coords 14.3294191360474 14.9944009780884) 1.0 ( (id 137750920) (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")))
  10  (cubic-bezier (coords -5.0 15.0) 1.0 (coords -15.0 15.0) 1.0 (coords -15.0 -15.0) 1.0 (coords -5.0 -15.0) 1.0 ( (id 137453520) (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")))
  11  (ellipse-by-center-2-radii-rotation (start 137642192) 2.0 2.0 0.0 ( (id 141098176) (conic (start-dif 5.75959920883179 3.14159941673279)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #t) (name "noname")))
  12  (segment (end 137642192) (coords 60.0 8.66025543212891) ( (id 138283272) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.5) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  13  (segment (start 137881168) (coords -8.96586418151855 1.68609058856964) ( (id 138265960) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  14  (segment (end 137881168) (coords 18.9611282348633 2.39650106430054) ( (id 138299400) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  15  (cubic-bezier (controlpoint-1 137750920) 1.0 (coords 9.60913467407227 -15.0508804321289) 1.0 (coords 4.56276845932007 -10.0976800918579) 1.0 (coords 9.51596832275391 -5.05131387710571) 1.0 ( (id 137752200) (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")))
  16  (cubic-bezier (controlpoint-4 137750920) 1.0 (coords 9.32963562011719 14.9478178024292) 1.0 (coords 4.37643575668335 9.90145206451416) 1.0 (coords 9.42280197143555 4.94825220108032) 1.0 ( (id 137752456) (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")))
  17  (cubic-bezier (controlpoint-1 137453520) 1.0 (coords 0.0 15.0) 1.0 (coords 5.0 10.0) 1.0 (coords 0.0 5.0) 1.0 ( (id 137679752) (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")))
  18  (cubic-bezier (controlpoint-4 137453520) 1.0 (coords 0.0 -15.0) 1.0 (coords 5.0 -10.0) 1.0 (coords 0.0 -5.0) 1.0 ( (id 137662856) (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")))
  19  (segment (start 137642192) (start 138283272) ( (id 139853832) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  20  (ellipse-by-center-2-radii-rotation (start 138283272) 2.0 2.0 0.0 ( (id 140995976) (conic (start-dif 5.75959920883179 3.14159941673279)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  21  (segment (end 138283272) (coords 65.0 1.66893005371094e-6) ( (id 138185360) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.5) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  22  (segment (start 138265960) (coords -10.0417051315308 -5.24041128158569) ( (id 137648864) (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")))
  23  (segment (end 138265960) (coords -5.29008102416992 4.39453029632568) ( (id 137483472) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  24  (segment (start 138299400) (coords 15.285346031189 -5.06280851364136) ( (id 137667296) (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")))
  25  (segment (end 138299400) (coords 16.7646236419678 5.06054019927979) ( (id 137728088) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  26  (segment (start 139853832) (coords 37.829345703125 -3.97484755516052) ( (id 140755656) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  27  (ellipse-by-center-2-radii-rotation (start 138185360) 2.0 2.0 0.0 ( (id 140220696) (conic (start-dif 5.75959920883179 3.14160060882568)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  28  (segment (end 138185360) (coords 60.0 -8.66025352478027) ( (id 137656032) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.5) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  29  (segment (end 138283272) (end 138185360) ( (id 139194152) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  30  (segment (end 137648864) (coords -2.77978920936584 -6.97203636169434) ( (id 138166328) (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")))
  31  (segment (end 137483472) (coords -8.11415863037109 7.1473708152771) ( (id 137559104) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  32  (segment (end 137728088) (coords 17.885290145874 6.57016229629517) ( (id 137877040) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  33  (segment (end 140755656) (coords 42.8950424194336 -14.0796489715576) ( (id 140805512) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  34  (segment (end 137656032) (coords 50.0 -8.66025447845459) ( (id 137885896) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.5) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  35  (segment (end 138166328) (coords -7.53141307830811 -10.7904930114746) ( (id 137590496) (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")))
  36  (segment (end 140805512) (coords 51.3378677368164 -13.3130779266357) ( (id 140779656) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  37  (segment (start 137656032) (start 137885896) ( (id 139693448) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  38  (segment (end 137885896) (coords 45.0 -8.74227794156468e-7) ( (id 138314248) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.5) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  39  (segment (start 137885896) (end 137885896) ( (id 139747720) (stroke-style (stroke-style dashed)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  40  (segment (end 140779656) (coords 62.7356834411621 -14.7068433761597) ( (id 140843584) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  41  (ellipse-by-center-2-radii-rotation (start 139693448) 2.0 2.0 0.0 ( (id 141077952) (conic (start-dif 5.75959920883179 3.14159941673279)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  42  (ellipse-by-center-2-radii-rotation (start 138314248) 2.0 2.0 0.0 ( (id 140088200) (conic (start-dif 2.61800050735474 3.14159941673279)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  43  (ellipse-by-center-2-radii-rotation (start 139747720) 2.0 2.0 0.0 ( (id 141111304) (conic (start-dif 5.75959920883179 3.14159941673279)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #t) (name "noname")))
  44  (segment (end 140843584) (coords 67.5199508666992 -7.87739133834839) ( (id 140901512) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  45  (segment (center 140088200) (coords 53.5189323425293 -5.02017164230347) ( (id 141425544) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #t) (name "noname")))
  46  (segment (end 141425544) (coords 54.7149963378906 0.694267392158508) ( (id 141295256) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #t) (name "noname")))
  47  (segment (end 141295256) (coords 58.7956962585449 3.83024024963379) ( (id 141430152) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #t) (name "noname")))
  48  (top-level-group ( (name "top-level-group")) (
  49  (tex-text (coords 55.2402877807617 10.8687562942505) "$e'$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  50  (tex-text (coords 69.8041763305664 -3.4870297908783) "$T_y$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  51  (tex-text (coords 44.5460433959961 9.89312076568604) "$T_y$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  52  (tex-text (coords 65.2309646606445 9.96280860900879) "$T_x$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  53  (tex-text (coords 64.0349044799805 5.36338233947754) "$e$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  54  (tex-text (coords 45.0385704040527 -5.57767820358276) "$C$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  55  (path ( (stroke-cap (cap-style round)) (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")) ( 141425544 141295256 141430152
  56  (segment (end 141430152) (start 139194152) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #t) (name "noname")))))
  57  (segment (start 141077952) (start 141111304) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  58  (segment (end 141077952) (end 141111304) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  59  (segment (start 140995976) (start 141098176) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  60  (segment (end 140995976) (end 141098176) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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"))) 141111304 141098176 141077952 140995976
  61  (path ( (stroke-cap (cap-style round)) (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")) ( 140755656 140805512 140779656 140843584 140901512
  62  (segment (end 140901512) (end 138185360) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))))
  63  (segment (end 140088200) (start 140220696) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  64  (segment (start 140088200) (end 140220696) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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"))) 140088200 140220696
  65  (segment (end 137642192) (start 139194152) ( (stroke-style (stroke-style dashed)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139853832
  66  (segment (end 137885896) (start 137642192) ( (stroke-style (stroke-style dashed)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139747720 139693448 139194152
  67  (decorator-point (end 137885896) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  68  (decorator-point (end 137656032) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  69  (decorator-point (coords 65.0 0.0) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  70  (decorator-point (end 138283272) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  71  (decorator-point (start 138283272) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  72  (decorator-point (end 138314248) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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  (path ( (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #t) (name "noname")) ( 137642192 138283272 138185360 137656032 137885896 138314248))
  74  (tex-text (coords 13.1336669921875 10.0778141021729) "" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  75  (tex-text (coords 5.24417734146118 11.1434278488159) "$e'$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  76  (tex-text (coords 3.94420528411865 0.975681364536285) "$e$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  77  (tex-text (coords 4.79591035842896 -12.3889112472534) "$C$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  78  (segment (end 137667296) (coords 17.6163291931152 -7.94885063171387) ( (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")))
  79  (segment (end 137667296) (coords 14.657772064209 -9.1920690536499) ( (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")))
  80  (segment (end 137667296) (coords 11.6095609664917 -9.28087043762207) ( (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"))) 137667296
  81  (segment (start 137590496) (coords -0.717763841152191 -10.8348932266235) ( (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"))) 137590496 138166328 137648864
  82  (segment (end 137877040) (end 137837824) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 137877040 137728088 138299400
  83  (segment (end 137559104) (start 137837824) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.300000011920929) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 137559104 137483472 138265960
  84  (path ( (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 137837824) 0 0.5 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")))
  86  (decorator-point (end 137881168) 0 0.5 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")))
  87  (decorator-point (start 137881168) 0 0.5 0.0 ( (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 0 0 0)) (invisible #f) (name "noname")))
  88  (decorator-point (start 137837824) 0 0.5 0.0 ( (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 0 0 0)) (invisible #f) (name "noname"))) 137881168 137837824
  89  (cubic-bezier (controlpoint-4 137752456) 1.0 (coords 11.5454978942871 2.65599679946899) 1.0 (coords 11.7674551010132 -2.37191486358643) 1.0 (controlpoint-4 137752200) 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"))) 137752200 137752456 137750920
  90  (point (coords 22.6614074707031 -6.3461799621582) ( (invisible #f) (name "noname")))
  91  (cubic-bezier (controlpoint-4 137662856) 1.0 (coords -2.10124850273132 -2.68806791305542) 1.0 (coords -2.27635264396667 2.34169340133667) 1.0 (controlpoint-4 137679752) 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"))) 137679752 137662856 137453520
  92  (point (coords -13.1328048706055 6.41728115081787) ( (invisible #f) (name "noname")))))))))