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
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")))))))))