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

Contents of /reversible_pebbling/lemma5a.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: +12 -30 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 675 495 3015 1125
11 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1846 598 90 90 1846 598 1936 598
12 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1170 765 90 90 1170 765 1260 765
13 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2520 765 90 90 2520 765 2610 765
14 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
15 1170 765 1845 585
16 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
17 2520 765 1845 585
18 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
19 1170 765 675 1125 1665 1125 1170 765
20 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
21 2520 765 2025 1125 3015 1125 2520 765
22 -6
23 6 3465 5850 3645 6165
24 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 3510 5895 25 25 3510 5895 3485 5895
25 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 3555 6010 25 25 3555 6010 3530 6010
26 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 3600 6120 25 25 3600 6120 3575 6120
27 -6
28 6 3375 6165 4005 6750
29 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3690 6300 90 90 3690 6300 3780 6300
30 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 3465 6660 90 90 3465 6660 3555 6660
31 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3915 6660 90 90 3915 6660 4005 6660
32 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
33 3690 6300 3645 6165
34 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
35 3682 6295 3457 6655
36 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
37 3690 6300 3915 6660
38 -6
39 6 1800 855 1890 1215
40 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 900 25 25 1845 900 1820 900
41 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1035 25 25 1845 1035 1820 1035
42 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1170 25 25 1845 1170 1820 1170
43 -6
44 6 1800 1755 1890 2115
45 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1800 25 25 1845 1800 1820 1800
46 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1935 25 25 1845 1935 1820 1935
47 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 2070 25 25 1845 2070 1820 2070
48 -6
49 6 1890 4320 1980 4680
50 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1935 4365 25 25 1935 4365 1910 4365
51 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1935 4500 25 25 1935 4500 1910 4500
52 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1935 4635 25 25 1935 4635 1910 4635
53 -6
54 6 765 7335 3105 7965
55 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1936 7438 90 90 1936 7438 2026 7438
56 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1260 7605 90 90 1260 7605 1350 7605
57 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2610 7605 90 90 2610 7605 2700 7605
58 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
59 1260 7605 1935 7425
60 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
61 2610 7605 1935 7425
62 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
63 1260 7605 765 7965 1755 7965 1260 7605
64 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
65 2610 7605 2115 7965 3105 7965 2610 7605
66 -6
67 6 1890 6885 1980 7245
68 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1935 6930 25 25 1935 6930 1910 6930
69 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1935 7065 25 25 1935 7065 1910 7065
70 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1935 7200 25 25 1935 7200 1910 7200
71 -6
72 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1936 4828 90 90 1936 4828 2026 4828
73 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 2520 5085 90 90 2520 5085 2610 5085
74 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1350 5085 90 90 1350 5085 1440 5085
75 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3150 5580 90 90 3150 5580 3240 5580
76 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1980 5355 90 90 1980 5355 2070 5355
77 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2790 5265 25 25 2790 5265 2765 5265
78 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2880 5337 25 25 2880 5337 2855 5337
79 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2970 5405 25 25 2970 5405 2945 5405
80 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3420 5760 90 90 3420 5760 3510 5760
81 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2835 5805 90 90 2835 5805 2925 5805
82 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2880 6615 90 90 2880 6615 2970 6615
83 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2025 6615 90 90 2025 6615 2115 6615
84 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1395 6615 90 90 1395 6615 1485 6615
85 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1846 2353 90 90 1846 2353 1936 2353
86 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2430 2610 90 90 2430 2610 2520 2610
87 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1260 2610 90 90 1260 2610 1350 2610
88 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 3060 3105 90 90 3060 3105 3150 3105
89 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1890 2880 90 90 1890 2880 1980 2880
90 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2700 2790 25 25 2700 2790 2675 2790
91 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2790 2862 25 25 2790 2862 2765 2862
92 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2880 2930 25 25 2880 2930 2855 2930
93 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2745 3330 90 90 2745 3330 2835 3330
94 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1935 4140 90 90 1935 4140 2025 4140
95 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1305 4140 90 90 1305 4140 1395 4140
96 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 3330 3330 90 90 3330 3330 3420 3330
97 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1846 1453 90 90 1846 1453 1936 1453
98 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1170 1620 90 90 1170 1620 1260 1620
99 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2520 1620 90 90 2520 1620 2610 1620
100 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
101 2610 5085 1935 4815
102 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
103 2556 5103 2745 5220
104 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
105 1350 5085 1922 4836
106 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
107 2520 5085 1980 5355
108 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
109 3150 5580 3420 5760
110 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
111 1980 5355 1845 6750 2250 6750 1980 5355
112 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
113 3150 5580 3015 5445
114 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
115 1350 5085 1080 6750 1710 6750 1350 5085
116 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
117 3780 4815 2115 4815
118 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
119 2827 5807 2692 6752 3052 6752 2827 5807
120 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
121 3139 5566 2829 5798
122 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
123 3825 5760 3555 5760
124 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
125 2520 2610 1845 2340
126 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
127 2466 2628 2655 2745
128 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
129 1260 2610 1832 2361
130 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
131 2430 2610 1890 2880
132 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
133 3060 3105 3330 3285
134 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
135 1890 2880 1755 4275 2160 4275 1890 2880
136 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
137 3060 3105 2925 2970
138 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
139 1260 2610 990 4275 1620 4275 1260 2610
140 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
141 3690 2340 2025 2340
142 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
143 2737 3332 2602 4277 2962 4277 2737 3332
144 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
145 3049 3091 2739 3323
146 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
147 3735 3285 3465 3285
148 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
149 3330 3332 3195 4277 3555 4277 3330 3332
150 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
151 1170 1620 1845 1440
152 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
153 1170 1620 675 1980 1665 1980 1170 1620
154 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
155 2520 1620 2025 1980 3015 1980 2520 1620
156 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
157 2520 1620 1845 1440
158 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
159 2475 1755 2475 2475
160 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
161 2475 2880 2475 4950
162 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
163 3195 585 2025 585
164 3 1 0 1 0 7 56 0 19 0.000 0 0 0 6
165 2655 4905 3330 5445 3330 5670 3060 5805 2295 5175 2340 4950
166 1.000 1.000 1.000 1.000 1.000 1.000
167 3 1 0 1 0 7 51 0 19 0.000 0 0 0 6
168 2565 1440 2925 1755 2835 1890 2655 1890 2295 1665 2295 1440
169 1.000 1.000 1.000 1.000 1.000 1.000
170 3 1 0 1 0 7 56 0 19 0.000 0 0 0 6
171 2565 2430 3240 2970 3240 3195 2970 3330 2205 2700 2250 2475
172 1.000 1.000 1.000 1.000 1.000 1.000
173 4 0 0 50 0 0 12 0.0000 0 195 585 135 900 $\\C(1)$\001
174 4 0 0 50 0 0 12 0.0000 0 195 540 135 1710 $\\C(i)$\001
175 4 0 0 50 0 0 12 0.0000 0 195 540 180 7650 $\\C(l)$\001
176 4 0 0 50 0 0 12 0.0000 0 195 540 180 5940 $\\C(j)$\001
177 4 0 0 50 0 0 12 0.0000 0 195 1410 -135 3465 $\\C(r)$ for any $r$\001
178 4 0 0 50 0 0 14 0.0000 0 195 255 1845 8505 (a)\001
179 4 0 0 50 0 0 12 0.0000 0 195 450 3285 675 $h_2$\001
180 4 0 0 50 0 0 12 0.0000 0 195 450 3735 2430 $h_2$\001
181 4 0 0 50 0 0 12 0.0000 0 195 450 3780 3375 $h_1$\001
182 4 0 0 50 0 0 12 0.0000 0 195 450 3825 4905 $h_2$\001
183 4 0 0 50 0 0 12 0.0000 0 195 450 3870 5850 $h_1$\001
184 4 0 0 50 0 0 12 0.0000 0 195 525 2205 3060 $\\C_2$\001

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