Comment: This TM produces 2,537,699,363,594,175,843,063 ones in >5.3*10^42 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C0R | 1 | right | B | 0 | right | C |
| B | A0L | D0R | 0 | left | A | 0 | right | D |
| C | D1R | H1R | 1 | right | D | 1 | right | H |
| D | E1L | D0L | 1 | left | E | 0 | left | D |
| E | F1R | B1L | 1 | right | F | 1 | left | B |
| 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 4 2 (01)D>
2 7 -1 <A(01) 10
3 18 2 11 (11)A> 10
4 20 4 112 (01)D>
5 23 1 112 <A(01) 10
6 29 -1 11 <B(11) 00 10
7 33 -3 <B(11) 01 00 10
8 41 -5 <E(10) 012 00 10
9 44 -2 01 (11)F> 012 00 10
10 46 0 01 11 (10)C> 01 00 10
11 51 -3 01 11 <B(11) 002 10
12 55 -5 01 <B(11) 01 002 10
13 62 -2 11 (11)E> 01 002 10
14 64 0 112 (11)E> 002 10
15 66 2 113 (11)A> 00 10
16 70 4 114 (01)D> 10
17 73 1 114 <E(10)
18 89 -7 <E(10) 104
19 92 -4 01 (11)F> 104
20 100 4 01 114 (11)F>
21 102 6 01 115 (11)B>
22 113 3 01 115 <E(10) 01
23 133 -7 01 <E(10) 105 01
24 135 -9 <A(01) 106 01
25 146 -6 11 (11)A> 106 01
26 148 -4 112 (01)D> 105 01
27 151 -7 112 <E(10) 00 104 01
28 159 -11 <E(10) 102 00 104 01
29 162 -8 01 (11)F> 102 00 104 01
30 166 -4 01 112 (11)F> 00 104 01
31 168 -2 01 113 (11)B> 104 01
32 172 0 01 114 (11)E> 103 01
33 177 -3 01 114 <B(11) 00 102 01
34 193 -11 01 <B(11) 014 00 102 01
35 200 -8 11 (11)E> 014 00 102 01
36 208 0 115 (11)E> 00 102 01
37 210 2 116 (11)A> 102 01
38 212 4 117 (01)D> 10 01
39 215 1 117 <E(10) 00 01
40 243 -13 <E(10) 107 00 01
41 246 -10 01 (11)F> 107 00 01
42 260 4 01 117 (11)F> 00 01
43 262 6 01 118 (11)B> 01
44 269 3 01 118 <B(11)
45 301 -13 01 <B(11) 018
46 308 -10 11 (11)E> 018
47 324 6 119 (11)E>
48 326 8 1110 (11)A>
49 330 10 1111 (01)D>
50 333 7 1111 <A(01) 10
51 339 5 1110 <B(11) 00 10
52 379 -15 <B(11) 0110 00 10
53 387 -17 <E(10) 0111 00 10
54 390 -14 01 (11)F> 0111 00 10
55 392 -12 01 11 (10)C> 0110 00 10
56 397 -15 01 11 <B(11) 00 019 00 10
57 401 -17 01 <B(11) 01 00 019 00 10
58 408 -14 11 (11)E> 01 00 019 00 10
59 410 -12 112 (11)E> 00 019 00 10
60 412 -10 113 (11)A> 019 00 10
61 414 -8 114 (10)D> 018 00 10
62 425 -11 114 <E(10) 10 017 00 10
63 441 -19 <E(10) 105 017 00 10
64 444 -16 01 (11)F> 105 017 00 10
65 454 -6 01 115 (11)F> 017 00 10
66 456 -4 01 116 (10)C> 016 00 10
67 461 -7 01 116 <B(11) 00 015 00 10
68 485 -19 01 <B(11) 016 00 015 00 10
69 492 -16 11 (11)E> 016 00 015 00 10
70 504 -4 117 (11)E> 00 015 00 10
71 506 -2 118 (11)A> 015 00 10
72 508 0 119 (10)D> 014 00 10
73 519 -3 119 <E(10) 10 013 00 10
74 555 -21 <E(10) 1010 013 00 10
75 558 -18 01 (11)F> 1010 013 00 10
76 578 2 01 1110 (11)F> 013 00 10
77 580 4 01 1111 (10)C> 012 00 10
78 585 1 01 1111 <B(11) 00 01 00 10
79 629 -21 01 <B(11) 0111 00 01 00 10
80 636 -18 11 (11)E> 0111 00 01 00 10
81 658 4 1112 (11)E> 00 01 00 10
82 660 6 1113 (11)A> 01 00 10
83 662 8 1114 (10)D> 00 10
84 666 10 1115 (11)F> 10
85 668 12 1116 (11)F>
86 670 14 1117 (11)B>
87 681 11 1117 <E(10) 01
88 749 -23 <E(10) 1017 01
89 752 -20 01 (11)F> 1017 01
90 786 14 01 1117 (11)F> 01
91 788 16 01 1118 (10)C>
92 797 13 01 1118 <E(10) 01
93 869 -23 01 <E(10) 1018 01
94 871 -25 <A(01) 1019 01
95 882 -22 11 (11)A> 1019 01
96 884 -20 112 (01)D> 1018 01
97 887 -23 112 <E(10) 00 1017 01
98 895 -27 <E(10) 102 00 1017 01
99 898 -24 01 (11)F> 102 00 1017 01
100 902 -20 01 112 (11)F> 00 1017 01
101 904 -18 01 113 (11)B> 1017 01
102 908 -16 01 114 (11)E> 1016 01
103 913 -19 01 114 <B(11) 00 1015 01
104 929 -27 01 <B(11) 014 00 1015 01
105 936 -24 11 (11)E> 014 00 1015 01
106 944 -16 115 (11)E> 00 1015 01
107 946 -14 116 (11)A> 1015 01
108 948 -12 117 (01)D> 1014 01
109 951 -15 117 <E(10) 00 1013 01
110 979 -29 <E(10) 107 00 1013 01
111 982 -26 01 (11)F> 107 00 1013 01
112 996 -12 01 117 (11)F> 00 1013 01
113 998 -10 01 118 (11)B> 1013 01
114 1002 -8 01 119 (11)E> 1012 01
115 1007 -11 01 119 <B(11) 00 1011 01
116 1043 -29 01 <B(11) 019 00 1011 01
117 1050 -26 11 (11)E> 019 00 1011 01
118 1068 -8 1110 (11)E> 00 1011 01
119 1070 -6 1111 (11)A> 1011 01
120 1072 -4 1112 (01)D> 1010 01
121 1075 -7 1112 <E(10) 00 109 01
122 1123 -31 <E(10) 1012 00 109 01
123 1126 -28 01 (11)F> 1012 00 109 01
124 1150 -4 01 1112 (11)F> 00 109 01
125 1152 -2 01 1113 (11)B> 109 01
126 1156 0 01 1114 (11)E> 108 01
127 1161 -3 01 1114 <B(11) 00 107 01
128 1217 -31 01 <B(11) 0114 00 107 01
129 1224 -28 11 (11)E> 0114 00 107 01
130 1252 0 1115 (11)E> 00 107 01
131 1254 2 1116 (11)A> 107 01
132 1256 4 1117 (01)D> 106 01
133 1259 1 1117 <E(10) 00 105 01
134 1327 -33 <E(10) 1017 00 105 01
135 1330 -30 01 (11)F> 1017 00 105 01
136 1364 4 01 1117 (11)F> 00 105 01
137 1366 6 01 1118 (11)B> 105 01
138 1370 8 01 1119 (11)E> 104 01
139 1375 5 01 1119 <B(11) 00 103 01
140 1451 -33 01 <B(11) 0119 00 103 01
141 1458 -30 11 (11)E> 0119 00 103 01
142 1496 8 1120 (11)E> 00 103 01
143 1498 10 1121 (11)A> 103 01
144 1500 12 1122 (01)D> 102 01
145 1503 9 1122 <E(10) 00 10 01
146 1591 -35 <E(10) 1022 00 10 01
147 1594 -32 01 (11)F> 1022 00 10 01
148 1638 12 01 1122 (11)F> 00 10 01
149 1640 14 01 1123 (11)B> 10 01
150 1644 16 01 1124 (11)E> 01
151 1646 18 01 1125 (11)E>
152 1648 20 01 1126 (11)A>
153 1652 22 01 1127 (01)D>
154 1655 19 01 1127 <A(01) 10
155 1661 17 01 1126 <B(11) 00 10
156 1765 -35 01 <B(11) 0126 00 10
157 1772 -32 11 (11)E> 0126 00 10
158 1824 20 1127 (11)E> 00 10
159 1826 22 1128 (11)A> 10
160 1828 24 1129 (01)D>
161 1831 21 1129 <A(01) 10
162 1837 19 1128 <B(11) 00 10
163 1949 -37 <B(11) 0128 00 10
164 1957 -39 <E(10) 0129 00 10
165 1960 -36 01 (11)F> 0129 00 10
166 1962 -34 01 11 (10)C> 0128 00 10
167 1967 -37 01 11 <B(11) 00 0127 00 10
168 1971 -39 01 <B(11) 01 00 0127 00 10
169 1978 -36 11 (11)E> 01 00 0127 00 10
170 1980 -34 112 (11)E> 00 0127 00 10
171 1982 -32 113 (11)A> 0127 00 10
172 1984 -30 114 (10)D> 0126 00 10
173 1995 -33 114 <E(10) 10 0125 00 10
174 2011 -41 <E(10) 105 0125 00 10
175 2014 -38 01 (11)F> 105 0125 00 10
176 2024 -28 01 115 (11)F> 0125 00 10
177 2026 -26 01 116 (10)C> 0124 00 10
178 2031 -29 01 116 <B(11) 00 0123 00 10
179 2055 -41 01 <B(11) 016 00 0123 00 10
180 2062 -38 11 (11)E> 016 00 0123 00 10
181 2074 -26 117 (11)E> 00 0123 00 10
182 2076 -24 118 (11)A> 0123 00 10
183 2078 -22 119 (10)D> 0122 00 10
184 2089 -25 119 <E(10) 10 0121 00 10
185 2125 -43 <E(10) 1010 0121 00 10
186 2128 -40 01 (11)F> 1010 0121 00 10
187 2148 -20 01 1110 (11)F> 0121 00 10
188 2150 -18 01 1111 (10)C> 0120 00 10
189 2155 -21 01 1111 <B(11) 00 0119 00 10
190 2199 -43 01 <B(11) 0111 00 0119 00 10
191 2206 -40 11 (11)E> 0111 00 0119 00 10
192 2228 -18 1112 (11)E> 00 0119 00 10
193 2230 -16 1113 (11)A> 0119 00 10
194 2232 -14 1114 (10)D> 0118 00 10
195 2243 -17 1114 <E(10) 10 0117 00 10
196 2299 -45 <E(10) 1015 0117 00 10
197 2302 -42 01 (11)F> 1015 0117 00 10
198 2332 -12 01 1115 (11)F> 0117 00 10
199 2334 -10 01 1116 (10)C> 0116 00 10
200 2339 -13 01 1116 <B(11) 00 0115 00 10
201 2403 -45 01 <B(11) 0116 00 0115 00 10
202 2410 -42 11 (11)E> 0116 00 0115 00 10
203 2442 -10 1117 (11)E> 00 0115 00 10
204 2444 -8 1118 (11)A> 0115 00 10
205 2446 -6 1119 (10)D> 0114 00 10
206 2457 -9 1119 <E(10) 10 0113 00 10
207 2533 -47 <E(10) 1020 0113 00 10
208 2536 -44 01 (11)F> 1020 0113 00 10
209 2576 -4 01 1120 (11)F> 0113 00 10
210 2578 -2 01 1121 (10)C> 0112 00 10
211 2583 -5 01 1121 <B(11) 00 0111 00 10
212 2667 -47 01 <B(11) 0121 00 0111 00 10
213 2674 -44 11 (11)E> 0121 00 0111 00 10
214 2716 -2 1122 (11)E> 00 0111 00 10
215 2718 0 1123 (11)A> 0111 00 10
216 2720 2 1124 (10)D> 0110 00 10
217 2731 -1 1124 <E(10) 10 019 00 10
218 2827 -49 <E(10) 1025 019 00 10
219 2830 -46 01 (11)F> 1025 019 00 10
220 2880 4 01 1125 (11)F> 019 00 10
221 2882 6 01 1126 (10)C> 018 00 10
222 2887 3 01 1126 <B(11) 00 017 00 10
223 2991 -49 01 <B(11) 0126 00 017 00 10
224 2998 -46 11 (11)E> 0126 00 017 00 10
225 3050 6 1127 (11)E> 00 017 00 10
226 3052 8 1128 (11)A> 017 00 10
227 3054 10 1129 (10)D> 016 00 10
228 3065 7 1129 <E(10) 10 015 00 10
229 3181 -51 <E(10) 1030 015 00 10
230 3184 -48 01 (11)F> 1030 015 00 10
231 3244 12 01 1130 (11)F> 015 00 10
232 3246 14 01 1131 (10)C> 014 00 10
233 3251 11 01 1131 <B(11) 00 013 00 10
234 3375 -51 01 <B(11) 0131 00 013 00 10
235 3382 -48 11 (11)E> 0131 00 013 00 10
236 3444 14 1132 (11)E> 00 013 00 10
237 3446 16 1133 (11)A> 013 00 10
238 3448 18 1134 (10)D> 012 00 10
239 3459 15 1134 <E(10) 10 01 00 10
240 3595 -53 <E(10) 1035 01 00 10
241 3598 -50 01 (11)F> 1035 01 00 10
242 3668 20 01 1135 (11)F> 01 00 10
243 3670 22 01 1136 (10)C> 00 10
244 3679 19 01 1136 <E(10) 01 10
245 3823 -53 01 <E(10) 1036 01 10
246 3825 -55 <A(01) 1037 01 10
247 3836 -52 11 (11)A> 1037 01 10
248 3838 -50 112 (01)D> 1036 01 10
249 3841 -53 112 <E(10) 00 1035 01 10
250 3849 -57 <E(10) 102 00 1035 01 10
251 3852 -54 01 (11)F> 102 00 1035 01 10
252 3856 -50 01 112 (11)F> 00 1035 01 10
253 3858 -48 01 113 (11)B> 1035 01 10
254 3862 -46 01 114 (11)E> 1034 01 10
255 3867 -49 01 114 <B(11) 00 1033 01 10
256 3883 -57 01 <B(11) 014 00 1033 01 10
257 3890 -54 11 (11)E> 014 00 1033 01 10
258 3898 -46 115 (11)E> 00 1033 01 10
259 3900 -44 116 (11)A> 1033 01 10
260 3902 -42 117 (01)D> 1032 01 10
261 3905 -45 117 <E(10) 00 1031 01 10
262 3933 -59 <E(10) 107 00 1031 01 10
263 3936 -56 01 (11)F> 107 00 1031 01 10
264 3950 -42 01 117 (11)F> 00 1031 01 10
265 3952 -40 01 118 (11)B> 1031 01 10
266 3956 -38 01 119 (11)E> 1030 01 10
267 3961 -41 01 119 <B(11) 00 1029 01 10
268 3997 -59 01 <B(11) 019 00 1029 01 10
269 4004 -56 11 (11)E> 019 00 1029 01 10
270 4022 -38 1110 (11)E> 00 1029 01 10
271 4024 -36 1111 (11)A> 1029 01 10
272 4026 -34 1112 (01)D> 1028 01 10
273 4029 -37 1112 <E(10) 00 1027 01 10
274 4077 -61 <E(10) 1012 00 1027 01 10
275 4080 -58 01 (11)F> 1012 00 1027 01 10
276 4104 -34 01 1112 (11)F> 00 1027 01 10
277 4106 -32 01 1113 (11)B> 1027 01 10
278 4110 -30 01 1114 (11)E> 1026 01 10
279 4115 -33 01 1114 <B(11) 00 1025 01 10
280 4171 -61 01 <B(11) 0114 00 1025 01 10
281 4178 -58 11 (11)E> 0114 00 1025 01 10
282 4206 -30 1115 (11)E> 00 1025 01 10
283 4208 -28 1116 (11)A> 1025 01 10
284 4210 -26 1117 (01)D> 1024 01 10
285 4213 -29 1117 <E(10) 00 1023 01 10
286 4281 -63 <E(10) 1017 00 1023 01 10
287 4284 -60 01 (11)F> 1017 00 1023 01 10
288 4318 -26 01 1117 (11)F> 00 1023 01 10
289 4320 -24 01 1118 (11)B> 1023 01 10
290 4324 -22 01 1119 (11)E> 1022 01 10
291 4329 -25 01 1119 <B(11) 00 1021 01 10
292 4405 -63 01 <B(11) 0119 00 1021 01 10
293 4412 -60 11 (11)E> 0119 00 1021 01 10
294 4450 -22 1120 (11)E> 00 1021 01 10
295 4452 -20 1121 (11)A> 1021 01 10
296 4454 -18 1122 (01)D> 1020 01 10
297 4457 -21 1122 <E(10) 00 1019 01 10
298 4545 -65 <E(10) 1022 00 1019 01 10
299 4548 -62 01 (11)F> 1022 00 1019 01 10
300 4592 -18 01 1122 (11)F> 00 1019 01 10
301 4594 -16 01 1123 (11)B> 1019 01 10
302 4598 -14 01 1124 (11)E> 1018 01 10
303 4603 -17 01 1124 <B(11) 00 1017 01 10
304 4699 -65 01 <B(11) 0124 00 1017 01 10
305 4706 -62 11 (11)E> 0124 00 1017 01 10
306 4754 -14 1125 (11)E> 00 1017 01 10
307 4756 -12 1126 (11)A> 1017 01 10
308 4758 -10 1127 (01)D> 1016 01 10
309 4761 -13 1127 <E(10) 00 1015 01 10
310 4869 -67 <E(10) 1027 00 1015 01 10
311 4872 -64 01 (11)F> 1027 00 1015 01 10
312 4926 -10 01 1127 (11)F> 00 1015 01 10
313 4928 -8 01 1128 (11)B> 1015 01 10
314 4932 -6 01 1129 (11)E> 1014 01 10
315 4937 -9 01 1129 <B(11) 00 1013 01 10
316 5053 -67 01 <B(11) 0129 00 1013 01 10
317 5060 -64 11 (11)E> 0129 00 1013 01 10
318 5118 -6 1130 (11)E> 00 1013 01 10
319 5120 -4 1131 (11)A> 1013 01 10
320 5122 -2 1132 (01)D> 1012 01 10
321 5125 -5 1132 <E(10) 00 1011 01 10
322 5253 -69 <E(10) 1032 00 1011 01 10
323 5256 -66 01 (11)F> 1032 00 1011 01 10
324 5320 -2 01 1132 (11)F> 00 1011 01 10
325 5322 0 01 1133 (11)B> 1011 01 10
326 5326 2 01 1134 (11)E> 1010 01 10
327 5331 -1 01 1134 <B(11) 00 109 01 10
328 5467 -69 01 <B(11) 0134 00 109 01 10
329 5474 -66 11 (11)E> 0134 00 109 01 10
330 5542 2 1135 (11)E> 00 109 01 10
331 5544 4 1136 (11)A> 109 01 10
332 5546 6 1137 (01)D> 108 01 10
333 5549 3 1137 <E(10) 00 107 01 10
334 5697 -71 <E(10) 1037 00 107 01 10
335 5700 -68 01 (11)F> 1037 00 107 01 10
336 5774 6 01 1137 (11)F> 00 107 01 10
337 5776 8 01 1138 (11)B> 107 01 10
338 5780 10 01 1139 (11)E> 106 01 10
339 5785 7 01 1139 <B(11) 00 105 01 10
340 5941 -71 01 <B(11) 0139 00 105 01 10
341 5948 -68 11 (11)E> 0139 00 105 01 10
342 6026 10 1140 (11)E> 00 105 01 10
343 6028 12 1141 (11)A> 105 01 10
344 6030 14 1142 (01)D> 104 01 10
345 6033 11 1142 <E(10) 00 103 01 10
346 6201 -73 <E(10) 1042 00 103 01 10
347 6204 -70 01 (11)F> 1042 00 103 01 10
348 6288 14 01 1142 (11)F> 00 103 01 10
349 6290 16 01 1143 (11)B> 103 01 10
350 6294 18 01 1144 (11)E> 102 01 10
351 6299 15 01 1144 <B(11) 00 10 01 10
352 6475 -73 01 <B(11) 0144 00 10 01 10
353 6482 -70 11 (11)E> 0144 00 10 01 10
354 6570 18 1145 (11)E> 00 10 01 10
355 6572 20 1146 (11)A> 10 01 10
356 6574 22 1147 (01)D> 01 10
357 6577 19 1147 <A(01) 11 10
358 6583 17 1146 <B(11) 00 11 10
359 6767 -75 <B(11) 0146 00 11 10
360 6775 -77 <E(10) 0147 00 11 10
361 6778 -74 01 (11)F> 0147 00 11 10
362 6780 -72 01 11 (10)C> 0146 00 11 10
363 6785 -75 01 11 <B(11) 00 0145 00 11 10
364 6789 -77 01 <B(11) 01 00 0145 00 11 10
365 6796 -74 11 (11)E> 01 00 0145 00 11 10
366 6798 -72 112 (11)E> 00 0145 00 11 10
367 6800 -70 113 (11)A> 0145 00 11 10
368 6802 -68 114 (10)D> 0144 00 11 10
369 6813 -71 114 <E(10) 10 0143 00 11 10
370 6829 -79 <E(10) 105 0143 00 11 10
371 6832 -76 01 (11)F> 105 0143 00 11 10
372 6842 -66 01 115 (11)F> 0143 00 11 10
373 6844 -64 01 116 (10)C> 0142 00 11 10
374 6849 -67 01 116 <B(11) 00 0141 00 11 10
375 6873 -79 01 <B(11) 016 00 0141 00 11 10
376 6880 -76 11 (11)E> 016 00 0141 00 11 10
377 6892 -64 117 (11)E> 00 0141 00 11 10
378 6894 -62 118 (11)A> 0141 00 11 10
379 6896 -60 119 (10)D> 0140 00 11 10
380 6907 -63 119 <E(10) 10 0139 00 11 10
381 6943 -81 <E(10) 1010 0139 00 11 10
382 6946 -78 01 (11)F> 1010 0139 00 11 10
383 6966 -58 01 1110 (11)F> 0139 00 11 10
384 6968 -56 01 1111 (10)C> 0138 00 11 10
385 6973 -59 01 1111 <B(11) 00 0137 00 11 10
386 7017 -81 01 <B(11) 0111 00 0137 00 11 10
387 7024 -78 11 (11)E> 0111 00 0137 00 11 10
388 7046 -56 1112 (11)E> 00 0137 00 11 10
389 7048 -54 1113 (11)A> 0137 00 11 10
390 7050 -52 1114 (10)D> 0136 00 11 10
391 7061 -55 1114 <E(10) 10 0135 00 11 10
392 7117 -83 <E(10) 1015 0135 00 11 10
393 7120 -80 01 (11)F> 1015 0135 00 11 10
394 7150 -50 01 1115 (11)F> 0135 00 11 10
395 7152 -48 01 1116 (10)C> 0134 00 11 10
396 7157 -51 01 1116 <B(11) 00 0133 00 11 10
397 7221 -83 01 <B(11) 0116 00 0133 00 11 10
398 7228 -80 11 (11)E> 0116 00 0133 00 11 10
399 7260 -48 1117 (11)E> 00 0133 00 11 10
400 7262 -46 1118 (11)A> 0133 00 11 10
401 7264 -44 1119 (10)D> 0132 00 11 10
402 7275 -47 1119 <E(10) 10 0131 00 11 10
403 7351 -85 <E(10) 1020 0131 00 11 10
404 7354 -82 01 (11)F> 1020 0131 00 11 10
405 7394 -42 01 1120 (11)F> 0131 00 11 10
406 7396 -40 01 1121 (10)C> 0130 00 11 10
407 7401 -43 01 1121 <B(11) 00 0129 00 11 10
408 7485 -85 01 <B(11) 0121 00 0129 00 11 10
409 7492 -82 11 (11)E> 0121 00 0129 00 11 10
410 7534 -40 1122 (11)E> 00 0129 00 11 10
411 7536 -38 1123 (11)A> 0129 00 11 10
412 7538 -36 1124 (10)D> 0128 00 11 10
413 7549 -39 1124 <E(10) 10 0127 00 11 10
414 7645 -87 <E(10) 1025 0127 00 11 10
415 7648 -84 01 (11)F> 1025 0127 00 11 10
416 7698 -34 01 1125 (11)F> 0127 00 11 10
417 7700 -32 01 1126 (10)C> 0126 00 11 10
418 7705 -35 01 1126 <B(11) 00 0125 00 11 10
419 7809 -87 01 <B(11) 0126 00 0125 00 11 10
420 7816 -84 11 (11)E> 0126 00 0125 00 11 10
421 7868 -32 1127 (11)E> 00 0125 00 11 10
422 7870 -30 1128 (11)A> 0125 00 11 10
423 7872 -28 1129 (10)D> 0124 00 11 10
424 7883 -31 1129 <E(10) 10 0123 00 11 10
425 7999 -89 <E(10) 1030 0123 00 11 10
426 8002 -86 01 (11)F> 1030 0123 00 11 10
427 8062 -26 01 1130 (11)F> 0123 00 11 10
428 8064 -24 01 1131 (10)C> 0122 00 11 10
429 8069 -27 01 1131 <B(11) 00 0121 00 11 10
430 8193 -89 01 <B(11) 0131 00 0121 00 11 10
431 8200 -86 11 (11)E> 0131 00 0121 00 11 10
432 8262 -24 1132 (11)E> 00 0121 00 11 10
433 8264 -22 1133 (11)A> 0121 00 11 10
434 8266 -20 1134 (10)D> 0120 00 11 10
435 8277 -23 1134 <E(10) 10 0119 00 11 10
436 8413 -91 <E(10) 1035 0119 00 11 10
437 8416 -88 01 (11)F> 1035 0119 00 11 10
438 8486 -18 01 1135 (11)F> 0119 00 11 10
439 8488 -16 01 1136 (10)C> 0118 00 11 10
440 8493 -19 01 1136 <B(11) 00 0117 00 11 10
441 8637 -91 01 <B(11) 0136 00 0117 00 11 10
442 8644 -88 11 (11)E> 0136 00 0117 00 11 10
443 8716 -16 1137 (11)E> 00 0117 00 11 10
444 8718 -14 1138 (11)A> 0117 00 11 10
445 8720 -12 1139 (10)D> 0116 00 11 10
446 8731 -15 1139 <E(10) 10 0115 00 11 10
447 8887 -93 <E(10) 1040 0115 00 11 10
448 8890 -90 01 (11)F> 1040 0115 00 11 10
449 8970 -10 01 1140 (11)F> 0115 00 11 10
450 8972 -8 01 1141 (10)C> 0114 00 11 10
451 8977 -11 01 1141 <B(11) 00 0113 00 11 10
452 9141 -93 01 <B(11) 0141 00 0113 00 11 10
453 9148 -90 11 (11)E> 0141 00 0113 00 11 10
454 9230 -8 1142 (11)E> 00 0113 00 11 10
455 9232 -6 1143 (11)A> 0113 00 11 10
456 9234 -4 1144 (10)D> 0112 00 11 10
457 9245 -7 1144 <E(10) 10 0111 00 11 10
458 9421 -95 <E(10) 1045 0111 00 11 10
459 9424 -92 01 (11)F> 1045 0111 00 11 10
460 9514 -2 01 1145 (11)F> 0111 00 11 10
461 9516 0 01 1146 (10)C> 0110 00 11 10
462 9521 -3 01 1146 <B(11) 00 019 00 11 10
463 9705 -95 01 <B(11) 0146 00 019 00 11 10
464 9712 -92 11 (11)E> 0146 00 019 00 11 10
465 9804 0 1147 (11)E> 00 019 00 11 10
466 9806 2 1148 (11)A> 019 00 11 10
467 9808 4 1149 (10)D> 018 00 11 10
468 9819 1 1149 <E(10) 10 017 00 11 10
469 10015 -97 <E(10) 1050 017 00 11 10
470 10018 -94 01 (11)F> 1050 017 00 11 10
471 10118 6 01 1150 (11)F> 017 00 11 10
472 10120 8 01 1151 (10)C> 016 00 11 10
473 10125 5 01 1151 <B(11) 00 015 00 11 10
474 10329 -97 01 <B(11) 0151 00 015 00 11 10
475 10336 -94 11 (11)E> 0151 00 015 00 11 10
476 10438 8 1152 (11)E> 00 015 00 11 10
477 10440 10 1153 (11)A> 015 00 11 10
478 10442 12 1154 (10)D> 014 00 11 10
479 10453 9 1154 <E(10) 10 013 00 11 10
480 10669 -99 <E(10) 1055 013 00 11 10
481 10672 -96 01 (11)F> 1055 013 00 11 10
482 10782 14 01 1155 (11)F> 013 00 11 10
483 10784 16 01 1156 (10)C> 012 00 11 10
484 10789 13 01 1156 <B(11) 00 01 00 11 10
485 11013 -99 01 <B(11) 0156 00 01 00 11 10
486 11020 -96 11 (11)E> 0156 00 01 00 11 10
487 11132 16 1157 (11)E> 00 01 00 11 10
488 11134 18 1158 (11)A> 01 00 11 10
489 11136 20 1159 (10)D> 00 11 10
490 11140 22 1160 (11)F> 11 10
491 11149 19 1160 <E(10) 102
492 11389 -101 <E(10) 1062
493 11392 -98 01 (11)F> 1062
494 11516 26 01 1162 (11)F>
495 11518 28 01 1163 (11)B>
496 11529 25 01 1163 <E(10) 01
497 11781 -101 01 <E(10) 1063 01
498 11783 -103 <A(01) 1064 01
499 11794 -100 11 (11)A> 1064 01
500 11796 -98 112 (01)D> 1063 01
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 11796
Tape index: -98
ones: 69
log10(ones ): 1.839
log10(steps ): 4.072
Input to awk program:
gohalt 1
5T B1R C0R A0L D0R D1R H1R E1L D0L F1R B1L A1R E1R : 2,537,699,363,594,175,843,063 >5.3*10^42
T 6-state TM #3 from MaBu-List
M 501
pref sim
machv mbL6_3 just simple
machv mbL6_3-r with repetitions reduced
machv mbL6_3-1 with tape symbol exponents
machv mbL6_3-m as 2-bck-macro machine
machv mbL6_3-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_3-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:32 CEST 2010
edate Tue Jul 6 22:10:32 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:10:32 CEST 2010