Comment: This TM produces >1.29*10^865 ones in >3*10^1730 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | F0L | 1 | right | B | 0 | left | F |
| B | C0R | D0R | 0 | right | C | 0 | right | D |
| C | D1L | E1R | 1 | left | D | 1 | right | E |
| D | E0L | D0L | 0 | left | E | 0 | left | D |
| E | A0R | C1R | 0 | right | A | 1 | right | C |
| F | A1L | Z1R | 1 | left | A | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 2 2 (10)C>
2 7 -1 <D(01) 10
3 12 2 01 (01)E> 10
4 17 -1 01 <E(00) 01
5 21 -3 <E(00) 10 01
6 24 0 (10)C> 10 01
7 26 2 10 (10)A> 01
8 28 4 102 (10)D>
9 32 6 103 (10)C>
10 37 3 103 <D(01) 10
11 49 -3 <D(01) 013 10
12 54 0 01 (01)E> 013 10
13 59 -3 01 <A(10) 10 012 10
14 61 -5 <A(10) 102 012 10
15 66 -2 01 (01)B> 102 012 10
16 74 2 013 (01)B> 012 10
17 76 4 014 (01)E> 01 10
18 81 1 014 <A(10) 102
19 89 -7 <A(10) 106
20 94 -4 01 (01)B> 106
21 118 8 017 (01)B>
22 125 5 017 <E(00) 11
23 153 -9 <E(00) 107 11
24 156 -6 (10)C> 107 11
25 158 -4 10 (10)A> 106 11
26 161 -7 10 <F(01) 00 105 11
27 163 -9 <F(01) 01 00 105 11
28 170 -6 10 (10)D> 01 00 105 11
29 174 -4 102 (10)D> 00 105 11
30 178 -2 103 (10)C> 105 11
31 180 0 104 (10)A> 104 11
32 183 -3 104 <F(01) 00 103 11
33 191 -11 <F(01) 014 00 103 11
34 198 -8 10 (10)D> 014 00 103 11
35 214 0 105 (10)D> 00 103 11
36 218 2 106 (10)C> 103 11
37 220 4 107 (10)A> 102 11
38 223 1 107 <F(01) 00 10 11
39 237 -13 <F(01) 017 00 10 11
40 244 -10 10 (10)D> 017 00 10 11
41 272 4 108 (10)D> 00 10 11
42 276 6 109 (10)C> 10 11
43 278 8 1010 (10)A> 11
44 281 5 1010 <F(01) 01
45 301 -15 <F(01) 0111
46 308 -12 10 (10)D> 0111
47 352 10 1012 (10)D>
48 356 12 1013 (10)C>
49 361 9 1013 <D(01) 10
50 413 -17 <D(01) 0113 10
51 418 -14 01 (01)E> 0113 10
52 423 -17 01 <A(10) 10 0112 10
53 425 -19 <A(10) 102 0112 10
54 430 -16 01 (01)B> 102 0112 10
55 438 -12 013 (01)B> 0112 10
56 440 -10 014 (01)E> 0111 10
57 445 -13 014 <A(10) 10 0110 10
58 453 -21 <A(10) 105 0110 10
59 458 -18 01 (01)B> 105 0110 10
60 478 -8 016 (01)B> 0110 10
61 480 -6 017 (01)E> 019 10
62 485 -9 017 <A(10) 10 018 10
63 499 -23 <A(10) 108 018 10
64 504 -20 01 (01)B> 108 018 10
65 536 -4 019 (01)B> 018 10
66 538 -2 0110 (01)E> 017 10
67 543 -5 0110 <A(10) 10 016 10
68 563 -25 <A(10) 1011 016 10
69 568 -22 01 (01)B> 1011 016 10
70 612 0 0112 (01)B> 016 10
71 614 2 0113 (01)E> 015 10
72 619 -1 0113 <A(10) 10 014 10
73 645 -27 <A(10) 1014 014 10
74 650 -24 01 (01)B> 1014 014 10
75 706 4 0115 (01)B> 014 10
76 708 6 0116 (01)E> 013 10
77 713 3 0116 <A(10) 10 012 10
78 745 -29 <A(10) 1017 012 10
79 750 -26 01 (01)B> 1017 012 10
80 818 8 0118 (01)B> 012 10
81 820 10 0119 (01)E> 01 10
82 825 7 0119 <A(10) 102
83 863 -31 <A(10) 1021
84 868 -28 01 (01)B> 1021
85 952 14 0122 (01)B>
86 959 11 0122 <E(00) 11
87 1047 -33 <E(00) 1022 11
88 1050 -30 (10)C> 1022 11
89 1052 -28 10 (10)A> 1021 11
90 1055 -31 10 <F(01) 00 1020 11
91 1057 -33 <F(01) 01 00 1020 11
92 1064 -30 10 (10)D> 01 00 1020 11
93 1068 -28 102 (10)D> 00 1020 11
94 1072 -26 103 (10)C> 1020 11
95 1074 -24 104 (10)A> 1019 11
96 1077 -27 104 <F(01) 00 1018 11
97 1085 -35 <F(01) 014 00 1018 11
98 1092 -32 10 (10)D> 014 00 1018 11
99 1108 -24 105 (10)D> 00 1018 11
100 1112 -22 106 (10)C> 1018 11
101 1114 -20 107 (10)A> 1017 11
102 1117 -23 107 <F(01) 00 1016 11
103 1131 -37 <F(01) 017 00 1016 11
104 1138 -34 10 (10)D> 017 00 1016 11
105 1166 -20 108 (10)D> 00 1016 11
106 1170 -18 109 (10)C> 1016 11
107 1172 -16 1010 (10)A> 1015 11
108 1175 -19 1010 <F(01) 00 1014 11
109 1195 -39 <F(01) 0110 00 1014 11
110 1202 -36 10 (10)D> 0110 00 1014 11
111 1242 -16 1011 (10)D> 00 1014 11
112 1246 -14 1012 (10)C> 1014 11
113 1248 -12 1013 (10)A> 1013 11
114 1251 -15 1013 <F(01) 00 1012 11
115 1277 -41 <F(01) 0113 00 1012 11
116 1284 -38 10 (10)D> 0113 00 1012 11
117 1336 -12 1014 (10)D> 00 1012 11
118 1340 -10 1015 (10)C> 1012 11
119 1342 -8 1016 (10)A> 1011 11
120 1345 -11 1016 <F(01) 00 1010 11
121 1377 -43 <F(01) 0116 00 1010 11
122 1384 -40 10 (10)D> 0116 00 1010 11
123 1448 -8 1017 (10)D> 00 1010 11
124 1452 -6 1018 (10)C> 1010 11
125 1454 -4 1019 (10)A> 109 11
126 1457 -7 1019 <F(01) 00 108 11
127 1495 -45 <F(01) 0119 00 108 11
128 1502 -42 10 (10)D> 0119 00 108 11
129 1578 -4 1020 (10)D> 00 108 11
130 1582 -2 1021 (10)C> 108 11
131 1584 0 1022 (10)A> 107 11
132 1587 -3 1022 <F(01) 00 106 11
133 1631 -47 <F(01) 0122 00 106 11
134 1638 -44 10 (10)D> 0122 00 106 11
135 1726 0 1023 (10)D> 00 106 11
136 1730 2 1024 (10)C> 106 11
137 1732 4 1025 (10)A> 105 11
138 1735 1 1025 <F(01) 00 104 11
139 1785 -49 <F(01) 0125 00 104 11
140 1792 -46 10 (10)D> 0125 00 104 11
141 1892 4 1026 (10)D> 00 104 11
142 1896 6 1027 (10)C> 104 11
143 1898 8 1028 (10)A> 103 11
144 1901 5 1028 <F(01) 00 102 11
145 1957 -51 <F(01) 0128 00 102 11
146 1964 -48 10 (10)D> 0128 00 102 11
147 2076 8 1029 (10)D> 00 102 11
148 2080 10 1030 (10)C> 102 11
149 2082 12 1031 (10)A> 10 11
150 2085 9 1031 <F(01) 00 11
151 2147 -53 <F(01) 0131 00 11
152 2154 -50 10 (10)D> 0131 00 11
153 2278 12 1032 (10)D> 00 11
154 2282 14 1033 (10)C> 11
155 2284 16 1034 (11)C>
156 2287 13 1034 <D(00) 10
157 2291 11 1033 <D(01) 00 10
158 2423 -55 <D(01) 0133 00 10
159 2428 -52 01 (01)E> 0133 00 10
160 2433 -55 01 <A(10) 10 0132 00 10
161 2435 -57 <A(10) 102 0132 00 10
162 2440 -54 01 (01)B> 102 0132 00 10
163 2448 -50 013 (01)B> 0132 00 10
164 2450 -48 014 (01)E> 0131 00 10
165 2455 -51 014 <A(10) 10 0130 00 10
166 2463 -59 <A(10) 105 0130 00 10
167 2468 -56 01 (01)B> 105 0130 00 10
168 2488 -46 016 (01)B> 0130 00 10
169 2490 -44 017 (01)E> 0129 00 10
170 2495 -47 017 <A(10) 10 0128 00 10
171 2509 -61 <A(10) 108 0128 00 10
172 2514 -58 01 (01)B> 108 0128 00 10
173 2546 -42 019 (01)B> 0128 00 10
174 2548 -40 0110 (01)E> 0127 00 10
175 2553 -43 0110 <A(10) 10 0126 00 10
176 2573 -63 <A(10) 1011 0126 00 10
177 2578 -60 01 (01)B> 1011 0126 00 10
178 2622 -38 0112 (01)B> 0126 00 10
179 2624 -36 0113 (01)E> 0125 00 10
180 2629 -39 0113 <A(10) 10 0124 00 10
181 2655 -65 <A(10) 1014 0124 00 10
182 2660 -62 01 (01)B> 1014 0124 00 10
183 2716 -34 0115 (01)B> 0124 00 10
184 2718 -32 0116 (01)E> 0123 00 10
185 2723 -35 0116 <A(10) 10 0122 00 10
186 2755 -67 <A(10) 1017 0122 00 10
187 2760 -64 01 (01)B> 1017 0122 00 10
188 2828 -30 0118 (01)B> 0122 00 10
189 2830 -28 0119 (01)E> 0121 00 10
190 2835 -31 0119 <A(10) 10 0120 00 10
191 2873 -69 <A(10) 1020 0120 00 10
192 2878 -66 01 (01)B> 1020 0120 00 10
193 2958 -26 0121 (01)B> 0120 00 10
194 2960 -24 0122 (01)E> 0119 00 10
195 2965 -27 0122 <A(10) 10 0118 00 10
196 3009 -71 <A(10) 1023 0118 00 10
197 3014 -68 01 (01)B> 1023 0118 00 10
198 3106 -22 0124 (01)B> 0118 00 10
199 3108 -20 0125 (01)E> 0117 00 10
200 3113 -23 0125 <A(10) 10 0116 00 10
201 3163 -73 <A(10) 1026 0116 00 10
202 3168 -70 01 (01)B> 1026 0116 00 10
203 3272 -18 0127 (01)B> 0116 00 10
204 3274 -16 0128 (01)E> 0115 00 10
205 3279 -19 0128 <A(10) 10 0114 00 10
206 3335 -75 <A(10) 1029 0114 00 10
207 3340 -72 01 (01)B> 1029 0114 00 10
208 3456 -14 0130 (01)B> 0114 00 10
209 3458 -12 0131 (01)E> 0113 00 10
210 3463 -15 0131 <A(10) 10 0112 00 10
211 3525 -77 <A(10) 1032 0112 00 10
212 3530 -74 01 (01)B> 1032 0112 00 10
213 3658 -10 0133 (01)B> 0112 00 10
214 3660 -8 0134 (01)E> 0111 00 10
215 3665 -11 0134 <A(10) 10 0110 00 10
216 3733 -79 <A(10) 1035 0110 00 10
217 3738 -76 01 (01)B> 1035 0110 00 10
218 3878 -6 0136 (01)B> 0110 00 10
219 3880 -4 0137 (01)E> 019 00 10
220 3885 -7 0137 <A(10) 10 018 00 10
221 3959 -81 <A(10) 1038 018 00 10
222 3964 -78 01 (01)B> 1038 018 00 10
223 4116 -2 0139 (01)B> 018 00 10
224 4118 0 0140 (01)E> 017 00 10
225 4123 -3 0140 <A(10) 10 016 00 10
226 4203 -83 <A(10) 1041 016 00 10
227 4208 -80 01 (01)B> 1041 016 00 10
228 4372 2 0142 (01)B> 016 00 10
229 4374 4 0143 (01)E> 015 00 10
230 4379 1 0143 <A(10) 10 014 00 10
231 4465 -85 <A(10) 1044 014 00 10
232 4470 -82 01 (01)B> 1044 014 00 10
233 4646 6 0145 (01)B> 014 00 10
234 4648 8 0146 (01)E> 013 00 10
235 4653 5 0146 <A(10) 10 012 00 10
236 4745 -87 <A(10) 1047 012 00 10
237 4750 -84 01 (01)B> 1047 012 00 10
238 4938 10 0148 (01)B> 012 00 10
239 4940 12 0149 (01)E> 01 00 10
240 4945 9 0149 <A(10) 10 00 10
241 5043 -89 <A(10) 1050 00 10
242 5048 -86 01 (01)B> 1050 00 10
243 5248 14 0151 (01)B> 00 10
244 5255 11 0151 <E(00) 11 10
245 5459 -91 <E(00) 1051 11 10
246 5462 -88 (10)C> 1051 11 10
247 5464 -86 10 (10)A> 1050 11 10
248 5467 -89 10 <F(01) 00 1049 11 10
249 5469 -91 <F(01) 01 00 1049 11 10
250 5476 -88 10 (10)D> 01 00 1049 11 10
251 5480 -86 102 (10)D> 00 1049 11 10
252 5484 -84 103 (10)C> 1049 11 10
253 5486 -82 104 (10)A> 1048 11 10
254 5489 -85 104 <F(01) 00 1047 11 10
255 5497 -93 <F(01) 014 00 1047 11 10
256 5504 -90 10 (10)D> 014 00 1047 11 10
257 5520 -82 105 (10)D> 00 1047 11 10
258 5524 -80 106 (10)C> 1047 11 10
259 5526 -78 107 (10)A> 1046 11 10
260 5529 -81 107 <F(01) 00 1045 11 10
261 5543 -95 <F(01) 017 00 1045 11 10
262 5550 -92 10 (10)D> 017 00 1045 11 10
263 5578 -78 108 (10)D> 00 1045 11 10
264 5582 -76 109 (10)C> 1045 11 10
265 5584 -74 1010 (10)A> 1044 11 10
266 5587 -77 1010 <F(01) 00 1043 11 10
267 5607 -97 <F(01) 0110 00 1043 11 10
268 5614 -94 10 (10)D> 0110 00 1043 11 10
269 5654 -74 1011 (10)D> 00 1043 11 10
270 5658 -72 1012 (10)C> 1043 11 10
271 5660 -70 1013 (10)A> 1042 11 10
272 5663 -73 1013 <F(01) 00 1041 11 10
273 5689 -99 <F(01) 0113 00 1041 11 10
274 5696 -96 10 (10)D> 0113 00 1041 11 10
275 5748 -70 1014 (10)D> 00 1041 11 10
276 5752 -68 1015 (10)C> 1041 11 10
277 5754 -66 1016 (10)A> 1040 11 10
278 5757 -69 1016 <F(01) 00 1039 11 10
279 5789 -101 <F(01) 0116 00 1039 11 10
280 5796 -98 10 (10)D> 0116 00 1039 11 10
281 5860 -66 1017 (10)D> 00 1039 11 10
282 5864 -64 1018 (10)C> 1039 11 10
283 5866 -62 1019 (10)A> 1038 11 10
284 5869 -65 1019 <F(01) 00 1037 11 10
285 5907 -103 <F(01) 0119 00 1037 11 10
286 5914 -100 10 (10)D> 0119 00 1037 11 10
287 5990 -62 1020 (10)D> 00 1037 11 10
288 5994 -60 1021 (10)C> 1037 11 10
289 5996 -58 1022 (10)A> 1036 11 10
290 5999 -61 1022 <F(01) 00 1035 11 10
291 6043 -105 <F(01) 0122 00 1035 11 10
292 6050 -102 10 (10)D> 0122 00 1035 11 10
293 6138 -58 1023 (10)D> 00 1035 11 10
294 6142 -56 1024 (10)C> 1035 11 10
295 6144 -54 1025 (10)A> 1034 11 10
296 6147 -57 1025 <F(01) 00 1033 11 10
297 6197 -107 <F(01) 0125 00 1033 11 10
298 6204 -104 10 (10)D> 0125 00 1033 11 10
299 6304 -54 1026 (10)D> 00 1033 11 10
300 6308 -52 1027 (10)C> 1033 11 10
301 6310 -50 1028 (10)A> 1032 11 10
302 6313 -53 1028 <F(01) 00 1031 11 10
303 6369 -109 <F(01) 0128 00 1031 11 10
304 6376 -106 10 (10)D> 0128 00 1031 11 10
305 6488 -50 1029 (10)D> 00 1031 11 10
306 6492 -48 1030 (10)C> 1031 11 10
307 6494 -46 1031 (10)A> 1030 11 10
308 6497 -49 1031 <F(01) 00 1029 11 10
309 6559 -111 <F(01) 0131 00 1029 11 10
310 6566 -108 10 (10)D> 0131 00 1029 11 10
311 6690 -46 1032 (10)D> 00 1029 11 10
312 6694 -44 1033 (10)C> 1029 11 10
313 6696 -42 1034 (10)A> 1028 11 10
314 6699 -45 1034 <F(01) 00 1027 11 10
315 6767 -113 <F(01) 0134 00 1027 11 10
316 6774 -110 10 (10)D> 0134 00 1027 11 10
317 6910 -42 1035 (10)D> 00 1027 11 10
318 6914 -40 1036 (10)C> 1027 11 10
319 6916 -38 1037 (10)A> 1026 11 10
320 6919 -41 1037 <F(01) 00 1025 11 10
321 6993 -115 <F(01) 0137 00 1025 11 10
322 7000 -112 10 (10)D> 0137 00 1025 11 10
323 7148 -38 1038 (10)D> 00 1025 11 10
324 7152 -36 1039 (10)C> 1025 11 10
325 7154 -34 1040 (10)A> 1024 11 10
326 7157 -37 1040 <F(01) 00 1023 11 10
327 7237 -117 <F(01) 0140 00 1023 11 10
328 7244 -114 10 (10)D> 0140 00 1023 11 10
329 7404 -34 1041 (10)D> 00 1023 11 10
330 7408 -32 1042 (10)C> 1023 11 10
331 7410 -30 1043 (10)A> 1022 11 10
332 7413 -33 1043 <F(01) 00 1021 11 10
333 7499 -119 <F(01) 0143 00 1021 11 10
334 7506 -116 10 (10)D> 0143 00 1021 11 10
335 7678 -30 1044 (10)D> 00 1021 11 10
336 7682 -28 1045 (10)C> 1021 11 10
337 7684 -26 1046 (10)A> 1020 11 10
338 7687 -29 1046 <F(01) 00 1019 11 10
339 7779 -121 <F(01) 0146 00 1019 11 10
340 7786 -118 10 (10)D> 0146 00 1019 11 10
341 7970 -26 1047 (10)D> 00 1019 11 10
342 7974 -24 1048 (10)C> 1019 11 10
343 7976 -22 1049 (10)A> 1018 11 10
344 7979 -25 1049 <F(01) 00 1017 11 10
345 8077 -123 <F(01) 0149 00 1017 11 10
346 8084 -120 10 (10)D> 0149 00 1017 11 10
347 8280 -22 1050 (10)D> 00 1017 11 10
348 8284 -20 1051 (10)C> 1017 11 10
349 8286 -18 1052 (10)A> 1016 11 10
350 8289 -21 1052 <F(01) 00 1015 11 10
351 8393 -125 <F(01) 0152 00 1015 11 10
352 8400 -122 10 (10)D> 0152 00 1015 11 10
353 8608 -18 1053 (10)D> 00 1015 11 10
354 8612 -16 1054 (10)C> 1015 11 10
355 8614 -14 1055 (10)A> 1014 11 10
356 8617 -17 1055 <F(01) 00 1013 11 10
357 8727 -127 <F(01) 0155 00 1013 11 10
358 8734 -124 10 (10)D> 0155 00 1013 11 10
359 8954 -14 1056 (10)D> 00 1013 11 10
360 8958 -12 1057 (10)C> 1013 11 10
361 8960 -10 1058 (10)A> 1012 11 10
362 8963 -13 1058 <F(01) 00 1011 11 10
363 9079 -129 <F(01) 0158 00 1011 11 10
364 9086 -126 10 (10)D> 0158 00 1011 11 10
365 9318 -10 1059 (10)D> 00 1011 11 10
366 9322 -8 1060 (10)C> 1011 11 10
367 9324 -6 1061 (10)A> 1010 11 10
368 9327 -9 1061 <F(01) 00 109 11 10
369 9449 -131 <F(01) 0161 00 109 11 10
370 9456 -128 10 (10)D> 0161 00 109 11 10
371 9700 -6 1062 (10)D> 00 109 11 10
372 9704 -4 1063 (10)C> 109 11 10
373 9706 -2 1064 (10)A> 108 11 10
374 9709 -5 1064 <F(01) 00 107 11 10
375 9837 -133 <F(01) 0164 00 107 11 10
376 9844 -130 10 (10)D> 0164 00 107 11 10
377 10100 -2 1065 (10)D> 00 107 11 10
378 10104 0 1066 (10)C> 107 11 10
379 10106 2 1067 (10)A> 106 11 10
380 10109 -1 1067 <F(01) 00 105 11 10
381 10243 -135 <F(01) 0167 00 105 11 10
382 10250 -132 10 (10)D> 0167 00 105 11 10
383 10518 2 1068 (10)D> 00 105 11 10
384 10522 4 1069 (10)C> 105 11 10
385 10524 6 1070 (10)A> 104 11 10
386 10527 3 1070 <F(01) 00 103 11 10
387 10667 -137 <F(01) 0170 00 103 11 10
388 10674 -134 10 (10)D> 0170 00 103 11 10
389 10954 6 1071 (10)D> 00 103 11 10
390 10958 8 1072 (10)C> 103 11 10
391 10960 10 1073 (10)A> 102 11 10
392 10963 7 1073 <F(01) 00 10 11 10
393 11109 -139 <F(01) 0173 00 10 11 10
394 11116 -136 10 (10)D> 0173 00 10 11 10
395 11408 10 1074 (10)D> 00 10 11 10
396 11412 12 1075 (10)C> 10 11 10
397 11414 14 1076 (10)A> 11 10
398 11417 11 1076 <F(01) 01 10
399 11569 -141 <F(01) 0177 10
400 11576 -138 10 (10)D> 0177 10
401 11884 16 1078 (10)D> 10
402 11889 13 1078 <D(01)
403 12201 -143 <D(01) 0178
404 12206 -140 01 (01)E> 0178
405 12211 -143 01 <A(10) 10 0177
406 12213 -145 <A(10) 102 0177
407 12218 -142 01 (01)B> 102 0177
408 12226 -138 013 (01)B> 0177
409 12228 -136 014 (01)E> 0176
410 12233 -139 014 <A(10) 10 0175
411 12241 -147 <A(10) 105 0175
412 12246 -144 01 (01)B> 105 0175
413 12266 -134 016 (01)B> 0175
414 12268 -132 017 (01)E> 0174
415 12273 -135 017 <A(10) 10 0173
416 12287 -149 <A(10) 108 0173
417 12292 -146 01 (01)B> 108 0173
418 12324 -130 019 (01)B> 0173
419 12326 -128 0110 (01)E> 0172
420 12331 -131 0110 <A(10) 10 0171
421 12351 -151 <A(10) 1011 0171
422 12356 -148 01 (01)B> 1011 0171
423 12400 -126 0112 (01)B> 0171
424 12402 -124 0113 (01)E> 0170
425 12407 -127 0113 <A(10) 10 0169
426 12433 -153 <A(10) 1014 0169
427 12438 -150 01 (01)B> 1014 0169
428 12494 -122 0115 (01)B> 0169
429 12496 -120 0116 (01)E> 0168
430 12501 -123 0116 <A(10) 10 0167
431 12533 -155 <A(10) 1017 0167
432 12538 -152 01 (01)B> 1017 0167
433 12606 -118 0118 (01)B> 0167
434 12608 -116 0119 (01)E> 0166
435 12613 -119 0119 <A(10) 10 0165
436 12651 -157 <A(10) 1020 0165
437 12656 -154 01 (01)B> 1020 0165
438 12736 -114 0121 (01)B> 0165
439 12738 -112 0122 (01)E> 0164
440 12743 -115 0122 <A(10) 10 0163
441 12787 -159 <A(10) 1023 0163
442 12792 -156 01 (01)B> 1023 0163
443 12884 -110 0124 (01)B> 0163
444 12886 -108 0125 (01)E> 0162
445 12891 -111 0125 <A(10) 10 0161
446 12941 -161 <A(10) 1026 0161
447 12946 -158 01 (01)B> 1026 0161
448 13050 -106 0127 (01)B> 0161
449 13052 -104 0128 (01)E> 0160
450 13057 -107 0128 <A(10) 10 0159
451 13113 -163 <A(10) 1029 0159
452 13118 -160 01 (01)B> 1029 0159
453 13234 -102 0130 (01)B> 0159
454 13236 -100 0131 (01)E> 0158
455 13241 -103 0131 <A(10) 10 0157
456 13303 -165 <A(10) 1032 0157
457 13308 -162 01 (01)B> 1032 0157
458 13436 -98 0133 (01)B> 0157
459 13438 -96 0134 (01)E> 0156
460 13443 -99 0134 <A(10) 10 0155
461 13511 -167 <A(10) 1035 0155
462 13516 -164 01 (01)B> 1035 0155
463 13656 -94 0136 (01)B> 0155
464 13658 -92 0137 (01)E> 0154
465 13663 -95 0137 <A(10) 10 0153
466 13737 -169 <A(10) 1038 0153
467 13742 -166 01 (01)B> 1038 0153
468 13894 -90 0139 (01)B> 0153
469 13896 -88 0140 (01)E> 0152
470 13901 -91 0140 <A(10) 10 0151
471 13981 -171 <A(10) 1041 0151
472 13986 -168 01 (01)B> 1041 0151
473 14150 -86 0142 (01)B> 0151
474 14152 -84 0143 (01)E> 0150
475 14157 -87 0143 <A(10) 10 0149
476 14243 -173 <A(10) 1044 0149
477 14248 -170 01 (01)B> 1044 0149
478 14424 -82 0145 (01)B> 0149
479 14426 -80 0146 (01)E> 0148
480 14431 -83 0146 <A(10) 10 0147
481 14523 -175 <A(10) 1047 0147
482 14528 -172 01 (01)B> 1047 0147
483 14716 -78 0148 (01)B> 0147
484 14718 -76 0149 (01)E> 0146
485 14723 -79 0149 <A(10) 10 0145
486 14821 -177 <A(10) 1050 0145
487 14826 -174 01 (01)B> 1050 0145
488 15026 -74 0151 (01)B> 0145
489 15028 -72 0152 (01)E> 0144
490 15033 -75 0152 <A(10) 10 0143
491 15137 -179 <A(10) 1053 0143
492 15142 -176 01 (01)B> 1053 0143
493 15354 -70 0154 (01)B> 0143
494 15356 -68 0155 (01)E> 0142
495 15361 -71 0155 <A(10) 10 0141
496 15471 -181 <A(10) 1056 0141
497 15476 -178 01 (01)B> 1056 0141
498 15700 -66 0157 (01)B> 0141
499 15702 -64 0158 (01)E> 0140
500 15707 -67 0158 <A(10) 10 0139
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 15707
Tape index: -67
ones: 99
log10(ones ): 1.996
log10(steps ): 4.196
Input to awk program:
gohalt 1
5T B1R F0L C0R D0R D1L E1R E0L D0L A0R C1R A1L Z1R : >1.29*10^865 >3*10^1730
T 6-state TM #r from MaBu-List
M 501
pref sim
machv mbL6_r just simple
machv mbL6_r-r with repetitions reduced
machv mbL6_r-1 with tape symbol exponents
machv mbL6_r-m as 2-bck-macro machine
machv mbL6_r-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_r-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:21 CEST 2010
edate Tue Jul 6 22:11:21 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:11:21 CEST 2010