2 (document 0.6 ( (filename "/hdb1/home/mj/tree/vrr/run/../../../texts/saga/pic/hedgehog.vrr") (name "Untitled 1")) (
3 (page ( (tex_footer "\\bye
4 ") (tex_header "\\nopagenumbers\\vglue0pt
5 ") (name "hedgehog")) (
6 (segment (coords -22.5 2.5) (coords -32.86474609375 -11.76584815979) ( (id 136244744) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
7 (segment (end 136244744) (coords -49.63525390625 -6.31677865982056) ( (id 136343488) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
8 (segment (end 136343488) (coords -49.63525390625 11.3167791366577) ( (id 136181552) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
9 (segment (start 136244744) (end 136343488) ( (id 136328776) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
10 (segment (end 136181552) (coords -32.86474609375 16.76584815979) ( (id 136251576) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
11 (segment (end 136181552) (end 136244744) ( (id 136201512) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
12 (segment (start 136328776) (coords -12.5 2.5) ( (id 136276016) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
13 (segment (end 136328776) (coords -55.0 -15.0) ( (id 136212280) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
14 (segment (end 136251576) (coords -22.5 2.5) ( (id 136296408) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
15 (segment (start 136201512) (start 136244744) ( (id 136234320) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
16 (decorator-point (start 136201512) 0 0.5 0.0 ( (id 136257968) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
17 (parametric-point 136276016 0.5 ( (id 136309368) (name "noname")))
18 (segment (end 136276016) (coords -2.5 2.5) ( (id 136235288) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
19 (parametric-point 136212280 0.487796455621719 ( (id 136299008) (name "noname")))
20 (segment (end 136212280) (coords -62.5 -10.0) ( (id 136251944) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
21 (segment (start 136296408) (start 136343488) ( (id 136252648) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
22 (segment (start 136296408) (start 136181552) ( (id 136240688) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
23 (decorator-point (start 136296408) 0 0.5 0.0 ( (id 136262416) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
24 (segment (decorator-point 136257968) (coords -55.0 20.0) ( (id 136193416) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
25 (parametric-point 136235288 0.5 ( (id 136300512) (name "noname")))
26 (segment (end 136235288) (coords 7.5 2.5) ( (id 136228144) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
27 (parametric-point 136251944 0.497340023517609 ( (id 136301928) (name "noname")))
28 (segment (end 136251944) (coords -70.0 -17.5) ( (id 136254584) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
29 (decorator-point (end 136252648) 0 0.5 0.0 ( (id 136273320) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
30 (segment (decorator-point 136262416) (coords -27.5 25.0) ( (id 136193024) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
31 (parametric-point 136193416 0.497908294200897 ( (id 136288648) (name "noname")))
32 (segment (end 136193416) (coords -62.5 15.0) ( (id 136213240) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
33 (parametric-point 136228144 0.5 ( (id 136196360) (name "noname")))
34 (parametric-point 136254584 0.511699736118317 ( (id 136338568) (name "noname")))
35 (segment (decorator-point 136273320) (coords -27.5 -20.0) ( (id 136175848) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
36 (parametric-point 136193024 0.5 ( (id 136309520) (name "noname")))
37 (segment (end 136193024) (coords -17.5 17.5) ( (id 136291472) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
38 (parametric-point 136213240 0.497563123703003 ( (id 136294792) (name "noname")))
39 (segment (end 136213240) (coords -70.0 22.5) ( (id 136272320) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
40 (parametric-point 136175848 0.5 ( (id 136016776) (name "noname")))
41 (segment (end 136175848) (coords -17.5 -12.5) ( (id 136239184) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
42 (parametric-point 136291472 0.536039233207703 ( (id 136284680) (name "noname")))
43 (segment (end 136291472) (coords -10.0 22.5) ( (id 136228600) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
44 (parametric-point 136272320 0.505799770355225 ( (id 136305616) (name "noname")))
45 (parametric-point 136239184 0.505469262599945 ( (id 136363040) (name "noname")))
46 (segment (end 136239184) (coords -10.0 -17.5) ( (id 136114304) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
47 (parametric-point 136228600 0.458352267742157 ( (id 136355544) (name "noname")))
48 (parametric-point 136114304 0.518436908721924 ( (id 136326904) (name "noname")))
49 (top-level-group ( (name "top-level-group")) (
50 (tex-text (coords -37.5 2.5) "$\\ge 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 bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 0.850792407989502 0.0 0.0 0.850792407989502)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
51 (tex-text (center 136326904) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136326904
52 (tex-text (center 136363040) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136363040
53 (tex-text (center 136016776) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y -2.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136016776
54 (tex-text (center 136338568) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136338568
55 (tex-text (center 136301928) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136301928
56 (tex-text (center 136299008) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.0) (absolute-shift-y -2.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136299008
57 (tex-text (center 136355544) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136355544
58 (tex-text (center 136284680) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136284680
59 (tex-text (center 136309520) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136309520
60 (tex-text (center 136288648) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136288648
61 (tex-text (center 136294792) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136294792
62 (tex-text (center 136305616) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136305616
63 (tex-text (center 136196360) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136196360
64 (tex-text (center 136300512) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136300512
65 (tex-text (center 136309368) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136309368
66 (decorator-point (end 136228144) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
67 (decorator-point (start 136228144) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
68 (decorator-point (end 136276016) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
69 (decorator-point (end 136228600) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
70 (decorator-point (start 136228600) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
71 (decorator-point (start 136291472) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
72 (decorator-point (end 136114304) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
73 (decorator-point (end 136239184) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
74 (decorator-point (start 136239184) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
75 (decorator-point (end 136254584) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
76 (decorator-point (start 136254584) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
77 (decorator-point (end 136212280) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
78 (decorator-point (start 136213240) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
79 (decorator-point (start 136272320) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
80 (decorator-point (end 136272320) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136254584 136251944 136212280 136272320 136213240 136193416 136114304 136239184 136175848 136228144 136235288 136276016 136228600 136291472 136193024 136262416
81 (decorator-point (end 136234320) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136273320
82 (decorator-point (end 136240688) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136257968 136240688 136234320 136252648 136328776 136201512
83 (path ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")) ( 136244744 136343488 136181552 136251576 136296408))))))))