]> mj.ucw.cz Git - saga.git/blob - pic/qheap.vrr
Added a picture of a q-heap trie.
[saga.git] / pic / qheap.vrr
1
2  (document 0.6 ( (filename "/hdb1/home/mj/texts/saga/pic/qheap.vrr") (name "Untitled 1")) (
3  (page ( (tex_footer "\\bye
4 ") (tex_header "\\nopagenumbers\\vglue0pt
5 ") (name "qheap")) (
6  (segment (coords 7.99360577730113e-15 -15.0) (coords 7.99360577730113e-15 -20.0) ( (id 137900600) (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 (coords -10.0 -15.0) (coords -10.0 -20.0) ( (id 137900952) (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 (coords -20.0 -25.0) (coords -20.0 -30.0) ( (id 137901288) (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 (coords -30.0 -25.0) (coords -30.0 -30.0) ( (id 137901624) (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 (coords -40.0 -25.0) (coords -40.0 -30.0) ( (id 137901960) (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 (coords -50.0 -25.0) (coords -50.0 -30.0) ( (id 137902296) (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  (decorator-point (coords -47.5 -17.5) 0 2.0 0.0 ( (id 137902568) (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 255 255 255)) (invisible #f) (name "noname")))
13  (decorator-point (coords -27.5 -17.5) 0 2.0 0.0 ( (id 137903528) (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 255 255 255)) (invisible #f) (name "noname")))
14  (decorator-point (coords -7.5 -7.5) 0 2.0 0.0 ( (id 137904488) (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 255 255 255)) (invisible #f) (name "noname")))
15  (decorator-point (coords -37.5 -7.5) 0 2.0 0.0 ( (id 137905448) (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 255 255 255)) (invisible #f) (name "noname")))
16  (decorator-point (coords -22.5 2.5) 0 2.0 0.0 ( (id 137906408) (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 255 255 255)) (invisible #f) (name "noname")))
17  (segment (coords -47.5 -17.5) (coords -52.5 -27.5) ( (id 138813592) (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")))
18  (segment (coords -47.5 -17.5) (coords -42.5 -27.5) ( (id 138838336) (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")))
19  (segment (coords -27.5 -17.5) (coords -22.5 -27.5) ( (id 138838984) (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 255 255 255)) (invisible #f) (name "noname")))
20  (segment (end 137900600) (coords -5.0 -20.0) ( (id 137907408) (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")))
21  (segment (end 137900952) (coords -15.0 -20.0) ( (id 137907720) (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 (end 137901288) (coords -25.0 -30.0) ( (id 137908032) (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  (segment (end 137901624) (coords -35.0 -30.0) ( (id 137908344) (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")))
24  (segment (end 137901960) (coords -45.0 -30.0) ( (id 137908656) (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")))
25  (segment (end 137902296) (coords -55.0 -30.0) ( (id 137908968) (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")))
26  (segment (decorator-point 137903528) (coords -32.5 -27.5) ( (id 138838632) (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 255 255 255)) (invisible #f) (name "noname")))
27  (segment (decorator-point 137904488) (coords -2.5 -17.5) ( (id 138821312) (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 255 255 255)) (invisible #f) (name "noname")))
28  (segment (decorator-point 137905448) (coords -47.5 -17.5) ( (id 137909280) (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")))
29  (segment (decorator-point 137905448) (decorator-point 137903528) ( (id 138813304) (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")))
30  (segment (decorator-point 137906408) (decorator-point 137904488) ( (id 137909568) (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")))
31  (parametric-point 138813592 0.5 ( (id 139034984) (name "noname")))
32  (parametric-point 138838336 0.5 ( (id 139089408) (name "noname")))
33  (parametric-point 138838984 0.5 ( (id 139153640) (name "noname")))
34  (segment (end 137907408) (coords -5.0 -15.0) ( (id 137909880) (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")))
35  (segment (end 137907720) (coords -15.0 -15.0) ( (id 137910192) (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")))
36  (segment (end 137908032) (coords -25.0 -25.0) ( (id 137911008) (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")))
37  (segment (end 137908344) (coords -35.0 -25.0) ( (id 137911200) (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")))
38  (segment (end 137908656) (coords -45.0 -25.0) ( (id 137911512) (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")))
39  (segment (end 137908968) (coords -55.0 -25.0) ( (id 137911856) (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")))
40  (parametric-point 138838632 0.5 ( (id 139197344) (name "noname")))
41  (parametric-point 138821312 0.5 ( (id 139022288) (name "noname")))
42  (parametric-point 137909280 0.5 ( (id 139008280) (name "noname")))
43  (parametric-point 138813304 0.5 ( (id 139126536) (name "noname")))
44  (parametric-point 137909568 0.5 ( (id 138856104) (name "noname")))
45  (segment (start 137909568) (start 137909280) ( (id 138917648) (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")))
46  (segment (end 137909568) (coords -12.5 -17.5) ( (id 138821000) (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 255 255 255)) (invisible #f) (name "noname")))
47  (parametric-point 138917648 0.5 ( (id 139034656) (name "noname")))
48  (parametric-point 138821000 0.5 ( (id 139066240) (name "noname")))
49  (top-level-group ( (name "top-level-group")) (
50  (tex-text (center 139022288) "\\bf 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 bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139022288
51  (tex-text (center 139066240) "\\bf 0" ( (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 bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139066240
52  (tex-text (center 138856104) "\\bf 10000" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 5.0) (absolute-shift-y 2.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"))) 138856104
53  (tex-text (center 139153640) "\\bf 101" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 3.0) (absolute-shift-y 2.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"))) 139153640
54  (tex-text (center 139197344) "\\bf 001" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -3.0) (absolute-shift-y 2.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"))) 139197344
55  (tex-text (center 139089408) "\\bf 1010" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 4.0) (absolute-shift-y 2.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"))) 139089408
56  (tex-text (center 139034984) "\\bf 0011" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -4.0) (absolute-shift-y 2.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"))) 139034984
57  (tex-text (center 139126536) "\\bf 10" ( (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 bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139126536
58  (tex-text (center 139008280) "\\bf 0" ( (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 bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139008280
59  (tex-text (center 139034656) "\\bf 0" ( (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 bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139034656
60  (tex-text (coords -29.6997261047363 -2.33291006088257) "" ( (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")))
61  (tex-text (coords -2.5 -17.5) "$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")))
62  (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 (rgb 255 255 255)) (invisible #f) (name "noname")) ( 137900600 137907408 137909880
63  (segment (end 137909880) (coords 7.99360577730113e-15 -15.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 (rgba 0 0 0 0)) (invisible #f) (name "noname")))))
64  (tex-text (coords -12.5 -17.5) "$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")))
65  (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 (rgb 255 255 255)) (invisible #f) (name "noname")) ( 137900952 137907720 137910192
66  (segment (end 137910192) (coords -10.0 -15.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 (rgba 0 0 0 0)) (invisible #f) (name "noname")))))
67  (tex-text (coords -22.5 -27.5) "$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")))
68  (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 (rgb 255 255 255)) (invisible #f) (name "noname")) ( 137901288 137908032 137911008
69  (segment (end 137911008) (coords -20.0 -25.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 (rgba 0 0 0 0)) (invisible #f) (name "noname")))))
70  (tex-text (coords -32.5 -27.5) "$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")))
71  (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 (rgb 255 255 255)) (invisible #f) (name "noname")) ( 137901624 137908344 137911200
72  (segment (end 137911200) (coords -30.0 -25.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 (rgba 0 0 0 0)) (invisible #f) (name "noname")))))
73  (tex-text (coords -42.5 -27.5) "$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")))
74  (tex-text (coords -52.5 -27.5) "$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")))
75  (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 (rgb 255 255 255)) (invisible #f) (name "noname")) ( 137901960 137908656 137911512
76  (segment (end 137911512) (coords -40.0 -25.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 (rgba 0 0 0 0)) (invisible #f) (name "noname")))))
77  (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 (rgb 255 255 255)) (invisible #f) (name "noname")) ( 137902296 137908968 137911856
78  (segment (end 137911856) (coords -50.0 -25.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 (rgba 0 0 0 0)) (invisible #f) (name "noname")))))
79  (tex-text (coords -52.5 -27.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")))
80  (tex-text (decorator-point 137902568) "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"))) 137902568
81  (tex-text (decorator-point 137903528) "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"))) 137903528
82  (tex-text (decorator-point 137904488) "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"))) 137904488
83  (tex-text (decorator-point 137905448) "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"))) 137905448
84  (tex-text (decorator-point 137906408) "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"))) 137906408 138917648 137909568 138813304 137909280 138813592 138838336 138838632 138838984 138821000 138821312))))))