Comment: This TM produces 40740206640846 ones in 5690620927332136555840780353 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 | D1R | 1 | left | A | 1 | right | D |
| C | D1R | C1L | 1 | right | D | 1 | left | C |
| D | E1R | F1L | 1 | right | E | 1 | left | F |
| E | A0R | B1R | 0 | right | A | 1 | right | B |
| F | Z1R | D0L | 1 | right | Z | 0 | left | D |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-2-macro machine.
The same TM as 1-bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 6 2 11 (1)B>
2 8 0 11 <C(0) 10
3 10 -2 <C(1) 102
4 18 0 11 (1)E> 102
5 22 -2 11 <C(1) 01 10
6 24 -4 <C(1) 11 01 10
7 32 -2 11 (1)E> 11 01 10
8 34 0 112 (1)D> 01 10
9 36 2 113 (1)B> 10
10 38 4 114 (1)E>
11 40 6 114 10 (1)B>
12 42 4 114 10 <C(0) 10
13 44 6 115 (1)E> 10
14 48 4 115 <C(1) 01
15 58 -6 <C(1) 115 01
16 66 -4 11 (1)E> 115 01
17 68 -2 112 (1)D> 114 01
18 70 -4 112 <D(0) 114 01
19 74 -8 <D(0) 102 114 01
20 76 -6 01 (0)A> 102 114 01
21 84 -2 01 112 (0)A> 114 01
22 88 0 01 113 (1)B> 113 01
23 92 -2 01 113 <F(1) 01 112 01
24 98 -8 01 <F(1) 014 112 01
25 104 -6 11 (1)E> 014 112 01
26 120 2 115 (1)E> 112 01
27 122 4 116 (1)D> 11 01
28 124 2 116 <D(0) 11 01
29 136 -10 <D(0) 106 11 01
30 138 -8 01 (0)A> 106 11 01
31 162 4 01 116 (0)A> 11 01
32 166 6 01 117 (1)B> 01
33 168 4 01 117 <C(0) 11
34 170 2 01 116 <C(1) 10 11
35 182 -10 01 <C(1) 116 10 11
36 186 -12 <D(0) 117 10 11
37 188 -10 01 (0)A> 117 10 11
38 192 -8 01 11 (1)B> 116 10 11
39 196 -10 01 11 <F(1) 01 115 10 11
40 198 -12 01 <F(1) 012 115 10 11
41 204 -10 11 (1)E> 012 115 10 11
42 212 -6 113 (1)E> 115 10 11
43 214 -4 114 (1)D> 114 10 11
44 216 -6 114 <D(0) 114 10 11
45 224 -14 <D(0) 104 114 10 11
46 226 -12 01 (0)A> 104 114 10 11
47 242 -4 01 114 (0)A> 114 10 11
48 246 -2 01 115 (1)B> 113 10 11
49 250 -4 01 115 <F(1) 01 112 10 11
50 260 -14 01 <F(1) 016 112 10 11
51 266 -12 11 (1)E> 016 112 10 11
52 290 0 117 (1)E> 112 10 11
53 292 2 118 (1)D> 11 10 11
54 294 0 118 <D(0) 11 10 11
55 310 -16 <D(0) 108 11 10 11
56 312 -14 01 (0)A> 108 11 10 11
57 344 2 01 118 (0)A> 11 10 11
58 348 4 01 119 (1)B> 10 11
59 350 6 01 1110 (1)E> 11
60 352 8 01 1111 (1)D>
61 354 10 01 1112 (0)A>
62 360 12 01 1113 (1)B>
63 362 10 01 1113 <C(0) 10
64 364 8 01 1112 <C(1) 102
65 388 -16 01 <C(1) 1112 102
66 392 -18 <D(0) 1113 102
67 394 -16 01 (0)A> 1113 102
68 398 -14 01 11 (1)B> 1112 102
69 402 -16 01 11 <F(1) 01 1111 102
70 404 -18 01 <F(1) 012 1111 102
71 410 -16 11 (1)E> 012 1111 102
72 418 -12 113 (1)E> 1111 102
73 420 -10 114 (1)D> 1110 102
74 422 -12 114 <D(0) 1110 102
75 430 -20 <D(0) 104 1110 102
76 432 -18 01 (0)A> 104 1110 102
77 448 -10 01 114 (0)A> 1110 102
78 452 -8 01 115 (1)B> 119 102
79 456 -10 01 115 <F(1) 01 118 102
80 466 -20 01 <F(1) 016 118 102
81 472 -18 11 (1)E> 016 118 102
82 496 -6 117 (1)E> 118 102
83 498 -4 118 (1)D> 117 102
84 500 -6 118 <D(0) 117 102
85 516 -22 <D(0) 108 117 102
86 518 -20 01 (0)A> 108 117 102
87 550 -4 01 118 (0)A> 117 102
88 554 -2 01 119 (1)B> 116 102
89 558 -4 01 119 <F(1) 01 115 102
90 576 -22 01 <F(1) 0110 115 102
91 582 -20 11 (1)E> 0110 115 102
92 622 0 1111 (1)E> 115 102
93 624 2 1112 (1)D> 114 102
94 626 0 1112 <D(0) 114 102
95 650 -24 <D(0) 1012 114 102
96 652 -22 01 (0)A> 1012 114 102
97 700 2 01 1112 (0)A> 114 102
98 704 4 01 1113 (1)B> 113 102
99 708 2 01 1113 <F(1) 01 112 102
100 734 -24 01 <F(1) 0114 112 102
101 740 -22 11 (1)E> 0114 112 102
102 796 6 1115 (1)E> 112 102
103 798 8 1116 (1)D> 11 102
104 800 6 1116 <D(0) 11 102
105 832 -26 <D(0) 1016 11 102
106 834 -24 01 (0)A> 1016 11 102
107 898 8 01 1116 (0)A> 11 102
108 902 10 01 1117 (1)B> 102
109 904 12 01 1118 (1)E> 10
110 908 10 01 1118 <C(1) 01
111 944 -26 01 <C(1) 1118 01
112 948 -28 <D(0) 1119 01
113 950 -26 01 (0)A> 1119 01
114 954 -24 01 11 (1)B> 1118 01
115 958 -26 01 11 <F(1) 01 1117 01
116 960 -28 01 <F(1) 012 1117 01
117 966 -26 11 (1)E> 012 1117 01
118 974 -22 113 (1)E> 1117 01
119 976 -20 114 (1)D> 1116 01
120 978 -22 114 <D(0) 1116 01
121 986 -30 <D(0) 104 1116 01
122 988 -28 01 (0)A> 104 1116 01
123 1004 -20 01 114 (0)A> 1116 01
124 1008 -18 01 115 (1)B> 1115 01
125 1012 -20 01 115 <F(1) 01 1114 01
126 1022 -30 01 <F(1) 016 1114 01
127 1028 -28 11 (1)E> 016 1114 01
128 1052 -16 117 (1)E> 1114 01
129 1054 -14 118 (1)D> 1113 01
130 1056 -16 118 <D(0) 1113 01
131 1072 -32 <D(0) 108 1113 01
132 1074 -30 01 (0)A> 108 1113 01
133 1106 -14 01 118 (0)A> 1113 01
134 1110 -12 01 119 (1)B> 1112 01
135 1114 -14 01 119 <F(1) 01 1111 01
136 1132 -32 01 <F(1) 0110 1111 01
137 1138 -30 11 (1)E> 0110 1111 01
138 1178 -10 1111 (1)E> 1111 01
139 1180 -8 1112 (1)D> 1110 01
140 1182 -10 1112 <D(0) 1110 01
141 1206 -34 <D(0) 1012 1110 01
142 1208 -32 01 (0)A> 1012 1110 01
143 1256 -8 01 1112 (0)A> 1110 01
144 1260 -6 01 1113 (1)B> 119 01
145 1264 -8 01 1113 <F(1) 01 118 01
146 1290 -34 01 <F(1) 0114 118 01
147 1296 -32 11 (1)E> 0114 118 01
148 1352 -4 1115 (1)E> 118 01
149 1354 -2 1116 (1)D> 117 01
150 1356 -4 1116 <D(0) 117 01
151 1388 -36 <D(0) 1016 117 01
152 1390 -34 01 (0)A> 1016 117 01
153 1454 -2 01 1116 (0)A> 117 01
154 1458 0 01 1117 (1)B> 116 01
155 1462 -2 01 1117 <F(1) 01 115 01
156 1496 -36 01 <F(1) 0118 115 01
157 1502 -34 11 (1)E> 0118 115 01
158 1574 2 1119 (1)E> 115 01
159 1576 4 1120 (1)D> 114 01
160 1578 2 1120 <D(0) 114 01
161 1618 -38 <D(0) 1020 114 01
162 1620 -36 01 (0)A> 1020 114 01
163 1700 4 01 1120 (0)A> 114 01
164 1704 6 01 1121 (1)B> 113 01
165 1708 4 01 1121 <F(1) 01 112 01
166 1750 -38 01 <F(1) 0122 112 01
167 1756 -36 11 (1)E> 0122 112 01
168 1844 8 1123 (1)E> 112 01
169 1846 10 1124 (1)D> 11 01
170 1848 8 1124 <D(0) 11 01
171 1896 -40 <D(0) 1024 11 01
172 1898 -38 01 (0)A> 1024 11 01
173 1994 10 01 1124 (0)A> 11 01
174 1998 12 01 1125 (1)B> 01
175 2000 10 01 1125 <C(0) 11
176 2002 8 01 1124 <C(1) 10 11
177 2050 -40 01 <C(1) 1124 10 11
178 2054 -42 <D(0) 1125 10 11
179 2056 -40 01 (0)A> 1125 10 11
180 2060 -38 01 11 (1)B> 1124 10 11
181 2064 -40 01 11 <F(1) 01 1123 10 11
182 2066 -42 01 <F(1) 012 1123 10 11
183 2072 -40 11 (1)E> 012 1123 10 11
184 2080 -36 113 (1)E> 1123 10 11
185 2082 -34 114 (1)D> 1122 10 11
186 2084 -36 114 <D(0) 1122 10 11
187 2092 -44 <D(0) 104 1122 10 11
188 2094 -42 01 (0)A> 104 1122 10 11
189 2110 -34 01 114 (0)A> 1122 10 11
190 2114 -32 01 115 (1)B> 1121 10 11
191 2118 -34 01 115 <F(1) 01 1120 10 11
192 2128 -44 01 <F(1) 016 1120 10 11
193 2134 -42 11 (1)E> 016 1120 10 11
194 2158 -30 117 (1)E> 1120 10 11
195 2160 -28 118 (1)D> 1119 10 11
196 2162 -30 118 <D(0) 1119 10 11
197 2178 -46 <D(0) 108 1119 10 11
198 2180 -44 01 (0)A> 108 1119 10 11
199 2212 -28 01 118 (0)A> 1119 10 11
200 2216 -26 01 119 (1)B> 1118 10 11
201 2220 -28 01 119 <F(1) 01 1117 10 11
202 2238 -46 01 <F(1) 0110 1117 10 11
203 2244 -44 11 (1)E> 0110 1117 10 11
204 2284 -24 1111 (1)E> 1117 10 11
205 2286 -22 1112 (1)D> 1116 10 11
206 2288 -24 1112 <D(0) 1116 10 11
207 2312 -48 <D(0) 1012 1116 10 11
208 2314 -46 01 (0)A> 1012 1116 10 11
209 2362 -22 01 1112 (0)A> 1116 10 11
210 2366 -20 01 1113 (1)B> 1115 10 11
211 2370 -22 01 1113 <F(1) 01 1114 10 11
212 2396 -48 01 <F(1) 0114 1114 10 11
213 2402 -46 11 (1)E> 0114 1114 10 11
214 2458 -18 1115 (1)E> 1114 10 11
215 2460 -16 1116 (1)D> 1113 10 11
216 2462 -18 1116 <D(0) 1113 10 11
217 2494 -50 <D(0) 1016 1113 10 11
218 2496 -48 01 (0)A> 1016 1113 10 11
219 2560 -16 01 1116 (0)A> 1113 10 11
220 2564 -14 01 1117 (1)B> 1112 10 11
221 2568 -16 01 1117 <F(1) 01 1111 10 11
222 2602 -50 01 <F(1) 0118 1111 10 11
223 2608 -48 11 (1)E> 0118 1111 10 11
224 2680 -12 1119 (1)E> 1111 10 11
225 2682 -10 1120 (1)D> 1110 10 11
226 2684 -12 1120 <D(0) 1110 10 11
227 2724 -52 <D(0) 1020 1110 10 11
228 2726 -50 01 (0)A> 1020 1110 10 11
229 2806 -10 01 1120 (0)A> 1110 10 11
230 2810 -8 01 1121 (1)B> 119 10 11
231 2814 -10 01 1121 <F(1) 01 118 10 11
232 2856 -52 01 <F(1) 0122 118 10 11
233 2862 -50 11 (1)E> 0122 118 10 11
234 2950 -6 1123 (1)E> 118 10 11
235 2952 -4 1124 (1)D> 117 10 11
236 2954 -6 1124 <D(0) 117 10 11
237 3002 -54 <D(0) 1024 117 10 11
238 3004 -52 01 (0)A> 1024 117 10 11
239 3100 -4 01 1124 (0)A> 117 10 11
240 3104 -2 01 1125 (1)B> 116 10 11
241 3108 -4 01 1125 <F(1) 01 115 10 11
242 3158 -54 01 <F(1) 0126 115 10 11
243 3164 -52 11 (1)E> 0126 115 10 11
244 3268 0 1127 (1)E> 115 10 11
245 3270 2 1128 (1)D> 114 10 11
246 3272 0 1128 <D(0) 114 10 11
247 3328 -56 <D(0) 1028 114 10 11
248 3330 -54 01 (0)A> 1028 114 10 11
249 3442 2 01 1128 (0)A> 114 10 11
250 3446 4 01 1129 (1)B> 113 10 11
251 3450 2 01 1129 <F(1) 01 112 10 11
252 3508 -56 01 <F(1) 0130 112 10 11
253 3514 -54 11 (1)E> 0130 112 10 11
254 3634 6 1131 (1)E> 112 10 11
255 3636 8 1132 (1)D> 11 10 11
256 3638 6 1132 <D(0) 11 10 11
257 3702 -58 <D(0) 1032 11 10 11
258 3704 -56 01 (0)A> 1032 11 10 11
259 3832 8 01 1132 (0)A> 11 10 11
260 3836 10 01 1133 (1)B> 10 11
261 3838 12 01 1134 (1)E> 11
262 3840 14 01 1135 (1)D>
263 3842 16 01 1136 (0)A>
264 3848 18 01 1137 (1)B>
265 3850 16 01 1137 <C(0) 10
266 3852 14 01 1136 <C(1) 102
267 3924 -58 01 <C(1) 1136 102
268 3928 -60 <D(0) 1137 102
269 3930 -58 01 (0)A> 1137 102
270 3934 -56 01 11 (1)B> 1136 102
271 3938 -58 01 11 <F(1) 01 1135 102
272 3940 -60 01 <F(1) 012 1135 102
273 3946 -58 11 (1)E> 012 1135 102
274 3954 -54 113 (1)E> 1135 102
275 3956 -52 114 (1)D> 1134 102
276 3958 -54 114 <D(0) 1134 102
277 3966 -62 <D(0) 104 1134 102
278 3968 -60 01 (0)A> 104 1134 102
279 3984 -52 01 114 (0)A> 1134 102
280 3988 -50 01 115 (1)B> 1133 102
281 3992 -52 01 115 <F(1) 01 1132 102
282 4002 -62 01 <F(1) 016 1132 102
283 4008 -60 11 (1)E> 016 1132 102
284 4032 -48 117 (1)E> 1132 102
285 4034 -46 118 (1)D> 1131 102
286 4036 -48 118 <D(0) 1131 102
287 4052 -64 <D(0) 108 1131 102
288 4054 -62 01 (0)A> 108 1131 102
289 4086 -46 01 118 (0)A> 1131 102
290 4090 -44 01 119 (1)B> 1130 102
291 4094 -46 01 119 <F(1) 01 1129 102
292 4112 -64 01 <F(1) 0110 1129 102
293 4118 -62 11 (1)E> 0110 1129 102
294 4158 -42 1111 (1)E> 1129 102
295 4160 -40 1112 (1)D> 1128 102
296 4162 -42 1112 <D(0) 1128 102
297 4186 -66 <D(0) 1012 1128 102
298 4188 -64 01 (0)A> 1012 1128 102
299 4236 -40 01 1112 (0)A> 1128 102
300 4240 -38 01 1113 (1)B> 1127 102
301 4244 -40 01 1113 <F(1) 01 1126 102
302 4270 -66 01 <F(1) 0114 1126 102
303 4276 -64 11 (1)E> 0114 1126 102
304 4332 -36 1115 (1)E> 1126 102
305 4334 -34 1116 (1)D> 1125 102
306 4336 -36 1116 <D(0) 1125 102
307 4368 -68 <D(0) 1016 1125 102
308 4370 -66 01 (0)A> 1016 1125 102
309 4434 -34 01 1116 (0)A> 1125 102
310 4438 -32 01 1117 (1)B> 1124 102
311 4442 -34 01 1117 <F(1) 01 1123 102
312 4476 -68 01 <F(1) 0118 1123 102
313 4482 -66 11 (1)E> 0118 1123 102
314 4554 -30 1119 (1)E> 1123 102
315 4556 -28 1120 (1)D> 1122 102
316 4558 -30 1120 <D(0) 1122 102
317 4598 -70 <D(0) 1020 1122 102
318 4600 -68 01 (0)A> 1020 1122 102
319 4680 -28 01 1120 (0)A> 1122 102
320 4684 -26 01 1121 (1)B> 1121 102
321 4688 -28 01 1121 <F(1) 01 1120 102
322 4730 -70 01 <F(1) 0122 1120 102
323 4736 -68 11 (1)E> 0122 1120 102
324 4824 -24 1123 (1)E> 1120 102
325 4826 -22 1124 (1)D> 1119 102
326 4828 -24 1124 <D(0) 1119 102
327 4876 -72 <D(0) 1024 1119 102
328 4878 -70 01 (0)A> 1024 1119 102
329 4974 -22 01 1124 (0)A> 1119 102
330 4978 -20 01 1125 (1)B> 1118 102
331 4982 -22 01 1125 <F(1) 01 1117 102
332 5032 -72 01 <F(1) 0126 1117 102
333 5038 -70 11 (1)E> 0126 1117 102
334 5142 -18 1127 (1)E> 1117 102
335 5144 -16 1128 (1)D> 1116 102
336 5146 -18 1128 <D(0) 1116 102
337 5202 -74 <D(0) 1028 1116 102
338 5204 -72 01 (0)A> 1028 1116 102
339 5316 -16 01 1128 (0)A> 1116 102
340 5320 -14 01 1129 (1)B> 1115 102
341 5324 -16 01 1129 <F(1) 01 1114 102
342 5382 -74 01 <F(1) 0130 1114 102
343 5388 -72 11 (1)E> 0130 1114 102
344 5508 -12 1131 (1)E> 1114 102
345 5510 -10 1132 (1)D> 1113 102
346 5512 -12 1132 <D(0) 1113 102
347 5576 -76 <D(0) 1032 1113 102
348 5578 -74 01 (0)A> 1032 1113 102
349 5706 -10 01 1132 (0)A> 1113 102
350 5710 -8 01 1133 (1)B> 1112 102
351 5714 -10 01 1133 <F(1) 01 1111 102
352 5780 -76 01 <F(1) 0134 1111 102
353 5786 -74 11 (1)E> 0134 1111 102
354 5922 -6 1135 (1)E> 1111 102
355 5924 -4 1136 (1)D> 1110 102
356 5926 -6 1136 <D(0) 1110 102
357 5998 -78 <D(0) 1036 1110 102
358 6000 -76 01 (0)A> 1036 1110 102
359 6144 -4 01 1136 (0)A> 1110 102
360 6148 -2 01 1137 (1)B> 119 102
361 6152 -4 01 1137 <F(1) 01 118 102
362 6226 -78 01 <F(1) 0138 118 102
363 6232 -76 11 (1)E> 0138 118 102
364 6384 0 1139 (1)E> 118 102
365 6386 2 1140 (1)D> 117 102
366 6388 0 1140 <D(0) 117 102
367 6468 -80 <D(0) 1040 117 102
368 6470 -78 01 (0)A> 1040 117 102
369 6630 2 01 1140 (0)A> 117 102
370 6634 4 01 1141 (1)B> 116 102
371 6638 2 01 1141 <F(1) 01 115 102
372 6720 -80 01 <F(1) 0142 115 102
373 6726 -78 11 (1)E> 0142 115 102
374 6894 6 1143 (1)E> 115 102
375 6896 8 1144 (1)D> 114 102
376 6898 6 1144 <D(0) 114 102
377 6986 -82 <D(0) 1044 114 102
378 6988 -80 01 (0)A> 1044 114 102
379 7164 8 01 1144 (0)A> 114 102
380 7168 10 01 1145 (1)B> 113 102
381 7172 8 01 1145 <F(1) 01 112 102
382 7262 -82 01 <F(1) 0146 112 102
383 7268 -80 11 (1)E> 0146 112 102
384 7452 12 1147 (1)E> 112 102
385 7454 14 1148 (1)D> 11 102
386 7456 12 1148 <D(0) 11 102
387 7552 -84 <D(0) 1048 11 102
388 7554 -82 01 (0)A> 1048 11 102
389 7746 14 01 1148 (0)A> 11 102
390 7750 16 01 1149 (1)B> 102
391 7752 18 01 1150 (1)E> 10
392 7756 16 01 1150 <C(1) 01
393 7856 -84 01 <C(1) 1150 01
394 7860 -86 <D(0) 1151 01
395 7862 -84 01 (0)A> 1151 01
396 7866 -82 01 11 (1)B> 1150 01
397 7870 -84 01 11 <F(1) 01 1149 01
398 7872 -86 01 <F(1) 012 1149 01
399 7878 -84 11 (1)E> 012 1149 01
400 7886 -80 113 (1)E> 1149 01
401 7888 -78 114 (1)D> 1148 01
402 7890 -80 114 <D(0) 1148 01
403 7898 -88 <D(0) 104 1148 01
404 7900 -86 01 (0)A> 104 1148 01
405 7916 -78 01 114 (0)A> 1148 01
406 7920 -76 01 115 (1)B> 1147 01
407 7924 -78 01 115 <F(1) 01 1146 01
408 7934 -88 01 <F(1) 016 1146 01
409 7940 -86 11 (1)E> 016 1146 01
410 7964 -74 117 (1)E> 1146 01
411 7966 -72 118 (1)D> 1145 01
412 7968 -74 118 <D(0) 1145 01
413 7984 -90 <D(0) 108 1145 01
414 7986 -88 01 (0)A> 108 1145 01
415 8018 -72 01 118 (0)A> 1145 01
416 8022 -70 01 119 (1)B> 1144 01
417 8026 -72 01 119 <F(1) 01 1143 01
418 8044 -90 01 <F(1) 0110 1143 01
419 8050 -88 11 (1)E> 0110 1143 01
420 8090 -68 1111 (1)E> 1143 01
421 8092 -66 1112 (1)D> 1142 01
422 8094 -68 1112 <D(0) 1142 01
423 8118 -92 <D(0) 1012 1142 01
424 8120 -90 01 (0)A> 1012 1142 01
425 8168 -66 01 1112 (0)A> 1142 01
426 8172 -64 01 1113 (1)B> 1141 01
427 8176 -66 01 1113 <F(1) 01 1140 01
428 8202 -92 01 <F(1) 0114 1140 01
429 8208 -90 11 (1)E> 0114 1140 01
430 8264 -62 1115 (1)E> 1140 01
431 8266 -60 1116 (1)D> 1139 01
432 8268 -62 1116 <D(0) 1139 01
433 8300 -94 <D(0) 1016 1139 01
434 8302 -92 01 (0)A> 1016 1139 01
435 8366 -60 01 1116 (0)A> 1139 01
436 8370 -58 01 1117 (1)B> 1138 01
437 8374 -60 01 1117 <F(1) 01 1137 01
438 8408 -94 01 <F(1) 0118 1137 01
439 8414 -92 11 (1)E> 0118 1137 01
440 8486 -56 1119 (1)E> 1137 01
441 8488 -54 1120 (1)D> 1136 01
442 8490 -56 1120 <D(0) 1136 01
443 8530 -96 <D(0) 1020 1136 01
444 8532 -94 01 (0)A> 1020 1136 01
445 8612 -54 01 1120 (0)A> 1136 01
446 8616 -52 01 1121 (1)B> 1135 01
447 8620 -54 01 1121 <F(1) 01 1134 01
448 8662 -96 01 <F(1) 0122 1134 01
449 8668 -94 11 (1)E> 0122 1134 01
450 8756 -50 1123 (1)E> 1134 01
451 8758 -48 1124 (1)D> 1133 01
452 8760 -50 1124 <D(0) 1133 01
453 8808 -98 <D(0) 1024 1133 01
454 8810 -96 01 (0)A> 1024 1133 01
455 8906 -48 01 1124 (0)A> 1133 01
456 8910 -46 01 1125 (1)B> 1132 01
457 8914 -48 01 1125 <F(1) 01 1131 01
458 8964 -98 01 <F(1) 0126 1131 01
459 8970 -96 11 (1)E> 0126 1131 01
460 9074 -44 1127 (1)E> 1131 01
461 9076 -42 1128 (1)D> 1130 01
462 9078 -44 1128 <D(0) 1130 01
463 9134 -100 <D(0) 1028 1130 01
464 9136 -98 01 (0)A> 1028 1130 01
465 9248 -42 01 1128 (0)A> 1130 01
466 9252 -40 01 1129 (1)B> 1129 01
467 9256 -42 01 1129 <F(1) 01 1128 01
468 9314 -100 01 <F(1) 0130 1128 01
469 9320 -98 11 (1)E> 0130 1128 01
470 9440 -38 1131 (1)E> 1128 01
471 9442 -36 1132 (1)D> 1127 01
472 9444 -38 1132 <D(0) 1127 01
473 9508 -102 <D(0) 1032 1127 01
474 9510 -100 01 (0)A> 1032 1127 01
475 9638 -36 01 1132 (0)A> 1127 01
476 9642 -34 01 1133 (1)B> 1126 01
477 9646 -36 01 1133 <F(1) 01 1125 01
478 9712 -102 01 <F(1) 0134 1125 01
479 9718 -100 11 (1)E> 0134 1125 01
480 9854 -32 1135 (1)E> 1125 01
481 9856 -30 1136 (1)D> 1124 01
482 9858 -32 1136 <D(0) 1124 01
483 9930 -104 <D(0) 1036 1124 01
484 9932 -102 01 (0)A> 1036 1124 01
485 10076 -30 01 1136 (0)A> 1124 01
486 10080 -28 01 1137 (1)B> 1123 01
487 10084 -30 01 1137 <F(1) 01 1122 01
488 10158 -104 01 <F(1) 0138 1122 01
489 10164 -102 11 (1)E> 0138 1122 01
490 10316 -26 1139 (1)E> 1122 01
491 10318 -24 1140 (1)D> 1121 01
492 10320 -26 1140 <D(0) 1121 01
493 10400 -106 <D(0) 1040 1121 01
494 10402 -104 01 (0)A> 1040 1121 01
495 10562 -24 01 1140 (0)A> 1121 01
496 10566 -22 01 1141 (1)B> 1120 01
497 10570 -24 01 1141 <F(1) 01 1119 01
498 10652 -106 01 <F(1) 0142 1119 01
499 10658 -104 11 (1)E> 0142 1119 01
500 10826 -20 1143 (1)E> 1119 01
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 10826
Tape index: -20
ones: 126
log10(ones ): 2.100
log10(steps ): 4.034
Input to awk program:
gohalt 1
L 16
5T B1R C0L A1L D1R D1R C1L E1R F1L A0R B1R Z1R D0L : 40740206640846 5690620927332136555840780353
T 6-state TM #i from MaBu-List
M 501
pref sim
machv mbL6_i just simple
machv mbL6_i-r with repetitions reduced
machv mbL6_i-1 with tape symbol exponents
machv mbL6_i-m as 1-bck-2-macro machine
machv mbL6_i-a as 1-bck-2-macro machine with pure additive config-TRs
iam mbL6_i-m
mtype 1 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:55 CEST 2010
edate Tue Jul 6 22:10:55 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:55 CEST 2010