]> mj.ucw.cz Git - saga.git/blob - pic/distractor.vrr
Disctractors and hedgehogs.
[saga.git] / pic / distractor.vrr
1
2  (document 0.6 ( (filename "/hdb1/home/mj/texts/saga/pic/distractor.vrr") (name "Untitled 1")) (
3  (page ( (tex_footer "\\bye
4 ") (tex_header "\\nopagenumbers\\vglue0pt
5 ") (name "distractor")) (
6  (point (coords 10.0 -25.0) ( (id 139394216) (invisible #f) (name "noname")))
7  (point (coords 30.0 -15.0) ( (id 138308376) (invisible #f) (name "noname")))
8  (point (coords -10.0 -15.0) ( (id 139573648) (invisible #f) (name "noname")))
9  (point (coords 40.0 -5.0) ( (id 138178208) (invisible #f) (name "noname")))
10  (point (coords 20.0 -5.0) ( (id 137375624) (invisible #f) (name "noname")))
11  (point (coords 0.0 -5.0) ( (id 138175624) (invisible #f) (name "noname")))
12  (point (coords -20.0 -5.0) ( (id 139283768) (invisible #f) (name "noname")))
13  (point (coords 45.0 5.0) ( (id 137085752) (invisible #f) (name "noname")))
14  (point (coords 35.0 5.0) ( (id 137214920) (invisible #f) (name "noname")))
15  (point (coords 25.0 5.0) ( (id 137519624) (invisible #f) (name "noname")))
16  (point (coords 15.0 5.0) ( (id 137512640) (invisible #f) (name "noname")))
17  (point (coords 5.0 5.0) ( (id 137518336) (invisible #f) (name "noname")))
18  (point (coords -5.0 5.0) ( (id 137229752) (invisible #f) (name "noname")))
19  (point (coords -15.0 5.0) ( (id 137231400) (invisible #f) (name "noname")))
20  (point (coords -25.0 5.0) ( (id 137269360) (invisible #f) (name "noname")))
21  (decorator-point (point 139573648) 0 0.5 0.0 ( (id 139398456) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
22  (segment (point 139283768) (point 138175624) ( (id 139278488) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
23  (decorator-point (point 137085752) 0 0.5 0.0 ( (id 137482896) (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  (decorator-point (point 137214920) 0 0.5 0.0 ( (id 136854032) (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  (decorator-point (point 137519624) 0 0.5 0.0 ( (id 137513392) (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")))
26  (decorator-point (point 137512640) 0 0.5 0.0 ( (id 136854568) (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  (decorator-point (point 137231400) 0 0.5 0.0 ( (id 137211168) (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")))
28  (decorator-point (point 137269360) 0 0.5 0.0 ( (id 137476872) (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  (segment (decorator-point 139398456) (point 138308376) ( (id 139596296) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
30  (parametric-point 139278488 0.5 ( (id 139357072) (name "noname")))
31  (segment (end 139278488) (point 137375624) ( (id 138320264) (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")))
32  (segment (decorator-point 136854032) (decorator-point 137482896) ( (id 137480104) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
33  (segment (decorator-point 137513392) (decorator-point 136854032) ( (id 137363112) (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")))
34  (segment (point 137518336) (decorator-point 136854568) ( (id 137296136) (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")))
35  (segment (decorator-point 137476872) (decorator-point 137211168) ( (id 137269168) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
36  (parametric-point 139596296 0.5 ( (id 139616520) (name "noname")))
37  (parametric-point 138320264 0.498803436756134 ( (id 138120472) (name "noname")))
38  (segment (end 138320264) (point 138178208) ( (id 139280520) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
39  (parametric-point 137480104 0.510096490383148 ( (id 138321912) (name "noname")))
40  (parametric-point 137363112 0.479536503553391 ( (id 138319088) (name "noname")))
41  (parametric-point 137296136 0.5 ( (id 139281448) (name "noname")))
42  (segment (end 137296136) (decorator-point 137513392) ( (id 138258432) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
43  (parametric-point 137269168 0.5 ( (id 138272264) (name "noname")))
44  (segment (end 137269168) (point 137229752) ( (id 137415680) (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")))
45  (parametric-point 139280520 0.505497872829437 ( (id 139260048) (name "noname")))
46  (parametric-point 138258432 0.514064490795135 ( (id 138275312) (name "noname")))
47  (parametric-point 137415680 0.5 ( (id 137211440) (name "noname")))
48  (segment (end 137415680) (point 137518336) ( (id 138067904) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
49  (parametric-point 138067904 0.496336489915848 ( (id 137270160) (name "noname")))
50  (top-level-group ( (name "top-level-group")) (
51  (tex-text (coords -35.0 5.0) "$D_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-right)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
52  (tex-text (coords -35.0 -25.0) "$D_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 bbox-right)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
53  (tex-text (coords -35.0 -15.0) "$\\approx D_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 bbox-right)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
54  (tex-text (coords -35.0 -5.0) "$\\approx D_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 bbox-right)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
55  (tex-text (coords -35.0 5.0) "$D_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-right)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
56  (tex-text (coords 55.0 5.0) "$D_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-left)) (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")))
57  (tex-text (coords 55.0 -25.0) "$D_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 bbox-left)) (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")))
58  (tex-text (coords 55.0 -15.0) "$\\approx D_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 bbox-left)) (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")))
59  (tex-text (coords 55.0 -5.0) "$\\approx D_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 bbox-left)) (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")))
60  (tex-text (coords 55.0 5.0) "$D_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-left)) (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")))
61  (tex-text (center 139616520) "3" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 139616520
62  (decorator-point (point 139394216) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139394216 139596296
63  (decorator-point (point 138308376) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.449999988079071) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139398456 138308376 139573648
64  (tex-text (center 139260048) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 139260048
65  (tex-text (center 138120472) "3" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 138120472
66  (tex-text (center 139357072) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 139357072
67  (tex-text (coords -9.98425102233887 -4.84272003173828) "" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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")))
68  (decorator-point (end 139280520) 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 138320264) 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 138320264) 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 139278488) 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"))) 139280520 138320264 139278488 138178208 137375624 138175624 139283768
72  (tex-text (center 138321912) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 138321912
73  (tex-text (center 138319088) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 138319088
74  (tex-text (center 138275312) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 138275312
75  (tex-text (center 139281448) "3" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 139281448
76  (tex-text (center 137270160) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 137270160
77  (tex-text (center 137211440) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 137211440
78  (tex-text (center 138272264) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.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"))) 138272264 137480104 137363112 138258432 137296136 138067904 137415680 137269168 137482896 136854032 137513392 136854568
79  (decorator-point (point 137518336) 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 (point 137229752) 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"))) 137211168 137476872 137085752 137214920 137519624 137512640 137518336 137229752 137231400 137269360))))))