Fix off-by-1 problems in the definition of the distractor.

diff --git a/mst.tex b/mst.tex
index fe6c3e34546ac2d5291eee38cf1b205f40421cdc..fcaf24d6f5425313305fa6ba2dce4dabecb48ab4 100644 (file)
--- a/mst.tex
+++ b/mst.tex
@@ -624,8 +624,8 @@ where each edge $v_iv_{i+1}$ has its weight equal to the number of trailing zero
 representation of the number~$i$. The vertex $v_1$ is called a~\df{base} of the distractor.
 
 \rem
 representation of the number~$i$. The vertex $v_1$ is called a~\df{base} of the distractor.
 
 \rem

-Alternatively, we can use a recursive definition: $D_0$ is a single vertex, $D_k$ consists
-of two disjoint copies of $D_{k-1}$ joined by an edge of weight~$k$.
+Alternatively, we can use a recursive definition: $D_0$ is a single vertex, $D_{k+1}$ consists
+of two disjoint copies of~$D_k$ joined by an edge of weight~$k$.

 
 \figure{distractor.eps}{\epsfxsize}{A~distractor $D_3$ and its evolution (bold edges are contracted)}
 
 
 \figure{distractor.eps}{\epsfxsize}{A~distractor $D_3$ and its evolution (bold edges are contracted)}
 

diff --git a/pic/distractor.eps b/pic/distractor.eps
index df027b05099e0831be565a3651266261f5ce8fa9..9dded6f79c0d336b5ba7fc9d670b7c9638236f5e 100644 (file)
--- a/pic/distractor.eps
+++ b/pic/distractor.eps
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: distractor
 %%Creator: VRR  (http://vrr.ucw.cz/)
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: distractor
 %%Creator: VRR  (http://vrr.ucw.cz/)

-%%CreationDate: Mon Jan 21 13:40:52 2008
+%%CreationDate: Wed Jan 23 13:39:47 2008

 %%Pages: 1
 %%BoundingBox: 0 0 299 102
 %%DocumentData: Clean7Bit
 %%Pages: 1
 %%BoundingBox: 0 0 299 102
 %%DocumentData: Clean7Bit


@@ -3714,10 +3714,10 @@ cleartomark
 
 
 %%EndResource
 
 
 %%EndResource

-/F1 /CMR10 def
-/F2 /CMMI10 def
-/F3 /CMR7 def
-/F4 /CMSY10 def
+/F1 /CMMI10 def
+/F2 /CMR7 def
+/F3 /CMSY10 def
+/F4 /CMR10 def

 %%EndSetup
 
 %%Page: distractor 1
 %%EndSetup
 
 %%Page: distractor 1


@@ -4024,38 +4024,38 @@ np 35.000000 5.000000 mt 45.000000 5.000000 lt st
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -20.585938 7.000000] concat
-<31> -0.296875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -20.734375 7.000000] concat
+<30> -0.140625 0.078125 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -10.695312 7.000000] concat
-<32> -0.171875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -10.585938 7.000000] concat
+<31> -0.296875 0.000000 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -0.622573 7.000000] concat
-<31> -0.296875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -0.771010 7.000000] concat
+<30> -0.140625 0.078125 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 9.265625 7.000000] concat
-<33> -0.140625 0.078125 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 9.304688 7.000000] concat
+<32> -0.171875 0.000000 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 19.554707 7.000000] concat
-<31> -0.296875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 19.406270 7.000000] concat
+<30> -0.140625 0.078125 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 29.100052 7.000000] concat
-<32> -0.171875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 29.209428 7.000000] concat
+<31> -0.296875 0.000000 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 39.515027 7.000000] concat
-<31> -0.296875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 39.366590 7.000000] concat
+<30> -0.140625 0.078125 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr


@@ -4207,18 +4207,18 @@ gs
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -10.695312 -3.000000] concat
-<32> -0.171875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -10.585938 -3.000000] concat
+<31> -0.296875 0.000000 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 9.241694 -3.000000] concat
-<33> -0.140625 0.078125 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 9.280756 -3.000000] concat
+<32> -0.171875 0.000000 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 29.414644 -3.000000] concat
-<32> -0.171875 0.000000 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 29.524020 -3.000000] concat
+<31> -0.296875 0.000000 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr


