Comment: This TM produces >6.7*10^47 ones in >2.0*10^95 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 | B0L | E0L | 0 | left | B | 0 | left | E |
| D | A1R | B0R | 1 | right | A | 0 | right | B |
| E | F1L | C1L | 1 | left | F | 1 | left | C |
| F | D1R | Z1R | 1 | right | D | 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 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 4 -2 <B(0) 01
2 8 0 11 (1)A> 01
3 10 2 112 (1)D>
4 12 4 113 (1)B>
5 14 2 113 <C(0) 10
6 16 0 112 <C(1) 00 10
7 20 -4 <C(1) 012 00 10
8 22 -6 <A(1) 013 00 10
9 24 -4 01 (1)D> 013 00 10
10 28 -6 01 <C(1) 00 012 00 10
11 30 -8 <F(1) 01 00 012 00 10
12 32 -6 01 (0)B> 01 00 012 00 10
13 36 -4 01 11 (0)B> 00 012 00 10
14 40 -2 01 112 (1)A> 012 00 10
15 42 0 01 113 (1)D> 01 00 10
16 46 -2 01 113 <C(1) 002 10
17 52 -8 01 <C(1) 013 002 10
18 54 -10 <F(1) 014 002 10
19 56 -8 01 (0)B> 014 002 10
20 72 0 01 114 (0)B> 002 10
21 76 2 01 115 (1)A> 00 10
22 80 0 01 115 <E(0) 01 10
23 90 -10 01 <E(0) 105 01 10
24 92 -12 <B(0) 106 01 10
25 96 -10 11 (1)A> 106 01 10
26 98 -12 11 <E(0) 00 105 01 10
27 100 -14 <E(0) 10 00 105 01 10
28 106 -12 11 (1)D> 10 00 105 01 10
29 110 -10 112 (1)D> 00 105 01 10
30 112 -8 113 (1)B> 105 01 10
31 114 -6 114 (1)A> 104 01 10
32 116 -8 114 <E(0) 00 103 01 10
33 124 -16 <E(0) 104 00 103 01 10
34 130 -14 11 (1)D> 104 00 103 01 10
35 146 -6 115 (1)D> 00 103 01 10
36 148 -4 116 (1)B> 103 01 10
37 150 -2 117 (1)A> 102 01 10
38 152 -4 117 <E(0) 00 10 01 10
39 166 -18 <E(0) 107 00 10 01 10
40 172 -16 11 (1)D> 107 00 10 01 10
41 200 -2 118 (1)D> 00 10 01 10
42 202 0 119 (1)B> 10 01 10
43 204 2 1110 (1)A> 01 10
44 206 4 1111 (1)D> 10
45 210 6 1112 (1)D>
46 212 8 1113 (1)B>
47 214 6 1113 <C(0) 10
48 216 4 1112 <C(1) 00 10
49 240 -20 <C(1) 0112 00 10
50 242 -22 <A(1) 0113 00 10
51 244 -20 01 (1)D> 0113 00 10
52 248 -22 01 <C(1) 00 0112 00 10
53 250 -24 <F(1) 01 00 0112 00 10
54 252 -22 01 (0)B> 01 00 0112 00 10
55 256 -20 01 11 (0)B> 00 0112 00 10
56 260 -18 01 112 (1)A> 0112 00 10
57 262 -16 01 113 (1)D> 0111 00 10
58 266 -18 01 113 <C(1) 00 0110 00 10
59 272 -24 01 <C(1) 013 00 0110 00 10
60 274 -26 <F(1) 014 00 0110 00 10
61 276 -24 01 (0)B> 014 00 0110 00 10
62 292 -16 01 114 (0)B> 00 0110 00 10
63 296 -14 01 115 (1)A> 0110 00 10
64 298 -12 01 116 (1)D> 019 00 10
65 302 -14 01 116 <C(1) 00 018 00 10
66 314 -26 01 <C(1) 016 00 018 00 10
67 316 -28 <F(1) 017 00 018 00 10
68 318 -26 01 (0)B> 017 00 018 00 10
69 346 -12 01 117 (0)B> 00 018 00 10
70 350 -10 01 118 (1)A> 018 00 10
71 352 -8 01 119 (1)D> 017 00 10
72 356 -10 01 119 <C(1) 00 016 00 10
73 374 -28 01 <C(1) 019 00 016 00 10
74 376 -30 <F(1) 0110 00 016 00 10
75 378 -28 01 (0)B> 0110 00 016 00 10
76 418 -8 01 1110 (0)B> 00 016 00 10
77 422 -6 01 1111 (1)A> 016 00 10
78 424 -4 01 1112 (1)D> 015 00 10
79 428 -6 01 1112 <C(1) 00 014 00 10
80 452 -30 01 <C(1) 0112 00 014 00 10
81 454 -32 <F(1) 0113 00 014 00 10
82 456 -30 01 (0)B> 0113 00 014 00 10
83 508 -4 01 1113 (0)B> 00 014 00 10
84 512 -2 01 1114 (1)A> 014 00 10
85 514 0 01 1115 (1)D> 013 00 10
86 518 -2 01 1115 <C(1) 00 012 00 10
87 548 -32 01 <C(1) 0115 00 012 00 10
88 550 -34 <F(1) 0116 00 012 00 10
89 552 -32 01 (0)B> 0116 00 012 00 10
90 616 0 01 1116 (0)B> 00 012 00 10
91 620 2 01 1117 (1)A> 012 00 10
92 622 4 01 1118 (1)D> 01 00 10
93 626 2 01 1118 <C(1) 002 10
94 662 -34 01 <C(1) 0118 002 10
95 664 -36 <F(1) 0119 002 10
96 666 -34 01 (0)B> 0119 002 10
97 742 4 01 1119 (0)B> 002 10
98 746 6 01 1120 (1)A> 00 10
99 750 4 01 1120 <E(0) 01 10
100 790 -36 01 <E(0) 1020 01 10
101 792 -38 <B(0) 1021 01 10
102 796 -36 11 (1)A> 1021 01 10
103 798 -38 11 <E(0) 00 1020 01 10
104 800 -40 <E(0) 10 00 1020 01 10
105 806 -38 11 (1)D> 10 00 1020 01 10
106 810 -36 112 (1)D> 00 1020 01 10
107 812 -34 113 (1)B> 1020 01 10
108 814 -32 114 (1)A> 1019 01 10
109 816 -34 114 <E(0) 00 1018 01 10
110 824 -42 <E(0) 104 00 1018 01 10
111 830 -40 11 (1)D> 104 00 1018 01 10
112 846 -32 115 (1)D> 00 1018 01 10
113 848 -30 116 (1)B> 1018 01 10
114 850 -28 117 (1)A> 1017 01 10
115 852 -30 117 <E(0) 00 1016 01 10
116 866 -44 <E(0) 107 00 1016 01 10
117 872 -42 11 (1)D> 107 00 1016 01 10
118 900 -28 118 (1)D> 00 1016 01 10
119 902 -26 119 (1)B> 1016 01 10
120 904 -24 1110 (1)A> 1015 01 10
121 906 -26 1110 <E(0) 00 1014 01 10
122 926 -46 <E(0) 1010 00 1014 01 10
123 932 -44 11 (1)D> 1010 00 1014 01 10
124 972 -24 1111 (1)D> 00 1014 01 10
125 974 -22 1112 (1)B> 1014 01 10
126 976 -20 1113 (1)A> 1013 01 10
127 978 -22 1113 <E(0) 00 1012 01 10
128 1004 -48 <E(0) 1013 00 1012 01 10
129 1010 -46 11 (1)D> 1013 00 1012 01 10
130 1062 -20 1114 (1)D> 00 1012 01 10
131 1064 -18 1115 (1)B> 1012 01 10
132 1066 -16 1116 (1)A> 1011 01 10
133 1068 -18 1116 <E(0) 00 1010 01 10
134 1100 -50 <E(0) 1016 00 1010 01 10
135 1106 -48 11 (1)D> 1016 00 1010 01 10
136 1170 -16 1117 (1)D> 00 1010 01 10
137 1172 -14 1118 (1)B> 1010 01 10
138 1174 -12 1119 (1)A> 109 01 10
139 1176 -14 1119 <E(0) 00 108 01 10
140 1214 -52 <E(0) 1019 00 108 01 10
141 1220 -50 11 (1)D> 1019 00 108 01 10
142 1296 -12 1120 (1)D> 00 108 01 10
143 1298 -10 1121 (1)B> 108 01 10
144 1300 -8 1122 (1)A> 107 01 10
145 1302 -10 1122 <E(0) 00 106 01 10
146 1346 -54 <E(0) 1022 00 106 01 10
147 1352 -52 11 (1)D> 1022 00 106 01 10
148 1440 -8 1123 (1)D> 00 106 01 10
149 1442 -6 1124 (1)B> 106 01 10
150 1444 -4 1125 (1)A> 105 01 10
151 1446 -6 1125 <E(0) 00 104 01 10
152 1496 -56 <E(0) 1025 00 104 01 10
153 1502 -54 11 (1)D> 1025 00 104 01 10
154 1602 -4 1126 (1)D> 00 104 01 10
155 1604 -2 1127 (1)B> 104 01 10
156 1606 0 1128 (1)A> 103 01 10
157 1608 -2 1128 <E(0) 00 102 01 10
158 1664 -58 <E(0) 1028 00 102 01 10
159 1670 -56 11 (1)D> 1028 00 102 01 10
160 1782 0 1129 (1)D> 00 102 01 10
161 1784 2 1130 (1)B> 102 01 10
162 1786 4 1131 (1)A> 10 01 10
163 1788 2 1131 <E(0) 00 01 10
164 1850 -60 <E(0) 1031 00 01 10
165 1856 -58 11 (1)D> 1031 00 01 10
166 1980 4 1132 (1)D> 00 01 10
167 1982 6 1133 (1)B> 01 10
168 1984 4 1133 <C(0) 11 10
169 1986 2 1132 <C(1) 00 11 10
170 2050 -62 <C(1) 0132 00 11 10
171 2052 -64 <A(1) 0133 00 11 10
172 2054 -62 01 (1)D> 0133 00 11 10
173 2058 -64 01 <C(1) 00 0132 00 11 10
174 2060 -66 <F(1) 01 00 0132 00 11 10
175 2062 -64 01 (0)B> 01 00 0132 00 11 10
176 2066 -62 01 11 (0)B> 00 0132 00 11 10
177 2070 -60 01 112 (1)A> 0132 00 11 10
178 2072 -58 01 113 (1)D> 0131 00 11 10
179 2076 -60 01 113 <C(1) 00 0130 00 11 10
180 2082 -66 01 <C(1) 013 00 0130 00 11 10
181 2084 -68 <F(1) 014 00 0130 00 11 10
182 2086 -66 01 (0)B> 014 00 0130 00 11 10
183 2102 -58 01 114 (0)B> 00 0130 00 11 10
184 2106 -56 01 115 (1)A> 0130 00 11 10
185 2108 -54 01 116 (1)D> 0129 00 11 10
186 2112 -56 01 116 <C(1) 00 0128 00 11 10
187 2124 -68 01 <C(1) 016 00 0128 00 11 10
188 2126 -70 <F(1) 017 00 0128 00 11 10
189 2128 -68 01 (0)B> 017 00 0128 00 11 10
190 2156 -54 01 117 (0)B> 00 0128 00 11 10
191 2160 -52 01 118 (1)A> 0128 00 11 10
192 2162 -50 01 119 (1)D> 0127 00 11 10
193 2166 -52 01 119 <C(1) 00 0126 00 11 10
194 2184 -70 01 <C(1) 019 00 0126 00 11 10
195 2186 -72 <F(1) 0110 00 0126 00 11 10
196 2188 -70 01 (0)B> 0110 00 0126 00 11 10
197 2228 -50 01 1110 (0)B> 00 0126 00 11 10
198 2232 -48 01 1111 (1)A> 0126 00 11 10
199 2234 -46 01 1112 (1)D> 0125 00 11 10
200 2238 -48 01 1112 <C(1) 00 0124 00 11 10
201 2262 -72 01 <C(1) 0112 00 0124 00 11 10
202 2264 -74 <F(1) 0113 00 0124 00 11 10
203 2266 -72 01 (0)B> 0113 00 0124 00 11 10
204 2318 -46 01 1113 (0)B> 00 0124 00 11 10
205 2322 -44 01 1114 (1)A> 0124 00 11 10
206 2324 -42 01 1115 (1)D> 0123 00 11 10
207 2328 -44 01 1115 <C(1) 00 0122 00 11 10
208 2358 -74 01 <C(1) 0115 00 0122 00 11 10
209 2360 -76 <F(1) 0116 00 0122 00 11 10
210 2362 -74 01 (0)B> 0116 00 0122 00 11 10
211 2426 -42 01 1116 (0)B> 00 0122 00 11 10
212 2430 -40 01 1117 (1)A> 0122 00 11 10
213 2432 -38 01 1118 (1)D> 0121 00 11 10
214 2436 -40 01 1118 <C(1) 00 0120 00 11 10
215 2472 -76 01 <C(1) 0118 00 0120 00 11 10
216 2474 -78 <F(1) 0119 00 0120 00 11 10
217 2476 -76 01 (0)B> 0119 00 0120 00 11 10
218 2552 -38 01 1119 (0)B> 00 0120 00 11 10
219 2556 -36 01 1120 (1)A> 0120 00 11 10
220 2558 -34 01 1121 (1)D> 0119 00 11 10
221 2562 -36 01 1121 <C(1) 00 0118 00 11 10
222 2604 -78 01 <C(1) 0121 00 0118 00 11 10
223 2606 -80 <F(1) 0122 00 0118 00 11 10
224 2608 -78 01 (0)B> 0122 00 0118 00 11 10
225 2696 -34 01 1122 (0)B> 00 0118 00 11 10
226 2700 -32 01 1123 (1)A> 0118 00 11 10
227 2702 -30 01 1124 (1)D> 0117 00 11 10
228 2706 -32 01 1124 <C(1) 00 0116 00 11 10
229 2754 -80 01 <C(1) 0124 00 0116 00 11 10
230 2756 -82 <F(1) 0125 00 0116 00 11 10
231 2758 -80 01 (0)B> 0125 00 0116 00 11 10
232 2858 -30 01 1125 (0)B> 00 0116 00 11 10
233 2862 -28 01 1126 (1)A> 0116 00 11 10
234 2864 -26 01 1127 (1)D> 0115 00 11 10
235 2868 -28 01 1127 <C(1) 00 0114 00 11 10
236 2922 -82 01 <C(1) 0127 00 0114 00 11 10
237 2924 -84 <F(1) 0128 00 0114 00 11 10
238 2926 -82 01 (0)B> 0128 00 0114 00 11 10
239 3038 -26 01 1128 (0)B> 00 0114 00 11 10
240 3042 -24 01 1129 (1)A> 0114 00 11 10
241 3044 -22 01 1130 (1)D> 0113 00 11 10
242 3048 -24 01 1130 <C(1) 00 0112 00 11 10
243 3108 -84 01 <C(1) 0130 00 0112 00 11 10
244 3110 -86 <F(1) 0131 00 0112 00 11 10
245 3112 -84 01 (0)B> 0131 00 0112 00 11 10
246 3236 -22 01 1131 (0)B> 00 0112 00 11 10
247 3240 -20 01 1132 (1)A> 0112 00 11 10
248 3242 -18 01 1133 (1)D> 0111 00 11 10
249 3246 -20 01 1133 <C(1) 00 0110 00 11 10
250 3312 -86 01 <C(1) 0133 00 0110 00 11 10
251 3314 -88 <F(1) 0134 00 0110 00 11 10
252 3316 -86 01 (0)B> 0134 00 0110 00 11 10
253 3452 -18 01 1134 (0)B> 00 0110 00 11 10
254 3456 -16 01 1135 (1)A> 0110 00 11 10
255 3458 -14 01 1136 (1)D> 019 00 11 10
256 3462 -16 01 1136 <C(1) 00 018 00 11 10
257 3534 -88 01 <C(1) 0136 00 018 00 11 10
258 3536 -90 <F(1) 0137 00 018 00 11 10
259 3538 -88 01 (0)B> 0137 00 018 00 11 10
260 3686 -14 01 1137 (0)B> 00 018 00 11 10
261 3690 -12 01 1138 (1)A> 018 00 11 10
262 3692 -10 01 1139 (1)D> 017 00 11 10
263 3696 -12 01 1139 <C(1) 00 016 00 11 10
264 3774 -90 01 <C(1) 0139 00 016 00 11 10
265 3776 -92 <F(1) 0140 00 016 00 11 10
266 3778 -90 01 (0)B> 0140 00 016 00 11 10
267 3938 -10 01 1140 (0)B> 00 016 00 11 10
268 3942 -8 01 1141 (1)A> 016 00 11 10
269 3944 -6 01 1142 (1)D> 015 00 11 10
270 3948 -8 01 1142 <C(1) 00 014 00 11 10
271 4032 -92 01 <C(1) 0142 00 014 00 11 10
272 4034 -94 <F(1) 0143 00 014 00 11 10
273 4036 -92 01 (0)B> 0143 00 014 00 11 10
274 4208 -6 01 1143 (0)B> 00 014 00 11 10
275 4212 -4 01 1144 (1)A> 014 00 11 10
276 4214 -2 01 1145 (1)D> 013 00 11 10
277 4218 -4 01 1145 <C(1) 00 012 00 11 10
278 4308 -94 01 <C(1) 0145 00 012 00 11 10
279 4310 -96 <F(1) 0146 00 012 00 11 10
280 4312 -94 01 (0)B> 0146 00 012 00 11 10
281 4496 -2 01 1146 (0)B> 00 012 00 11 10
282 4500 0 01 1147 (1)A> 012 00 11 10
283 4502 2 01 1148 (1)D> 01 00 11 10
284 4506 0 01 1148 <C(1) 002 11 10
285 4602 -96 01 <C(1) 0148 002 11 10
286 4604 -98 <F(1) 0149 002 11 10
287 4606 -96 01 (0)B> 0149 002 11 10
288 4802 2 01 1149 (0)B> 002 11 10
289 4806 4 01 1150 (1)A> 00 11 10
290 4810 2 01 1150 <E(0) 01 11 10
291 4910 -98 01 <E(0) 1050 01 11 10
292 4912 -100 <B(0) 1051 01 11 10
293 4916 -98 11 (1)A> 1051 01 11 10
294 4918 -100 11 <E(0) 00 1050 01 11 10
295 4920 -102 <E(0) 10 00 1050 01 11 10
296 4926 -100 11 (1)D> 10 00 1050 01 11 10
297 4930 -98 112 (1)D> 00 1050 01 11 10
298 4932 -96 113 (1)B> 1050 01 11 10
299 4934 -94 114 (1)A> 1049 01 11 10
300 4936 -96 114 <E(0) 00 1048 01 11 10
301 4944 -104 <E(0) 104 00 1048 01 11 10
302 4950 -102 11 (1)D> 104 00 1048 01 11 10
303 4966 -94 115 (1)D> 00 1048 01 11 10
304 4968 -92 116 (1)B> 1048 01 11 10
305 4970 -90 117 (1)A> 1047 01 11 10
306 4972 -92 117 <E(0) 00 1046 01 11 10
307 4986 -106 <E(0) 107 00 1046 01 11 10
308 4992 -104 11 (1)D> 107 00 1046 01 11 10
309 5020 -90 118 (1)D> 00 1046 01 11 10
310 5022 -88 119 (1)B> 1046 01 11 10
311 5024 -86 1110 (1)A> 1045 01 11 10
312 5026 -88 1110 <E(0) 00 1044 01 11 10
313 5046 -108 <E(0) 1010 00 1044 01 11 10
314 5052 -106 11 (1)D> 1010 00 1044 01 11 10
315 5092 -86 1111 (1)D> 00 1044 01 11 10
316 5094 -84 1112 (1)B> 1044 01 11 10
317 5096 -82 1113 (1)A> 1043 01 11 10
318 5098 -84 1113 <E(0) 00 1042 01 11 10
319 5124 -110 <E(0) 1013 00 1042 01 11 10
320 5130 -108 11 (1)D> 1013 00 1042 01 11 10
321 5182 -82 1114 (1)D> 00 1042 01 11 10
322 5184 -80 1115 (1)B> 1042 01 11 10
323 5186 -78 1116 (1)A> 1041 01 11 10
324 5188 -80 1116 <E(0) 00 1040 01 11 10
325 5220 -112 <E(0) 1016 00 1040 01 11 10
326 5226 -110 11 (1)D> 1016 00 1040 01 11 10
327 5290 -78 1117 (1)D> 00 1040 01 11 10
328 5292 -76 1118 (1)B> 1040 01 11 10
329 5294 -74 1119 (1)A> 1039 01 11 10
330 5296 -76 1119 <E(0) 00 1038 01 11 10
331 5334 -114 <E(0) 1019 00 1038 01 11 10
332 5340 -112 11 (1)D> 1019 00 1038 01 11 10
333 5416 -74 1120 (1)D> 00 1038 01 11 10
334 5418 -72 1121 (1)B> 1038 01 11 10
335 5420 -70 1122 (1)A> 1037 01 11 10
336 5422 -72 1122 <E(0) 00 1036 01 11 10
337 5466 -116 <E(0) 1022 00 1036 01 11 10
338 5472 -114 11 (1)D> 1022 00 1036 01 11 10
339 5560 -70 1123 (1)D> 00 1036 01 11 10
340 5562 -68 1124 (1)B> 1036 01 11 10
341 5564 -66 1125 (1)A> 1035 01 11 10
342 5566 -68 1125 <E(0) 00 1034 01 11 10
343 5616 -118 <E(0) 1025 00 1034 01 11 10
344 5622 -116 11 (1)D> 1025 00 1034 01 11 10
345 5722 -66 1126 (1)D> 00 1034 01 11 10
346 5724 -64 1127 (1)B> 1034 01 11 10
347 5726 -62 1128 (1)A> 1033 01 11 10
348 5728 -64 1128 <E(0) 00 1032 01 11 10
349 5784 -120 <E(0) 1028 00 1032 01 11 10
350 5790 -118 11 (1)D> 1028 00 1032 01 11 10
351 5902 -62 1129 (1)D> 00 1032 01 11 10
352 5904 -60 1130 (1)B> 1032 01 11 10
353 5906 -58 1131 (1)A> 1031 01 11 10
354 5908 -60 1131 <E(0) 00 1030 01 11 10
355 5970 -122 <E(0) 1031 00 1030 01 11 10
356 5976 -120 11 (1)D> 1031 00 1030 01 11 10
357 6100 -58 1132 (1)D> 00 1030 01 11 10
358 6102 -56 1133 (1)B> 1030 01 11 10
359 6104 -54 1134 (1)A> 1029 01 11 10
360 6106 -56 1134 <E(0) 00 1028 01 11 10
361 6174 -124 <E(0) 1034 00 1028 01 11 10
362 6180 -122 11 (1)D> 1034 00 1028 01 11 10
363 6316 -54 1135 (1)D> 00 1028 01 11 10
364 6318 -52 1136 (1)B> 1028 01 11 10
365 6320 -50 1137 (1)A> 1027 01 11 10
366 6322 -52 1137 <E(0) 00 1026 01 11 10
367 6396 -126 <E(0) 1037 00 1026 01 11 10
368 6402 -124 11 (1)D> 1037 00 1026 01 11 10
369 6550 -50 1138 (1)D> 00 1026 01 11 10
370 6552 -48 1139 (1)B> 1026 01 11 10
371 6554 -46 1140 (1)A> 1025 01 11 10
372 6556 -48 1140 <E(0) 00 1024 01 11 10
373 6636 -128 <E(0) 1040 00 1024 01 11 10
374 6642 -126 11 (1)D> 1040 00 1024 01 11 10
375 6802 -46 1141 (1)D> 00 1024 01 11 10
376 6804 -44 1142 (1)B> 1024 01 11 10
377 6806 -42 1143 (1)A> 1023 01 11 10
378 6808 -44 1143 <E(0) 00 1022 01 11 10
379 6894 -130 <E(0) 1043 00 1022 01 11 10
380 6900 -128 11 (1)D> 1043 00 1022 01 11 10
381 7072 -42 1144 (1)D> 00 1022 01 11 10
382 7074 -40 1145 (1)B> 1022 01 11 10
383 7076 -38 1146 (1)A> 1021 01 11 10
384 7078 -40 1146 <E(0) 00 1020 01 11 10
385 7170 -132 <E(0) 1046 00 1020 01 11 10
386 7176 -130 11 (1)D> 1046 00 1020 01 11 10
387 7360 -38 1147 (1)D> 00 1020 01 11 10
388 7362 -36 1148 (1)B> 1020 01 11 10
389 7364 -34 1149 (1)A> 1019 01 11 10
390 7366 -36 1149 <E(0) 00 1018 01 11 10
391 7464 -134 <E(0) 1049 00 1018 01 11 10
392 7470 -132 11 (1)D> 1049 00 1018 01 11 10
393 7666 -34 1150 (1)D> 00 1018 01 11 10
394 7668 -32 1151 (1)B> 1018 01 11 10
395 7670 -30 1152 (1)A> 1017 01 11 10
396 7672 -32 1152 <E(0) 00 1016 01 11 10
397 7776 -136 <E(0) 1052 00 1016 01 11 10
398 7782 -134 11 (1)D> 1052 00 1016 01 11 10
399 7990 -30 1153 (1)D> 00 1016 01 11 10
400 7992 -28 1154 (1)B> 1016 01 11 10
401 7994 -26 1155 (1)A> 1015 01 11 10
402 7996 -28 1155 <E(0) 00 1014 01 11 10
403 8106 -138 <E(0) 1055 00 1014 01 11 10
404 8112 -136 11 (1)D> 1055 00 1014 01 11 10
405 8332 -26 1156 (1)D> 00 1014 01 11 10
406 8334 -24 1157 (1)B> 1014 01 11 10
407 8336 -22 1158 (1)A> 1013 01 11 10
408 8338 -24 1158 <E(0) 00 1012 01 11 10
409 8454 -140 <E(0) 1058 00 1012 01 11 10
410 8460 -138 11 (1)D> 1058 00 1012 01 11 10
411 8692 -22 1159 (1)D> 00 1012 01 11 10
412 8694 -20 1160 (1)B> 1012 01 11 10
413 8696 -18 1161 (1)A> 1011 01 11 10
414 8698 -20 1161 <E(0) 00 1010 01 11 10
415 8820 -142 <E(0) 1061 00 1010 01 11 10
416 8826 -140 11 (1)D> 1061 00 1010 01 11 10
417 9070 -18 1162 (1)D> 00 1010 01 11 10
418 9072 -16 1163 (1)B> 1010 01 11 10
419 9074 -14 1164 (1)A> 109 01 11 10
420 9076 -16 1164 <E(0) 00 108 01 11 10
421 9204 -144 <E(0) 1064 00 108 01 11 10
422 9210 -142 11 (1)D> 1064 00 108 01 11 10
423 9466 -14 1165 (1)D> 00 108 01 11 10
424 9468 -12 1166 (1)B> 108 01 11 10
425 9470 -10 1167 (1)A> 107 01 11 10
426 9472 -12 1167 <E(0) 00 106 01 11 10
427 9606 -146 <E(0) 1067 00 106 01 11 10
428 9612 -144 11 (1)D> 1067 00 106 01 11 10
429 9880 -10 1168 (1)D> 00 106 01 11 10
430 9882 -8 1169 (1)B> 106 01 11 10
431 9884 -6 1170 (1)A> 105 01 11 10
432 9886 -8 1170 <E(0) 00 104 01 11 10
433 10026 -148 <E(0) 1070 00 104 01 11 10
434 10032 -146 11 (1)D> 1070 00 104 01 11 10
435 10312 -6 1171 (1)D> 00 104 01 11 10
436 10314 -4 1172 (1)B> 104 01 11 10
437 10316 -2 1173 (1)A> 103 01 11 10
438 10318 -4 1173 <E(0) 00 102 01 11 10
439 10464 -150 <E(0) 1073 00 102 01 11 10
440 10470 -148 11 (1)D> 1073 00 102 01 11 10
441 10762 -2 1174 (1)D> 00 102 01 11 10
442 10764 0 1175 (1)B> 102 01 11 10
443 10766 2 1176 (1)A> 10 01 11 10
444 10768 0 1176 <E(0) 00 01 11 10
445 10920 -152 <E(0) 1076 00 01 11 10
446 10926 -150 11 (1)D> 1076 00 01 11 10
447 11230 2 1177 (1)D> 00 01 11 10
448 11232 4 1178 (1)B> 01 11 10
449 11234 2 1178 <C(0) 112 10
450 11236 0 1177 <C(1) 00 112 10
451 11390 -154 <C(1) 0177 00 112 10
452 11392 -156 <A(1) 0178 00 112 10
453 11394 -154 01 (1)D> 0178 00 112 10
454 11398 -156 01 <C(1) 00 0177 00 112 10
455 11400 -158 <F(1) 01 00 0177 00 112 10
456 11402 -156 01 (0)B> 01 00 0177 00 112 10
457 11406 -154 01 11 (0)B> 00 0177 00 112 10
458 11410 -152 01 112 (1)A> 0177 00 112 10
459 11412 -150 01 113 (1)D> 0176 00 112 10
460 11416 -152 01 113 <C(1) 00 0175 00 112 10
461 11422 -158 01 <C(1) 013 00 0175 00 112 10
462 11424 -160 <F(1) 014 00 0175 00 112 10
463 11426 -158 01 (0)B> 014 00 0175 00 112 10
464 11442 -150 01 114 (0)B> 00 0175 00 112 10
465 11446 -148 01 115 (1)A> 0175 00 112 10
466 11448 -146 01 116 (1)D> 0174 00 112 10
467 11452 -148 01 116 <C(1) 00 0173 00 112 10
468 11464 -160 01 <C(1) 016 00 0173 00 112 10
469 11466 -162 <F(1) 017 00 0173 00 112 10
470 11468 -160 01 (0)B> 017 00 0173 00 112 10
471 11496 -146 01 117 (0)B> 00 0173 00 112 10
472 11500 -144 01 118 (1)A> 0173 00 112 10
473 11502 -142 01 119 (1)D> 0172 00 112 10
474 11506 -144 01 119 <C(1) 00 0171 00 112 10
475 11524 -162 01 <C(1) 019 00 0171 00 112 10
476 11526 -164 <F(1) 0110 00 0171 00 112 10
477 11528 -162 01 (0)B> 0110 00 0171 00 112 10
478 11568 -142 01 1110 (0)B> 00 0171 00 112 10
479 11572 -140 01 1111 (1)A> 0171 00 112 10
480 11574 -138 01 1112 (1)D> 0170 00 112 10
481 11578 -140 01 1112 <C(1) 00 0169 00 112 10
482 11602 -164 01 <C(1) 0112 00 0169 00 112 10
483 11604 -166 <F(1) 0113 00 0169 00 112 10
484 11606 -164 01 (0)B> 0113 00 0169 00 112 10
485 11658 -138 01 1113 (0)B> 00 0169 00 112 10
486 11662 -136 01 1114 (1)A> 0169 00 112 10
487 11664 -134 01 1115 (1)D> 0168 00 112 10
488 11668 -136 01 1115 <C(1) 00 0167 00 112 10
489 11698 -166 01 <C(1) 0115 00 0167 00 112 10
490 11700 -168 <F(1) 0116 00 0167 00 112 10
491 11702 -166 01 (0)B> 0116 00 0167 00 112 10
492 11766 -134 01 1116 (0)B> 00 0167 00 112 10
493 11770 -132 01 1117 (1)A> 0167 00 112 10
494 11772 -130 01 1118 (1)D> 0166 00 112 10
495 11776 -132 01 1118 <C(1) 00 0165 00 112 10
496 11812 -168 01 <C(1) 0118 00 0165 00 112 10
497 11814 -170 <F(1) 0119 00 0165 00 112 10
498 11816 -168 01 (0)B> 0119 00 0165 00 112 10
499 11892 -130 01 1119 (0)B> 00 0165 00 112 10
500 11896 -128 01 1120 (1)A> 0165 00 112 10
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 11896
Tape index: -128
ones: 112
log10(ones ): 2.049
log10(steps ): 4.075
Input to awk program:
gohalt 1
L 26
5T B1R C0L A1L D1R B0L E0L A1R B0R F1L C1L D1R Z1R : >6.7*10^47 >2.0*10^95
T 6-state TM #l from MaBu-List
M 501
pref sim
machv mbL6_l just simple
machv mbL6_l-r with repetitions reduced
machv mbL6_l-1 with tape symbol exponents
machv mbL6_l-m as 1-bck-2-macro machine
machv mbL6_l-a as 1-bck-2-macro machine with pure additive config-TRs
iam mbL6_l-m
mtype 1 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:02 CEST 2010
edate Tue Jul 6 22:11:02 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:02 CEST 2010