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

Contents of /reversible_pebbling/lemma5b.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: +12 -24 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 1800 1755 1890 2115
11 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1800 25 25 1845 1800 1820 1800
12 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1935 25 25 1845 1935 1820 1935
13 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 2070 25 25 1845 2070 1820 2070
14 -6
15 6 1800 900 1890 1260
16 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 945 25 25 1845 945 1820 945
17 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1080 25 25 1845 1080 1820 1080
18 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 1215 25 25 1845 1215 1820 1215
19 -6
20 6 1800 3780 1890 4140
21 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 3825 25 25 1845 3825 1820 3825
22 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 3960 25 25 1845 3960 1820 3960
23 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 4095 25 25 1845 4095 1820 4095
24 -6
25 6 3375 7425 3555 7740
26 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 3420 7470 25 25 3420 7470 3395 7470
27 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 3465 7585 25 25 3465 7585 3440 7585
28 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 3510 7695 25 25 3510 7695 3485 7695
29 -6
30 6 3285 7740 3915 8325
31 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3600 7875 90 90 3600 7875 3690 7875
32 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 3375 8235 90 90 3375 8235 3465 8235
33 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3825 8235 90 90 3825 8235 3915 8235
34 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
35 3600 7875 3555 7740
36 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
37 3592 7870 3367 8230
38 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
39 3600 7875 3825 8235
40 -6
41 6 1800 5895 1890 6255
42 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 5940 25 25 1845 5940 1820 5940
43 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 6075 25 25 1845 6075 1820 6075
44 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 6210 25 25 1845 6210 1820 6210
45 -6
46 6 1800 8460 1890 8820
47 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 8505 25 25 1845 8505 1820 8505
48 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 8640 25 25 1845 8640 1820 8640
49 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 1845 8775 25 25 1845 8775 1820 8775
50 -6
51 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1846 1453 90 90 1846 1453 1936 1453
52 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1170 1620 90 90 1170 1620 1260 1620
53 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2520 1620 90 90 2520 1620 2610 1620
54 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1846 6403 90 90 1846 6403 1936 6403
55 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 2430 6660 90 90 2430 6660 2520 6660
56 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1260 6660 90 90 1260 6660 1350 6660
57 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3060 7155 90 90 3060 7155 3150 7155
58 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1890 6930 90 90 1890 6930 1980 6930
59 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2700 6840 25 25 2700 6840 2675 6840
60 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2790 6912 25 25 2790 6912 2765 6912
61 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2880 6980 25 25 2880 6980 2855 6980
62 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 3330 7335 90 90 3330 7335 3420 7335
63 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2745 7380 90 90 2745 7380 2835 7380
64 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2790 8190 90 90 2790 8190 2880 8190
65 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1935 8190 90 90 1935 8190 2025 8190
66 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1305 8190 90 90 1305 8190 1395 8190
67 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1846 2353 90 90 1846 2353 1936 2353
68 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1260 2610 90 90 1260 2610 1350 2610
69 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2115 2475 25 25 2115 2475 2090 2475
70 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2205 2520 25 25 2205 2520 2180 2520
71 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2295 2565 25 25 2295 2565 2270 2565
72 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2565 2745 90 90 2565 2745 2655 2745
73 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2925 2970 90 90 2925 2970 3015 2970
74 1 3 0 1 0 7 49 0 20 0.000 0 0.0000 2205 2970 90 90 2205 2970 2295 2970
75 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1305 3645 90 90 1305 3645 1395 3645
76 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1846 4423 90 90 1846 4423 1936 4423
77 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 1260 4680 90 90 1260 4680 1350 4680
78 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2115 4545 25 25 2115 4545 2090 4545
79 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2205 4590 25 25 2205 4590 2180 4590
80 1 3 0 1 0 0 50 0 20 0.000 1 0.0000 2295 4635 25 25 2295 4635 2270 4635
81 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2565 4815 90 90 2565 4815 2655 4815
82 1 3 0 1 0 7 49 0 17 0.000 0 0.0000 2925 5040 90 90 2925 5040 3015 5040
83 1 3 0 1 0 0 49 0 20 0.000 0 0.0000 2205 5040 90 90 2205 5040 2295 5040
84 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1305 5715 90 90 1305 5715 1395 5715
85 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
86 1170 1620 1845 1440
87 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
88 1170 1620 675 1980 1665 1980 1170 1620
89 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
90 2520 1620 2025 1980 3015 1980 2520 1620
91 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
92 2520 1620 1845 1440
93 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
94 2520 6660 1845 6390
95 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
96 2466 6678 2655 6795
97 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
98 1260 6660 1832 6411
99 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
100 2430 6660 1890 6930
101 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
102 3060 7155 3330 7335
103 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
104 1890 6930 1755 8325 2160 8325 1890 6930
105 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
106 3060 7155 2925 7020
107 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
108 1260 6660 990 8325 1620 8325 1260 6660
109 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
110 3690 6390 2025 6390
111 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
112 2737 7382 2602 8327 2962 8327 2737 7382
113 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
114 3049 7141 2739 7373
115 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
116 3735 7335 3465 7335
117 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
118 2025 2430 1845 2340
119 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
120 1260 2610 1832 2361
121 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
122 1260 2610 990 3915 1620 3915 1260 2610
123 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
124 3690 2340 2025 2340
125 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
126 2925 2970 2565 2745
127 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
128 2568 2737 2385 2610
129 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
130 2205 2970 2565 2745
131 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
132 2205 2970 2070 3915 2430 3915 2205 2970
133 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
134 2925 2970 2790 3915 3150 3915 2925 2970
135 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
136 3690 2745 2745 2745
137 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
138 2062 4520 1845 4410
139 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
140 1260 4680 1832 4431
141 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
142 1260 4680 990 5985 1620 5985 1260 4680
143 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
144 3690 4410 2025 4410
145 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
146 2925 5040 2565 4815
147 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
148 2568 4807 2354 4666
149 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
150 2205 5040 2565 4815
151 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
152 2205 5040 2070 5985 2430 5985 2205 5040
153 2 1 0 1 0 7 51 0 17 0.000 0 0 -1 0 0 4
154 2925 5040 2790 5985 3150 5985 2925 5040
155 2 1 1 1 0 7 50 0 -1 4.000 0 0 -1 0 0 2
156 3690 4815 2745 4815
157 3 1 0 1 0 7 60 0 19 0.000 0 0 0 13
158 2205 2745 1935 2925 1935 3825 2025 4095 2025 4950 1935 5985
159 2160 6210 2340 6210 2565 5985 2385 4950 2385 4095 2565 3825
160 2475 2925
161 1.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000
162 1.000 1.000 1.000 1.000 1.000
163 4 0 0 50 0 0 12 0.0000 0 195 540 135 1710 $\\C(i)$\001
164 4 0 0 50 0 0 12 0.0000 0 165 375 2106 4241 $\\C'$\001
165 4 0 0 50 0 0 12 0.0000 0 195 555 135 3465 $\\C(r)$\001
166 4 0 0 50 0 0 12 0.0000 0 195 585 135 5355 $\\C(q)$\001
167 4 0 0 50 0 0 14 0.0000 0 195 255 1755 9090 (b)\001
168 4 0 0 50 0 0 12 0.0000 0 195 540 180 7515 $\\C(j)$\001
169 4 0 0 50 0 0 12 0.0000 0 195 450 3735 2430 $h_2$\001
170 4 0 0 50 0 0 12 0.0000 0 165 270 3735 2835 $k$\001
171 4 0 0 50 0 0 12 0.0000 0 195 450 3735 4500 $h_2$\001
172 4 0 0 50 0 0 12 0.0000 0 165 270 3735 4905 $k$\001
173 4 0 0 50 0 0 12 0.0000 0 195 450 3735 6480 $h_2$\001
174 4 0 0 50 0 0 12 0.0000 0 195 450 3780 7425 $h_1$\001

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