Comment: This TM produces 17485734 ones in 95547257425490 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C0L | 1 | right | B | 0 | left | C |
| B | A1L | A0R | 1 | left | A | 0 | right | A |
| C | D0L | Z1R | 0 | left | D | 1 | right | Z |
| D | E1R | D1L | 1 | right | E | 1 | left | D |
| E | F0L | E0L | 0 | left | F | 0 | left | E |
| F | F1R | B0L | 1 | right | F | 0 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (1)B>
2 3 -1 <C(0) 1
3 4 -2 <D(0) 0 1
4 7 -3 <B(0) 02 1
5 8 -4 <A(1) 03 1
6 10 -2 1 (0)A> 03 1
7 11 -1 1 0 (1)B> 02 1
8 13 -3 1 0 <C(0) 1 0 1
9 14 -4 1 <D(0) 0 1 0 1
10 15 -5 <D(1) 02 1 0 1
11 18 -6 <E(0) 03 1 0 1
12 19 -7 <F(0) 04 1 0 1
13 21 -5 1 (1)F> 04 1 0 1
14 25 -1 15 (1)F> 1 0 1
15 28 0 15 0 (1)B> 0 1
16 30 -2 15 0 <C(0) 12
17 31 -3 15 <D(0) 0 12
18 32 -4 14 <D(1) 02 12
19 36 -8 <D(1) 14 02 12
20 39 -9 <E(0) 0 14 02 12
21 40 -10 <F(0) 02 14 02 12
22 42 -8 1 (1)F> 02 14 02 12
23 44 -6 13 (1)F> 14 02 12
24 47 -5 13 0 (1)B> 13 02 12
25 48 -4 13 0 1 (0)A> 12 02 12
26 50 -6 13 0 1 <D(0) 0 1 02 12
27 51 -7 13 0 <D(1) 02 1 02 12
28 54 -8 13 <E(0) 03 1 02 12
29 57 -11 <E(0) 06 1 02 12
30 58 -12 <F(0) 07 1 02 12
31 60 -10 1 (1)F> 07 1 02 12
32 67 -3 18 (1)F> 1 02 12
33 70 -2 18 0 (1)B> 02 12
34 72 -4 18 0 <C(0) 1 0 12
35 73 -5 18 <D(0) 0 1 0 12
36 74 -6 17 <D(1) 02 1 0 12
37 81 -13 <D(1) 17 02 1 0 12
38 84 -14 <E(0) 0 17 02 1 0 12
39 85 -15 <F(0) 02 17 02 1 0 12
40 87 -13 1 (1)F> 02 17 02 1 0 12
41 89 -11 13 (1)F> 17 02 1 0 12
42 92 -10 13 0 (1)B> 16 02 1 0 12
43 93 -9 13 0 1 (0)A> 15 02 1 0 12
44 95 -11 13 0 1 <D(0) 0 14 02 1 0 12
45 96 -12 13 0 <D(1) 02 14 02 1 0 12
46 99 -13 13 <E(0) 03 14 02 1 0 12
47 102 -16 <E(0) 06 14 02 1 0 12
48 103 -17 <F(0) 07 14 02 1 0 12
49 105 -15 1 (1)F> 07 14 02 1 0 12
50 112 -8 18 (1)F> 14 02 1 0 12
51 115 -7 18 0 (1)B> 13 02 1 0 12
52 116 -6 18 0 1 (0)A> 12 02 1 0 12
53 118 -8 18 0 1 <D(0) 0 1 02 1 0 12
54 119 -9 18 0 <D(1) 02 1 02 1 0 12
55 122 -10 18 <E(0) 03 1 02 1 0 12
56 130 -18 <E(0) 011 1 02 1 0 12
57 131 -19 <F(0) 012 1 02 1 0 12
58 133 -17 1 (1)F> 012 1 02 1 0 12
59 145 -5 113 (1)F> 1 02 1 0 12
60 148 -4 113 0 (1)B> 02 1 0 12
61 150 -6 113 0 <C(0) 1 0 1 0 12
62 151 -7 113 <D(0) 0 1 0 1 0 12
63 152 -8 112 <D(1) 02 1 0 1 0 12
64 164 -20 <D(1) 112 02 1 0 1 0 12
65 167 -21 <E(0) 0 112 02 1 0 1 0 12
66 168 -22 <F(0) 02 112 02 1 0 1 0 12
67 170 -20 1 (1)F> 02 112 02 1 0 1 0 12
68 172 -18 13 (1)F> 112 02 1 0 1 0 12
69 175 -17 13 0 (1)B> 111 02 1 0 1 0 12
70 176 -16 13 0 1 (0)A> 110 02 1 0 1 0 12
71 178 -18 13 0 1 <D(0) 0 19 02 1 0 1 0 12
72 179 -19 13 0 <D(1) 02 19 02 1 0 1 0 12
73 182 -20 13 <E(0) 03 19 02 1 0 1 0 12
74 185 -23 <E(0) 06 19 02 1 0 1 0 12
75 186 -24 <F(0) 07 19 02 1 0 1 0 12
76 188 -22 1 (1)F> 07 19 02 1 0 1 0 12
77 195 -15 18 (1)F> 19 02 1 0 1 0 12
78 198 -14 18 0 (1)B> 18 02 1 0 1 0 12
79 199 -13 18 0 1 (0)A> 17 02 1 0 1 0 12
80 201 -15 18 0 1 <D(0) 0 16 02 1 0 1 0 12
81 202 -16 18 0 <D(1) 02 16 02 1 0 1 0 12
82 205 -17 18 <E(0) 03 16 02 1 0 1 0 12
83 213 -25 <E(0) 011 16 02 1 0 1 0 12
84 214 -26 <F(0) 012 16 02 1 0 1 0 12
85 216 -24 1 (1)F> 012 16 02 1 0 1 0 12
86 228 -12 113 (1)F> 16 02 1 0 1 0 12
87 231 -11 113 0 (1)B> 15 02 1 0 1 0 12
88 232 -10 113 0 1 (0)A> 14 02 1 0 1 0 12
89 234 -12 113 0 1 <D(0) 0 13 02 1 0 1 0 12
90 235 -13 113 0 <D(1) 02 13 02 1 0 1 0 12
91 238 -14 113 <E(0) 03 13 02 1 0 1 0 12
92 251 -27 <E(0) 016 13 02 1 0 1 0 12
93 252 -28 <F(0) 017 13 02 1 0 1 0 12
94 254 -26 1 (1)F> 017 13 02 1 0 1 0 12
95 271 -9 118 (1)F> 13 02 1 0 1 0 12
96 274 -8 118 0 (1)B> 12 02 1 0 1 0 12
97 275 -7 118 0 1 (0)A> 1 02 1 0 1 0 12
98 277 -9 118 0 1 <D(0) 03 1 0 1 0 12
99 278 -10 118 0 <D(1) 04 1 0 1 0 12
100 281 -11 118 <E(0) 05 1 0 1 0 12
101 299 -29 <E(0) 023 1 0 1 0 12
102 300 -30 <F(0) 024 1 0 1 0 12
103 302 -28 1 (1)F> 024 1 0 1 0 12
104 326 -4 125 (1)F> 1 0 1 0 12
105 329 -3 125 0 (1)B> 0 1 0 12
106 331 -5 125 0 <C(0) 12 0 12
107 332 -6 125 <D(0) 0 12 0 12
108 333 -7 124 <D(1) 02 12 0 12
109 357 -31 <D(1) 124 02 12 0 12
110 360 -32 <E(0) 0 124 02 12 0 12
111 361 -33 <F(0) 02 124 02 12 0 12
112 363 -31 1 (1)F> 02 124 02 12 0 12
113 365 -29 13 (1)F> 124 02 12 0 12
114 368 -28 13 0 (1)B> 123 02 12 0 12
115 369 -27 13 0 1 (0)A> 122 02 12 0 12
116 371 -29 13 0 1 <D(0) 0 121 02 12 0 12
117 372 -30 13 0 <D(1) 02 121 02 12 0 12
118 375 -31 13 <E(0) 03 121 02 12 0 12
119 378 -34 <E(0) 06 121 02 12 0 12
120 379 -35 <F(0) 07 121 02 12 0 12
121 381 -33 1 (1)F> 07 121 02 12 0 12
122 388 -26 18 (1)F> 121 02 12 0 12
123 391 -25 18 0 (1)B> 120 02 12 0 12
124 392 -24 18 0 1 (0)A> 119 02 12 0 12
125 394 -26 18 0 1 <D(0) 0 118 02 12 0 12
126 395 -27 18 0 <D(1) 02 118 02 12 0 12
127 398 -28 18 <E(0) 03 118 02 12 0 12
128 406 -36 <E(0) 011 118 02 12 0 12
129 407 -37 <F(0) 012 118 02 12 0 12
130 409 -35 1 (1)F> 012 118 02 12 0 12
131 421 -23 113 (1)F> 118 02 12 0 12
132 424 -22 113 0 (1)B> 117 02 12 0 12
133 425 -21 113 0 1 (0)A> 116 02 12 0 12
134 427 -23 113 0 1 <D(0) 0 115 02 12 0 12
135 428 -24 113 0 <D(1) 02 115 02 12 0 12
136 431 -25 113 <E(0) 03 115 02 12 0 12
137 444 -38 <E(0) 016 115 02 12 0 12
138 445 -39 <F(0) 017 115 02 12 0 12
139 447 -37 1 (1)F> 017 115 02 12 0 12
140 464 -20 118 (1)F> 115 02 12 0 12
141 467 -19 118 0 (1)B> 114 02 12 0 12
142 468 -18 118 0 1 (0)A> 113 02 12 0 12
143 470 -20 118 0 1 <D(0) 0 112 02 12 0 12
144 471 -21 118 0 <D(1) 02 112 02 12 0 12
145 474 -22 118 <E(0) 03 112 02 12 0 12
146 492 -40 <E(0) 021 112 02 12 0 12
147 493 -41 <F(0) 022 112 02 12 0 12
148 495 -39 1 (1)F> 022 112 02 12 0 12
149 517 -17 123 (1)F> 112 02 12 0 12
150 520 -16 123 0 (1)B> 111 02 12 0 12
151 521 -15 123 0 1 (0)A> 110 02 12 0 12
152 523 -17 123 0 1 <D(0) 0 19 02 12 0 12
153 524 -18 123 0 <D(1) 02 19 02 12 0 12
154 527 -19 123 <E(0) 03 19 02 12 0 12
155 550 -42 <E(0) 026 19 02 12 0 12
156 551 -43 <F(0) 027 19 02 12 0 12
157 553 -41 1 (1)F> 027 19 02 12 0 12
158 580 -14 128 (1)F> 19 02 12 0 12
159 583 -13 128 0 (1)B> 18 02 12 0 12
160 584 -12 128 0 1 (0)A> 17 02 12 0 12
161 586 -14 128 0 1 <D(0) 0 16 02 12 0 12
162 587 -15 128 0 <D(1) 02 16 02 12 0 12
163 590 -16 128 <E(0) 03 16 02 12 0 12
164 618 -44 <E(0) 031 16 02 12 0 12
165 619 -45 <F(0) 032 16 02 12 0 12
166 621 -43 1 (1)F> 032 16 02 12 0 12
167 653 -11 133 (1)F> 16 02 12 0 12
168 656 -10 133 0 (1)B> 15 02 12 0 12
169 657 -9 133 0 1 (0)A> 14 02 12 0 12
170 659 -11 133 0 1 <D(0) 0 13 02 12 0 12
171 660 -12 133 0 <D(1) 02 13 02 12 0 12
172 663 -13 133 <E(0) 03 13 02 12 0 12
173 696 -46 <E(0) 036 13 02 12 0 12
174 697 -47 <F(0) 037 13 02 12 0 12
175 699 -45 1 (1)F> 037 13 02 12 0 12
176 736 -8 138 (1)F> 13 02 12 0 12
177 739 -7 138 0 (1)B> 12 02 12 0 12
178 740 -6 138 0 1 (0)A> 1 02 12 0 12
179 742 -8 138 0 1 <D(0) 03 12 0 12
180 743 -9 138 0 <D(1) 04 12 0 12
181 746 -10 138 <E(0) 05 12 0 12
182 784 -48 <E(0) 043 12 0 12
183 785 -49 <F(0) 044 12 0 12
184 787 -47 1 (1)F> 044 12 0 12
185 831 -3 145 (1)F> 12 0 12
186 834 -2 145 0 (1)B> 1 0 12
187 835 -1 145 0 1 (0)A> 0 12
188 836 0 145 0 1 0 (1)B> 12
189 837 1 145 0 1 0 1 (0)A> 1
190 839 -1 145 0 1 0 1 <D(0)
191 840 -2 145 0 1 0 <D(1)
192 843 -3 145 0 1 <E(0)
193 844 -4 145 0 <E(0)
194 845 -5 145 <F(0)
195 846 -6 144 <B(0)
196 848 -4 143 0 (1)B>
197 850 -6 143 0 <C(0) 1
198 851 -7 143 <D(0) 0 1
199 852 -8 142 <D(1) 02 1
200 894 -50 <D(1) 142 02 1
201 897 -51 <E(0) 0 142 02 1
202 898 -52 <F(0) 02 142 02 1
203 900 -50 1 (1)F> 02 142 02 1
204 902 -48 13 (1)F> 142 02 1
205 905 -47 13 0 (1)B> 141 02 1
206 906 -46 13 0 1 (0)A> 140 02 1
207 908 -48 13 0 1 <D(0) 0 139 02 1
208 909 -49 13 0 <D(1) 02 139 02 1
209 912 -50 13 <E(0) 03 139 02 1
210 915 -53 <E(0) 06 139 02 1
211 916 -54 <F(0) 07 139 02 1
212 918 -52 1 (1)F> 07 139 02 1
213 925 -45 18 (1)F> 139 02 1
214 928 -44 18 0 (1)B> 138 02 1
215 929 -43 18 0 1 (0)A> 137 02 1
216 931 -45 18 0 1 <D(0) 0 136 02 1
217 932 -46 18 0 <D(1) 02 136 02 1
218 935 -47 18 <E(0) 03 136 02 1
219 943 -55 <E(0) 011 136 02 1
220 944 -56 <F(0) 012 136 02 1
221 946 -54 1 (1)F> 012 136 02 1
222 958 -42 113 (1)F> 136 02 1
223 961 -41 113 0 (1)B> 135 02 1
224 962 -40 113 0 1 (0)A> 134 02 1
225 964 -42 113 0 1 <D(0) 0 133 02 1
226 965 -43 113 0 <D(1) 02 133 02 1
227 968 -44 113 <E(0) 03 133 02 1
228 981 -57 <E(0) 016 133 02 1
229 982 -58 <F(0) 017 133 02 1
230 984 -56 1 (1)F> 017 133 02 1
231 1001 -39 118 (1)F> 133 02 1
232 1004 -38 118 0 (1)B> 132 02 1
233 1005 -37 118 0 1 (0)A> 131 02 1
234 1007 -39 118 0 1 <D(0) 0 130 02 1
235 1008 -40 118 0 <D(1) 02 130 02 1
236 1011 -41 118 <E(0) 03 130 02 1
237 1029 -59 <E(0) 021 130 02 1
238 1030 -60 <F(0) 022 130 02 1
239 1032 -58 1 (1)F> 022 130 02 1
240 1054 -36 123 (1)F> 130 02 1
241 1057 -35 123 0 (1)B> 129 02 1
242 1058 -34 123 0 1 (0)A> 128 02 1
243 1060 -36 123 0 1 <D(0) 0 127 02 1
244 1061 -37 123 0 <D(1) 02 127 02 1
245 1064 -38 123 <E(0) 03 127 02 1
246 1087 -61 <E(0) 026 127 02 1
247 1088 -62 <F(0) 027 127 02 1
248 1090 -60 1 (1)F> 027 127 02 1
249 1117 -33 128 (1)F> 127 02 1
250 1120 -32 128 0 (1)B> 126 02 1
251 1121 -31 128 0 1 (0)A> 125 02 1
252 1123 -33 128 0 1 <D(0) 0 124 02 1
253 1124 -34 128 0 <D(1) 02 124 02 1
254 1127 -35 128 <E(0) 03 124 02 1
255 1155 -63 <E(0) 031 124 02 1
256 1156 -64 <F(0) 032 124 02 1
257 1158 -62 1 (1)F> 032 124 02 1
258 1190 -30 133 (1)F> 124 02 1
259 1193 -29 133 0 (1)B> 123 02 1
260 1194 -28 133 0 1 (0)A> 122 02 1
261 1196 -30 133 0 1 <D(0) 0 121 02 1
262 1197 -31 133 0 <D(1) 02 121 02 1
263 1200 -32 133 <E(0) 03 121 02 1
264 1233 -65 <E(0) 036 121 02 1
265 1234 -66 <F(0) 037 121 02 1
266 1236 -64 1 (1)F> 037 121 02 1
267 1273 -27 138 (1)F> 121 02 1
268 1276 -26 138 0 (1)B> 120 02 1
269 1277 -25 138 0 1 (0)A> 119 02 1
270 1279 -27 138 0 1 <D(0) 0 118 02 1
271 1280 -28 138 0 <D(1) 02 118 02 1
272 1283 -29 138 <E(0) 03 118 02 1
273 1321 -67 <E(0) 041 118 02 1
274 1322 -68 <F(0) 042 118 02 1
275 1324 -66 1 (1)F> 042 118 02 1
276 1366 -24 143 (1)F> 118 02 1
277 1369 -23 143 0 (1)B> 117 02 1
278 1370 -22 143 0 1 (0)A> 116 02 1
279 1372 -24 143 0 1 <D(0) 0 115 02 1
280 1373 -25 143 0 <D(1) 02 115 02 1
281 1376 -26 143 <E(0) 03 115 02 1
282 1419 -69 <E(0) 046 115 02 1
283 1420 -70 <F(0) 047 115 02 1
284 1422 -68 1 (1)F> 047 115 02 1
285 1469 -21 148 (1)F> 115 02 1
286 1472 -20 148 0 (1)B> 114 02 1
287 1473 -19 148 0 1 (0)A> 113 02 1
288 1475 -21 148 0 1 <D(0) 0 112 02 1
289 1476 -22 148 0 <D(1) 02 112 02 1
290 1479 -23 148 <E(0) 03 112 02 1
291 1527 -71 <E(0) 051 112 02 1
292 1528 -72 <F(0) 052 112 02 1
293 1530 -70 1 (1)F> 052 112 02 1
294 1582 -18 153 (1)F> 112 02 1
295 1585 -17 153 0 (1)B> 111 02 1
296 1586 -16 153 0 1 (0)A> 110 02 1
297 1588 -18 153 0 1 <D(0) 0 19 02 1
298 1589 -19 153 0 <D(1) 02 19 02 1
299 1592 -20 153 <E(0) 03 19 02 1
300 1645 -73 <E(0) 056 19 02 1
301 1646 -74 <F(0) 057 19 02 1
302 1648 -72 1 (1)F> 057 19 02 1
303 1705 -15 158 (1)F> 19 02 1
304 1708 -14 158 0 (1)B> 18 02 1
305 1709 -13 158 0 1 (0)A> 17 02 1
306 1711 -15 158 0 1 <D(0) 0 16 02 1
307 1712 -16 158 0 <D(1) 02 16 02 1
308 1715 -17 158 <E(0) 03 16 02 1
309 1773 -75 <E(0) 061 16 02 1
310 1774 -76 <F(0) 062 16 02 1
311 1776 -74 1 (1)F> 062 16 02 1
312 1838 -12 163 (1)F> 16 02 1
313 1841 -11 163 0 (1)B> 15 02 1
314 1842 -10 163 0 1 (0)A> 14 02 1
315 1844 -12 163 0 1 <D(0) 0 13 02 1
316 1845 -13 163 0 <D(1) 02 13 02 1
317 1848 -14 163 <E(0) 03 13 02 1
318 1911 -77 <E(0) 066 13 02 1
319 1912 -78 <F(0) 067 13 02 1
320 1914 -76 1 (1)F> 067 13 02 1
321 1981 -9 168 (1)F> 13 02 1
322 1984 -8 168 0 (1)B> 12 02 1
323 1985 -7 168 0 1 (0)A> 1 02 1
324 1987 -9 168 0 1 <D(0) 03 1
325 1988 -10 168 0 <D(1) 04 1
326 1991 -11 168 <E(0) 05 1
327 2059 -79 <E(0) 073 1
328 2060 -80 <F(0) 074 1
329 2062 -78 1 (1)F> 074 1
330 2136 -4 175 (1)F> 1
331 2139 -3 175 0 (1)B>
332 2141 -5 175 0 <C(0) 1
333 2142 -6 175 <D(0) 0 1
334 2143 -7 174 <D(1) 02 1
335 2217 -81 <D(1) 174 02 1
336 2220 -82 <E(0) 0 174 02 1
337 2221 -83 <F(0) 02 174 02 1
338 2223 -81 1 (1)F> 02 174 02 1
339 2225 -79 13 (1)F> 174 02 1
340 2228 -78 13 0 (1)B> 173 02 1
341 2229 -77 13 0 1 (0)A> 172 02 1
342 2231 -79 13 0 1 <D(0) 0 171 02 1
343 2232 -80 13 0 <D(1) 02 171 02 1
344 2235 -81 13 <E(0) 03 171 02 1
345 2238 -84 <E(0) 06 171 02 1
346 2239 -85 <F(0) 07 171 02 1
347 2241 -83 1 (1)F> 07 171 02 1
348 2248 -76 18 (1)F> 171 02 1
349 2251 -75 18 0 (1)B> 170 02 1
350 2252 -74 18 0 1 (0)A> 169 02 1
351 2254 -76 18 0 1 <D(0) 0 168 02 1
352 2255 -77 18 0 <D(1) 02 168 02 1
353 2258 -78 18 <E(0) 03 168 02 1
354 2266 -86 <E(0) 011 168 02 1
355 2267 -87 <F(0) 012 168 02 1
356 2269 -85 1 (1)F> 012 168 02 1
357 2281 -73 113 (1)F> 168 02 1
358 2284 -72 113 0 (1)B> 167 02 1
359 2285 -71 113 0 1 (0)A> 166 02 1
360 2287 -73 113 0 1 <D(0) 0 165 02 1
361 2288 -74 113 0 <D(1) 02 165 02 1
362 2291 -75 113 <E(0) 03 165 02 1
363 2304 -88 <E(0) 016 165 02 1
364 2305 -89 <F(0) 017 165 02 1
365 2307 -87 1 (1)F> 017 165 02 1
366 2324 -70 118 (1)F> 165 02 1
367 2327 -69 118 0 (1)B> 164 02 1
368 2328 -68 118 0 1 (0)A> 163 02 1
369 2330 -70 118 0 1 <D(0) 0 162 02 1
370 2331 -71 118 0 <D(1) 02 162 02 1
371 2334 -72 118 <E(0) 03 162 02 1
372 2352 -90 <E(0) 021 162 02 1
373 2353 -91 <F(0) 022 162 02 1
374 2355 -89 1 (1)F> 022 162 02 1
375 2377 -67 123 (1)F> 162 02 1
376 2380 -66 123 0 (1)B> 161 02 1
377 2381 -65 123 0 1 (0)A> 160 02 1
378 2383 -67 123 0 1 <D(0) 0 159 02 1
379 2384 -68 123 0 <D(1) 02 159 02 1
380 2387 -69 123 <E(0) 03 159 02 1
381 2410 -92 <E(0) 026 159 02 1
382 2411 -93 <F(0) 027 159 02 1
383 2413 -91 1 (1)F> 027 159 02 1
384 2440 -64 128 (1)F> 159 02 1
385 2443 -63 128 0 (1)B> 158 02 1
386 2444 -62 128 0 1 (0)A> 157 02 1
387 2446 -64 128 0 1 <D(0) 0 156 02 1
388 2447 -65 128 0 <D(1) 02 156 02 1
389 2450 -66 128 <E(0) 03 156 02 1
390 2478 -94 <E(0) 031 156 02 1
391 2479 -95 <F(0) 032 156 02 1
392 2481 -93 1 (1)F> 032 156 02 1
393 2513 -61 133 (1)F> 156 02 1
394 2516 -60 133 0 (1)B> 155 02 1
395 2517 -59 133 0 1 (0)A> 154 02 1
396 2519 -61 133 0 1 <D(0) 0 153 02 1
397 2520 -62 133 0 <D(1) 02 153 02 1
398 2523 -63 133 <E(0) 03 153 02 1
399 2556 -96 <E(0) 036 153 02 1
400 2557 -97 <F(0) 037 153 02 1
401 2559 -95 1 (1)F> 037 153 02 1
402 2596 -58 138 (1)F> 153 02 1
403 2599 -57 138 0 (1)B> 152 02 1
404 2600 -56 138 0 1 (0)A> 151 02 1
405 2602 -58 138 0 1 <D(0) 0 150 02 1
406 2603 -59 138 0 <D(1) 02 150 02 1
407 2606 -60 138 <E(0) 03 150 02 1
408 2644 -98 <E(0) 041 150 02 1
409 2645 -99 <F(0) 042 150 02 1
410 2647 -97 1 (1)F> 042 150 02 1
411 2689 -55 143 (1)F> 150 02 1
412 2692 -54 143 0 (1)B> 149 02 1
413 2693 -53 143 0 1 (0)A> 148 02 1
414 2695 -55 143 0 1 <D(0) 0 147 02 1
415 2696 -56 143 0 <D(1) 02 147 02 1
416 2699 -57 143 <E(0) 03 147 02 1
417 2742 -100 <E(0) 046 147 02 1
418 2743 -101 <F(0) 047 147 02 1
419 2745 -99 1 (1)F> 047 147 02 1
420 2792 -52 148 (1)F> 147 02 1
421 2795 -51 148 0 (1)B> 146 02 1
422 2796 -50 148 0 1 (0)A> 145 02 1
423 2798 -52 148 0 1 <D(0) 0 144 02 1
424 2799 -53 148 0 <D(1) 02 144 02 1
425 2802 -54 148 <E(0) 03 144 02 1
426 2850 -102 <E(0) 051 144 02 1
427 2851 -103 <F(0) 052 144 02 1
428 2853 -101 1 (1)F> 052 144 02 1
429 2905 -49 153 (1)F> 144 02 1
430 2908 -48 153 0 (1)B> 143 02 1
431 2909 -47 153 0 1 (0)A> 142 02 1
432 2911 -49 153 0 1 <D(0) 0 141 02 1
433 2912 -50 153 0 <D(1) 02 141 02 1
434 2915 -51 153 <E(0) 03 141 02 1
435 2968 -104 <E(0) 056 141 02 1
436 2969 -105 <F(0) 057 141 02 1
437 2971 -103 1 (1)F> 057 141 02 1
438 3028 -46 158 (1)F> 141 02 1
439 3031 -45 158 0 (1)B> 140 02 1
440 3032 -44 158 0 1 (0)A> 139 02 1
441 3034 -46 158 0 1 <D(0) 0 138 02 1
442 3035 -47 158 0 <D(1) 02 138 02 1
443 3038 -48 158 <E(0) 03 138 02 1
444 3096 -106 <E(0) 061 138 02 1
445 3097 -107 <F(0) 062 138 02 1
446 3099 -105 1 (1)F> 062 138 02 1
447 3161 -43 163 (1)F> 138 02 1
448 3164 -42 163 0 (1)B> 137 02 1
449 3165 -41 163 0 1 (0)A> 136 02 1
450 3167 -43 163 0 1 <D(0) 0 135 02 1
451 3168 -44 163 0 <D(1) 02 135 02 1
452 3171 -45 163 <E(0) 03 135 02 1
453 3234 -108 <E(0) 066 135 02 1
454 3235 -109 <F(0) 067 135 02 1
455 3237 -107 1 (1)F> 067 135 02 1
456 3304 -40 168 (1)F> 135 02 1
457 3307 -39 168 0 (1)B> 134 02 1
458 3308 -38 168 0 1 (0)A> 133 02 1
459 3310 -40 168 0 1 <D(0) 0 132 02 1
460 3311 -41 168 0 <D(1) 02 132 02 1
461 3314 -42 168 <E(0) 03 132 02 1
462 3382 -110 <E(0) 071 132 02 1
463 3383 -111 <F(0) 072 132 02 1
464 3385 -109 1 (1)F> 072 132 02 1
465 3457 -37 173 (1)F> 132 02 1
466 3460 -36 173 0 (1)B> 131 02 1
467 3461 -35 173 0 1 (0)A> 130 02 1
468 3463 -37 173 0 1 <D(0) 0 129 02 1
469 3464 -38 173 0 <D(1) 02 129 02 1
470 3467 -39 173 <E(0) 03 129 02 1
471 3540 -112 <E(0) 076 129 02 1
472 3541 -113 <F(0) 077 129 02 1
473 3543 -111 1 (1)F> 077 129 02 1
474 3620 -34 178 (1)F> 129 02 1
475 3623 -33 178 0 (1)B> 128 02 1
476 3624 -32 178 0 1 (0)A> 127 02 1
477 3626 -34 178 0 1 <D(0) 0 126 02 1
478 3627 -35 178 0 <D(1) 02 126 02 1
479 3630 -36 178 <E(0) 03 126 02 1
480 3708 -114 <E(0) 081 126 02 1
481 3709 -115 <F(0) 082 126 02 1
482 3711 -113 1 (1)F> 082 126 02 1
483 3793 -31 183 (1)F> 126 02 1
484 3796 -30 183 0 (1)B> 125 02 1
485 3797 -29 183 0 1 (0)A> 124 02 1
486 3799 -31 183 0 1 <D(0) 0 123 02 1
487 3800 -32 183 0 <D(1) 02 123 02 1
488 3803 -33 183 <E(0) 03 123 02 1
489 3886 -116 <E(0) 086 123 02 1
490 3887 -117 <F(0) 087 123 02 1
491 3889 -115 1 (1)F> 087 123 02 1
492 3976 -28 188 (1)F> 123 02 1
493 3979 -27 188 0 (1)B> 122 02 1
494 3980 -26 188 0 1 (0)A> 121 02 1
495 3982 -28 188 0 1 <D(0) 0 120 02 1
496 3983 -29 188 0 <D(1) 02 120 02 1
497 3986 -30 188 <E(0) 03 120 02 1
498 4074 -118 <E(0) 091 120 02 1
499 4075 -119 <F(0) 092 120 02 1
500 4077 -117 1 (1)F> 092 120 02 1
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 4077
Tape index: -117
ones: 23
log10(ones ): 1.362
log10(steps ): 3.610
Input to awk program:
gohalt 1
L 60
5T B1R C0L A1L A0R D0L Z1R E1R D1L F0L E0L F1R B0L : 17485734 95547257425490
T 6-state TM #a from MaBu-List
M 501
pref sim
machv mbL6_a just simple
machv mbL6_a-r with repetitions reduced
machv mbL6_a-1 with tape symbol exponents
machv mbL6_a-m as 1-bck-macro machine
machv mbL6_a-a as 1-bck-macro machine with pure additive config-TRs
iam mbL6_a-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:36 CEST 2010
edate Tue Jul 6 22:10:37 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:10:36 CEST 2010