/[cvs]/reversible_pebbling/lemma2b.fig
ViewVC logotype

Contents of /reversible_pebbling/lemma2b.fig

Parent Directory Parent Directory | Revision Log Revision Log | View Revision Graph Revision Graph


Revision 1.3 - (show annotations)
Tue Feb 17 14:39:51 2004 UTC (14 years, 10 months ago) by riso
Branch: MAIN
CVS Tags: clanok-sync1, HEAD
Changes since 1.2: +15 -21 lines
Obrazky cez metapost

1 #FIG 3.2
2 Landscape
3 Center
4 Metric
5 A4
6 100.00
7 Single
8 -2
9 1200 2
10 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1665 450 25 25 1665 450 1690 450
11 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1800 450 25 25 1800 450 1825 450
12 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1935 450 25 25 1935 450 1960 450
13 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 855 450 90 90 855 450 945 450
14 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 450 450 90 90 450 450 540 450
15 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1260 450 90 90 1260 450 1350 450
16 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1665 720 25 25 1665 720 1690 720
17 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1800 720 25 25 1800 720 1825 720
18 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1935 720 25 25 1935 720 1960 720
19 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 855 720 90 90 855 720 945 720
20 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 450 720 90 90 450 720 540 720
21 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1260 720 90 90 1260 720 1350 720
22 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1665 1395 25 25 1665 1395 1690 1395
23 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1800 1395 25 25 1800 1395 1825 1395
24 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1935 1395 25 25 1935 1395 1960 1395
25 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 855 1395 90 90 855 1395 945 1395
26 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 450 1395 90 90 450 1395 540 1395
27 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1260 1395 90 90 1260 1395 1350 1395
28 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2250 1395 90 90 2250 1395 2340 1395
29 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2520 1395 25 25 2520 1395 2545 1395
30 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2655 1395 25 25 2655 1395 2680 1395
31 1 3 0 1 0 -1 50 0 20 0.000 0 0.0000 2790 1395 25 25 2790 1395 2815 1395
32 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2250 720 90 90 2250 720 2340 720
33 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2520 720 25 25 2520 720 2545 720
34 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2655 720 25 25 2655 720 2680 720
35 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2790 720 25 25 2790 720 2815 720
36 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2250 450 90 90 2250 450 2340 450
37 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2520 450 25 25 2520 450 2545 450
38 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2655 450 25 25 2655 450 2680 450
39 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2790 450 25 25 2790 450 2815 450
40 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3195 450 90 90 3195 450 3285 450
41 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 4005 450 90 90 4005 450 4095 450
42 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 3605 450 90 90 3605 450 3695 450
43 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 450 25 25 4410 450 4435 450
44 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4545 450 25 25 4545 450 4570 450
45 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 450 25 25 4680 450 4705 450
46 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 3195 720 90 90 3195 720 3285 720
47 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 4005 720 90 90 4005 720 4095 720
48 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 3605 720 90 90 3605 720 3695 720
49 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 720 25 25 4410 720 4435 720
50 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4545 720 25 25 4545 720 4570 720
51 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 720 25 25 4680 720 4705 720
52 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3195 1395 90 90 3195 1395 3285 1395
53 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 4005 1395 90 90 4005 1395 4095 1395
54 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 1395 25 25 4410 1395 4435 1395
55 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4545 1395 25 25 4545 1395 4570 1395
56 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 1395 25 25 4680 1395 4705 1395
57 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5535 1395 90 90 5535 1395 5625 1395
58 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5940 1395 90 90 5940 1395 6030 1395
59 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5130 1395 90 90 5130 1395 5220 1395
60 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5535 720 90 90 5535 720 5445 720
61 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5940 720 90 90 5940 720 5850 720
62 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5130 720 90 90 5130 720 5040 720
63 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5535 450 90 90 5535 450 5445 450
64 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5940 450 90 90 5940 450 5850 450
65 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5130 450 90 90 5130 450 5040 450
66 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 900 25 25 3600 900 3625 900
67 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 1035 25 25 3600 1035 3625 1035
68 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 1170 25 25 3600 1170 3625 1170
69 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 2295 25 25 3600 2295 3625 2295
70 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 2430 25 25 3600 2430 3625 2430
71 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 2565 25 25 3600 2565 3625 2565
72 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1665 2745 25 25 1665 2745 1690 2745
73 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1800 2745 25 25 1800 2745 1825 2745
74 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1935 2745 25 25 1935 2745 1960 2745
75 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 855 2745 90 90 855 2745 945 2745
76 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 450 2745 90 90 450 2745 540 2745
77 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 1260 2745 90 90 1260 2745 1350 2745
78 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2250 2745 90 90 2250 2745 2340 2745
79 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2520 2745 25 25 2520 2745 2545 2745
80 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2655 2745 25 25 2655 2745 2680 2745
81 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2790 2745 25 25 2790 2745 2815 2745
82 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3195 2745 90 90 3195 2745 3285 2745
83 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 4005 2745 90 90 4005 2745 4095 2745
84 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 2745 25 25 4410 2745 4435 2745
85 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4545 2745 25 25 4545 2745 4570 2745
86 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 2745 25 25 4680 2745 4705 2745
87 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5535 2745 90 90 5535 2745 5445 2745
88 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5940 2745 90 90 5940 2745 6030 2745
89 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5130 2745 90 90 5130 2745 5040 2745
90 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 1890 25 25 3600 1890 3625 1890
91 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 1620 25 25 3600 1620 3625 1620
92 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3600 1755 25 25 3600 1755 3625 1755
93 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1665 2115 25 25 1665 2115 1690 2115
94 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1800 2115 25 25 1800 2115 1825 2115
95 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1935 2115 25 25 1935 2115 1960 2115
96 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 855 2115 90 90 855 2115 945 2115
97 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 450 2115 90 90 450 2115 540 2115
98 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1260 2115 90 90 1260 2115 1350 2115
99 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 2250 2115 90 90 2250 2115 2340 2115
100 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2520 2115 25 25 2520 2115 2545 2115
101 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2655 2115 25 25 2655 2115 2680 2115
102 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2790 2115 25 25 2790 2115 2815 2115
103 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3195 2115 90 90 3195 2115 3285 2115
104 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 4005 2115 90 90 4005 2115 4095 2115
105 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3605 2115 90 90 3605 2115 3695 2115
106 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 2115 25 25 4410 2115 4435 2115
107 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4545 2115 25 25 4545 2115 4570 2115
108 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 2115 25 25 4680 2115 4705 2115
109 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5535 2115 90 90 5535 2115 5625 2115
110 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 5940 2115 90 90 5940 2115 6030 2115
111 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5130 2115 90 90 5130 2115 5220 2115
112 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3605 1395 90 90 3605 1395 3695 1395
113 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 3605 2745 90 90 3605 2745 3695 2745
114 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
115 1350 450 1575 450
116 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
117 540 450 765 450
118 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
119 945 450 1170 450
120 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
121 1350 720 1575 720
122 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
123 540 720 765 720
124 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
125 945 720 1170 720
126 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
127 1350 1395 1575 1395
128 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
129 540 1395 765 1395
130 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
131 945 1395 1170 1395
132 2 1 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 2
133 2070 1395 2160 1395
134 2 1 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 2
135 2340 1395 2430 1395
136 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
137 2070 720 2160 720
138 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
139 2340 720 2430 720
140 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
141 2070 450 2160 450
142 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
143 2340 450 2430 450
144 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
145 2880 450 3105 450
146 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
147 4095 450 4320 450
148 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
149 3285 450 3510 450
150 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
151 3690 450 3915 450
152 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
153 2880 720 3105 720
154 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
155 4095 720 4320 720
156 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
157 3285 720 3510 720
158 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
159 3690 720 3915 720
160 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
161 2880 1395 3105 1395
162 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
163 4095 1395 4320 1395
164 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
165 3285 1395 3510 1395
166 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
167 3690 1395 3915 1395
168 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
169 5040 1395 4815 1395
170 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
171 5850 1395 5625 1395
172 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
173 5445 1395 5220 1395
174 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
175 5040 720 4815 720
176 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
177 5850 720 5625 720
178 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
179 5445 720 5220 720
180 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
181 5040 450 4815 450
182 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
183 5850 450 5625 450
184 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
185 5445 450 5220 450
186 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
187 1350 2745 1575 2745
188 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
189 540 2745 765 2745
190 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
191 945 2745 1170 2745
192 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
193 2070 2745 2160 2745
194 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
195 2340 2745 2430 2745
196 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
197 2880 2745 3105 2745
198 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
199 4095 2745 4320 2745
200 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
201 3285 2745 3510 2745
202 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
203 3690 2745 3915 2745
204 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
205 5040 2745 4815 2745
206 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
207 5850 2745 5625 2745
208 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
209 5445 2745 5220 2745
210 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
211 1350 2115 1575 2115
212 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
213 540 2115 765 2115
214 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
215 945 2115 1170 2115
216 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
217 2070 2115 2160 2115
218 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
219 2340 2115 2430 2115
220 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
221 2880 2115 3105 2115
222 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
223 4095 2115 4320 2115
224 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
225 3285 2115 3510 2115
226 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
227 3690 2115 3915 2115
228 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
229 5040 2115 4815 2115
230 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
231 5850 2115 5625 2115
232 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
233 5445 2115 5220 2115
234 2 4 0 1 0 7 55 0 18 0.000 0 0 14 0 0 5
235 6165 2970 3420 2970 3420 270 6165 270 6165 2970
236 4 0 0 50 0 0 12 0.0000 0 135 90 405 270 1\001
237 4 0 0 50 0 0 12 0.0000 0 135 90 810 270 2\001
238 4 0 0 50 0 0 12 0.0000 0 135 90 1215 270 3\001
239 4 0 0 50 0 0 12 0.0000 0 165 270 2205 270 $x$\001
240 4 0 0 50 0 0 12 0.0000 0 165 225 135 2835 $l$\001
241 4 0 0 50 0 0 12 0.0000 0 135 90 135 540 1\001
242 4 0 0 50 0 0 12 0.0000 0 165 270 5895 180 $n$\001
243 4 0 0 50 0 0 12 0.0000 0 195 3105 3735 1125 $\\zuz(\\C,1,l,\\{\\invspace(p)+1 \\ldots n\\})$\001
244 4 0 0 50 0 0 12 0.0000 0 195 1335 3240 225 $\\invspace(p)+1$\001

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.26