@@ -4320,77 +4320,77 @@ st
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 9.265625 -13.000000] concat
-<33> -0.140625 0.078125 3.514598 F1 fsd sms
+[1.000000 0.000000 0.000000 1.000000 9.304688 -13.000000] concat
+<32> -0.171875 0.000000 3.514598 F4 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 3.509845] concat
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 3.509845] concat

-<44> -0.125000 0.574059 3.514598 F2 fsd sms
-<33> 2.784792 0.046875 2.460219 F3 fsd sms
+<44> -0.125000 0.574059 3.514598 F1 fsd sms
+<33> 2.784792 0.046875 2.460219 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 -6.466717] concat
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 -6.466717] concat

-<19> -0.203125 0.527184 3.514598 F4 fsd sms
-<44> 3.506713 0.527184 3.514598 F2 fsd sms
-<32> 6.416505 0.000000 2.460219 F3 fsd sms
+<19> -0.203125 0.527184 3.514598 F3 fsd sms
+<44> 3.506713 0.527184 3.514598 F1 fsd sms
+<32> 6.416505 0.000000 2.460219 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 -16.466717] concat
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 -16.466717] concat

-<19> -0.203125 0.527184 3.514598 F4 fsd sms
-<44> 3.506713 0.527184 3.514598 F2 fsd sms
-<31> 6.416505 0.000000 2.460219 F3 fsd sms
+<19> -0.203125 0.527184 3.514598 F3 fsd sms
+<44> 3.506713 0.527184 3.514598 F1 fsd sms
+<31> 6.416505 0.000000 2.460219 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 -26.490155] concat
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 -26.490155] concat

-<44> -0.125000 0.574059 3.514598 F2 fsd sms
-<30> 2.784792 0.046875 2.460219 F3 fsd sms
+<44> -0.125000 0.574059 3.514598 F1 fsd sms
+<30> 2.784792 0.046875 2.460219 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 3.509845] concat
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 55.000000 3.509845] concat

-<44> -0.125000 0.574059 3.514598 F2 fsd sms
-<33> 2.784792 0.046875 2.460219 F3 fsd sms
+<44> -0.125000 0.574059 3.514598 F1 fsd sms
+<33> 2.784792 0.046875 2.460219 F2 fsd sms

 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -39.050417 3.509845] concat
 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -39.050417 3.509845] concat

-<44> -0.125000 0.574059 3.514598 F2 fsd sms
-<33> 2.784792 0.046875 2.460219 F3 fsd sms
+<44> -0.125000 0.574059 3.514598 F1 fsd sms
+<33> 2.784792 0.046875 2.460219 F2 fsd sms

 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -42.650880 -6.466717] concat
 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -42.650880 -6.466717] concat

-<19> -0.203125 0.527184 3.514598 F4 fsd sms
-<44> 3.506713 0.527184 3.514598 F2 fsd sms
-<32> 6.416505 0.000000 2.460219 F3 fsd sms
+<19> -0.203125 0.527184 3.514598 F3 fsd sms
+<44> 3.506713 0.527184 3.514598 F1 fsd sms
+<32> 6.416505 0.000000 2.460219 F2 fsd sms

 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -42.572755 -16.466717] concat
 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -42.572755 -16.466717] concat

-<19> -0.203125 0.527184 3.514598 F4 fsd sms
-<44> 3.506713 0.527184 3.514598 F2 fsd sms
-<31> 6.416505 0.000000 2.460219 F3 fsd sms
+<19> -0.203125 0.527184 3.514598 F3 fsd sms
+<44> 3.506713 0.527184 3.514598 F1 fsd sms
+<31> 6.416505 0.000000 2.460219 F2 fsd sms

 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -39.050417 -26.490155] concat
 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -39.050417 -26.490155] concat

