Comment: This TM produces >1.4*10^60 ones in >6.1*10^119 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 | C1R | 1 | left | A | 1 | right | C |
| C | A1R | D0L | 1 | right | A | 0 | left | D |
| D | E1L | C1L | 1 | left | E | 1 | left | C |
| E | F1R | Z1R | 1 | right | F | 1 | right | Z |
| F | A1R | E1R | 1 | right | A | 1 | right | E |
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 6 2 01 (11)C>
2 8 4 01 11 (11)B>
3 11 1 01 11 <D(00) 10
4 13 -1 01 <D(01) 00 10
5 17 -3 <D(00) 01 00 10
6 22 0 11 (11)A> 01 00 10
7 24 2 112 (11)C> 00 10
8 26 4 113 (11)B> 10
9 28 6 114 (11)A>
10 33 3 114 <C(10) 01
11 41 -5 <C(10) 104 01
12 45 -7 <E(10) 00 104 01
13 48 -4 01 (11)F> 00 104 01
14 50 -2 01 11 (11)B> 104 01
15 52 0 01 112 (11)A> 103 01
16 55 -3 01 112 <C(10) 00 102 01
17 59 -7 01 <C(10) 102 00 102 01
18 61 -9 <E(10) 103 00 102 01
19 64 -6 01 (11)F> 103 00 102 01
20 70 0 01 113 (11)F> 00 102 01
21 72 2 01 114 (11)B> 102 01
22 74 4 01 115 (11)A> 10 01
23 77 1 01 115 <C(10) 00 01
24 87 -9 01 <C(10) 105 00 01
25 89 -11 <E(10) 106 00 01
26 92 -8 01 (11)F> 106 00 01
27 104 4 01 116 (11)F> 00 01
28 106 6 01 117 (11)B> 01
29 109 3 01 117 <D(00) 11
30 111 1 01 116 <D(01) 00 11
31 123 -11 01 <D(01) 016 00 11
32 127 -13 <D(00) 017 00 11
33 132 -10 11 (11)A> 017 00 11
34 134 -8 112 (11)C> 016 00 11
35 139 -11 112 <D(01) 00 015 00 11
36 143 -15 <D(01) 012 00 015 00 11
37 148 -12 11 (11)E> 012 00 015 00 11
38 152 -8 113 (11)E> 00 015 00 11
39 154 -6 114 (11)A> 015 00 11
40 156 -4 115 (11)C> 014 00 11
41 161 -7 115 <D(01) 00 013 00 11
42 171 -17 <D(01) 015 00 013 00 11
43 176 -14 11 (11)E> 015 00 013 00 11
44 186 -4 116 (11)E> 00 013 00 11
45 188 -2 117 (11)A> 013 00 11
46 190 0 118 (11)C> 012 00 11
47 195 -3 118 <D(01) 00 01 00 11
48 211 -19 <D(01) 018 00 01 00 11
49 216 -16 11 (11)E> 018 00 01 00 11
50 232 0 119 (11)E> 00 01 00 11
51 234 2 1110 (11)A> 01 00 11
52 236 4 1111 (11)C> 00 11
53 238 6 1112 (11)B> 11
54 243 3 1112 <C(10) 10
55 267 -21 <C(10) 1013
56 271 -23 <E(10) 00 1013
57 274 -20 01 (11)F> 00 1013
58 276 -18 01 11 (11)B> 1013
59 278 -16 01 112 (11)A> 1012
60 281 -19 01 112 <C(10) 00 1011
61 285 -23 01 <C(10) 102 00 1011
62 287 -25 <E(10) 103 00 1011
63 290 -22 01 (11)F> 103 00 1011
64 296 -16 01 113 (11)F> 00 1011
65 298 -14 01 114 (11)B> 1011
66 300 -12 01 115 (11)A> 1010
67 303 -15 01 115 <C(10) 00 109
68 313 -25 01 <C(10) 105 00 109
69 315 -27 <E(10) 106 00 109
70 318 -24 01 (11)F> 106 00 109
71 330 -12 01 116 (11)F> 00 109
72 332 -10 01 117 (11)B> 109
73 334 -8 01 118 (11)A> 108
74 337 -11 01 118 <C(10) 00 107
75 353 -27 01 <C(10) 108 00 107
76 355 -29 <E(10) 109 00 107
77 358 -26 01 (11)F> 109 00 107
78 376 -8 01 119 (11)F> 00 107
79 378 -6 01 1110 (11)B> 107
80 380 -4 01 1111 (11)A> 106
81 383 -7 01 1111 <C(10) 00 105
82 405 -29 01 <C(10) 1011 00 105
83 407 -31 <E(10) 1012 00 105
84 410 -28 01 (11)F> 1012 00 105
85 434 -4 01 1112 (11)F> 00 105
86 436 -2 01 1113 (11)B> 105
87 438 0 01 1114 (11)A> 104
88 441 -3 01 1114 <C(10) 00 103
89 469 -31 01 <C(10) 1014 00 103
90 471 -33 <E(10) 1015 00 103
91 474 -30 01 (11)F> 1015 00 103
92 504 0 01 1115 (11)F> 00 103
93 506 2 01 1116 (11)B> 103
94 508 4 01 1117 (11)A> 102
95 511 1 01 1117 <C(10) 00 10
96 545 -33 01 <C(10) 1017 00 10
97 547 -35 <E(10) 1018 00 10
98 550 -32 01 (11)F> 1018 00 10
99 586 4 01 1118 (11)F> 00 10
100 588 6 01 1119 (11)B> 10
101 590 8 01 1120 (11)A>
102 595 5 01 1120 <C(10) 01
103 635 -35 01 <C(10) 1020 01
104 637 -37 <E(10) 1021 01
105 640 -34 01 (11)F> 1021 01
106 682 8 01 1121 (11)F> 01
107 687 5 01 1121 <D(01)
108 729 -37 01 <D(01) 0121
109 733 -39 <D(00) 0122
110 738 -36 11 (11)A> 0122
111 740 -34 112 (11)C> 0121
112 745 -37 112 <D(01) 00 0120
113 749 -41 <D(01) 012 00 0120
114 754 -38 11 (11)E> 012 00 0120
115 758 -34 113 (11)E> 00 0120
116 760 -32 114 (11)A> 0120
117 762 -30 115 (11)C> 0119
118 767 -33 115 <D(01) 00 0118
119 777 -43 <D(01) 015 00 0118
120 782 -40 11 (11)E> 015 00 0118
121 792 -30 116 (11)E> 00 0118
122 794 -28 117 (11)A> 0118
123 796 -26 118 (11)C> 0117
124 801 -29 118 <D(01) 00 0116
125 817 -45 <D(01) 018 00 0116
126 822 -42 11 (11)E> 018 00 0116
127 838 -26 119 (11)E> 00 0116
128 840 -24 1110 (11)A> 0116
129 842 -22 1111 (11)C> 0115
130 847 -25 1111 <D(01) 00 0114
131 869 -47 <D(01) 0111 00 0114
132 874 -44 11 (11)E> 0111 00 0114
133 896 -22 1112 (11)E> 00 0114
134 898 -20 1113 (11)A> 0114
135 900 -18 1114 (11)C> 0113
136 905 -21 1114 <D(01) 00 0112
137 933 -49 <D(01) 0114 00 0112
138 938 -46 11 (11)E> 0114 00 0112
139 966 -18 1115 (11)E> 00 0112
140 968 -16 1116 (11)A> 0112
141 970 -14 1117 (11)C> 0111
142 975 -17 1117 <D(01) 00 0110
143 1009 -51 <D(01) 0117 00 0110
144 1014 -48 11 (11)E> 0117 00 0110
145 1048 -14 1118 (11)E> 00 0110
146 1050 -12 1119 (11)A> 0110
147 1052 -10 1120 (11)C> 019
148 1057 -13 1120 <D(01) 00 018
149 1097 -53 <D(01) 0120 00 018
150 1102 -50 11 (11)E> 0120 00 018
151 1142 -10 1121 (11)E> 00 018
152 1144 -8 1122 (11)A> 018
153 1146 -6 1123 (11)C> 017
154 1151 -9 1123 <D(01) 00 016
155 1197 -55 <D(01) 0123 00 016
156 1202 -52 11 (11)E> 0123 00 016
157 1248 -6 1124 (11)E> 00 016
158 1250 -4 1125 (11)A> 016
159 1252 -2 1126 (11)C> 015
160 1257 -5 1126 <D(01) 00 014
161 1309 -57 <D(01) 0126 00 014
162 1314 -54 11 (11)E> 0126 00 014
163 1366 -2 1127 (11)E> 00 014
164 1368 0 1128 (11)A> 014
165 1370 2 1129 (11)C> 013
166 1375 -1 1129 <D(01) 00 012
167 1433 -59 <D(01) 0129 00 012
168 1438 -56 11 (11)E> 0129 00 012
169 1496 2 1130 (11)E> 00 012
170 1498 4 1131 (11)A> 012
171 1500 6 1132 (11)C> 01
172 1505 3 1132 <D(01)
173 1569 -61 <D(01) 0132
174 1574 -58 11 (11)E> 0132
175 1638 6 1133 (11)E>
176 1640 8 1134 (11)A>
177 1645 5 1134 <C(10) 01
178 1713 -63 <C(10) 1034 01
179 1717 -65 <E(10) 00 1034 01
180 1720 -62 01 (11)F> 00 1034 01
181 1722 -60 01 11 (11)B> 1034 01
182 1724 -58 01 112 (11)A> 1033 01
183 1727 -61 01 112 <C(10) 00 1032 01
184 1731 -65 01 <C(10) 102 00 1032 01
185 1733 -67 <E(10) 103 00 1032 01
186 1736 -64 01 (11)F> 103 00 1032 01
187 1742 -58 01 113 (11)F> 00 1032 01
188 1744 -56 01 114 (11)B> 1032 01
189 1746 -54 01 115 (11)A> 1031 01
190 1749 -57 01 115 <C(10) 00 1030 01
191 1759 -67 01 <C(10) 105 00 1030 01
192 1761 -69 <E(10) 106 00 1030 01
193 1764 -66 01 (11)F> 106 00 1030 01
194 1776 -54 01 116 (11)F> 00 1030 01
195 1778 -52 01 117 (11)B> 1030 01
196 1780 -50 01 118 (11)A> 1029 01
197 1783 -53 01 118 <C(10) 00 1028 01
198 1799 -69 01 <C(10) 108 00 1028 01
199 1801 -71 <E(10) 109 00 1028 01
200 1804 -68 01 (11)F> 109 00 1028 01
201 1822 -50 01 119 (11)F> 00 1028 01
202 1824 -48 01 1110 (11)B> 1028 01
203 1826 -46 01 1111 (11)A> 1027 01
204 1829 -49 01 1111 <C(10) 00 1026 01
205 1851 -71 01 <C(10) 1011 00 1026 01
206 1853 -73 <E(10) 1012 00 1026 01
207 1856 -70 01 (11)F> 1012 00 1026 01
208 1880 -46 01 1112 (11)F> 00 1026 01
209 1882 -44 01 1113 (11)B> 1026 01
210 1884 -42 01 1114 (11)A> 1025 01
211 1887 -45 01 1114 <C(10) 00 1024 01
212 1915 -73 01 <C(10) 1014 00 1024 01
213 1917 -75 <E(10) 1015 00 1024 01
214 1920 -72 01 (11)F> 1015 00 1024 01
215 1950 -42 01 1115 (11)F> 00 1024 01
216 1952 -40 01 1116 (11)B> 1024 01
217 1954 -38 01 1117 (11)A> 1023 01
218 1957 -41 01 1117 <C(10) 00 1022 01
219 1991 -75 01 <C(10) 1017 00 1022 01
220 1993 -77 <E(10) 1018 00 1022 01
221 1996 -74 01 (11)F> 1018 00 1022 01
222 2032 -38 01 1118 (11)F> 00 1022 01
223 2034 -36 01 1119 (11)B> 1022 01
224 2036 -34 01 1120 (11)A> 1021 01
225 2039 -37 01 1120 <C(10) 00 1020 01
226 2079 -77 01 <C(10) 1020 00 1020 01
227 2081 -79 <E(10) 1021 00 1020 01
228 2084 -76 01 (11)F> 1021 00 1020 01
229 2126 -34 01 1121 (11)F> 00 1020 01
230 2128 -32 01 1122 (11)B> 1020 01
231 2130 -30 01 1123 (11)A> 1019 01
232 2133 -33 01 1123 <C(10) 00 1018 01
233 2179 -79 01 <C(10) 1023 00 1018 01
234 2181 -81 <E(10) 1024 00 1018 01
235 2184 -78 01 (11)F> 1024 00 1018 01
236 2232 -30 01 1124 (11)F> 00 1018 01
237 2234 -28 01 1125 (11)B> 1018 01
238 2236 -26 01 1126 (11)A> 1017 01
239 2239 -29 01 1126 <C(10) 00 1016 01
240 2291 -81 01 <C(10) 1026 00 1016 01
241 2293 -83 <E(10) 1027 00 1016 01
242 2296 -80 01 (11)F> 1027 00 1016 01
243 2350 -26 01 1127 (11)F> 00 1016 01
244 2352 -24 01 1128 (11)B> 1016 01
245 2354 -22 01 1129 (11)A> 1015 01
246 2357 -25 01 1129 <C(10) 00 1014 01
247 2415 -83 01 <C(10) 1029 00 1014 01
248 2417 -85 <E(10) 1030 00 1014 01
249 2420 -82 01 (11)F> 1030 00 1014 01
250 2480 -22 01 1130 (11)F> 00 1014 01
251 2482 -20 01 1131 (11)B> 1014 01
252 2484 -18 01 1132 (11)A> 1013 01
253 2487 -21 01 1132 <C(10) 00 1012 01
254 2551 -85 01 <C(10) 1032 00 1012 01
255 2553 -87 <E(10) 1033 00 1012 01
256 2556 -84 01 (11)F> 1033 00 1012 01
257 2622 -18 01 1133 (11)F> 00 1012 01
258 2624 -16 01 1134 (11)B> 1012 01
259 2626 -14 01 1135 (11)A> 1011 01
260 2629 -17 01 1135 <C(10) 00 1010 01
261 2699 -87 01 <C(10) 1035 00 1010 01
262 2701 -89 <E(10) 1036 00 1010 01
263 2704 -86 01 (11)F> 1036 00 1010 01
264 2776 -14 01 1136 (11)F> 00 1010 01
265 2778 -12 01 1137 (11)B> 1010 01
266 2780 -10 01 1138 (11)A> 109 01
267 2783 -13 01 1138 <C(10) 00 108 01
268 2859 -89 01 <C(10) 1038 00 108 01
269 2861 -91 <E(10) 1039 00 108 01
270 2864 -88 01 (11)F> 1039 00 108 01
271 2942 -10 01 1139 (11)F> 00 108 01
272 2944 -8 01 1140 (11)B> 108 01
273 2946 -6 01 1141 (11)A> 107 01
274 2949 -9 01 1141 <C(10) 00 106 01
275 3031 -91 01 <C(10) 1041 00 106 01
276 3033 -93 <E(10) 1042 00 106 01
277 3036 -90 01 (11)F> 1042 00 106 01
278 3120 -6 01 1142 (11)F> 00 106 01
279 3122 -4 01 1143 (11)B> 106 01
280 3124 -2 01 1144 (11)A> 105 01
281 3127 -5 01 1144 <C(10) 00 104 01
282 3215 -93 01 <C(10) 1044 00 104 01
283 3217 -95 <E(10) 1045 00 104 01
284 3220 -92 01 (11)F> 1045 00 104 01
285 3310 -2 01 1145 (11)F> 00 104 01
286 3312 0 01 1146 (11)B> 104 01
287 3314 2 01 1147 (11)A> 103 01
288 3317 -1 01 1147 <C(10) 00 102 01
289 3411 -95 01 <C(10) 1047 00 102 01
290 3413 -97 <E(10) 1048 00 102 01
291 3416 -94 01 (11)F> 1048 00 102 01
292 3512 2 01 1148 (11)F> 00 102 01
293 3514 4 01 1149 (11)B> 102 01
294 3516 6 01 1150 (11)A> 10 01
295 3519 3 01 1150 <C(10) 00 01
296 3619 -97 01 <C(10) 1050 00 01
297 3621 -99 <E(10) 1051 00 01
298 3624 -96 01 (11)F> 1051 00 01
299 3726 6 01 1151 (11)F> 00 01
300 3728 8 01 1152 (11)B> 01
301 3731 5 01 1152 <D(00) 11
302 3733 3 01 1151 <D(01) 00 11
303 3835 -99 01 <D(01) 0151 00 11
304 3839 -101 <D(00) 0152 00 11
305 3844 -98 11 (11)A> 0152 00 11
306 3846 -96 112 (11)C> 0151 00 11
307 3851 -99 112 <D(01) 00 0150 00 11
308 3855 -103 <D(01) 012 00 0150 00 11
309 3860 -100 11 (11)E> 012 00 0150 00 11
310 3864 -96 113 (11)E> 00 0150 00 11
311 3866 -94 114 (11)A> 0150 00 11
312 3868 -92 115 (11)C> 0149 00 11
313 3873 -95 115 <D(01) 00 0148 00 11
314 3883 -105 <D(01) 015 00 0148 00 11
315 3888 -102 11 (11)E> 015 00 0148 00 11
316 3898 -92 116 (11)E> 00 0148 00 11
317 3900 -90 117 (11)A> 0148 00 11
318 3902 -88 118 (11)C> 0147 00 11
319 3907 -91 118 <D(01) 00 0146 00 11
320 3923 -107 <D(01) 018 00 0146 00 11
321 3928 -104 11 (11)E> 018 00 0146 00 11
322 3944 -88 119 (11)E> 00 0146 00 11
323 3946 -86 1110 (11)A> 0146 00 11
324 3948 -84 1111 (11)C> 0145 00 11
325 3953 -87 1111 <D(01) 00 0144 00 11
326 3975 -109 <D(01) 0111 00 0144 00 11
327 3980 -106 11 (11)E> 0111 00 0144 00 11
328 4002 -84 1112 (11)E> 00 0144 00 11
329 4004 -82 1113 (11)A> 0144 00 11
330 4006 -80 1114 (11)C> 0143 00 11
331 4011 -83 1114 <D(01) 00 0142 00 11
332 4039 -111 <D(01) 0114 00 0142 00 11
333 4044 -108 11 (11)E> 0114 00 0142 00 11
334 4072 -80 1115 (11)E> 00 0142 00 11
335 4074 -78 1116 (11)A> 0142 00 11
336 4076 -76 1117 (11)C> 0141 00 11
337 4081 -79 1117 <D(01) 00 0140 00 11
338 4115 -113 <D(01) 0117 00 0140 00 11
339 4120 -110 11 (11)E> 0117 00 0140 00 11
340 4154 -76 1118 (11)E> 00 0140 00 11
341 4156 -74 1119 (11)A> 0140 00 11
342 4158 -72 1120 (11)C> 0139 00 11
343 4163 -75 1120 <D(01) 00 0138 00 11
344 4203 -115 <D(01) 0120 00 0138 00 11
345 4208 -112 11 (11)E> 0120 00 0138 00 11
346 4248 -72 1121 (11)E> 00 0138 00 11
347 4250 -70 1122 (11)A> 0138 00 11
348 4252 -68 1123 (11)C> 0137 00 11
349 4257 -71 1123 <D(01) 00 0136 00 11
350 4303 -117 <D(01) 0123 00 0136 00 11
351 4308 -114 11 (11)E> 0123 00 0136 00 11
352 4354 -68 1124 (11)E> 00 0136 00 11
353 4356 -66 1125 (11)A> 0136 00 11
354 4358 -64 1126 (11)C> 0135 00 11
355 4363 -67 1126 <D(01) 00 0134 00 11
356 4415 -119 <D(01) 0126 00 0134 00 11
357 4420 -116 11 (11)E> 0126 00 0134 00 11
358 4472 -64 1127 (11)E> 00 0134 00 11
359 4474 -62 1128 (11)A> 0134 00 11
360 4476 -60 1129 (11)C> 0133 00 11
361 4481 -63 1129 <D(01) 00 0132 00 11
362 4539 -121 <D(01) 0129 00 0132 00 11
363 4544 -118 11 (11)E> 0129 00 0132 00 11
364 4602 -60 1130 (11)E> 00 0132 00 11
365 4604 -58 1131 (11)A> 0132 00 11
366 4606 -56 1132 (11)C> 0131 00 11
367 4611 -59 1132 <D(01) 00 0130 00 11
368 4675 -123 <D(01) 0132 00 0130 00 11
369 4680 -120 11 (11)E> 0132 00 0130 00 11
370 4744 -56 1133 (11)E> 00 0130 00 11
371 4746 -54 1134 (11)A> 0130 00 11
372 4748 -52 1135 (11)C> 0129 00 11
373 4753 -55 1135 <D(01) 00 0128 00 11
374 4823 -125 <D(01) 0135 00 0128 00 11
375 4828 -122 11 (11)E> 0135 00 0128 00 11
376 4898 -52 1136 (11)E> 00 0128 00 11
377 4900 -50 1137 (11)A> 0128 00 11
378 4902 -48 1138 (11)C> 0127 00 11
379 4907 -51 1138 <D(01) 00 0126 00 11
380 4983 -127 <D(01) 0138 00 0126 00 11
381 4988 -124 11 (11)E> 0138 00 0126 00 11
382 5064 -48 1139 (11)E> 00 0126 00 11
383 5066 -46 1140 (11)A> 0126 00 11
384 5068 -44 1141 (11)C> 0125 00 11
385 5073 -47 1141 <D(01) 00 0124 00 11
386 5155 -129 <D(01) 0141 00 0124 00 11
387 5160 -126 11 (11)E> 0141 00 0124 00 11
388 5242 -44 1142 (11)E> 00 0124 00 11
389 5244 -42 1143 (11)A> 0124 00 11
390 5246 -40 1144 (11)C> 0123 00 11
391 5251 -43 1144 <D(01) 00 0122 00 11
392 5339 -131 <D(01) 0144 00 0122 00 11
393 5344 -128 11 (11)E> 0144 00 0122 00 11
394 5432 -40 1145 (11)E> 00 0122 00 11
395 5434 -38 1146 (11)A> 0122 00 11
396 5436 -36 1147 (11)C> 0121 00 11
397 5441 -39 1147 <D(01) 00 0120 00 11
398 5535 -133 <D(01) 0147 00 0120 00 11
399 5540 -130 11 (11)E> 0147 00 0120 00 11
400 5634 -36 1148 (11)E> 00 0120 00 11
401 5636 -34 1149 (11)A> 0120 00 11
402 5638 -32 1150 (11)C> 0119 00 11
403 5643 -35 1150 <D(01) 00 0118 00 11
404 5743 -135 <D(01) 0150 00 0118 00 11
405 5748 -132 11 (11)E> 0150 00 0118 00 11
406 5848 -32 1151 (11)E> 00 0118 00 11
407 5850 -30 1152 (11)A> 0118 00 11
408 5852 -28 1153 (11)C> 0117 00 11
409 5857 -31 1153 <D(01) 00 0116 00 11
410 5963 -137 <D(01) 0153 00 0116 00 11
411 5968 -134 11 (11)E> 0153 00 0116 00 11
412 6074 -28 1154 (11)E> 00 0116 00 11
413 6076 -26 1155 (11)A> 0116 00 11
414 6078 -24 1156 (11)C> 0115 00 11
415 6083 -27 1156 <D(01) 00 0114 00 11
416 6195 -139 <D(01) 0156 00 0114 00 11
417 6200 -136 11 (11)E> 0156 00 0114 00 11
418 6312 -24 1157 (11)E> 00 0114 00 11
419 6314 -22 1158 (11)A> 0114 00 11
420 6316 -20 1159 (11)C> 0113 00 11
421 6321 -23 1159 <D(01) 00 0112 00 11
422 6439 -141 <D(01) 0159 00 0112 00 11
423 6444 -138 11 (11)E> 0159 00 0112 00 11
424 6562 -20 1160 (11)E> 00 0112 00 11
425 6564 -18 1161 (11)A> 0112 00 11
426 6566 -16 1162 (11)C> 0111 00 11
427 6571 -19 1162 <D(01) 00 0110 00 11
428 6695 -143 <D(01) 0162 00 0110 00 11
429 6700 -140 11 (11)E> 0162 00 0110 00 11
430 6824 -16 1163 (11)E> 00 0110 00 11
431 6826 -14 1164 (11)A> 0110 00 11
432 6828 -12 1165 (11)C> 019 00 11
433 6833 -15 1165 <D(01) 00 018 00 11
434 6963 -145 <D(01) 0165 00 018 00 11
435 6968 -142 11 (11)E> 0165 00 018 00 11
436 7098 -12 1166 (11)E> 00 018 00 11
437 7100 -10 1167 (11)A> 018 00 11
438 7102 -8 1168 (11)C> 017 00 11
439 7107 -11 1168 <D(01) 00 016 00 11
440 7243 -147 <D(01) 0168 00 016 00 11
441 7248 -144 11 (11)E> 0168 00 016 00 11
442 7384 -8 1169 (11)E> 00 016 00 11
443 7386 -6 1170 (11)A> 016 00 11
444 7388 -4 1171 (11)C> 015 00 11
445 7393 -7 1171 <D(01) 00 014 00 11
446 7535 -149 <D(01) 0171 00 014 00 11
447 7540 -146 11 (11)E> 0171 00 014 00 11
448 7682 -4 1172 (11)E> 00 014 00 11
449 7684 -2 1173 (11)A> 014 00 11
450 7686 0 1174 (11)C> 013 00 11
451 7691 -3 1174 <D(01) 00 012 00 11
452 7839 -151 <D(01) 0174 00 012 00 11
453 7844 -148 11 (11)E> 0174 00 012 00 11
454 7992 0 1175 (11)E> 00 012 00 11
455 7994 2 1176 (11)A> 012 00 11
456 7996 4 1177 (11)C> 01 00 11
457 8001 1 1177 <D(01) 002 11
458 8155 -153 <D(01) 0177 002 11
459 8160 -150 11 (11)E> 0177 002 11
460 8314 4 1178 (11)E> 002 11
461 8316 6 1179 (11)A> 00 11
462 8321 3 1179 <C(10) 01 11
463 8479 -155 <C(10) 1079 01 11
464 8483 -157 <E(10) 00 1079 01 11
465 8486 -154 01 (11)F> 00 1079 01 11
466 8488 -152 01 11 (11)B> 1079 01 11
467 8490 -150 01 112 (11)A> 1078 01 11
468 8493 -153 01 112 <C(10) 00 1077 01 11
469 8497 -157 01 <C(10) 102 00 1077 01 11
470 8499 -159 <E(10) 103 00 1077 01 11
471 8502 -156 01 (11)F> 103 00 1077 01 11
472 8508 -150 01 113 (11)F> 00 1077 01 11
473 8510 -148 01 114 (11)B> 1077 01 11
474 8512 -146 01 115 (11)A> 1076 01 11
475 8515 -149 01 115 <C(10) 00 1075 01 11
476 8525 -159 01 <C(10) 105 00 1075 01 11
477 8527 -161 <E(10) 106 00 1075 01 11
478 8530 -158 01 (11)F> 106 00 1075 01 11
479 8542 -146 01 116 (11)F> 00 1075 01 11
480 8544 -144 01 117 (11)B> 1075 01 11
481 8546 -142 01 118 (11)A> 1074 01 11
482 8549 -145 01 118 <C(10) 00 1073 01 11
483 8565 -161 01 <C(10) 108 00 1073 01 11
484 8567 -163 <E(10) 109 00 1073 01 11
485 8570 -160 01 (11)F> 109 00 1073 01 11
486 8588 -142 01 119 (11)F> 00 1073 01 11
487 8590 -140 01 1110 (11)B> 1073 01 11
488 8592 -138 01 1111 (11)A> 1072 01 11
489 8595 -141 01 1111 <C(10) 00 1071 01 11
490 8617 -163 01 <C(10) 1011 00 1071 01 11
491 8619 -165 <E(10) 1012 00 1071 01 11
492 8622 -162 01 (11)F> 1012 00 1071 01 11
493 8646 -138 01 1112 (11)F> 00 1071 01 11
494 8648 -136 01 1113 (11)B> 1071 01 11
495 8650 -134 01 1114 (11)A> 1070 01 11
496 8653 -137 01 1114 <C(10) 00 1069 01 11
497 8681 -165 01 <C(10) 1014 00 1069 01 11
498 8683 -167 <E(10) 1015 00 1069 01 11
499 8686 -164 01 (11)F> 1015 00 1069 01 11
500 8716 -134 01 1115 (11)F> 00 1069 01 11
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 8716
Tape index: -134
ones: 105
log10(ones ): 2.021
log10(steps ): 3.940
Input to awk program:
gohalt 1
L 26
5T B1R C0L A1L C1R A1R D0L E1L C1L F1R Z1R A1R E1R : >1.4*10^60 >6.1*10^119
T 6-state TM #o from MaBu-List
M 501
pref sim
machv mbL6_o just simple
machv mbL6_o-r with repetitions reduced
machv mbL6_o-1 with tape symbol exponents
machv mbL6_o-m as 2-bck-macro machine
machv mbL6_o-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_o-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:11 CEST 2010
edate Tue Jul 6 22:11:11 CEST 2010
bnspeed 1
short 7
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:11 CEST 2010