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