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

Contents of /reversible_pebbling/lemma4.fig

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


Revision 1.4 - (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.3: +22 -39 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 270 765 2610 1710
11 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1441 1183 90 90 1441 1183 1531 1183
12 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 765 1350 90 90 765 1350 855 1350
13 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2115 1350 90 90 2115 1350 2205 1350
14 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 990 25 25 1440 990 1465 990
15 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 900 25 25 1440 900 1465 900
16 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 810 25 25 1440 810 1465 810
17 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
18 765 1350 1440 1170
19 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
20 2115 1350 1440 1170
21 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
22 765 1350 270 1710 1260 1710 765 1350
23 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
24 2115 1350 1620 1710 2610 1710 2115 1350
25 -6
26 6 270 1485 2610 2430
27 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1441 1903 90 90 1441 1903 1531 1903
28 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 765 2070 90 90 765 2070 855 2070
29 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2115 2070 90 90 2115 2070 2205 2070
30 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 1530 25 25 1440 1530 1465 1530
31 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 1620 25 25 1440 1620 1465 1620
32 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 1710 25 25 1440 1710 1465 1710
33 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
34 765 2070 1440 1890
35 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
36 2115 2070 1440 1890
37 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
38 765 2070 270 2430 1260 2430 765 2070
39 2 1 0 1 0 7 51 0 16 0.000 0 0 -1 0 0 4
40 2115 2070 1620 2430 2610 2430 2115 2070
41 -6
42 6 270 2475 2610 3105
43 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1441 2578 90 90 1441 2578 1531 2578
44 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 765 2745 90 90 765 2745 855 2745
45 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 2115 2745 90 90 2115 2745 2205 2745
46 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
47 765 2745 1440 2565
48 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
49 2115 2745 1440 2565
50 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
51 765 2745 270 3105 1260 3105 765 2745
52 2 1 0 1 0 7 51 0 16 0.000 0 0 -1 0 0 4
53 2115 2745 1620 3105 2610 3105 2115 2745
54 -6
55 6 270 2970 2610 3915
56 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1441 3388 90 90 1441 3388 1531 3388
57 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 765 3555 90 90 765 3555 855 3555
58 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2115 3555 90 90 2115 3555 2205 3555
59 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 3125 25 25 1440 3125 1465 3125
60 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 3220 25 25 1440 3220 1465 3220
61 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 3035 25 25 1440 3035 1465 3035
62 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
63 765 3555 1440 3375
64 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
65 2115 3555 1440 3375
66 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
67 765 3555 270 3915 1260 3915 765 3555
68 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
69 2115 3555 1620 3915 2610 3915 2115 3555
70 -6
71 6 270 3780 2610 4770
72 1 1 0 1 0 0 50 0 20 0.000 0 0.0000 1441 4197 90 98 1441 4197 1531 4197
73 1 1 0 1 0 0 50 0 20 0.000 0 0.0000 765 4378 90 98 765 4378 855 4378
74 1 1 0 1 0 7 50 0 20 0.000 0 0.0000 2115 4378 90 98 2115 4378 2205 4378
75 1 1 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 4005 25 27 1440 4005 1465 4005
76 1 1 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 3915 25 27 1440 3915 1465 3915
77 1 1 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 3825 25 27 1440 3825 1465 3825
78 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
79 765 4378 1440 4184
80 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
81 2115 4378 1440 4184
82 2 1 0 1 0 7 51 0 16 0.000 0 0 -1 0 0 4
83 765 4378 270 4770 1260 4770 765 4378
84 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
85 2115 4378 1620 4770 2610 4770 2115 4378
86 -6
87 6 270 4635 2610 5580
88 1 3 0 1 0 0 50 0 20 0.000 0 0.0000 1441 5053 90 90 1441 5053 1531 5053
89 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 765 5220 90 90 765 5220 855 5220
90 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2115 5220 90 90 2115 5220 2205 5220
91 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 4860 25 25 1440 4860 1465 4860
92 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 4770 25 25 1440 4770 1465 4770
93 1 3 0 1 0 0 50 0 20 0.000 0 -0.0000 1440 4680 25 25 1440 4680 1465 4680
94 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
95 765 5220 1440 5040
96 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
97 2115 5220 1440 5040
98 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
99 765 5220 270 5580 1260 5580 765 5220
100 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
101 2115 5220 1620 5580 2610 5580 2115 5220
102 -6
103 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 1441 463 90 90 1441 463 1531 463
104 1 3 0 1 0 7 50 0 20 0.000 0 -0.0000 765 630 90 90 765 630 855 630
105 1 3 0 1 0 7 50 0 20 0.000 0 0.0000 2115 630 90 90 2115 630 2205 630
106 2 4 0 1 0 7 55 0 19 0.000 0 0 7 0 0 5
107 225 450 1305 450 1305 1800 225 1800 225 450
108 2 4 0 1 0 7 55 0 19 0.000 0 0 7 0 0 5
109 1575 2565 2655 2565 2655 4005 1575 4005 1575 2565
110 2 3 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 17
111 45 3330 630 3330 630 3690 752 3689 752 4229 630 4230
112 630 4545 900 4545 900 4230 791 4229 791 3689 900 3690
113 900 3330 1305 3330 1305 4815 45 4815 45 3330
114 2 3 0 1 0 7 56 0 18 0.000 0 0 -1 0 0 17
115 45 3330 630 3330 630 3690 752 3689 752 4229 630 4230
116 630 4545 900 4545 900 4230 791 4229 791 3689 900 3690
117 900 3330 1305 3330 1305 4815 45 4815 45 3330
118 2 4 0 1 0 7 60 0 19 0.000 0 0 7 0 0 5
119 225 4590 1260 4590 1260 5670 225 5670 225 4590
120 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
121 765 630 1440 450
122 2 1 0 1 0 7 51 0 -1 0.000 0 0 -1 0 0 2
123 2115 630 1440 450
124 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
125 765 630 270 990 1260 990 765 630
126 2 1 0 1 0 7 51 0 20 0.000 0 0 -1 0 0 4
127 2115 630 1620 990 2610 990 2115 630
128 2 4 0 1 0 7 55 0 19 0.000 0 0 7 0 0 5
129 1575 1215 2655 1215 2655 2475 1575 2475 1575 1215
130 4 0 0 50 0 0 14 0.0000 0 195 255 1305 6030 (a)\001
131 4 0 0 50 0 0 12 0.0000 0 195 1395 945 135 $\\Root(\\Bt(h+1))$\001
132 4 0 0 50 0 0 12 0.0000 0 195 1350 180 360 $\\Left(\\Bt(h+1))$\001
133 4 0 0 50 0 0 12 0.0000 0 195 525 675 1215 $\\C_1$\001
134 4 0 0 50 0 0 12 0.0000 0 195 1215 1665 1935 $\\zuz(\\C_2,1,i)$\001
135 4 0 0 50 0 0 12 0.0000 0 195 1170 1665 3375 $\\zuz(\\C_2,i,l)$\001
136 4 0 0 50 0 0 12 0.0000 0 195 1395 1620 360 $\\Root(\\Bt(h+1))$\001
137 4 0 0 50 0 0 12 0.0000 0 195 1770 100 4135 $\\zuz(\\C_2,\\ 1,i,\\ldots)$\001
138 4 0 0 50 0 0 12 0.0000 0 195 1170 270 5085 $\\zuz(\\C_2,i,l)$\001

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