Comment: This TM produces >6.4*10^462 ones in >6.1*10^925 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | B0L | 1 | right | B | 0 | left | B |
| B | C0R | B1L | 0 | right | C | 1 | left | B |
| C | D1R | A0L | 1 | right | D | 0 | left | A |
| D | E1L | F1L | 1 | left | E | 1 | left | F |
| E | A1L | D0L | 1 | left | A | 0 | left | D |
| F | Z1R | E1L | 1 | right | Z | 1 | left | E |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 3-bck-macro machine.
The same TM as 3-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (000)A>
1 3 3 (101)D>
2 7 -1 <D(010) 100
3 12 -4 <B(111) 010 100
4 22 0 001 (110)C> 010 100
5 28 -4 001 <B(101) 110 100
6 51 -7 <B(011) 111 110 100
7 75 -3 111 (110)C> 111 110 100
8 84 0 1112 (110)C> 110 100
9 91 3 1113 (101)D> 100
10 95 -1 1113 <B(011) 100
11 98 -4 1112 <B(111) 011 100
12 104 -10 <B(111) 1112 011 100
13 114 -6 001 (110)C> 1112 011 100
14 132 0 001 1112 (110)C> 011 100
15 138 -4 001 1112 <B(101) 111 100
16 141 -7 001 111 <B(111) 101 111 100
17 144 -10 001 <B(111) 111 101 111 100
18 158 -6 011 (110)C> 111 101 111 100
19 167 -3 011 111 (110)C> 101 111 100
20 177 -7 011 111 <B(110) 1112 100
21 180 -10 011 <B(111) 110 1112 100
22 198 -6 111 (110)C> 110 1112 100
23 205 -3 1112 (101)D> 1112 100
24 209 -7 1112 <B(011) 1112 100
25 212 -10 111 <B(111) 011 1112 100
26 215 -13 <B(111) 111 011 1112 100
27 225 -9 001 (110)C> 111 011 1112 100
28 234 -6 001 111 (110)C> 011 1112 100
29 240 -10 001 111 <B(101) 1113 100
30 243 -13 001 <B(111) 101 1113 100
31 257 -9 011 (110)C> 101 1113 100
32 267 -13 011 <B(110) 1114 100
33 283 -9 111 (101)D> 1114 100
34 287 -13 111 <B(011) 1114 100
35 290 -16 <B(111) 011 1114 100
36 300 -12 001 (110)C> 011 1114 100
37 306 -16 001 <B(101) 1115 100
38 329 -19 <B(011) 1116 100
39 353 -15 111 (110)C> 1116 100
40 407 3 1117 (110)C> 100
41 417 -1 1117 <E(110) 101
42 438 -22 <E(110) 1107 101
43 456 -18 111 (101)D> 1107 101
44 460 -22 111 <B(011) 1107 101
45 463 -25 <B(111) 011 1107 101
46 473 -21 001 (110)C> 011 1107 101
47 479 -25 001 <B(101) 111 1107 101
48 502 -28 <B(011) 1112 1107 101
49 526 -24 111 (110)C> 1112 1107 101
50 544 -18 1113 (110)C> 1107 101
51 551 -15 1114 (101)D> 1106 101
52 555 -19 1114 <B(011) 1106 101
53 558 -22 1113 <B(111) 011 1106 101
54 567 -31 <B(111) 1113 011 1106 101
55 577 -27 001 (110)C> 1113 011 1106 101
56 604 -18 001 1113 (110)C> 011 1106 101
57 610 -22 001 1113 <B(101) 111 1106 101
58 613 -25 001 1112 <B(111) 101 111 1106 101
59 619 -31 001 <B(111) 1112 101 111 1106 101
60 633 -27 011 (110)C> 1112 101 111 1106 101
61 651 -21 011 1112 (110)C> 101 111 1106 101
62 661 -25 011 1112 <B(110) 1112 1106 101
63 664 -28 011 111 <B(111) 110 1112 1106 101
64 667 -31 011 <B(111) 111 110 1112 1106 101
65 685 -27 111 (110)C> 111 110 1112 1106 101
66 694 -24 1112 (110)C> 110 1112 1106 101
67 701 -21 1113 (101)D> 1112 1106 101
68 705 -25 1113 <B(011) 1112 1106 101
69 708 -28 1112 <B(111) 011 1112 1106 101
70 714 -34 <B(111) 1112 011 1112 1106 101
71 724 -30 001 (110)C> 1112 011 1112 1106 101
72 742 -24 001 1112 (110)C> 011 1112 1106 101
73 748 -28 001 1112 <B(101) 1113 1106 101
74 751 -31 001 111 <B(111) 101 1113 1106 101
75 754 -34 001 <B(111) 111 101 1113 1106 101
76 768 -30 011 (110)C> 111 101 1113 1106 101
77 777 -27 011 111 (110)C> 101 1113 1106 101
78 787 -31 011 111 <B(110) 1114 1106 101
79 790 -34 011 <B(111) 110 1114 1106 101
80 808 -30 111 (110)C> 110 1114 1106 101
81 815 -27 1112 (101)D> 1114 1106 101
82 819 -31 1112 <B(011) 1114 1106 101
83 822 -34 111 <B(111) 011 1114 1106 101
84 825 -37 <B(111) 111 011 1114 1106 101
85 835 -33 001 (110)C> 111 011 1114 1106 101
86 844 -30 001 111 (110)C> 011 1114 1106 101
87 850 -34 001 111 <B(101) 1115 1106 101
88 853 -37 001 <B(111) 101 1115 1106 101
89 867 -33 011 (110)C> 101 1115 1106 101
90 877 -37 011 <B(110) 1116 1106 101
91 893 -33 111 (101)D> 1116 1106 101
92 897 -37 111 <B(011) 1116 1106 101
93 900 -40 <B(111) 011 1116 1106 101
94 910 -36 001 (110)C> 011 1116 1106 101
95 916 -40 001 <B(101) 1117 1106 101
96 939 -43 <B(011) 1118 1106 101
97 963 -39 111 (110)C> 1118 1106 101
98 1035 -15 1119 (110)C> 1106 101
99 1042 -12 11110 (101)D> 1105 101
100 1046 -16 11110 <B(011) 1105 101
101 1049 -19 1119 <B(111) 011 1105 101
102 1076 -46 <B(111) 1119 011 1105 101
103 1086 -42 001 (110)C> 1119 011 1105 101
104 1167 -15 001 1119 (110)C> 011 1105 101
105 1173 -19 001 1119 <B(101) 111 1105 101
106 1176 -22 001 1118 <B(111) 101 111 1105 101
107 1200 -46 001 <B(111) 1118 101 111 1105 101
108 1214 -42 011 (110)C> 1118 101 111 1105 101
109 1286 -18 011 1118 (110)C> 101 111 1105 101
110 1296 -22 011 1118 <B(110) 1112 1105 101
111 1299 -25 011 1117 <B(111) 110 1112 1105 101
112 1320 -46 011 <B(111) 1117 110 1112 1105 101
113 1338 -42 111 (110)C> 1117 110 1112 1105 101
114 1401 -21 1118 (110)C> 110 1112 1105 101
115 1408 -18 1119 (101)D> 1112 1105 101
116 1412 -22 1119 <B(011) 1112 1105 101
117 1415 -25 1118 <B(111) 011 1112 1105 101
118 1439 -49 <B(111) 1118 011 1112 1105 101
119 1449 -45 001 (110)C> 1118 011 1112 1105 101
120 1521 -21 001 1118 (110)C> 011 1112 1105 101
121 1527 -25 001 1118 <B(101) 1113 1105 101
122 1530 -28 001 1117 <B(111) 101 1113 1105 101
123 1551 -49 001 <B(111) 1117 101 1113 1105 101
124 1565 -45 011 (110)C> 1117 101 1113 1105 101
125 1628 -24 011 1117 (110)C> 101 1113 1105 101
126 1638 -28 011 1117 <B(110) 1114 1105 101
127 1641 -31 011 1116 <B(111) 110 1114 1105 101
128 1659 -49 011 <B(111) 1116 110 1114 1105 101
129 1677 -45 111 (110)C> 1116 110 1114 1105 101
130 1731 -27 1117 (110)C> 110 1114 1105 101
131 1738 -24 1118 (101)D> 1114 1105 101
132 1742 -28 1118 <B(011) 1114 1105 101
133 1745 -31 1117 <B(111) 011 1114 1105 101
134 1766 -52 <B(111) 1117 011 1114 1105 101
135 1776 -48 001 (110)C> 1117 011 1114 1105 101
136 1839 -27 001 1117 (110)C> 011 1114 1105 101
137 1845 -31 001 1117 <B(101) 1115 1105 101
138 1848 -34 001 1116 <B(111) 101 1115 1105 101
139 1866 -52 001 <B(111) 1116 101 1115 1105 101
140 1880 -48 011 (110)C> 1116 101 1115 1105 101
141 1934 -30 011 1116 (110)C> 101 1115 1105 101
142 1944 -34 011 1116 <B(110) 1116 1105 101
143 1947 -37 011 1115 <B(111) 110 1116 1105 101
144 1962 -52 011 <B(111) 1115 110 1116 1105 101
145 1980 -48 111 (110)C> 1115 110 1116 1105 101
146 2025 -33 1116 (110)C> 110 1116 1105 101
147 2032 -30 1117 (101)D> 1116 1105 101
148 2036 -34 1117 <B(011) 1116 1105 101
149 2039 -37 1116 <B(111) 011 1116 1105 101
150 2057 -55 <B(111) 1116 011 1116 1105 101
151 2067 -51 001 (110)C> 1116 011 1116 1105 101
152 2121 -33 001 1116 (110)C> 011 1116 1105 101
153 2127 -37 001 1116 <B(101) 1117 1105 101
154 2130 -40 001 1115 <B(111) 101 1117 1105 101
155 2145 -55 001 <B(111) 1115 101 1117 1105 101
156 2159 -51 011 (110)C> 1115 101 1117 1105 101
157 2204 -36 011 1115 (110)C> 101 1117 1105 101
158 2214 -40 011 1115 <B(110) 1118 1105 101
159 2217 -43 011 1114 <B(111) 110 1118 1105 101
160 2229 -55 011 <B(111) 1114 110 1118 1105 101
161 2247 -51 111 (110)C> 1114 110 1118 1105 101
162 2283 -39 1115 (110)C> 110 1118 1105 101
163 2290 -36 1116 (101)D> 1118 1105 101
164 2294 -40 1116 <B(011) 1118 1105 101
165 2297 -43 1115 <B(111) 011 1118 1105 101
166 2312 -58 <B(111) 1115 011 1118 1105 101
167 2322 -54 001 (110)C> 1115 011 1118 1105 101
168 2367 -39 001 1115 (110)C> 011 1118 1105 101
169 2373 -43 001 1115 <B(101) 1119 1105 101
170 2376 -46 001 1114 <B(111) 101 1119 1105 101
171 2388 -58 001 <B(111) 1114 101 1119 1105 101
172 2402 -54 011 (110)C> 1114 101 1119 1105 101
173 2438 -42 011 1114 (110)C> 101 1119 1105 101
174 2448 -46 011 1114 <B(110) 11110 1105 101
175 2451 -49 011 1113 <B(111) 110 11110 1105 101
176 2460 -58 011 <B(111) 1113 110 11110 1105 101
177 2478 -54 111 (110)C> 1113 110 11110 1105 101
178 2505 -45 1114 (110)C> 110 11110 1105 101
179 2512 -42 1115 (101)D> 11110 1105 101
180 2516 -46 1115 <B(011) 11110 1105 101
181 2519 -49 1114 <B(111) 011 11110 1105 101
182 2531 -61 <B(111) 1114 011 11110 1105 101
183 2541 -57 001 (110)C> 1114 011 11110 1105 101
184 2577 -45 001 1114 (110)C> 011 11110 1105 101
185 2583 -49 001 1114 <B(101) 11111 1105 101
186 2586 -52 001 1113 <B(111) 101 11111 1105 101
187 2595 -61 001 <B(111) 1113 101 11111 1105 101
188 2609 -57 011 (110)C> 1113 101 11111 1105 101
189 2636 -48 011 1113 (110)C> 101 11111 1105 101
190 2646 -52 011 1113 <B(110) 11112 1105 101
191 2649 -55 011 1112 <B(111) 110 11112 1105 101
192 2655 -61 011 <B(111) 1112 110 11112 1105 101
193 2673 -57 111 (110)C> 1112 110 11112 1105 101
194 2691 -51 1113 (110)C> 110 11112 1105 101
195 2698 -48 1114 (101)D> 11112 1105 101
196 2702 -52 1114 <B(011) 11112 1105 101
197 2705 -55 1113 <B(111) 011 11112 1105 101
198 2714 -64 <B(111) 1113 011 11112 1105 101
199 2724 -60 001 (110)C> 1113 011 11112 1105 101
200 2751 -51 001 1113 (110)C> 011 11112 1105 101
201 2757 -55 001 1113 <B(101) 11113 1105 101
202 2760 -58 001 1112 <B(111) 101 11113 1105 101
203 2766 -64 001 <B(111) 1112 101 11113 1105 101
204 2780 -60 011 (110)C> 1112 101 11113 1105 101
205 2798 -54 011 1112 (110)C> 101 11113 1105 101
206 2808 -58 011 1112 <B(110) 11114 1105 101
207 2811 -61 011 111 <B(111) 110 11114 1105 101
208 2814 -64 011 <B(111) 111 110 11114 1105 101
209 2832 -60 111 (110)C> 111 110 11114 1105 101
210 2841 -57 1112 (110)C> 110 11114 1105 101
211 2848 -54 1113 (101)D> 11114 1105 101
212 2852 -58 1113 <B(011) 11114 1105 101
213 2855 -61 1112 <B(111) 011 11114 1105 101
214 2861 -67 <B(111) 1112 011 11114 1105 101
215 2871 -63 001 (110)C> 1112 011 11114 1105 101
216 2889 -57 001 1112 (110)C> 011 11114 1105 101
217 2895 -61 001 1112 <B(101) 11115 1105 101
218 2898 -64 001 111 <B(111) 101 11115 1105 101
219 2901 -67 001 <B(111) 111 101 11115 1105 101
220 2915 -63 011 (110)C> 111 101 11115 1105 101
221 2924 -60 011 111 (110)C> 101 11115 1105 101
222 2934 -64 011 111 <B(110) 11116 1105 101
223 2937 -67 011 <B(111) 110 11116 1105 101
224 2955 -63 111 (110)C> 110 11116 1105 101
225 2962 -60 1112 (101)D> 11116 1105 101
226 2966 -64 1112 <B(011) 11116 1105 101
227 2969 -67 111 <B(111) 011 11116 1105 101
228 2972 -70 <B(111) 111 011 11116 1105 101
229 2982 -66 001 (110)C> 111 011 11116 1105 101
230 2991 -63 001 111 (110)C> 011 11116 1105 101
231 2997 -67 001 111 <B(101) 11117 1105 101
232 3000 -70 001 <B(111) 101 11117 1105 101
233 3014 -66 011 (110)C> 101 11117 1105 101
234 3024 -70 011 <B(110) 11118 1105 101
235 3040 -66 111 (101)D> 11118 1105 101
236 3044 -70 111 <B(011) 11118 1105 101
237 3047 -73 <B(111) 011 11118 1105 101
238 3057 -69 001 (110)C> 011 11118 1105 101
239 3063 -73 001 <B(101) 11119 1105 101
240 3086 -76 <B(011) 11120 1105 101
241 3110 -72 111 (110)C> 11120 1105 101
242 3290 -12 11121 (110)C> 1105 101
243 3297 -9 11122 (101)D> 1104 101
244 3301 -13 11122 <B(011) 1104 101
245 3304 -16 11121 <B(111) 011 1104 101
246 3367 -79 <B(111) 11121 011 1104 101
247 3377 -75 001 (110)C> 11121 011 1104 101
248 3566 -12 001 11121 (110)C> 011 1104 101
249 3572 -16 001 11121 <B(101) 111 1104 101
250 3575 -19 001 11120 <B(111) 101 111 1104 101
251 3635 -79 001 <B(111) 11120 101 111 1104 101
252 3649 -75 011 (110)C> 11120 101 111 1104 101
253 3829 -15 011 11120 (110)C> 101 111 1104 101
254 3839 -19 011 11120 <B(110) 1112 1104 101
255 3842 -22 011 11119 <B(111) 110 1112 1104 101
256 3899 -79 011 <B(111) 11119 110 1112 1104 101
257 3917 -75 111 (110)C> 11119 110 1112 1104 101
258 4088 -18 11120 (110)C> 110 1112 1104 101
259 4095 -15 11121 (101)D> 1112 1104 101
260 4099 -19 11121 <B(011) 1112 1104 101
261 4102 -22 11120 <B(111) 011 1112 1104 101
262 4162 -82 <B(111) 11120 011 1112 1104 101
263 4172 -78 001 (110)C> 11120 011 1112 1104 101
264 4352 -18 001 11120 (110)C> 011 1112 1104 101
265 4358 -22 001 11120 <B(101) 1113 1104 101
266 4361 -25 001 11119 <B(111) 101 1113 1104 101
267 4418 -82 001 <B(111) 11119 101 1113 1104 101
268 4432 -78 011 (110)C> 11119 101 1113 1104 101
269 4603 -21 011 11119 (110)C> 101 1113 1104 101
270 4613 -25 011 11119 <B(110) 1114 1104 101
271 4616 -28 011 11118 <B(111) 110 1114 1104 101
272 4670 -82 011 <B(111) 11118 110 1114 1104 101
273 4688 -78 111 (110)C> 11118 110 1114 1104 101
274 4850 -24 11119 (110)C> 110 1114 1104 101
275 4857 -21 11120 (101)D> 1114 1104 101
276 4861 -25 11120 <B(011) 1114 1104 101
277 4864 -28 11119 <B(111) 011 1114 1104 101
278 4921 -85 <B(111) 11119 011 1114 1104 101
279 4931 -81 001 (110)C> 11119 011 1114 1104 101
280 5102 -24 001 11119 (110)C> 011 1114 1104 101
281 5108 -28 001 11119 <B(101) 1115 1104 101
282 5111 -31 001 11118 <B(111) 101 1115 1104 101
283 5165 -85 001 <B(111) 11118 101 1115 1104 101
284 5179 -81 011 (110)C> 11118 101 1115 1104 101
285 5341 -27 011 11118 (110)C> 101 1115 1104 101
286 5351 -31 011 11118 <B(110) 1116 1104 101
287 5354 -34 011 11117 <B(111) 110 1116 1104 101
288 5405 -85 011 <B(111) 11117 110 1116 1104 101
289 5423 -81 111 (110)C> 11117 110 1116 1104 101
290 5576 -30 11118 (110)C> 110 1116 1104 101
291 5583 -27 11119 (101)D> 1116 1104 101
292 5587 -31 11119 <B(011) 1116 1104 101
293 5590 -34 11118 <B(111) 011 1116 1104 101
294 5644 -88 <B(111) 11118 011 1116 1104 101
295 5654 -84 001 (110)C> 11118 011 1116 1104 101
296 5816 -30 001 11118 (110)C> 011 1116 1104 101
297 5822 -34 001 11118 <B(101) 1117 1104 101
298 5825 -37 001 11117 <B(111) 101 1117 1104 101
299 5876 -88 001 <B(111) 11117 101 1117 1104 101
300 5890 -84 011 (110)C> 11117 101 1117 1104 101
301 6043 -33 011 11117 (110)C> 101 1117 1104 101
302 6053 -37 011 11117 <B(110) 1118 1104 101
303 6056 -40 011 11116 <B(111) 110 1118 1104 101
304 6104 -88 011 <B(111) 11116 110 1118 1104 101
305 6122 -84 111 (110)C> 11116 110 1118 1104 101
306 6266 -36 11117 (110)C> 110 1118 1104 101
307 6273 -33 11118 (101)D> 1118 1104 101
308 6277 -37 11118 <B(011) 1118 1104 101
309 6280 -40 11117 <B(111) 011 1118 1104 101
310 6331 -91 <B(111) 11117 011 1118 1104 101
311 6341 -87 001 (110)C> 11117 011 1118 1104 101
312 6494 -36 001 11117 (110)C> 011 1118 1104 101
313 6500 -40 001 11117 <B(101) 1119 1104 101
314 6503 -43 001 11116 <B(111) 101 1119 1104 101
315 6551 -91 001 <B(111) 11116 101 1119 1104 101
316 6565 -87 011 (110)C> 11116 101 1119 1104 101
317 6709 -39 011 11116 (110)C> 101 1119 1104 101
318 6719 -43 011 11116 <B(110) 11110 1104 101
319 6722 -46 011 11115 <B(111) 110 11110 1104 101
320 6767 -91 011 <B(111) 11115 110 11110 1104 101
321 6785 -87 111 (110)C> 11115 110 11110 1104 101
322 6920 -42 11116 (110)C> 110 11110 1104 101
323 6927 -39 11117 (101)D> 11110 1104 101
324 6931 -43 11117 <B(011) 11110 1104 101
325 6934 -46 11116 <B(111) 011 11110 1104 101
326 6982 -94 <B(111) 11116 011 11110 1104 101
327 6992 -90 001 (110)C> 11116 011 11110 1104 101
328 7136 -42 001 11116 (110)C> 011 11110 1104 101
329 7142 -46 001 11116 <B(101) 11111 1104 101
330 7145 -49 001 11115 <B(111) 101 11111 1104 101
331 7190 -94 001 <B(111) 11115 101 11111 1104 101
332 7204 -90 011 (110)C> 11115 101 11111 1104 101
333 7339 -45 011 11115 (110)C> 101 11111 1104 101
334 7349 -49 011 11115 <B(110) 11112 1104 101
335 7352 -52 011 11114 <B(111) 110 11112 1104 101
336 7394 -94 011 <B(111) 11114 110 11112 1104 101
337 7412 -90 111 (110)C> 11114 110 11112 1104 101
338 7538 -48 11115 (110)C> 110 11112 1104 101
339 7545 -45 11116 (101)D> 11112 1104 101
340 7549 -49 11116 <B(011) 11112 1104 101
341 7552 -52 11115 <B(111) 011 11112 1104 101
342 7597 -97 <B(111) 11115 011 11112 1104 101
343 7607 -93 001 (110)C> 11115 011 11112 1104 101
344 7742 -48 001 11115 (110)C> 011 11112 1104 101
345 7748 -52 001 11115 <B(101) 11113 1104 101
346 7751 -55 001 11114 <B(111) 101 11113 1104 101
347 7793 -97 001 <B(111) 11114 101 11113 1104 101
348 7807 -93 011 (110)C> 11114 101 11113 1104 101
349 7933 -51 011 11114 (110)C> 101 11113 1104 101
350 7943 -55 011 11114 <B(110) 11114 1104 101
351 7946 -58 011 11113 <B(111) 110 11114 1104 101
352 7985 -97 011 <B(111) 11113 110 11114 1104 101
353 8003 -93 111 (110)C> 11113 110 11114 1104 101
354 8120 -54 11114 (110)C> 110 11114 1104 101
355 8127 -51 11115 (101)D> 11114 1104 101
356 8131 -55 11115 <B(011) 11114 1104 101
357 8134 -58 11114 <B(111) 011 11114 1104 101
358 8176 -100 <B(111) 11114 011 11114 1104 101
359 8186 -96 001 (110)C> 11114 011 11114 1104 101
360 8312 -54 001 11114 (110)C> 011 11114 1104 101
361 8318 -58 001 11114 <B(101) 11115 1104 101
362 8321 -61 001 11113 <B(111) 101 11115 1104 101
363 8360 -100 001 <B(111) 11113 101 11115 1104 101
364 8374 -96 011 (110)C> 11113 101 11115 1104 101
365 8491 -57 011 11113 (110)C> 101 11115 1104 101
366 8501 -61 011 11113 <B(110) 11116 1104 101
367 8504 -64 011 11112 <B(111) 110 11116 1104 101
368 8540 -100 011 <B(111) 11112 110 11116 1104 101
369 8558 -96 111 (110)C> 11112 110 11116 1104 101
370 8666 -60 11113 (110)C> 110 11116 1104 101
371 8673 -57 11114 (101)D> 11116 1104 101
372 8677 -61 11114 <B(011) 11116 1104 101
373 8680 -64 11113 <B(111) 011 11116 1104 101
374 8719 -103 <B(111) 11113 011 11116 1104 101
375 8729 -99 001 (110)C> 11113 011 11116 1104 101
376 8846 -60 001 11113 (110)C> 011 11116 1104 101
377 8852 -64 001 11113 <B(101) 11117 1104 101
378 8855 -67 001 11112 <B(111) 101 11117 1104 101
379 8891 -103 001 <B(111) 11112 101 11117 1104 101
380 8905 -99 011 (110)C> 11112 101 11117 1104 101
381 9013 -63 011 11112 (110)C> 101 11117 1104 101
382 9023 -67 011 11112 <B(110) 11118 1104 101
383 9026 -70 011 11111 <B(111) 110 11118 1104 101
384 9059 -103 011 <B(111) 11111 110 11118 1104 101
385 9077 -99 111 (110)C> 11111 110 11118 1104 101
386 9176 -66 11112 (110)C> 110 11118 1104 101
387 9183 -63 11113 (101)D> 11118 1104 101
388 9187 -67 11113 <B(011) 11118 1104 101
389 9190 -70 11112 <B(111) 011 11118 1104 101
390 9226 -106 <B(111) 11112 011 11118 1104 101
391 9236 -102 001 (110)C> 11112 011 11118 1104 101
392 9344 -66 001 11112 (110)C> 011 11118 1104 101
393 9350 -70 001 11112 <B(101) 11119 1104 101
394 9353 -73 001 11111 <B(111) 101 11119 1104 101
395 9386 -106 001 <B(111) 11111 101 11119 1104 101
396 9400 -102 011 (110)C> 11111 101 11119 1104 101
397 9499 -69 011 11111 (110)C> 101 11119 1104 101
398 9509 -73 011 11111 <B(110) 11120 1104 101
399 9512 -76 011 11110 <B(111) 110 11120 1104 101
400 9542 -106 011 <B(111) 11110 110 11120 1104 101
401 9560 -102 111 (110)C> 11110 110 11120 1104 101
402 9650 -72 11111 (110)C> 110 11120 1104 101
403 9657 -69 11112 (101)D> 11120 1104 101
404 9661 -73 11112 <B(011) 11120 1104 101
405 9664 -76 11111 <B(111) 011 11120 1104 101
406 9697 -109 <B(111) 11111 011 11120 1104 101
407 9707 -105 001 (110)C> 11111 011 11120 1104 101
408 9806 -72 001 11111 (110)C> 011 11120 1104 101
409 9812 -76 001 11111 <B(101) 11121 1104 101
410 9815 -79 001 11110 <B(111) 101 11121 1104 101
411 9845 -109 001 <B(111) 11110 101 11121 1104 101
412 9859 -105 011 (110)C> 11110 101 11121 1104 101
413 9949 -75 011 11110 (110)C> 101 11121 1104 101
414 9959 -79 011 11110 <B(110) 11122 1104 101
415 9962 -82 011 1119 <B(111) 110 11122 1104 101
416 9989 -109 011 <B(111) 1119 110 11122 1104 101
417 10007 -105 111 (110)C> 1119 110 11122 1104 101
418 10088 -78 11110 (110)C> 110 11122 1104 101
419 10095 -75 11111 (101)D> 11122 1104 101
420 10099 -79 11111 <B(011) 11122 1104 101
421 10102 -82 11110 <B(111) 011 11122 1104 101
422 10132 -112 <B(111) 11110 011 11122 1104 101
423 10142 -108 001 (110)C> 11110 011 11122 1104 101
424 10232 -78 001 11110 (110)C> 011 11122 1104 101
425 10238 -82 001 11110 <B(101) 11123 1104 101
426 10241 -85 001 1119 <B(111) 101 11123 1104 101
427 10268 -112 001 <B(111) 1119 101 11123 1104 101
428 10282 -108 011 (110)C> 1119 101 11123 1104 101
429 10363 -81 011 1119 (110)C> 101 11123 1104 101
430 10373 -85 011 1119 <B(110) 11124 1104 101
431 10376 -88 011 1118 <B(111) 110 11124 1104 101
432 10400 -112 011 <B(111) 1118 110 11124 1104 101
433 10418 -108 111 (110)C> 1118 110 11124 1104 101
434 10490 -84 1119 (110)C> 110 11124 1104 101
435 10497 -81 11110 (101)D> 11124 1104 101
436 10501 -85 11110 <B(011) 11124 1104 101
437 10504 -88 1119 <B(111) 011 11124 1104 101
438 10531 -115 <B(111) 1119 011 11124 1104 101
439 10541 -111 001 (110)C> 1119 011 11124 1104 101
440 10622 -84 001 1119 (110)C> 011 11124 1104 101
441 10628 -88 001 1119 <B(101) 11125 1104 101
442 10631 -91 001 1118 <B(111) 101 11125 1104 101
443 10655 -115 001 <B(111) 1118 101 11125 1104 101
444 10669 -111 011 (110)C> 1118 101 11125 1104 101
445 10741 -87 011 1118 (110)C> 101 11125 1104 101
446 10751 -91 011 1118 <B(110) 11126 1104 101
447 10754 -94 011 1117 <B(111) 110 11126 1104 101
448 10775 -115 011 <B(111) 1117 110 11126 1104 101
449 10793 -111 111 (110)C> 1117 110 11126 1104 101
450 10856 -90 1118 (110)C> 110 11126 1104 101
451 10863 -87 1119 (101)D> 11126 1104 101
452 10867 -91 1119 <B(011) 11126 1104 101
453 10870 -94 1118 <B(111) 011 11126 1104 101
454 10894 -118 <B(111) 1118 011 11126 1104 101
455 10904 -114 001 (110)C> 1118 011 11126 1104 101
456 10976 -90 001 1118 (110)C> 011 11126 1104 101
457 10982 -94 001 1118 <B(101) 11127 1104 101
458 10985 -97 001 1117 <B(111) 101 11127 1104 101
459 11006 -118 001 <B(111) 1117 101 11127 1104 101
460 11020 -114 011 (110)C> 1117 101 11127 1104 101
461 11083 -93 011 1117 (110)C> 101 11127 1104 101
462 11093 -97 011 1117 <B(110) 11128 1104 101
463 11096 -100 011 1116 <B(111) 110 11128 1104 101
464 11114 -118 011 <B(111) 1116 110 11128 1104 101
465 11132 -114 111 (110)C> 1116 110 11128 1104 101
466 11186 -96 1117 (110)C> 110 11128 1104 101
467 11193 -93 1118 (101)D> 11128 1104 101
468 11197 -97 1118 <B(011) 11128 1104 101
469 11200 -100 1117 <B(111) 011 11128 1104 101
470 11221 -121 <B(111) 1117 011 11128 1104 101
471 11231 -117 001 (110)C> 1117 011 11128 1104 101
472 11294 -96 001 1117 (110)C> 011 11128 1104 101
473 11300 -100 001 1117 <B(101) 11129 1104 101
474 11303 -103 001 1116 <B(111) 101 11129 1104 101
475 11321 -121 001 <B(111) 1116 101 11129 1104 101
476 11335 -117 011 (110)C> 1116 101 11129 1104 101
477 11389 -99 011 1116 (110)C> 101 11129 1104 101
478 11399 -103 011 1116 <B(110) 11130 1104 101
479 11402 -106 011 1115 <B(111) 110 11130 1104 101
480 11417 -121 011 <B(111) 1115 110 11130 1104 101
481 11435 -117 111 (110)C> 1115 110 11130 1104 101
482 11480 -102 1116 (110)C> 110 11130 1104 101
483 11487 -99 1117 (101)D> 11130 1104 101
484 11491 -103 1117 <B(011) 11130 1104 101
485 11494 -106 1116 <B(111) 011 11130 1104 101
486 11512 -124 <B(111) 1116 011 11130 1104 101
487 11522 -120 001 (110)C> 1116 011 11130 1104 101
488 11576 -102 001 1116 (110)C> 011 11130 1104 101
489 11582 -106 001 1116 <B(101) 11131 1104 101
490 11585 -109 001 1115 <B(111) 101 11131 1104 101
491 11600 -124 001 <B(111) 1115 101 11131 1104 101
492 11614 -120 011 (110)C> 1115 101 11131 1104 101
493 11659 -105 011 1115 (110)C> 101 11131 1104 101
494 11669 -109 011 1115 <B(110) 11132 1104 101
495 11672 -112 011 1114 <B(111) 110 11132 1104 101
496 11684 -124 011 <B(111) 1114 110 11132 1104 101
497 11702 -120 111 (110)C> 1114 110 11132 1104 101
498 11738 -108 1115 (110)C> 110 11132 1104 101
499 11745 -105 1116 (101)D> 11132 1104 101
500 11749 -109 1116 <B(011) 11132 1104 101
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 11749
Tape index: -109
ones: 126
log10(ones ): 2.100
log10(steps ): 4.070
Input to awk program:
gohalt 1
L 22
5T B1R B0L C0R B1L D1R A0L E1L F1L A1L D0L Z1R E1L : >6.4*10^462 >6.1*10^925
T 6-state TM #q from MaBu-List
M 501
pref sim
machv mbL6_q just simple
machv mbL6_q-r with repetitions reduced
machv mbL6_q-1 with tape symbol exponents
machv mbL6_q-m as 3-bck-macro machine
machv mbL6_q-a as 3-bck-macro machine with pure additive config-TRs
iam mbL6_q-m
mtype 3 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:16 CEST 2010
edate Tue Jul 6 22:11:17 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:16 CEST 2010