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

Contents of /reversible_pebbling/theorem1.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: +17 -28 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 6 225 225 2520 1530
11 6 225 225 2520 1530
12 2 4 0 1 0 7 54 0 -1 0.000 0 0 7 0 0 5
13 2520 1530 225 1530 225 225 2520 225 2520 1530
14 -6
15 2 4 0 1 0 7 56 0 18 0.000 0 0 7 0 0 5
16 2520 1530 225 1530 225 225 2520 225 2520 1530
17 -6
18 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 360 25 25 1620 360 1645 360
19 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 360 25 25 1755 360 1780 360
20 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 360 25 25 1890 360 1915 360
21 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 360 90 90 810 360 900 360
22 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 405 360 90 90 405 360 495 360
23 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1215 360 90 90 1215 360 1305 360
24 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 630 25 25 1620 630 1645 630
25 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 630 25 25 1755 630 1780 630
26 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 630 25 25 1890 630 1915 630
27 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 630 90 90 810 630 900 630
28 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 405 630 90 90 405 630 495 630
29 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1215 630 90 90 1215 630 1305 630
30 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2295 360 90 90 2295 360 2385 360
31 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3105 360 90 90 3105 360 3195 360
32 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2705 370 90 90 2705 370 2795 370
33 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 360 25 25 3510 360 3535 360
34 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 360 25 25 3645 360 3670 360
35 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2295 630 90 90 2295 630 2385 630
36 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3105 630 90 90 3105 630 3195 630
37 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2705 640 90 90 2705 640 2795 640
38 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 630 25 25 3510 630 3535 630
39 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 630 25 25 3645 630 3670 630
40 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 630 25 25 3780 630 3805 630
41 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 360 25 25 3780 360 3805 360
42 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4590 630 90 90 4590 630 4500 630
43 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4995 630 90 90 4995 630 4905 630
44 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4185 630 90 90 4185 630 4095 630
45 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4590 360 90 90 4590 360 4500 360
46 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4995 360 90 90 4995 360 4905 360
47 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4185 360 90 90 4185 360 4095 360
48 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 2025 25 25 1620 2025 1645 2025
49 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 2025 25 25 1755 2025 1780 2025
50 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 2025 25 25 1890 2025 1915 2025
51 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 2025 90 90 810 2025 900 2025
52 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 405 2025 90 90 405 2025 495 2025
53 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1215 2025 90 90 1215 2025 1305 2025
54 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2295 2025 90 90 2295 2025 2385 2025
55 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2705 2035 90 90 2705 2035 2795 2035
56 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1530 25 25 2700 1530 2725 1530
57 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1665 25 25 2700 1665 2725 1665
58 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1800 25 25 2700 1800 2725 1800
59 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 3375 25 25 1620 3375 1645 3375
60 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 3375 25 25 1755 3375 1780 3375
61 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 3375 25 25 1890 3375 1915 3375
62 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 810 3375 90 90 810 3375 900 3375
63 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 405 3375 90 90 405 3375 495 3375
64 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 1215 3375 90 90 1215 3375 1305 3375
65 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 2745 25 25 1620 2745 1645 2745
66 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 2745 25 25 1755 2745 1780 2745
67 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 2745 25 25 1890 2745 1915 2745
68 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 810 2745 90 90 810 2745 900 2745
69 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 405 2745 90 90 405 2745 495 2745
70 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 1215 2745 90 90 1215 2745 1305 2745
71 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 2925 25 25 2700 2925 2725 2925
72 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 3060 25 25 2700 3060 2725 3060
73 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 3195 25 25 2700 3195 2725 3195
74 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2295 3375 90 90 2295 3375 2385 3375
75 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 3105 3375 90 90 3105 3375 3195 3375
76 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 2705 3385 90 90 2705 3385 2795 3385
77 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 3375 25 25 3510 3375 3535 3375
78 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 3375 25 25 3645 3375 3670 3375
79 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 3375 25 25 3780 3375 3805 3375
80 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 2295 2745 90 90 2295 2745 2385 2745
81 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3105 2745 90 90 3105 2745 3195 2745
82 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 2705 2755 90 90 2705 2755 2795 2755
83 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 2745 25 25 3510 2745 3535 2745
84 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 2745 25 25 3645 2745 3670 2745
85 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 2745 25 25 3780 2745 3805 2745
86 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 2520 25 25 2700 2520 2725 2520
87 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 2250 25 25 2700 2250 2725 2250
88 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 2385 25 25 2700 2385 2725 2385
89 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4590 3375 90 90 4590 3375 4500 3375
90 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4995 3375 90 90 4995 3375 5085 3375
91 1 3 0 1 0 7 50 0 20 0.000 1 0.0000 4185 3375 90 90 4185 3375 4095 3375
92 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4590 2745 90 90 4590 2745 4680 2745
93 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 4995 2745 90 90 4995 2745 5085 2745
94 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4185 2745 90 90 4185 2745 4275 2745
95 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1620 1305 25 25 1620 1305 1645 1305
96 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1755 1305 25 25 1755 1305 1780 1305
97 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1890 1305 25 25 1890 1305 1915 1305
98 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 810 1305 90 90 810 1305 900 1305
99 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 405 1305 90 90 405 1305 495 1305
100 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 1215 1305 90 90 1215 1305 1305 1305
101 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2295 1305 90 90 2295 1305 2385 1305
102 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2705 1315 90 90 2705 1315 2795 1315
103 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 810 25 25 2700 810 2725 810
104 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 945 25 25 2700 945 2725 945
105 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 2700 1080 25 25 2700 1080 2725 1080
106 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3105 1305 90 90 3105 1305 3195 1305
107 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 1305 25 25 3510 1305 3535 1305
108 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 1305 25 25 3645 1305 3670 1305
109 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 1305 25 25 3780 1305 3805 1305
110 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4590 1305 90 90 4590 1305 4680 1305
111 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4995 1305 90 90 4995 1305 5085 1305
112 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4185 1305 90 90 4185 1305 4275 1305
113 1 3 0 1 0 7 50 0 16 0.000 0 0.0000 3105 2025 90 90 3105 2025 3195 2025
114 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3510 2025 25 25 3510 2025 3535 2025
115 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3645 2025 25 25 3645 2025 3670 2025
116 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 3780 2025 25 25 3780 2025 3805 2025
117 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4590 2025 90 90 4590 2025 4680 2025
118 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4995 2025 90 90 4995 2025 5085 2025
119 1 3 0 1 0 7 50 0 16 0.000 1 0.0000 4185 2025 90 90 4185 2025 4275 2025
120 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
121 1305 360 1530 360
122 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
123 495 360 720 360
124 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
125 900 360 1125 360
126 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
127 1305 630 1530 630
128 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
129 495 630 720 630
130 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
131 900 630 1125 630
132 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
133 1980 360 2205 360
134 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
135 3195 360 3420 360
136 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
137 2385 360 2610 360
138 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
139 2790 360 3015 360
140 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
141 1980 630 2205 630
142 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
143 3195 630 3420 630
144 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
145 2385 630 2610 630
146 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
147 2790 630 3015 630
148 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
149 4095 630 3870 630
150 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
151 4905 630 4680 630
152 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
153 4500 630 4275 630
154 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
155 4095 360 3870 360
156 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
157 4905 360 4680 360
158 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
159 4500 360 4275 360
160 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
161 1305 2025 1530 2025
162 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
163 495 2025 720 2025
164 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
165 900 2025 1125 2025
166 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
167 1980 2025 2205 2025
168 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
169 2385 2025 2610 2025
170 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
171 2790 2025 3015 2025
172 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
173 1305 3375 1530 3375
174 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
175 495 3375 720 3375
176 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
177 900 3375 1125 3375
178 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
179 1305 2745 1530 2745
180 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
181 495 2745 720 2745
182 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
183 900 2745 1125 2745
184 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
185 1980 3375 2205 3375
186 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
187 3195 3375 3420 3375
188 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
189 2385 3375 2610 3375
190 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
191 2790 3375 3015 3375
192 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
193 1980 2745 2205 2745
194 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
195 3195 2745 3420 2745
196 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
197 2385 2745 2610 2745
198 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
199 2790 2745 3015 2745
200 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
201 4095 3375 3870 3375
202 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
203 4905 3375 4680 3375
204 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
205 4500 3375 4275 3375
206 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
207 4095 2745 3870 2745
208 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
209 4905 2745 4680 2745
210 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
211 4500 2745 4275 2745
212 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
213 1305 1305 1530 1305
214 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
215 495 1305 720 1305
216 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
217 900 1305 1125 1305
218 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
219 1980 1305 2205 1305
220 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
221 2385 1305 2610 1305
222 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
223 2790 1305 3015 1305
224 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
225 3195 1305 3420 1305
226 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
227 4095 1305 3870 1305
228 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
229 4905 1305 4680 1305
230 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
231 4500 1305 4275 1305
232 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
233 3195 2025 3420 2025
234 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
235 4095 2025 3870 2025
236 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
237 4905 2025 4680 2025
238 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
239 4500 2025 4275 2025
240 2 4 0 1 0 7 55 0 18 0.000 0 0 7 0 0 5
241 2475 2205 180 2205 180 1170 2475 1170 2475 2205
242 2 4 0 1 0 7 55 0 18 0.000 0 0 7 0 0 5
243 5175 2925 2970 2925 2970 225 5175 225 5175 2925
244 2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
245 2880 2925 2880 225 2565 225 2565 2925 2880 2925
246 4 0 0 50 0 0 12 0.0000 0 135 90 90 450 1\001
247 4 0 0 50 0 0 12 0.0000 0 165 225 90 3465 $l$\001
248 4 0 0 50 0 0 12 0.0000 0 165 225 90 2790 $i$\001
249 4 0 0 50 0 0 12 0.0000 0 135 90 360 135 1\001
250 4 0 0 50 0 0 12 0.0000 0 135 90 765 135 2\001
251 4 0 0 50 0 0 12 0.0000 0 135 90 1170 135 3\001
252 4 0 0 50 0 0 12 0.0000 0 165 270 2250 135 $n$\001
253 4 0 0 50 0 0 12 0.0000 0 165 465 2970 135 $n+2$\001
254 4 0 0 50 0 0 12 0.0000 0 165 555 4815 135 $2n+1$\001
255 4 0 0 50 0 0 12 0.0000 0 195 525 315 990 $\\C_1$\001
256 4 0 0 50 0 0 12 0.0000 0 195 525 270 1800 $\\C_2$\001
257 4 0 0 50 0 0 12 0.0000 0 195 525 3060 990 $\\C_3$\001
258 4 0 0 50 0 0 12 0.0000 0 165 270 0 1350 $k$\001
259 4 0 0 50 0 0 12 0.0000 0 195 225 0 2115 $j$\001
260 4 0 0 50 0 0 12 0.0000 0 165 465 2520 135 $n+1$\001
261 4 0 0 50 0 0 12 0.0000 0 165 510 3915 135 $2n-1$\001
262 4 0 0 50 0 0 12 0.0000 0 165 360 4500 135 $2n$\001

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