-<44> -0.125000 0.574059 3.514598 F2 fsd sms
-<30> 2.784792 0.046875 2.460219 F3 fsd sms
+<44> -0.125000 0.574059 3.514598 F1 fsd sms
+<30> 2.784792 0.046875 2.460219 F2 fsd sms

 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -39.050417 3.509845] concat
 gr
 gs
 1.000000 1.000000 1.000000 sclr
 [1.000000 0.000000 0.000000 1.000000 -39.050417 3.509845] concat

-<44> -0.125000 0.574059 3.514598 F2 fsd sms
-<33> 2.784792 0.046875 2.460219 F3 fsd sms
+<44> -0.125000 0.574059 3.514598 F1 fsd sms
+<33> 2.784792 0.046875 2.460219 F2 fsd sms

 gr
 showpage
 
 %%Trailer
 %%DocumentSuppliedResources: procset VrrEPSProcSet
 gr
 showpage
 
 %%Trailer
 %%DocumentSuppliedResources: procset VrrEPSProcSet

-%%+ font CMR10 CMMI10 CMR7 CMSY10
+%%+ font CMMI10 CMR7 CMSY10 CMR10

 end restore
 %%EOF
 end restore
 %%EOF

diff --git a/pic/distractor.vrr b/pic/distractor.vrr
index 2bda826f0bfa5912b8d95879c9125b7d92a99785..7d74d275de4f171b3eb37d358f4451374834d9fc 100644 (file)
--- a/pic/distractor.vrr
+++ b/pic/distractor.vrr
@@ -58,23 +58,23 @@
  (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")))
  (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")))
  (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")))
  (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")))
  (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")))
  (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")))

- (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
+ (tex-text (center 139616520) "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"))) 139616520

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

- (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
- (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
- (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
+ (tex-text (center 139260048) "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"))) 139260048
+ (tex-text (center 138120472) "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"))) 138120472
+ (tex-text (center 139357072) "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"))) 139357072

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

- (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
- (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
- (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
- (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
- (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
- (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
- (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
+ (tex-text (center 138321912) "0" ( (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
+ (tex-text (center 138319088) "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"))) 138319088
+ (tex-text (center 138275312) "0" ( (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
+ (tex-text (center 139281448) "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"))) 139281448
+ (tex-text (center 137270160) "0" ( (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
+ (tex-text (center 137211440) "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"))) 137211440
+ (tex-text (center 138272264) "0" ( (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

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

- (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))))))
\ No newline at end of file
+ (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))))))

diff --git a/pic/hedgehog.eps b/pic/hedgehog.eps
index 2afd373bc55b4986d770df64196ba4026117d106..19b3597bfeb3c25736babe893732a78e1ae758d6 100644 (file)
--- a/pic/hedgehog.eps
+++ b/pic/hedgehog.eps
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: hedgehog
 %%Creator: VRR  (http://vrr.ucw.cz/)
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: hedgehog
 %%Creator: VRR  (http://vrr.ucw.cz/)

-%%CreationDate: Mon Jan 21 14:57:17 2008
+%%CreationDate: Wed Jan 23 13:41:12 2008

 %%Pages: 1
 %%BoundingBox: 0 0 224 132
 %%DocumentData: Clean7Bit
 %%Pages: 1
 %%BoundingBox: 0 0 224 132
 %%DocumentData: Clean7Bit


@@ -2541,84 +2541,84 @@ st
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -18.085938 3.500000] concat
-<31> -0.296875 0.000000 3.514598 F2 fsd sms
-gr
-gs
-0.000000 0.000000 0.000000 sclr
-[1.000000 0.000000 0.000000 1.000000 -8.195312 3.500000] concat
-<32> -0.171875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -18.234375 3.500000] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 1.914062 3.500000] concat
+[1.000000 0.000000 0.000000 1.000000 -8.085938 3.500000] concat

 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -65.879436 19.793498] concat
-<31> -0.296875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 1.765625 3.500000] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -60.427036 18.512184] concat
-<32> -0.171875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -66.027873 19.793498] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -50.892343 15.640227] concat
+[1.000000 0.000000 0.000000 1.000000 -60.317661 18.512184] concat

 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -32.768311 20.882924] concat
