Comment: This TM produces 17323 nonzeros in 262,759,288 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 2LC | 0LC | 0RA | 1 | right | B | 2 | left | C | 0 | left | C | 0 | right | A |
| B | 3LC | 2RC | 1LB | 0RC | 3 | left | C | 2 | right | C | 1 | left | B | 0 | right | C |
| C | 1RA | 0LB | 1RH | 0RB | 1 | right | A | 0 | left | B | 1 | right | H | 0 | right | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 6-bck-macro machine.
Simulation is done as 6-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 6.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (000000)A>
1 16 6 000010 (102101)B>
2 23 -1 000010 <B(031030) 300000
3 46 6 001010 (221001)B> 300000
4 82 12 001010 222101 (011010)A>
5 107 5 001010 222101 <C(310303) 030300
6 113 -1 001010 <B(111030) 310303 030300
7 145 -7 <B(030311) 000030 310303 030300
8 160 0 000010 (102112)C> 000030 310303 030300
9 170 6 000010 102112 (210101)A> 310303 030300
10 186 12 000010 102112 210102 (210010)C> 030300
11 192 18 000010 102112 210102 210010 (101011)B>
12 207 11 000010 102112 210102 210010 <B(030310) 303000
13 238 18 000010 102112 210102 221010 (101011)B> 303000
14 256 24 000010 102112 210102 221010 101021 (010101)B>
15 263 17 000010 102112 210102 221010 101021 <C(303030) 300000
16 269 11 000010 102112 210102 221010 <B(030310) 303030 300000
17 275 5 000010 102112 210102 <B(110303) 030310 303030 300000
18 281 -1 000010 102112 <B(103031) 110303 030310 303030 300000
19 291 -7 000010 <B(031100) 103031 110303 030310 303030 300000
20 310 0 001010 (211211)B> 103031 110303 030310 303030 300000
21 335 -7 001010 <B(110010) 003030 110303 030310 303030 300000
22 358 0 101021 (121121)A> 003030 110303 030310 303030 300000
23 368 6 101021 121122 (100101)A> 110303 030310 303030 300000
24 396 12 101021 121122 210101 (121010)C> 030310 303030 300000
25 413 5 101021 121122 210101 <B(100303) 030300 303030 300000
26 421 -1 101021 121122 <B(103031) 000303 030300 303030 300000
27 433 -7 101021 <B(101001) 103031 000303 030300 303030 300000
28 441 -13 <B(030311) 001001 103031 000303 030300 303030 300000
29 456 -6 000010 (102112)C> 001001 103031 000303 030300 303030 300000
30 462 0 000010 102112 (112112)C> 103031 000303 030300 303030 300000
31 477 -7 000010 102112 <B(100100) 003031 000303 030300 303030 300000
32 487 -13 000010 <B(031100) 100100 003031 000303 030300 303030 300000
33 506 -6 001010 (211211)B> 100100 003031 000303 030300 303030 300000
34 512 0 001010 211211 (211211)B> 003031 000303 030300 303030 300000
35 528 6 001010 211211 211221 (010211)B> 000303 030300 303030 300000
36 543 -1 001010 211211 211221 <C(303110) 303303 030300 303030 300000
37 553 -7 001010 211211 <B(110010) 303110 303303 030300 303030 300000
38 567 -13 001010 <B(110010) 010010 303110 303303 030300 303030 300000
39 590 -6 101021 (121121)A> 010010 303110 303303 030300 303030 300000
40 596 0 101021 121121 (121121)A> 303110 303303 030300 303030 300000
41 615 -7 101021 121121 <B(101000) 303010 303303 030300 303030 300000
42 629 -13 101021 <B(101001) 001000 303010 303303 030300 303030 300000
43 637 -19 <B(030311) 001001 001000 303010 303303 030300 303030 300000
44 652 -12 000010 (102112)C> 001001 001000 303010 303303 030300 303030 300000
45 658 -6 000010 102112 (112112)C> 001000 303010 303303 030300 303030 300000
46 668 0 000010 102112 112112 (112210)A> 303010 303303 030300 303030 300000
47 700 6 000010 102112 112112 112221 (010210)A> 303303 030300 303030 300000
48 708 12 000010 102112 112112 112221 010210 (010100)A> 030300 303030 300000
49 728 18 000010 102112 112112 112221 010210 010110 (101010)C> 303030 300000
50 736 24 000010 102112 112112 112221 010210 010110 101010 (100101)A> 300000
51 760 30 000010 102112 112112 112221 010210 010110 101010 110101 (010210)A>
52 769 23 000010 102112 112112 112221 010210 010110 101010 110101 <C(303103) 030000
53 793 17 000010 102112 112112 112221 010210 010110 101010 <B(103030) 303003 030000
54 799 11 000010 102112 112112 112221 010210 010110 <B(030303) 103030 303003 030000
55 810 18 000010 102112 112112 112221 0102102 (101010)C> 103030 303003 030000
56 817 11 000010 102112 112112 112221 0102102 <B(030303) 003030 303003 030000
57 823 5 000010 102112 112112 112221 010210 <C(303103) 030303 003030 303003 030000
58 840 12 000010 102112 112112 112221 010221 (010110)C> 030303 003030 303003 030000
59 846 18 000010 102112 112112 112221 010221 010110 (101010)A> 003030 303003 030000
60 855 11 000010 102112 112112 112221 010221 010110 <B(030303) 033030 303003 030000
61 866 18 000010 102112 112112 112221 010221 010210 (101010)C> 033030 303003 030000
62 872 24 000010 102112 112112 112221 010221 010210 101010 (100101)A> 303003 030000
63 878 30 000010 102112 112112 112221 010221 010210 101010 100101 (010110)C> 030000
64 907 23 000010 102112 112112 112221 010221 010210 101010 100101 <C(303103) 030303
65 940 30 000010 102112 112112 112221 010221 010210 101010 210101 (010110)C> 030303
66 946 36 000010 102112 112112 112221 010221 010210 101010 210101 010110 (101010)A>
67 955 29 000010 102112 112112 112221 010221 010210 101010 210101 010110 <B(030303) 030000
68 966 36 000010 102112 112112 112221 010221 010210 101010 210101 010210 (101010)C> 030000
69 979 29 000010 102112 112112 112221 010221 010210 101010 210101 010210 <B(030303) 030300
70 985 23 000010 102112 112112 112221 010221 010210 101010 210101 <C(303103) 030303 030300
71 991 17 000010 102112 112112 112221 010221 010210 101010 <B(103030) 303103 030303 030300
72 997 11 000010 102112 112112 112221 010221 010210 <B(030303) 103030 303103 030303 030300
73 1003 5 000010 102112 112112 112221 010221 <C(303103) 030303 103030 303103 030303 030300
74 1009 -1 000010 102112 112112 112221 <C(303110) 303103 030303 103030 303103 030303 030300
75 1019 -7 000010 102112 112112 <B(100110) 303110 303103 030303 103030 303103 030303 030300
76 1033 -13 000010 102112 <B(100100) 100110 303110 303103 030303 103030 303103 030303 030300
77 1043 -19 000010 <B(031100) 100100 100110 303110 303103 030303 103030 303103 030303 030300
78 1062 -12 001010 (211211)B> 100100 100110 303110 303103 030303 103030 303103 030303 030300
79 1068 -6 001010 211211 (211211)B> 100110 303110 303103 030303 103030 303103 030303 030300
80 1095 -13 001010 211211 <B(110010) 010000 303110 303103 030303 103030 303103 030303 030300
81 1109 -19 001010 <B(110010) 010010 010000 303110 303103 030303 103030 303103 030303 030300
82 1132 -12 101021 (121121)A> 010010 010000 303110 303103 030303 103030 303103 030303 030300
83 1138 -6 101021 121121 (121121)A> 010000 303110 303103 030303 103030 303103 030303 030300
84 1148 0 101021 1211212 (122101)B> 303110 303103 030303 103030 303103 030303 030300
85 1160 6 101021 1211212 122101 (021121)A> 303103 030303 103030 303103 030303 030300
86 1177 -1 101021 1211212 122101 <C(311000) 303003 030303 103030 303103 030303 030300
87 1185 -7 101021 1211212 <B(101030) 311000 303003 030303 103030 303103 030303 030300
88 1199 -13 101021 121121 <B(101001) 001030 311000 303003 030303 103030 303103 030303 030300
89 1213 -19 101021 <B(101001) 001001 001030 311000 303003 030303 103030 303103 030303 030300
90 1221 -25 <B(030311) 0010012 001030 311000 303003 030303 103030 303103 030303 030300
91 1236 -18 000010 (102112)C> 0010012 001030 311000 303003 030303 103030 303103 030303 030300
92 1242 -12 000010 102112 (112112)C> 001001 001030 311000 303003 030303 103030 303103 030303 030300
93 1248 -6 000010 102112 112112 (112112)C> 001030 311000 303003 030303 103030 303103 030303 030300
94 1254 0 000010 102112 1121122 (112101)B> 311000 303003 030303 103030 303103 030303 030300
95 1267 -7 000010 102112 1121122 <B(100030) 301000 303003 030303 103030 303103 030303 030300
96 1281 -13 000010 102112 112112 <B(100100) 100030 301000 303003 030303 103030 303103 030303 030300
97 1295 -19 000010 102112 <B(100100) 100100 100030 301000 303003 030303 103030 303103 030303 030300
98 1305 -25 000010 <B(031100) 1001002 100030 301000 303003 030303 103030 303103 030303 030300
99 1324 -18 001010 (211211)B> 1001002 100030 301000 303003 030303 103030 303103 030303 030300
100 1336 -6 001010 2112112 (211211)B> 100030 301000 303003 030303 103030 303103 030303 030300
101 1346 0 001010 2112113 (221001)B> 301000 303003 030303 103030 303103 030303 030300
102 1389 -7 001010 2112113 <B(111030) 310303 303003 030303 103030 303103 030303 030300
103 1403 -13 001010 2112112 <B(110010) 011030 310303 303003 030303 103030 303103 030303 030300
104 1431 -25 001010 <B(110010) 0100102 011030 310303 303003 030303 103030 303103 030303 030300
105 1454 -18 101021 (121121)A> 0100102 011030 310303 303003 030303 103030 303103 030303 030300
106 1466 -6 101021 1211212 (121121)A> 011030 310303 303003 030303 103030 303103 030303 030300
107 1487 -13 101021 1211212 <B(101001) 000030 310303 303003 030303 103030 303103 030303 030300
108 1515 -25 101021 <B(101001) 0010012 000030 310303 303003 030303 103030 303103 030303 030300
109 1523 -31 <B(030311) 0010013 000030 310303 303003 030303 103030 303103 030303 030300
110 1538 -24 000010 (102112)C> 0010013 000030 310303 303003 030303 103030 303103 030303 030300
111 1544 -18 000010 102112 (112112)C> 0010012 000030 310303 303003 030303 103030 303103 030303 030300
112 1556 -6 000010 102112 1121122 (112112)C> 000030 310303 303003 030303 103030 303103 030303 030300
113 1566 0 000010 102112 1121123 (210101)A> 310303 303003 030303 103030 303103 030303 030300
114 1582 6 000010 102112 1121123 210102 (210010)C> 303003 030303 103030 303103 030303 030300
115 1596 12 000010 102112 1121123 210102 210010 (110100)B> 030303 103030 303103 030303 030300
116 1604 18 000010 102112 1121123 210102 210010 110101 (001010)A> 103030 303103 030303 030300
117 1620 24 000010 102112 1121123 210102 210010 110101 001022 (100101)A> 303103 030303 030300
118 1642 30 000010 102112 1121123 210102 210010 110101 001022 110101 (010110)C> 030303 030300
119 1648 36 000010 102112 1121123 210102 210010 110101 001022 110101 010110 (101010)A> 030300
120 1665 29 000010 102112 1121123 210102 210010 110101 001022 110101 010110 <B(030303) 030303
121 1676 36 000010 102112 1121123 210102 210010 110101 001022 110101 010210 (101010)C> 030303
122 1682 42 000010 102112 1121123 210102 210010 110101 001022 110101 010210 101010 (101010)A>
123 1691 35 000010 102112 1121123 210102 210010 110101 001022 110101 010210 101010 <B(030303) 030000
124 1697 29 000010 102112 1121123 210102 210010 110101 001022 110101 010210 <B(030303) 030303 030000
125 1703 23 000010 102112 1121123 210102 210010 110101 001022 110101 <C(303103) 0303032 030000
126 1727 17 000010 102112 1121123 210102 210010 110101 001022 <B(103030) 303003 0303032 030000
127 1741 11 000010 102112 1121123 210102 210010 110101 <B(030301) 103030 303003 0303032 030000
128 1769 5 000010 102112 1121123 210102 210010 <B(103030) 030302 103030 303003 0303032 030000
129 1792 12 000010 102112 1121123 210102 221010 (110101)B> 030302 103030 303003 0303032 030000
130 1820 18 000010 102112 1121123 210102 221010 210101 (101011)B> 103030 303003 0303032 030000
131 1826 24 000010 102112 1121123 210102 221010 210101 101011 (210101)A> 303003 0303032 030000
132 1832 30 000010 102112 1121123 210102 221010 210101 101011 210101 (010110)C> 0303032 030000
133 1838 36 000010 102112 1121123 210102 221010 210101 101011 210101 010110 (101010)A> 030303 030000
134 1844 42 000010 102112 1121123 210102 221010 210101 101011 210101 010110 101010 (101010)C> 030000
135 1857 35 000010 102112 1121123 210102 221010 210101 101011 210101 010110 101010 <B(030303) 030300
136 1863 29 000010 102112 1121123 210102 221010 210101 101011 210101 010110 <B(030303) 030303 030300
137 1874 36 000010 102112 1121123 210102 221010 210101 101011 210101 010210 (101010)C> 030303 030300
138 1880 42 000010 102112 1121123 210102 221010 210101 101011 210101 010210 101010 (101010)A> 030300
139 1897 35 000010 102112 1121123 210102 221010 210101 101011 210101 010210 101010 <B(030303) 030303
140 1903 29 000010 102112 1121123 210102 221010 210101 101011 210101 010210 <B(030303) 0303032
141 1909 23 000010 102112 1121123 210102 221010 210101 101011 210101 <C(303103) 0303033
142 1915 17 000010 102112 1121123 210102 221010 210101 101011 <B(103030) 303103 0303033
143 1925 11 000010 102112 1121123 210102 221010 210101 <B(030310) 003030 303103 0303033
144 1941 5 000010 102112 1121123 210102 221010 <B(103031) 030300 003030 303103 0303033
145 1947 -1 000010 102112 1121123 210102 <B(110303) 103031 030300 003030 303103 0303033
146 1953 -7 000010 102112 1121123 <B(103031) 110303 103031 030300 003030 303103 0303033
147 1967 -13 000010 102112 1121122 <B(100100) 103031 110303 103031 030300 003030 303103 0303033
148 1995 -25 000010 102112 <B(100100) 1001002 103031 110303 103031 030300 003030 303103 0303033
149 2005 -31 000010 <B(031100) 1001003 103031 110303 103031 030300 003030 303103 0303033
150 2024 -24 001010 (211211)B> 1001003 103031 110303 103031 030300 003030 303103 0303033
151 2042 -6 001010 2112113 (211211)B> 103031 110303 103031 030300 003030 303103 0303033
152 2067 -13 001010 2112113 <B(110010) 003030 110303 103031 030300 003030 303103 0303033
153 2109 -31 001010 <B(110010) 0100103 003030 110303 103031 030300 003030 303103 0303033
154 2132 -24 101021 (121121)A> 0100103 003030 110303 103031 030300 003030 303103 0303033
155 2150 -6 101021 1211213 (121121)A> 003030 110303 103031 030300 003030 303103 0303033
156 2160 0 101021 1211213 121122 (100101)A> 110303 103031 030300 003030 303103 0303033
157 2188 6 101021 1211213 121122 210101 (121010)C> 103031 030300 003030 303103 0303033
158 2197 -1 101021 1211213 121122 210101 <B(100303) 003031 030300 003030 303103 0303033
159 2205 -7 101021 1211213 121122 <B(103031) 000303 003031 030300 003030 303103 0303033
160 2217 -13 101021 1211213 <B(101001) 103031 000303 003031 030300 003030 303103 0303033
161 2259 -31 101021 <B(101001) 0010013 103031 000303 003031 030300 003030 303103 0303033
162 2267 -37 <B(030311) 0010014 103031 000303 003031 030300 003030 303103 0303033
163 2282 -30 000010 (102112)C> 0010014 103031 000303 003031 030300 003030 303103 0303033
164 2288 -24 000010 102112 (112112)C> 0010013 103031 000303 003031 030300 003030 303103 0303033
165 2306 -6 000010 102112 1121123 (112112)C> 103031 000303 003031 030300 003030 303103 0303033
166 2321 -13 000010 102112 1121123 <B(100100) 003031 000303 003031 030300 003030 303103 0303033
167 2363 -31 000010 102112 <B(100100) 1001003 003031 000303 003031 030300 003030 303103 0303033
168 2373 -37 000010 <B(031100) 1001004 003031 000303 003031 030300 003030 303103 0303033
169 2392 -30 001010 (211211)B> 1001004 003031 000303 003031 030300 003030 303103 0303033
170 2416 -6 001010 2112114 (211211)B> 003031 000303 003031 030300 003030 303103 0303033
171 2432 0 001010 2112114 211221 (010211)B> 000303 003031 030300 003030 303103 0303033
172 2447 -7 001010 2112114 211221 <C(303110) 303303 003031 030300 003030 303103 0303033
173 2457 -13 001010 2112114 <B(110010) 303110 303303 003031 030300 003030 303103 0303033
174 2513 -37 001010 <B(110010) 0100104 303110 303303 003031 030300 003030 303103 0303033
175 2536 -30 101021 (121121)A> 0100104 303110 303303 003031 030300 003030 303103 0303033
176 2560 -6 101021 1211214 (121121)A> 303110 303303 003031 030300 003030 303103 0303033
177 2579 -13 101021 1211214 <B(101000) 303010 303303 003031 030300 003030 303103 0303033
178 2593 -19 101021 1211213 <B(101001) 001000 303010 303303 003031 030300 003030 303103 0303033
179 2635 -37 101021 <B(101001) 0010013 001000 303010 303303 003031 030300 003030 303103 0303033
180 2643 -43 <B(030311) 0010014 001000 303010 303303 003031 030300 003030 303103 0303033
181 2658 -36 000010 (102112)C> 0010014 001000 303010 303303 003031 030300 003030 303103 0303033
182 2664 -30 000010 102112 (112112)C> 0010013 001000 303010 303303 003031 030300 003030 303103 0303033
183 2682 -12 000010 102112 1121123 (112112)C> 001000 303010 303303 003031 030300 003030 303103 0303033
184 2692 -6 000010 102112 1121124 (112210)A> 303010 303303 003031 030300 003030 303103 0303033
185 2724 0 000010 102112 1121124 112221 (010210)A> 303303 003031 030300 003030 303103 0303033
186 2732 6 000010 102112 1121124 112221 010210 (010100)A> 003031 030300 003030 303103 0303033
187 2775 -1 000010 102112 1121124 112221 010210 <C(303103) 030303 030300 003030 303103 0303033
188 2792 6 000010 102112 1121124 112221 010221 (010110)C> 030303 030300 003030 303103 0303033
189 2798 12 000010 102112 1121124 112221 010221 010110 (101010)A> 030300 003030 303103 0303033
190 2815 5 000010 102112 1121124 112221 010221 010110 <B(030303) 030303 003030 303103 0303033
191 2826 12 000010 102112 1121124 112221 010221 010210 (101010)C> 030303 003030 303103 0303033
192 2832 18 000010 102112 1121124 112221 010221 010210 101010 (101010)A> 003030 303103 0303033
193 2841 11 000010 102112 1121124 112221 010221 010210 101010 <B(030303) 033030 303103 0303033
194 2847 5 000010 102112 1121124 112221 010221 010210 <B(030303) 030303 033030 303103 0303033
195 2853 -1 000010 102112 1121124 112221 010221 <C(303103) 0303032 033030 303103 0303033
196 2859 -7 000010 102112 1121124 112221 <C(303110) 303103 0303032 033030 303103 0303033
197 2869 -13 000010 102112 1121124 <B(100110) 303110 303103 0303032 033030 303103 0303033
198 2883 -19 000010 102112 1121123 <B(100100) 100110 303110 303103 0303032 033030 303103 0303033
199 2925 -37 000010 102112 <B(100100) 1001003 100110 303110 303103 0303032 033030 303103 0303033
200 2935 -43 000010 <B(031100) 1001004 100110 303110 303103 0303032 033030 303103 0303033
201 2954 -36 001010 (211211)B> 1001004 100110 303110 303103 0303032 033030 303103 0303033
202 2978 -12 001010 2112114 (211211)B> 100110 303110 303103 0303032 033030 303103 0303033
203 3005 -19 001010 2112114 <B(110010) 010000 303110 303103 0303032 033030 303103 0303033
204 3061 -43 001010 <B(110010) 0100104 010000 303110 303103 0303032 033030 303103 0303033
205 3084 -36 101021 (121121)A> 0100104 010000 303110 303103 0303032 033030 303103 0303033
206 3108 -12 101021 1211214 (121121)A> 010000 303110 303103 0303032 033030 303103 0303033
207 3118 -6 101021 1211215 (122101)B> 303110 303103 0303032 033030 303103 0303033
208 3130 0 101021 1211215 122101 (021121)A> 303103 0303032 033030 303103 0303033
209 3147 -7 101021 1211215 122101 <C(311000) 303003 0303032 033030 303103 0303033
210 3155 -13 101021 1211215 <B(101030) 311000 303003 0303032 033030 303103 0303033
211 3169 -19 101021 1211214 <B(101001) 001030 311000 303003 0303032 033030 303103 0303033
212 3225 -43 101021 <B(101001) 0010014 001030 311000 303003 0303032 033030 303103 0303033
213 3233 -49 <B(030311) 0010015 001030 311000 303003 0303032 033030 303103 0303033
214 3248 -42 000010 (102112)C> 0010015 001030 311000 303003 0303032 033030 303103 0303033
215 3254 -36 000010 102112 (112112)C> 0010014 001030 311000 303003 0303032 033030 303103 0303033
216 3278 -12 000010 102112 1121124 (112112)C> 001030 311000 303003 0303032 033030 303103 0303033
217 3284 -6 000010 102112 1121125 (112101)B> 311000 303003 0303032 033030 303103 0303033
218 3297 -13 000010 102112 1121125 <B(100030) 301000 303003 0303032 033030 303103 0303033
219 3311 -19 000010 102112 1121124 <B(100100) 100030 301000 303003 0303032 033030 303103 0303033
220 3367 -43 000010 102112 <B(100100) 1001004 100030 301000 303003 0303032 033030 303103 0303033
221 3377 -49 000010 <B(031100) 1001005 100030 301000 303003 0303032 033030 303103 0303033
222 3396 -42 001010 (211211)B> 1001005 100030 301000 303003 0303032 033030 303103 0303033
223 3426 -12 001010 2112115 (211211)B> 100030 301000 303003 0303032 033030 303103 0303033
224 3436 -6 001010 2112116 (221001)B> 301000 303003 0303032 033030 303103 0303033
225 3479 -13 001010 2112116 <B(111030) 310303 303003 0303032 033030 303103 0303033
226 3493 -19 001010 2112115 <B(110010) 011030 310303 303003 0303032 033030 303103 0303033
227 3563 -49 001010 <B(110010) 0100105 011030 310303 303003 0303032 033030 303103 0303033
228 3586 -42 101021 (121121)A> 0100105 011030 310303 303003 0303032 033030 303103 0303033
229 3616 -12 101021 1211215 (121121)A> 011030 310303 303003 0303032 033030 303103 0303033
230 3637 -19 101021 1211215 <B(101001) 000030 310303 303003 0303032 033030 303103 0303033
231 3707 -49 101021 <B(101001) 0010015 000030 310303 303003 0303032 033030 303103 0303033
232 3715 -55 <B(030311) 0010016 000030 310303 303003 0303032 033030 303103 0303033
233 3730 -48 000010 (102112)C> 0010016 000030 310303 303003 0303032 033030 303103 0303033
234 3736 -42 000010 102112 (112112)C> 0010015 000030 310303 303003 0303032 033030 303103 0303033
235 3766 -12 000010 102112 1121125 (112112)C> 000030 310303 303003 0303032 033030 303103 0303033
236 3776 -6 000010 102112 1121126 (210101)A> 310303 303003 0303032 033030 303103 0303033
237 3792 0 000010 102112 1121126 210102 (210010)C> 303003 0303032 033030 303103 0303033
238 3806 6 000010 102112 1121126 210102 210010 (110100)B> 0303032 033030 303103 0303033
239 3814 12 000010 102112 1121126 210102 210010 110101 (001010)A> 030303 033030 303103 0303033
240 3820 18 000010 102112 1121126 210102 210010 110101 001010 (101010)C> 033030 303103 0303033
241 3826 24 000010 102112 1121126 210102 210010 110101 001010 101010 (100101)A> 303103 0303033
242 3848 30 000010 102112 1121126 210102 210010 110101 001010 101010 110101 (010110)C> 0303033
243 3854 36 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010110 (101010)A> 0303032
244 3860 42 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010110 101010 (101010)C> 030303
245 3866 48 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010110 1010102 (101010)A>
246 3875 41 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010110 1010102 <B(030303) 030000
247 3887 29 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010110 <B(030303) 0303032 030000
248 3898 36 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010210 (101010)C> 0303032 030000
249 3904 42 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010210 101010 (101010)A> 030303 030000
250 3910 48 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010210 1010102 (101010)C> 030000
251 3923 41 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010210 1010102 <B(030303) 030300
252 3935 29 000010 102112 1121126 210102 210010 110101 001010 101010 110101 010210 <B(030303) 0303032 030300
253 3941 23 000010 102112 1121126 210102 210010 110101 001010 101010 110101 <C(303103) 0303033 030300
254 3965 17 000010 102112 1121126 210102 210010 110101 001010 101010 <B(103030) 303003 0303033 030300
255 3971 11 000010 102112 1121126 210102 210010 110101 001010 <B(030303) 103030 303003 0303033 030300
256 3988 18 000010 102112 1121126 210102 210010 110101 101010 (101010)C> 103030 303003 0303033 030300
257 3995 11 000010 102112 1121126 210102 210010 110101 101010 <B(030303) 003030 303003 0303033 030300
258 4001 5 000010 102112 1121126 210102 210010 110101 <B(030303) 030303 003030 303003 0303033 030300
259 4008 12 000010 102112 1121126 210102 210010 110102 (101010)A> 030303 003030 303003 0303033 030300
260 4014 18 000010 102112 1121126 210102 210010 110102 101010 (101010)C> 003030 303003 0303033 030300
261 4020 24 000010 102112 1121126 210102 210010 110102 1010102 (110101)B> 303003 0303033 030300
262 4046 30 000010 102112 1121126 210102 210010 110102 1010102 210101 (010100)A> 0303033 030300
263 4052 36 000010 102112 1121126 210102 210010 110102 1010102 210101 010100 (101010)C> 0303032 030300
264 4058 42 000010 102112 1121126 210102 210010 110102 1010102 210101 010100 101010 (101010)A> 030303 030300
265 4064 48 000010 102112 1121126 210102 210010 110102 1010102 210101 010100 1010102 (101010)C> 030300
266 4070 54 000010 102112 1121126 210102 210010 110102 1010102 210101 010100 1010103 (101011)B>
267 4085 47 000010 102112 1121126 210102 210010 110102 1010102 210101 010100 1010103 <B(030310) 303000
268 4091 41 000010 102112 1121126 210102 210010 110102 1010102 210101 010100 1010102 <B(030303) 030310 303000
269 4103 29 000010 102112 1121126 210102 210010 110102 1010102 210101 010100 <B(030303) 0303032 030310 303000
270 4112 36 000010 102112 1121126 210102 210010 110102 1010102 210101 010110 (101010)C> 0303032 030310 303000
271 4118 42 000010 102112 1121126 210102 210010 110102 1010102 210101 010110 101010 (101010)A> 030303 030310 303000
272 4124 48 000010 102112 1121126 210102 210010 110102 1010102 210101 010110 1010102 (101010)C> 030310 303000
273 4139 41 000010 102112 1121126 210102 210010 110102 1010102 210101 010110 1010102 <B(030303) 030300 303000
274 4151 29 000010 102112 1121126 210102 210010 110102 1010102 210101 010110 <B(030303) 0303032 030300 303000
275 4162 36 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 (101010)C> 0303032 030300 303000
276 4168 42 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 101010 (101010)A> 030303 030300 303000
277 4174 48 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 1010102 (101010)C> 030300 303000
278 4180 54 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 1010103 (101011)B> 303000
279 4198 60 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 1010103 101021 (010101)B>
280 4205 53 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 1010103 101021 <C(303030) 300000
281 4211 47 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 1010103 <B(030310) 303030 300000
282 4217 41 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 1010102 <B(030303) 030310 303030 300000
283 4229 29 000010 102112 1121126 210102 210010 110102 1010102 210101 010210 <B(030303) 0303032 030310 303030 300000
284 4235 23 000010 102112 1121126 210102 210010 110102 1010102 210101 <C(303103) 0303033 030310 303030 300000
285 4241 17 000010 102112 1121126 210102 210010 110102 1010102 <B(103030) 303103 0303033 030310 303030 300000
286 4247 11 000010 102112 1121126 210102 210010 110102 101010 <B(030303) 103030 303103 0303033 030310 303030 300000
287 4253 5 000010 102112 1121126 210102 210010 110102 <B(030303) 030303 103030 303103 0303033 030310 303030 300000
288 4269 -1 000010 102112 1121126 210102 210010 <B(103030) 0303032 103030 303103 0303033 030310 303030 300000
289 4292 6 000010 102112 1121126 210102 221010 (110101)B> 0303032 103030 303103 0303033 030310 303030 300000
290 4310 12 000010 102112 1121126 210102 221010 210101 (001010)A> 030303 103030 303103 0303033 030310 303030 300000
291 4316 18 000010 102112 1121126 210102 221010 210101 001010 (101010)C> 103030 303103 0303033 030310 303030 300000
292 4323 11 000010 102112 1121126 210102 221010 210101 001010 <B(030303) 003030 303103 0303033 030310 303030 300000
293 4340 18 000010 102112 1121126 210102 221010 210101 101010 (101010)C> 003030 303103 0303033 030310 303030 300000
294 4346 24 000010 102112 1121126 210102 221010 210101 1010102 (110101)B> 303103 0303033 030310 303030 300000
295 4362 30 000010 102112 1121126 210102 221010 210101 1010102 110101 (022100)A> 0303033 030310 303030 300000
296 4368 36 000010 102112 1121126 210102 221010 210101 1010102 110101 022100 (101010)C> 0303032 030310 303030 300000
297 4374 42 000010 102112 1121126 210102 221010 210101 1010102 110101 022100 101010 (101010)A> 030303 030310 303030 300000
298 4380 48 000010 102112 1121126 210102 221010 210101 1010102 110101 022100 1010102 (101010)C> 030310 303030 300000
299 4395 41 000010 102112 1121126 210102 221010 210101 1010102 110101 022100 1010102 <B(030303) 030300 303030 300000
300 4407 29 000010 102112 1121126 210102 221010 210101 1010102 110101 022100 <B(030303) 0303032 030300 303030 300000
301 4416 36 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 (101010)C> 0303032 030300 303030 300000
302 4422 42 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 101010 (101010)A> 030303 030300 303030 300000
303 4428 48 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010102 (101010)C> 030300 303030 300000
304 4434 54 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010103 (101011)B> 303030 300000
305 4440 60 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010103 101011 (010101)A> 300000
306 4451 53 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010103 101011 <C(303030) 303000
307 4460 60 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010103 101021 (010101)B> 303000
308 4475 53 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010103 101021 <C(303030) 303030
309 4481 47 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010103 <B(030310) 3030302
310 4487 41 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 1010102 <B(030303) 030310 3030302
311 4499 29 000010 102112 1121126 210102 221010 210101 1010102 110101 022110 <B(030303) 0303032 030310 3030302
312 4510 36 000010 102112 1121126 210102 221010 210101 1010102 110101 022210 (101010)C> 0303032 030310 3030302
313 4516 42 000010 102112 1121126 210102 221010 210101 1010102 110101 022210 101010 (101010)A> 030303 030310 3030302
314 4522 48 000010 102112 1121126 210102 221010 210101 1010102 110101 022210 1010102 (101010)C> 030310 3030302
315 4537 41 000010 102112 1121126 210102 221010 210101 1010102 110101 022210 1010102 <B(030303) 030300 3030302
316 4549 29 000010 102112 1121126 210102 221010 210101 1010102 110101 022210 <B(030303) 0303032 030300 3030302
317 4555 23 000010 102112 1121126 210102 221010 210101 1010102 110101 <C(311103) 0303033 030300 3030302
318 4589 17 000010 102112 1121126 210102 221010 210101 1010102 <B(103031) 100003 0303033 030300 3030302
319 4595 11 000010 102112 1121126 210102 221010 210101 101010 <B(030303) 103031 100003 0303033 030300 3030302
320 4601 5 000010 102112 1121126 210102 221010 210101 <B(030303) 030303 103031 100003 0303033 030300 3030302
321 4608 12 000010 102112 1121126 210102 221010 210102 (101010)A> 030303 103031 100003 0303033 030300 3030302
322 4614 18 000010 102112 1121126 210102 221010 210102 101010 (101010)C> 103031 100003 0303033 030300 3030302
323 4621 11 000010 102112 1121126 210102 221010 210102 101010 <B(030303) 003031 100003 0303033 030300 3030302
324 4627 5 000010 102112 1121126 210102 221010 210102 <B(030303) 030303 003031 100003 0303033 030300 3030302
325 4633 -1 000010 102112 1121126 210102 221010 <B(103031) 0303032 003031 100003 0303033 030300 3030302
326 4639 -7 000010 102112 1121126 210102 <B(110303) 103031 0303032 003031 100003 0303033 030300 3030302
327 4645 -13 000010 102112 1121126 <B(103031) 110303 103031 0303032 003031 100003 0303033 030300 3030302
328 4659 -19 000010 102112 1121125 <B(100100) 103031 110303 103031 0303032 003031 100003 0303033 030300 3030302
329 4729 -49 000010 102112 <B(100100) 1001005 103031 110303 103031 0303032 003031 100003 0303033 030300 3030302
330 4739 -55 000010 <B(031100) 1001006 103031 110303 103031 0303032 003031 100003 0303033 030300 3030302
331 4758 -48 001010 (211211)B> 1001006 103031 110303 103031 0303032 003031 100003 0303033 030300 3030302
332 4794 -12 001010 2112116 (211211)B> 103031 110303 103031 0303032 003031 100003 0303033 030300 3030302
333 4819 -19 001010 2112116 <B(110010) 003030 110303 103031 0303032 003031 100003 0303033 030300 3030302
334 4903 -55 001010 <B(110010) 0100106 003030 110303 103031 0303032 003031 100003 0303033 030300 3030302
335 4926 -48 101021 (121121)A> 0100106 003030 110303 103031 0303032 003031 100003 0303033 030300 3030302
336 4962 -12 101021 1211216 (121121)A> 003030 110303 103031 0303032 003031 100003 0303033 030300 3030302
337 4972 -6 101021 1211216 121122 (100101)A> 110303 103031 0303032 003031 100003 0303033 030300 3030302
338 5000 0 101021 1211216 121122 210101 (121010)C> 103031 0303032 003031 100003 0303033 030300 3030302
339 5009 -7 101021 1211216 121122 210101 <B(100303) 003031 0303032 003031 100003 0303033 030300 3030302
340 5017 -13 101021 1211216 121122 <B(103031) 000303 003031 0303032 003031 100003 0303033 030300 3030302
341 5029 -19 101021 1211216 <B(101001) 103031 000303 003031 0303032 003031 100003 0303033 030300 3030302
342 5113 -55 101021 <B(101001) 0010016 103031 000303 003031 0303032 003031 100003 0303033 030300 3030302
343 5121 -61 <B(030311) 0010017 103031 000303 003031 0303032 003031 100003 0303033 030300 3030302
344 5136 -54 000010 (102112)C> 0010017 103031 000303 003031 0303032 003031 100003 0303033 030300 3030302
345 5142 -48 000010 102112 (112112)C> 0010016 103031 000303 003031 0303032 003031 100003 0303033 030300 3030302
346 5178 -12 000010 102112 1121126 (112112)C> 103031 000303 003031 0303032 003031 100003 0303033 030300 3030302
347 5193 -19 000010 102112 1121126 <B(100100) 003031 000303 003031 0303032 003031 100003 0303033 030300 3030302
348 5277 -55 000010 102112 <B(100100) 1001006 003031 000303 003031 0303032 003031 100003 0303033 030300 3030302
349 5287 -61 000010 <B(031100) 1001007 003031 000303 003031 0303032 003031 100003 0303033 030300 3030302
350 5306 -54 001010 (211211)B> 1001007 003031 000303 003031 0303032 003031 100003 0303033 030300 3030302
351 5348 -12 001010 2112117 (211211)B> 003031 000303 003031 0303032 003031 100003 0303033 030300 3030302
352 5364 -6 001010 2112117 211221 (010211)B> 000303 003031 0303032 003031 100003 0303033 030300 3030302
353 5379 -13 001010 2112117 211221 <C(303110) 303303 003031 0303032 003031 100003 0303033 030300 3030302
354 5389 -19 001010 2112117 <B(110010) 303110 303303 003031 0303032 003031 100003 0303033 030300 3030302
355 5487 -61 001010 <B(110010) 0100107 303110 303303 003031 0303032 003031 100003 0303033 030300 3030302
356 5510 -54 101021 (121121)A> 0100107 303110 303303 003031 0303032 003031 100003 0303033 030300 3030302
357 5552 -12 101021 1211217 (121121)A> 303110 303303 003031 0303032 003031 100003 0303033 030300 3030302
358 5571 -19 101021 1211217 <B(101000) 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
359 5585 -25 101021 1211216 <B(101001) 001000 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
360 5669 -61 101021 <B(101001) 0010016 001000 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
361 5677 -67 <B(030311) 0010017 001000 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
362 5692 -60 000010 (102112)C> 0010017 001000 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
363 5698 -54 000010 102112 (112112)C> 0010016 001000 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
364 5734 -18 000010 102112 1121126 (112112)C> 001000 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
365 5744 -12 000010 102112 1121127 (112210)A> 303010 303303 003031 0303032 003031 100003 0303033 030300 3030302
366 5776 -6 000010 102112 1121127 112221 (010210)A> 303303 003031 0303032 003031 100003 0303033 030300 3030302
367 5784 0 000010 102112 1121127 112221 010210 (010100)A> 003031 0303032 003031 100003 0303033 030300 3030302
368 5827 -7 000010 102112 1121127 112221 010210 <C(303103) 0303033 003031 100003 0303033 030300 3030302
369 5844 0 000010 102112 1121127 112221 010221 (010110)C> 0303033 003031 100003 0303033 030300 3030302
370 5850 6 000010 102112 1121127 112221 010221 010110 (101010)A> 0303032 003031 100003 0303033 030300 3030302
371 5856 12 000010 102112 1121127 112221 010221 010110 101010 (101010)C> 030303 003031 100003 0303033 030300 3030302
372 5862 18 000010 102112 1121127 112221 010221 010110 1010102 (101010)A> 003031 100003 0303033 030300 3030302
373 5871 11 000010 102112 1121127 112221 010221 010110 1010102 <B(030303) 033031 100003 0303033 030300 3030302
374 5883 -1 000010 102112 1121127 112221 010221 010110 <B(030303) 0303032 033031 100003 0303033 030300 3030302
375 5894 6 000010 102112 1121127 112221 010221 010210 (101010)C> 0303032 033031 100003 0303033 030300 3030302
376 5900 12 000010 102112 1121127 112221 010221 010210 101010 (101010)A> 030303 033031 100003 0303033 030300 3030302
377 5906 18 000010 102112 1121127 112221 010221 010210 1010102 (101010)C> 033031 100003 0303033 030300 3030302
378 5920 24 000010 102112 1121127 112221 010221 010210 1010103 (110101)A> 100003 0303033 030300 3030302
379 5939 17 000010 102112 1121127 112221 010221 010210 1010103 <B(103030) 000003 0303033 030300 3030302
380 5945 11 000010 102112 1121127 112221 010221 010210 1010102 <B(030303) 103030 000003 0303033 030300 3030302
381 5957 -1 000010 102112 1121127 112221 010221 010210 <B(030303) 0303032 103030 000003 0303033 030300 3030302
382 5963 -7 000010 102112 1121127 112221 010221 <C(303103) 0303033 103030 000003 0303033 030300 3030302
383 5969 -13 000010 102112 1121127 112221 <C(303110) 303103 0303033 103030 000003 0303033 030300 3030302
384 5979 -19 000010 102112 1121127 <B(100110) 303110 303103 0303033 103030 000003 0303033 030300 3030302
385 5993 -25 000010 102112 1121126 <B(100100) 100110 303110 303103 0303033 103030 000003 0303033 030300 3030302
386 6077 -61 000010 102112 <B(100100) 1001006 100110 303110 303103 0303033 103030 000003 0303033 030300 3030302
387 6087 -67 000010 <B(031100) 1001007 100110 303110 303103 0303033 103030 000003 0303033 030300 3030302
388 6106 -60 001010 (211211)B> 1001007 100110 303110 303103 0303033 103030 000003 0303033 030300 3030302
389 6148 -18 001010 2112117 (211211)B> 100110 303110 303103 0303033 103030 000003 0303033 030300 3030302
390 6175 -25 001010 2112117 <B(110010) 010000 303110 303103 0303033 103030 000003 0303033 030300 3030302
391 6273 -67 001010 <B(110010) 0100107 010000 303110 303103 0303033 103030 000003 0303033 030300 3030302
392 6296 -60 101021 (121121)A> 0100107 010000 303110 303103 0303033 103030 000003 0303033 030300 3030302
393 6338 -18 101021 1211217 (121121)A> 010000 303110 303103 0303033 103030 000003 0303033 030300 3030302
394 6348 -12 101021 1211218 (122101)B> 303110 303103 0303033 103030 000003 0303033 030300 3030302
395 6360 -6 101021 1211218 122101 (021121)A> 303103 0303033 103030 000003 0303033 030300 3030302
396 6377 -13 101021 1211218 122101 <C(311000) 303003 0303033 103030 000003 0303033 030300 3030302
397 6385 -19 101021 1211218 <B(101030) 311000 303003 0303033 103030 000003 0303033 030300 3030302
398 6399 -25 101021 1211217 <B(101001) 001030 311000 303003 0303033 103030 000003 0303033 030300 3030302
399 6497 -67 101021 <B(101001) 0010017 001030 311000 303003 0303033 103030 000003 0303033 030300 3030302
400 6505 -73 <B(030311) 0010018 001030 311000 303003 0303033 103030 000003 0303033 030300 3030302
401 6520 -66 000010 (102112)C> 0010018 001030 311000 303003 0303033 103030 000003 0303033 030300 3030302
402 6526 -60 000010 102112 (112112)C> 0010017 001030 311000 303003 0303033 103030 000003 0303033 030300 3030302
403 6568 -18 000010 102112 1121127 (112112)C> 001030 311000 303003 0303033 103030 000003 0303033 030300 3030302
404 6574 -12 000010 102112 1121128 (112101)B> 311000 303003 0303033 103030 000003 0303033 030300 3030302
405 6587 -19 000010 102112 1121128 <B(100030) 301000 303003 0303033 103030 000003 0303033 030300 3030302
406 6601 -25 000010 102112 1121127 <B(100100) 100030 301000 303003 0303033 103030 000003 0303033 030300 3030302
407 6699 -67 000010 102112 <B(100100) 1001007 100030 301000 303003 0303033 103030 000003 0303033 030300 3030302
408 6709 -73 000010 <B(031100) 1001008 100030 301000 303003 0303033 103030 000003 0303033 030300 3030302
409 6728 -66 001010 (211211)B> 1001008 100030 301000 303003 0303033 103030 000003 0303033 030300 3030302
410 6776 -18 001010 2112118 (211211)B> 100030 301000 303003 0303033 103030 000003 0303033 030300 3030302
411 6786 -12 001010 2112119 (221001)B> 301000 303003 0303033 103030 000003 0303033 030300 3030302
412 6829 -19 001010 2112119 <B(111030) 310303 303003 0303033 103030 000003 0303033 030300 3030302
413 6843 -25 001010 2112118 <B(110010) 011030 310303 303003 0303033 103030 000003 0303033 030300 3030302
414 6955 -73 001010 <B(110010) 0100108 011030 310303 303003 0303033 103030 000003 0303033 030300 3030302
415 6978 -66 101021 (121121)A> 0100108 011030 310303 303003 0303033 103030 000003 0303033 030300 3030302
416 7026 -18 101021 1211218 (121121)A> 011030 310303 303003 0303033 103030 000003 0303033 030300 3030302
417 7047 -25 101021 1211218 <B(101001) 000030 310303 303003 0303033 103030 000003 0303033 030300 3030302
418 7159 -73 101021 <B(101001) 0010018 000030 310303 303003 0303033 103030 000003 0303033 030300 3030302
419 7167 -79 <B(030311) 0010019 000030 310303 303003 0303033 103030 000003 0303033 030300 3030302
420 7182 -72 000010 (102112)C> 0010019 000030 310303 303003 0303033 103030 000003 0303033 030300 3030302
421 7188 -66 000010 102112 (112112)C> 0010018 000030 310303 303003 0303033 103030 000003 0303033 030300 3030302
422 7236 -18 000010 102112 1121128 (112112)C> 000030 310303 303003 0303033 103030 000003 0303033 030300 3030302
423 7246 -12 000010 102112 1121129 (210101)A> 310303 303003 0303033 103030 000003 0303033 030300 3030302
424 7262 -6 000010 102112 1121129 210102 (210010)C> 303003 0303033 103030 000003 0303033 030300 3030302
425 7276 0 000010 102112 1121129 210102 210010 (110100)B> 0303033 103030 000003 0303033 030300 3030302
426 7284 6 000010 102112 1121129 210102 210010 110101 (001010)A> 0303032 103030 000003 0303033 030300 3030302
427 7290 12 000010 102112 1121129 210102 210010 110101 001010 (101010)C> 030303 103030 000003 0303033 030300 3030302
428 7296 18 000010 102112 1121129 210102 210010 110101 001010 101010 (101010)A> 103030 000003 0303033 030300 3030302
429 7312 24 000010 102112 1121129 210102 210010 110101 001010 101010 101022 (100101)A> 000003 0303033 030300 3030302
430 7348 30 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210101 (101010)C> 0303033 030300 3030302
431 7354 36 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210101 101010 (101010)A> 0303032 030300 3030302
432 7360 42 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210101 1010102 (101010)C> 030303 030300 3030302
433 7366 48 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210101 1010103 (101010)A> 030300 3030302
434 7383 41 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210101 1010103 <B(030303) 030303 3030302
435 7401 23 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210101 <B(030303) 0303034 3030302
436 7408 30 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 (101010)A> 0303034 3030302
437 7414 36 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 101010 (101010)C> 0303033 3030302
438 7420 42 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010102 (101010)A> 0303032 3030302
439 7426 48 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010103 (101010)C> 030303 3030302
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* 1010101+V(1) (101010)C> 0303033+V(2) [*]*
1 6 6 [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* 1010102+V(1) (101010)A> 0303032+V(2) [*]*
2 12 12 [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* [*]* 1010103+V(1) (101010)C> 0303031+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
440 7432 54 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 (101010)A> 3030302
441 7438 60 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010105 (010101)B> 303030
442 7444 66 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010105 010101 (010101)A>
443 7461 59 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010105 010101 <C(303031) 030300
444 7467 53 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010105 <C(303030) 303031 030300
445 7474 60 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101011 (010101)B> 303031 030300
446 7491 53 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101011 <C(303030) 303030 030300
447 7500 60 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101021 (010101)B> 303030 030300
448 7506 66 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101021 010101 (010101)A> 030300
449 7524 72 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101021 010101 010102 (101010)A>
450 7533 65 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101021 010101 010102 <B(030303) 030000
451 7539 59 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101021 010101 <C(303031) 030303 030000
452 7545 53 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 101021 <C(303030) 303031 030303 030000
453 7551 47 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010104 <B(030310) 303030 303031 030303 030000
454 7557 41 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 1010103 <B(030303) 030310 303030 303031 030303 030000
455 7575 23 000010 102112 1121129 210102 210010 110101 001010 101010 101022 210102 <B(030303) 0303033 030310 303030 303031 030303 030000
456 7581 17 000010 102112 1121129 210102 210010 110101 001010 101010 101022 <B(103031) 0303034 030310 303030 303031 030303 030000
457 7587 11 000010 102112 1121129 210102 210010 110101 001010 101010 <B(030311) 103031 0303034 030310 303030 303031 030303 030000
458 7593 5 000010 102112 1121129 210102 210010 110101 001010 <B(030303) 030311 103031 0303034 030310 303030 303031 030303 030000
459 7610 12 000010 102112 1121129 210102 210010 110101 101010 (101010)C> 030311 103031 0303034 030310 303030 303031 030303 030000
460 7625 5 000010 102112 1121129 210102 210010 110101 101010 <B(030303) 030301 103031 0303034 030310 303030 303031 030303 030000
461 7631 -1 000010 102112 1121129 210102 210010 110101 <B(030303) 030303 030301 103031 0303034 030310 303030 303031 030303 030000
462 7638 6 000010 102112 1121129 210102 210010 110102 (101010)A> 030303 030301 103031 0303034 030310 303030 303031 030303 030000
463 7644 12 000010 102112 1121129 210102 210010 110102 101010 (101010)C> 030301 103031 0303034 030310 303030 303031 030303 030000
464 7661 5 000010 102112 1121129 210102 210010 110102 101010 <B(030303) 030302 103031 0303034 030310 303030 303031 030303 030000
465 7667 -1 000010 102112 1121129 210102 210010 110102 <B(030303) 030303 030302 103031 0303034 030310 303030 303031 030303 030000
466 7683 -7 000010 102112 1121129 210102 210010 <B(103030) 0303032 030302 103031 0303034 030310 303030 303031 030303 030000
467 7706 0 000010 102112 1121129 210102 221010 (110101)B> 0303032 030302 103031 0303034 030310 303030 303031 030303 030000
468 7724 6 000010 102112 1121129 210102 221010 210101 (001010)A> 030303 030302 103031 0303034 030310 303030 303031 030303 030000
469 7730 12 000010 102112 1121129 210102 221010 210101 001010 (101010)C> 030302 103031 0303034 030310 303030 303031 030303 030000
470 7747 5 000010 102112 1121129 210102 221010 210101 001010 <B(030303) 030300 103031 0303034 030310 303030 303031 030303 030000
471 7764 12 000010 102112 1121129 210102 221010 210101 101010 (101010)C> 030300 103031 0303034 030310 303030 303031 030303 030000
472 7770 18 000010 102112 1121129 210102 221010 210101 1010102 (101011)B> 103031 0303034 030310 303030 303031 030303 030000
473 7791 11 000010 102112 1121129 210102 221010 210101 1010102 <B(030310) 003030 0303034 030310 303030 303031 030303 030000
474 7797 5 000010 102112 1121129 210102 221010 210101 101010 <B(030303) 030310 003030 0303034 030310 303030 303031 030303 030000
475 7803 -1 000010 102112 1121129 210102 221010 210101 <B(030303) 030303 030310 003030 0303034 030310 303030 303031 030303 030000
476 7810 6 000010 102112 1121129 210102 221010 210102 (101010)A> 030303 030310 003030 0303034 030310 303030 303031 030303 030000
477 7816 12 000010 102112 1121129 210102 221010 210102 101010 (101010)C> 030310 003030 0303034 030310 303030 303031 030303 030000
478 7831 5 000010 102112 1121129 210102 221010 210102 101010 <B(030303) 030300 003030 0303034 030310 303030 303031 030303 030000
479 7837 -1 000010 102112 1121129 210102 221010 210102 <B(030303) 030303 030300 003030 0303034 030310 303030 303031 030303 030000
480 7843 -7 000010 102112 1121129 210102 221010 <B(103031) 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
481 7849 -13 000010 102112 1121129 210102 <B(110303) 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
482 7855 -19 000010 102112 1121129 <B(103031) 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
483 7869 -25 000010 102112 1121128 <B(100100) 103031 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
484 7981 -73 000010 102112 <B(100100) 1001008 103031 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
485 7991 -79 000010 <B(031100) 1001009 103031 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
486 8010 -72 001010 (211211)B> 1001009 103031 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
487 8064 -18 001010 2112119 (211211)B> 103031 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
488 8089 -25 001010 2112119 <B(110010) 003030 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
489 8215 -79 001010 <B(110010) 0100109 003030 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
490 8238 -72 101021 (121121)A> 0100109 003030 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
491 8292 -18 101021 1211219 (121121)A> 003030 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
492 8302 -12 101021 1211219 121122 (100101)A> 110303 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
493 8330 -6 101021 1211219 121122 210101 (121010)C> 103031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
494 8339 -13 101021 1211219 121122 210101 <B(100303) 003031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
495 8347 -19 101021 1211219 121122 <B(103031) 000303 003031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
496 8359 -25 101021 1211219 <B(101001) 103031 000303 003031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
497 8485 -79 101021 <B(101001) 0010019 103031 000303 003031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
498 8493 -85 <B(030311) 00100110 103031 000303 003031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
499 8508 -78 000010 (102112)C> 00100110 103031 000303 003031 0303032 030300 003030 0303034 030310 303030 303031 030303 030000
Lines: 500
Top steps: 499
Macro steps: 499
Basic steps: 8508
Tape index: -78
nonzeros: 71
log10(nonzeros): 1.851
log10(steps ): 3.930
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #a (T.J. & S. Ligocki)
: 17323 262,759,288
5T 1RB 2LC 0LC 0RA 3LC 2RC 1LB 0RC 1RA 0LB 1RH 0RB
L 10
M 500
pref sim
machv Lig34_a just simple
machv Lig34_a-r with repetitions reduced
machv Lig34_a-1 with tape symbol exponents
machv Lig34_a-m as 6-bck-macro machine
machv Lig34_a-a as 6-bck-macro machine with pure additive config-TRs
iam Lig34_a-a
mtype 6 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:31 CEST 2010
edate Tue Jul 6 22:13:32 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:13:31 CEST 2010