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

Contents of /reversible_pebbling/lemma2.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, 8 months ago) by riso
Branch: MAIN
CVS Tags: clanok-sync1, HEAD
Changes since 1.2: +11 -14 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 1620 360 25 25 1620 360 1645 360
11 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 360 25 25 1755 360 1780 360
12 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 360 25 25 1890 360 1915 360
13 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 360 90 90 810 360 900 360
14 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 405 360 90 90 405 360 495 360
15 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1215 360 90 90 1215 360 1305 360
16 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 630 25 25 1620 630 1645 630
17 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 630 25 25 1755 630 1780 630
18 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 630 25 25 1890 630 1915 630
19 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 630 90 90 810 630 900 630
20 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1215 630 90 90 1215 630 1305 630
21 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 1305 25 25 1620 1305 1645 1305
22 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 1305 25 25 1755 1305 1780 1305
23 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 1305 25 25 1890 1305 1915 1305
24 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 2655 25 25 1620 2655 1645 2655
25 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 2655 25 25 1755 2655 1780 2655
26 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 2655 25 25 1890 2655 1915 2655
27 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 2655 90 90 810 2655 900 2655
28 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 405 2655 90 90 405 2655 495 2655
29 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 1215 2655 90 90 1215 2655 1305 2655
30 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 2025 25 25 1620 2025 1645 2025
31 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 2025 25 25 1755 2025 1780 2025
32 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 2025 25 25 1890 2025 1915 2025
33 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 2025 90 90 810 2025 900 2025
34 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 405 2025 90 90 405 2025 495 2025
35 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 1215 2025 90 90 1215 2025 1305 2025
36 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2295 360 90 90 2295 360 2385 360
37 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3105 360 90 90 3105 360 3195 360
38 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2705 370 90 90 2705 370 2795 370
39 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 360 25 25 3510 360 3535 360
40 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 360 25 25 3645 360 3670 360
41 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2295 630 90 90 2295 630 2385 630
42 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3105 630 90 90 3105 630 3195 630
43 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2705 640 90 90 2705 640 2795 640
44 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 630 25 25 3510 630 3535 630
45 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 630 25 25 3645 630 3670 630
46 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 630 25 25 3780 630 3805 630
47 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 1305 25 25 3510 1305 3535 1305
48 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 1305 25 25 3645 1305 3670 1305
49 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 1305 25 25 3780 1305 3805 1305
50 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 810 25 25 2700 810 2725 810
51 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 945 25 25 2700 945 2725 945
52 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1080 25 25 2700 1080 2725 1080
53 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 2205 25 25 2700 2205 2725 2205
54 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 2340 25 25 2700 2340 2725 2340
55 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 2475 25 25 2700 2475 2725 2475
56 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2295 2655 90 90 2295 2655 2385 2655
57 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3105 2655 90 90 3105 2655 3195 2655
58 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2705 2665 90 90 2705 2665 2795 2665
59 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 2655 25 25 3510 2655 3535 2655
60 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 2655 25 25 3645 2655 3670 2655
61 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 2655 25 25 3780 2655 3805 2655
62 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2295 2025 90 90 2295 2025 2385 2025
63 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3105 2025 90 90 3105 2025 3195 2025
64 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2705 2035 90 90 2705 2035 2795 2035
65 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 2025 25 25 3510 2025 3535 2025
66 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 2025 25 25 3645 2025 3670 2025
67 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 2025 25 25 3780 2025 3805 2025
68 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 360 25 25 3780 360 3805 360
69 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5805 1305 90 90 5805 1305 5895 1305
70 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 6210 1305 90 90 6210 1305 6300 1305
71 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5400 1305 90 90 5400 1305 5490 1305
72 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5805 630 90 90 5805 630 5715 630
73 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 6210 630 90 90 6210 630 6120 630
74 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5400 630 90 90 5400 630 5310 630
75 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5805 360 90 90 5805 360 5715 360
76 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 6210 360 90 90 6210 360 6120 360
77 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5400 360 90 90 5400 360 5310 360
78 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5805 2655 90 90 5805 2655 5715 2655
79 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 6210 2655 90 90 6210 2655 6300 2655
80 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 5400 2655 90 90 5400 2655 5310 2655
81 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5805 2025 90 90 5805 2025 5895 2025
82 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 6210 2025 90 90 6210 2025 6300 2025
83 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 5400 2025 90 90 5400 2025 5490 2025
84 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 4410 1305 90 90 4410 1305 4500 1305
85 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 4680 1305 25 25 4680 1305 4705 1305
86 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 4815 1305 25 25 4815 1305 4840 1305
87 1 3 0 1 0 -1 50 0 20 0.000 0 0.0000 4950 1305 25 25 4950 1305 4975 1305
88 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 4410 630 90 90 4410 630 4500 630
89 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 630 25 25 4680 630 4705 630
90 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4815 630 25 25 4815 630 4840 630
91 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4950 630 25 25 4950 630 4975 630
92 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 4410 2655 90 90 4410 2655 4500 2655
93 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 2655 25 25 4680 2655 4705 2655
94 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4815 2655 25 25 4815 2655 4840 2655
95 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4950 2655 25 25 4950 2655 4975 2655
96 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 4410 2025 90 90 4410 2025 4500 2025
97 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 2025 25 25 4680 2025 4705 2025
98 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4815 2025 25 25 4815 2025 4840 2025
99 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4950 2025 25 25 4950 2025 4975 2025
100 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 4410 360 90 90 4410 360 4500 360
101 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4680 360 25 25 4680 360 4705 360
102 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4815 360 25 25 4815 360 4840 360
103 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4950 360 25 25 4950 360 4975 360
104 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4050 2655 90 90 4050 2655 3960 2655
105 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4050 2025 90 90 4050 2025 3960 2025
106 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 4050 1305 90 90 4050 1305 4140 1305
107 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4050 630 90 90 4050 630 3960 630
108 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4050 360 90 90 4050 360 3960 360
109 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1800 25 25 2700 1800 2725 1800
110 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1530 25 25 2700 1530 2725 1530
111 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1665 25 25 2700 1665 2725 1665
112 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 1800 25 25 4410 1800 4435 1800
113 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 1530 25 25 4410 1530 4435 1530
114 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 4410 1665 25 25 4410 1665 4435 1665
115 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 405 630 90 90 405 630 495 630
116 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3105 1305 90 90 3105 1305 3195 1305
117 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 810 1305 90 90 810 1305 900 1305
118 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 405 1305 90 90 405 1305 495 1305
119 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 1215 1305 90 90 1215 1305 1305 1305
120 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 2295 1305 90 90 2295 1305 2385 1305
121 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 2705 1315 90 90 2705 1315 2795 1315
122 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
123 1305 360 1530 360
124 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
125 495 360 720 360
126 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
127 900 360 1125 360
128 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
129 1305 630 1530 630
130 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
131 495 630 720 630
132 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
133 900 630 1125 630
134 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
135 1305 1305 1530 1305
136 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
137 495 1305 720 1305
138 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
139 900 1305 1125 1305
140 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
141 1305 2655 1530 2655
142 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
143 495 2655 720 2655
144 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
145 900 2655 1125 2655
146 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
147 1305 2025 1530 2025
148 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
149 495 2025 720 2025
150 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
151 900 2025 1125 2025
152 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
153 1980 360 2205 360
154 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
155 3195 360 3420 360
156 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
157 2385 360 2610 360
158 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
159 2790 360 3015 360
160 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
161 1980 630 2205 630
162 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
163 3195 630 3420 630
164 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
165 2385 630 2610 630
166 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
167 2790 630 3015 630
168 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
169 1980 1305 2205 1305
170 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
171 3195 1305 3420 1305
172 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
173 2385 1305 2610 1305
174 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
175 2790 1305 3015 1305
176 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
177 1980 2655 2205 2655
178 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
179 3195 2655 3420 2655
180 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
181 2385 2655 2610 2655
182 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
183 2790 2655 3015 2655
184 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
185 1980 2025 2205 2025
186 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
187 3195 2025 3420 2025
188 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
189 2385 2025 2610 2025
190 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
191 2790 2025 3015 2025
192 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
193 5310 1305 5085 1305
194 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
195 6120 1305 5895 1305
196 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
197 5715 1305 5490 1305
198 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
199 5310 630 5085 630
200 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
201 6120 630 5895 630
202 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
203 5715 630 5490 630
204 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
205 5310 360 5085 360
206 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
207 6120 360 5895 360
208 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
209 5715 360 5490 360
210 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
211 5310 2655 5085 2655
212 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
213 6120 2655 5895 2655
214 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
215 5715 2655 5490 2655
216 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
217 5310 2025 5085 2025
218 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
219 6120 2025 5895 2025
220 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
221 5715 2025 5490 2025
222 2 1 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 2
223 4500 1305 4590 1305
224 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
225 4500 630 4590 630
226 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
227 4500 2655 4590 2655
228 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
229 4500 2025 4590 2025
230 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
231 4500 360 4590 360
232 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
233 3960 2655 3870 2655
234 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
235 4140 2655 4320 2655
236 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
237 3960 2025 3870 2025
238 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
239 4140 2025 4320 2025
240 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
241 3960 1305 3870 1305
242 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
243 4140 1305 4320 1305
244 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
245 3960 630 3870 630
246 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
247 4140 630 4320 630
248 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
249 3960 360 3870 360
250 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
251 4140 360 4320 360
252 2 4 0 1 0 7 55 0 18 0.000 0 0 13 0 0 5
253 4230 2250 225 2250 225 1125 4230 1125 4230 2250
254 4 0 0 50 0 0 12 0.0000 0 135 90 360 180 1\001
255 4 0 0 50 0 0 12 0.0000 0 135 90 765 180 2\001
256 4 0 0 50 0 0 12 0.0000 0 135 90 1170 180 3\001
257 4 0 0 50 0 0 12 0.0000 0 135 90 90 450 1\001
258 4 0 0 50 0 0 12 0.0000 0 165 270 4365 180 $x$\001
259 4 0 0 50 0 0 12 0.0000 0 165 270 6165 180 $n$\001
260 4 0 0 50 0 0 12 0.0000 0 195 225 90 1395 $j$\001
261 4 0 0 50 0 0 12 0.0000 0 165 225 90 2115 $i$\001
262 4 0 0 50 0 0 12 0.0000 0 165 225 90 2745 $l$\001
263 4 0 0 50 0 0 12 0.0000 0 195 2145 450 1755 $\\zuz(\\C,j,i,\\{1 \\ldots x-1\\})$\001
264 4 0 0 50 0 0 12 0.0000 0 195 1335 2340 180 $\\invspace(p)+1$\001

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