-<31> -0.296875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -51.040780 15.640227] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -21.834920 21.979706] concat
-<32> -0.171875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -32.916748 20.882924] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -15.648295 20.791761] concat
+[1.000000 0.000000 0.000000 1.000000 -21.725545 21.979706] concat

 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -50.838096 -12.552423] concat
-<31> -0.296875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -15.796733 20.791761] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -58.425363 -11.513300] concat
-<32> -0.171875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -50.986533 -12.552423] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -68.923686 -13.837748] concat
+[1.000000 0.000000 0.000000 1.000000 -58.315988 -11.513300] concat

 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -32.768311 -17.882924] concat
-<31> -0.296875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -69.072123 -13.837748] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -24.140620 -15.208981] concat
-<32> -0.171875 0.000000 3.514598 F2 fsd sms
+[1.000000 0.000000 0.000000 1.000000 -32.916748 -17.882924] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms

 gr
 gs
 0.000000 0.000000 0.000000 sclr
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[1.000000 0.000000 0.000000 1.000000 -13.197661 -14.092185] concat
+[1.000000 0.000000 0.000000 1.000000 -24.031245 -15.208981] concat

 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr
 <31> -0.296875 0.000000 3.514598 F2 fsd sms
 gr
 gs
 0.000000 0.000000 0.000000 sclr

-[0.850792 0.000000 0.000000 0.850792 -39.636483 1.296926] concat
+[1.000000 0.000000 0.000000 1.000000 -13.346098 -14.092185] concat
+<30> -0.140625 0.078125 3.514598 F2 fsd sms
+gr
+gs
+0.000000 0.000000 0.000000 sclr
+[0.850792 0.000000 0.000000 0.850792 -39.616543 1.296926] concat

 <15> -0.296875 0.484375 3.514598 F1 fsd sms
 <15> -0.296875 0.484375 3.514598 F1 fsd sms

-<33> 3.412963 0.484375 3.514598 F2 fsd sms
+<32> 3.412963 0.484375 3.514598 F2 fsd sms

 gr
 showpage
 
 gr
 showpage
 

diff --git a/pic/hedgehog.vrr b/pic/hedgehog.vrr
index 7432b5fd299377cefbc70c86a3a2739035a313f8..3139cfdba09c6e60a29d1756b9290b502e05b2c2 100644 (file)
--- a/pic/hedgehog.vrr
+++ b/pic/hedgehog.vrr
@@ -47,22 +47,22 @@
  (parametric-point 136228600 0.458352267742157 ( (id 136355544) (name "noname")))
  (parametric-point 136114304 0.518436908721924 ( (id 136326904) (name "noname")))
  (top-level-group ( (name "top-level-group")) (
  (parametric-point 136228600 0.458352267742157 ( (id 136355544) (name "noname")))
  (parametric-point 136114304 0.518436908721924 ( (id 136326904) (name "noname")))
  (top-level-group ( (name "top-level-group")) (

- (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")))
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
- (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
+ (tex-text (coords -37.5 2.5) "$\\ge 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-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")))
+ (tex-text (center 136326904) "0" ( (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
+ (tex-text (center 136363040) "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"))) 136363040
+ (tex-text (center 136016776) "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 baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136016776
+ (tex-text (center 136338568) "0" ( (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
+ (tex-text (center 136301928) "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"))) 136301928
+ (tex-text (center 136299008) "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 baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136299008
+ (tex-text (center 136355544) "0" ( (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
+ (tex-text (center 136284680) "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"))) 136284680
+ (tex-text (center 136309520) "0" ( (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
+ (tex-text (center 136288648) "0" ( (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
+ (tex-text (center 136294792) "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"))) 136294792
+ (tex-text (center 136305616) "0" ( (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
+ (tex-text (center 136196360) "0" ( (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
+ (tex-text (center 136300512) "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"))) 136300512
+ (tex-text (center 136309368) "0" ( (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

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


@@ -80,4 +80,4 @@
  (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
  (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
  (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
  (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
  (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
  (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

- (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))))))))
\ No newline at end of file
+ (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))))))))