Comment: This TM produces 95524079 ones in 8690333381690951 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | A1R | 1 | right | B | 1 | right | A |
| B | C1L | B1L | 1 | left | C | 1 | left | B |
| C | F0R | D1L | 0 | right | F | 1 | left | D |
| D | A1R | E0L | 1 | right | A | 0 | left | E |
| E | H1L | F1L | 1 | left | H | 1 | left | F |
| F | A0L | C0L | 0 | left | A | 0 | left | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-bck-2-macro machine.
The same TM as 2-bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 17 -3 <D(11) 1011
2 20 0 0001 (11)A> 1011
3 27 -3 0001 <B(11) 1111
4 42 0 1111 (11)A> 1111
5 46 4 11112 (11)A>
6 51 1 11112 <F(10) 1100
7 59 -7 <F(10) 10102 1100
8 68 -4 0111 (11)B> 10102 1100
9 71 -7 0111 <B(11) 10102 1100
10 75 -11 <C(11) 1111 10102 1100
11 86 -8 0011 (11)A> 1111 10102 1100
12 90 -4 0011 1111 (11)A> 10102 1100
13 97 -7 0011 1111 <B(11) 1110 1010 1100
14 101 -11 0011 <B(11) 1111 1110 1010 1100
15 111 -15 <D(11) 11112 1110 1010 1100
16 114 -12 0001 (11)A> 11112 1110 1010 1100
17 122 -4 0001 11112 (11)A> 1110 1010 1100
18 126 0 0001 11113 (11)B> 1010 1100
19 129 -3 0001 11113 <B(11) 1010 1100
20 141 -15 0001 <B(11) 11113 1010 1100
21 156 -12 1111 (11)A> 11113 1010 1100
22 168 0 11114 (11)A> 1010 1100
23 175 -3 11114 <B(11) 1110 1100
24 191 -19 <B(11) 11114 1110 1100
25 204 -16 0111 (11)A> 11114 1110 1100
26 220 0 0111 11114 (11)A> 1110 1100
27 224 4 0111 11115 (11)B> 1100
28 227 1 0111 11115 <B(11) 1100
29 247 -19 0111 <B(11) 11115 1100
30 251 -23 <C(11) 11116 1100
31 262 -20 0011 (11)A> 11116 1100
32 286 4 0011 11116 (11)A> 1100
33 295 1 0011 11116 <D(10) 1011
34 319 -23 0011 <D(10) 10106 1011
35 325 -27 <D(11) 10107 1011
36 328 -24 0001 (11)A> 10107 1011
37 335 -27 0001 <B(11) 1110 10106 1011
38 350 -24 1111 (11)A> 1110 10106 1011
39 354 -20 11112 (11)B> 10106 1011
40 357 -23 11112 <B(11) 10106 1011
41 365 -31 <B(11) 11112 10106 1011
42 378 -28 0111 (11)A> 11112 10106 1011
43 386 -20 0111 11112 (11)A> 10106 1011
44 393 -23 0111 11112 <B(11) 1110 10105 1011
45 401 -31 0111 <B(11) 11112 1110 10105 1011
46 405 -35 <C(11) 11113 1110 10105 1011
47 416 -32 0011 (11)A> 11113 1110 10105 1011
48 428 -20 0011 11113 (11)A> 1110 10105 1011
49 432 -16 0011 11114 (11)B> 10105 1011
50 435 -19 0011 11114 <B(11) 10105 1011
51 451 -35 0011 <B(11) 11114 10105 1011
52 461 -39 <D(11) 11115 10105 1011
53 464 -36 0001 (11)A> 11115 10105 1011
54 484 -16 0001 11115 (11)A> 10105 1011
55 491 -19 0001 11115 <B(11) 1110 10104 1011
56 511 -39 0001 <B(11) 11115 1110 10104 1011
57 526 -36 1111 (11)A> 11115 1110 10104 1011
58 546 -16 11116 (11)A> 1110 10104 1011
59 550 -12 11117 (11)B> 10104 1011
60 553 -15 11117 <B(11) 10104 1011
61 581 -43 <B(11) 11117 10104 1011
62 594 -40 0111 (11)A> 11117 10104 1011
63 622 -12 0111 11117 (11)A> 10104 1011
64 629 -15 0111 11117 <B(11) 1110 10103 1011
65 657 -43 0111 <B(11) 11117 1110 10103 1011
66 661 -47 <C(11) 11118 1110 10103 1011
67 672 -44 0011 (11)A> 11118 1110 10103 1011
68 704 -12 0011 11118 (11)A> 1110 10103 1011
69 708 -8 0011 11119 (11)B> 10103 1011
70 711 -11 0011 11119 <B(11) 10103 1011
71 747 -47 0011 <B(11) 11119 10103 1011
72 757 -51 <D(11) 111110 10103 1011
73 760 -48 0001 (11)A> 111110 10103 1011
74 800 -8 0001 111110 (11)A> 10103 1011
75 807 -11 0001 111110 <B(11) 1110 10102 1011
76 847 -51 0001 <B(11) 111110 1110 10102 1011
77 862 -48 1111 (11)A> 111110 1110 10102 1011
78 902 -8 111111 (11)A> 1110 10102 1011
79 906 -4 111112 (11)B> 10102 1011
80 909 -7 111112 <B(11) 10102 1011
81 957 -55 <B(11) 111112 10102 1011
82 970 -52 0111 (11)A> 111112 10102 1011
83 1018 -4 0111 111112 (11)A> 10102 1011
84 1025 -7 0111 111112 <B(11) 1110 1010 1011
85 1073 -55 0111 <B(11) 111112 1110 1010 1011
86 1077 -59 <C(11) 111113 1110 1010 1011
87 1088 -56 0011 (11)A> 111113 1110 1010 1011
88 1140 -4 0011 111113 (11)A> 1110 1010 1011
89 1144 0 0011 111114 (11)B> 1010 1011
90 1147 -3 0011 111114 <B(11) 1010 1011
91 1203 -59 0011 <B(11) 111114 1010 1011
92 1213 -63 <D(11) 111115 1010 1011
93 1216 -60 0001 (11)A> 111115 1010 1011
94 1276 0 0001 111115 (11)A> 1010 1011
95 1283 -3 0001 111115 <B(11) 1110 1011
96 1343 -63 0001 <B(11) 111115 1110 1011
97 1358 -60 1111 (11)A> 111115 1110 1011
98 1418 0 111116 (11)A> 1110 1011
99 1422 4 111117 (11)B> 1011
100 1425 1 111117 <B(11) 1011
101 1493 -67 <B(11) 111117 1011
102 1506 -64 0111 (11)A> 111117 1011
103 1574 4 0111 111117 (11)A> 1011
104 1581 1 0111 111117 <B(11) 1111
105 1649 -67 0111 <B(11) 111118
106 1653 -71 <C(11) 111119
107 1664 -68 0011 (11)A> 111119
108 1740 8 0011 111119 (11)A>
109 1745 5 0011 111119 <F(10) 1100
110 1821 -71 0011 <F(10) 101019 1100
111 1831 -75 <C(11) 1110 101019 1100
112 1842 -72 0011 (11)A> 1110 101019 1100
113 1846 -68 0011 1111 (11)B> 101019 1100
114 1849 -71 0011 1111 <B(11) 101019 1100
115 1853 -75 0011 <B(11) 1111 101019 1100
116 1863 -79 <D(11) 11112 101019 1100
117 1866 -76 0001 (11)A> 11112 101019 1100
118 1874 -68 0001 11112 (11)A> 101019 1100
119 1881 -71 0001 11112 <B(11) 1110 101018 1100
120 1889 -79 0001 <B(11) 11112 1110 101018 1100
121 1904 -76 1111 (11)A> 11112 1110 101018 1100
122 1912 -68 11113 (11)A> 1110 101018 1100
123 1916 -64 11114 (11)B> 101018 1100
124 1919 -67 11114 <B(11) 101018 1100
125 1935 -83 <B(11) 11114 101018 1100
126 1948 -80 0111 (11)A> 11114 101018 1100
127 1964 -64 0111 11114 (11)A> 101018 1100
128 1971 -67 0111 11114 <B(11) 1110 101017 1100
129 1987 -83 0111 <B(11) 11114 1110 101017 1100
130 1991 -87 <C(11) 11115 1110 101017 1100
131 2002 -84 0011 (11)A> 11115 1110 101017 1100
132 2022 -64 0011 11115 (11)A> 1110 101017 1100
133 2026 -60 0011 11116 (11)B> 101017 1100
134 2029 -63 0011 11116 <B(11) 101017 1100
135 2053 -87 0011 <B(11) 11116 101017 1100
136 2063 -91 <D(11) 11117 101017 1100
137 2066 -88 0001 (11)A> 11117 101017 1100
138 2094 -60 0001 11117 (11)A> 101017 1100
139 2101 -63 0001 11117 <B(11) 1110 101016 1100
140 2129 -91 0001 <B(11) 11117 1110 101016 1100
141 2144 -88 1111 (11)A> 11117 1110 101016 1100
142 2172 -60 11118 (11)A> 1110 101016 1100
143 2176 -56 11119 (11)B> 101016 1100
144 2179 -59 11119 <B(11) 101016 1100
145 2215 -95 <B(11) 11119 101016 1100
146 2228 -92 0111 (11)A> 11119 101016 1100
147 2264 -56 0111 11119 (11)A> 101016 1100
148 2271 -59 0111 11119 <B(11) 1110 101015 1100
149 2307 -95 0111 <B(11) 11119 1110 101015 1100
150 2311 -99 <C(11) 111110 1110 101015 1100
151 2322 -96 0011 (11)A> 111110 1110 101015 1100
152 2362 -56 0011 111110 (11)A> 1110 101015 1100
153 2366 -52 0011 111111 (11)B> 101015 1100
154 2369 -55 0011 111111 <B(11) 101015 1100
155 2413 -99 0011 <B(11) 111111 101015 1100
156 2423 -103 <D(11) 111112 101015 1100
157 2426 -100 0001 (11)A> 111112 101015 1100
158 2474 -52 0001 111112 (11)A> 101015 1100
159 2481 -55 0001 111112 <B(11) 1110 101014 1100
160 2529 -103 0001 <B(11) 111112 1110 101014 1100
161 2544 -100 1111 (11)A> 111112 1110 101014 1100
162 2592 -52 111113 (11)A> 1110 101014 1100
163 2596 -48 111114 (11)B> 101014 1100
164 2599 -51 111114 <B(11) 101014 1100
165 2655 -107 <B(11) 111114 101014 1100
166 2668 -104 0111 (11)A> 111114 101014 1100
167 2724 -48 0111 111114 (11)A> 101014 1100
168 2731 -51 0111 111114 <B(11) 1110 101013 1100
169 2787 -107 0111 <B(11) 111114 1110 101013 1100
170 2791 -111 <C(11) 111115 1110 101013 1100
171 2802 -108 0011 (11)A> 111115 1110 101013 1100
172 2862 -48 0011 111115 (11)A> 1110 101013 1100
173 2866 -44 0011 111116 (11)B> 101013 1100
174 2869 -47 0011 111116 <B(11) 101013 1100
175 2933 -111 0011 <B(11) 111116 101013 1100
176 2943 -115 <D(11) 111117 101013 1100
177 2946 -112 0001 (11)A> 111117 101013 1100
178 3014 -44 0001 111117 (11)A> 101013 1100
179 3021 -47 0001 111117 <B(11) 1110 101012 1100
180 3089 -115 0001 <B(11) 111117 1110 101012 1100
181 3104 -112 1111 (11)A> 111117 1110 101012 1100
182 3172 -44 111118 (11)A> 1110 101012 1100
183 3176 -40 111119 (11)B> 101012 1100
184 3179 -43 111119 <B(11) 101012 1100
185 3255 -119 <B(11) 111119 101012 1100
186 3268 -116 0111 (11)A> 111119 101012 1100
187 3344 -40 0111 111119 (11)A> 101012 1100
188 3351 -43 0111 111119 <B(11) 1110 101011 1100
189 3427 -119 0111 <B(11) 111119 1110 101011 1100
190 3431 -123 <C(11) 111120 1110 101011 1100
191 3442 -120 0011 (11)A> 111120 1110 101011 1100
192 3522 -40 0011 111120 (11)A> 1110 101011 1100
193 3526 -36 0011 111121 (11)B> 101011 1100
194 3529 -39 0011 111121 <B(11) 101011 1100
195 3613 -123 0011 <B(11) 111121 101011 1100
196 3623 -127 <D(11) 111122 101011 1100
197 3626 -124 0001 (11)A> 111122 101011 1100
198 3714 -36 0001 111122 (11)A> 101011 1100
199 3721 -39 0001 111122 <B(11) 1110 101010 1100
200 3809 -127 0001 <B(11) 111122 1110 101010 1100
201 3824 -124 1111 (11)A> 111122 1110 101010 1100
202 3912 -36 111123 (11)A> 1110 101010 1100
203 3916 -32 111124 (11)B> 101010 1100
204 3919 -35 111124 <B(11) 101010 1100
205 4015 -131 <B(11) 111124 101010 1100
206 4028 -128 0111 (11)A> 111124 101010 1100
207 4124 -32 0111 111124 (11)A> 101010 1100
208 4131 -35 0111 111124 <B(11) 1110 10109 1100
209 4227 -131 0111 <B(11) 111124 1110 10109 1100
210 4231 -135 <C(11) 111125 1110 10109 1100
211 4242 -132 0011 (11)A> 111125 1110 10109 1100
212 4342 -32 0011 111125 (11)A> 1110 10109 1100
213 4346 -28 0011 111126 (11)B> 10109 1100
214 4349 -31 0011 111126 <B(11) 10109 1100
215 4453 -135 0011 <B(11) 111126 10109 1100
216 4463 -139 <D(11) 111127 10109 1100
217 4466 -136 0001 (11)A> 111127 10109 1100
218 4574 -28 0001 111127 (11)A> 10109 1100
219 4581 -31 0001 111127 <B(11) 1110 10108 1100
220 4689 -139 0001 <B(11) 111127 1110 10108 1100
221 4704 -136 1111 (11)A> 111127 1110 10108 1100
222 4812 -28 111128 (11)A> 1110 10108 1100
223 4816 -24 111129 (11)B> 10108 1100
224 4819 -27 111129 <B(11) 10108 1100
225 4935 -143 <B(11) 111129 10108 1100
226 4948 -140 0111 (11)A> 111129 10108 1100
227 5064 -24 0111 111129 (11)A> 10108 1100
228 5071 -27 0111 111129 <B(11) 1110 10107 1100
229 5187 -143 0111 <B(11) 111129 1110 10107 1100
230 5191 -147 <C(11) 111130 1110 10107 1100
231 5202 -144 0011 (11)A> 111130 1110 10107 1100
232 5322 -24 0011 111130 (11)A> 1110 10107 1100
233 5326 -20 0011 111131 (11)B> 10107 1100
234 5329 -23 0011 111131 <B(11) 10107 1100
235 5453 -147 0011 <B(11) 111131 10107 1100
236 5463 -151 <D(11) 111132 10107 1100
237 5466 -148 0001 (11)A> 111132 10107 1100
238 5594 -20 0001 111132 (11)A> 10107 1100
239 5601 -23 0001 111132 <B(11) 1110 10106 1100
240 5729 -151 0001 <B(11) 111132 1110 10106 1100
241 5744 -148 1111 (11)A> 111132 1110 10106 1100
242 5872 -20 111133 (11)A> 1110 10106 1100
243 5876 -16 111134 (11)B> 10106 1100
244 5879 -19 111134 <B(11) 10106 1100
245 6015 -155 <B(11) 111134 10106 1100
246 6028 -152 0111 (11)A> 111134 10106 1100
247 6164 -16 0111 111134 (11)A> 10106 1100
248 6171 -19 0111 111134 <B(11) 1110 10105 1100
249 6307 -155 0111 <B(11) 111134 1110 10105 1100
250 6311 -159 <C(11) 111135 1110 10105 1100
251 6322 -156 0011 (11)A> 111135 1110 10105 1100
252 6462 -16 0011 111135 (11)A> 1110 10105 1100
253 6466 -12 0011 111136 (11)B> 10105 1100
254 6469 -15 0011 111136 <B(11) 10105 1100
255 6613 -159 0011 <B(11) 111136 10105 1100
256 6623 -163 <D(11) 111137 10105 1100
257 6626 -160 0001 (11)A> 111137 10105 1100
258 6774 -12 0001 111137 (11)A> 10105 1100
259 6781 -15 0001 111137 <B(11) 1110 10104 1100
260 6929 -163 0001 <B(11) 111137 1110 10104 1100
261 6944 -160 1111 (11)A> 111137 1110 10104 1100
262 7092 -12 111138 (11)A> 1110 10104 1100
263 7096 -8 111139 (11)B> 10104 1100
264 7099 -11 111139 <B(11) 10104 1100
265 7255 -167 <B(11) 111139 10104 1100
266 7268 -164 0111 (11)A> 111139 10104 1100
267 7424 -8 0111 111139 (11)A> 10104 1100
268 7431 -11 0111 111139 <B(11) 1110 10103 1100
269 7587 -167 0111 <B(11) 111139 1110 10103 1100
270 7591 -171 <C(11) 111140 1110 10103 1100
271 7602 -168 0011 (11)A> 111140 1110 10103 1100
272 7762 -8 0011 111140 (11)A> 1110 10103 1100
273 7766 -4 0011 111141 (11)B> 10103 1100
274 7769 -7 0011 111141 <B(11) 10103 1100
275 7933 -171 0011 <B(11) 111141 10103 1100
276 7943 -175 <D(11) 111142 10103 1100
277 7946 -172 0001 (11)A> 111142 10103 1100
278 8114 -4 0001 111142 (11)A> 10103 1100
279 8121 -7 0001 111142 <B(11) 1110 10102 1100
280 8289 -175 0001 <B(11) 111142 1110 10102 1100
281 8304 -172 1111 (11)A> 111142 1110 10102 1100
282 8472 -4 111143 (11)A> 1110 10102 1100
283 8476 0 111144 (11)B> 10102 1100
284 8479 -3 111144 <B(11) 10102 1100
285 8655 -179 <B(11) 111144 10102 1100
286 8668 -176 0111 (11)A> 111144 10102 1100
287 8844 0 0111 111144 (11)A> 10102 1100
288 8851 -3 0111 111144 <B(11) 1110 1010 1100
289 9027 -179 0111 <B(11) 111144 1110 1010 1100
290 9031 -183 <C(11) 111145 1110 1010 1100
291 9042 -180 0011 (11)A> 111145 1110 1010 1100
292 9222 0 0011 111145 (11)A> 1110 1010 1100
293 9226 4 0011 111146 (11)B> 1010 1100
294 9229 1 0011 111146 <B(11) 1010 1100
295 9413 -183 0011 <B(11) 111146 1010 1100
296 9423 -187 <D(11) 111147 1010 1100
297 9426 -184 0001 (11)A> 111147 1010 1100
298 9614 4 0001 111147 (11)A> 1010 1100
299 9621 1 0001 111147 <B(11) 1110 1100
300 9809 -187 0001 <B(11) 111147 1110 1100
301 9824 -184 1111 (11)A> 111147 1110 1100
302 10012 4 111148 (11)A> 1110 1100
303 10016 8 111149 (11)B> 1100
304 10019 5 111149 <B(11) 1100
305 10215 -191 <B(11) 111149 1100
306 10228 -188 0111 (11)A> 111149 1100
307 10424 8 0111 111149 (11)A> 1100
308 10433 5 0111 111149 <D(10) 1011
309 10629 -191 0111 <D(10) 101049 1011
310 10637 -195 <D(11) 101050 1011
311 10640 -192 0001 (11)A> 101050 1011
312 10647 -195 0001 <B(11) 1110 101049 1011
313 10662 -192 1111 (11)A> 1110 101049 1011
314 10666 -188 11112 (11)B> 101049 1011
315 10669 -191 11112 <B(11) 101049 1011
316 10677 -199 <B(11) 11112 101049 1011
317 10690 -196 0111 (11)A> 11112 101049 1011
318 10698 -188 0111 11112 (11)A> 101049 1011
319 10705 -191 0111 11112 <B(11) 1110 101048 1011
320 10713 -199 0111 <B(11) 11112 1110 101048 1011
321 10717 -203 <C(11) 11113 1110 101048 1011
322 10728 -200 0011 (11)A> 11113 1110 101048 1011
323 10740 -188 0011 11113 (11)A> 1110 101048 1011
324 10744 -184 0011 11114 (11)B> 101048 1011
325 10747 -187 0011 11114 <B(11) 101048 1011
326 10763 -203 0011 <B(11) 11114 101048 1011
327 10773 -207 <D(11) 11115 101048 1011
328 10776 -204 0001 (11)A> 11115 101048 1011
329 10796 -184 0001 11115 (11)A> 101048 1011
330 10803 -187 0001 11115 <B(11) 1110 101047 1011
331 10823 -207 0001 <B(11) 11115 1110 101047 1011
332 10838 -204 1111 (11)A> 11115 1110 101047 1011
333 10858 -184 11116 (11)A> 1110 101047 1011
334 10862 -180 11117 (11)B> 101047 1011
335 10865 -183 11117 <B(11) 101047 1011
336 10893 -211 <B(11) 11117 101047 1011
337 10906 -208 0111 (11)A> 11117 101047 1011
338 10934 -180 0111 11117 (11)A> 101047 1011
339 10941 -183 0111 11117 <B(11) 1110 101046 1011
340 10969 -211 0111 <B(11) 11117 1110 101046 1011
341 10973 -215 <C(11) 11118 1110 101046 1011
342 10984 -212 0011 (11)A> 11118 1110 101046 1011
343 11016 -180 0011 11118 (11)A> 1110 101046 1011
344 11020 -176 0011 11119 (11)B> 101046 1011
345 11023 -179 0011 11119 <B(11) 101046 1011
346 11059 -215 0011 <B(11) 11119 101046 1011
347 11069 -219 <D(11) 111110 101046 1011
348 11072 -216 0001 (11)A> 111110 101046 1011
349 11112 -176 0001 111110 (11)A> 101046 1011
350 11119 -179 0001 111110 <B(11) 1110 101045 1011
351 11159 -219 0001 <B(11) 111110 1110 101045 1011
352 11174 -216 1111 (11)A> 111110 1110 101045 1011
353 11214 -176 111111 (11)A> 1110 101045 1011
354 11218 -172 111112 (11)B> 101045 1011
355 11221 -175 111112 <B(11) 101045 1011
356 11269 -223 <B(11) 111112 101045 1011
357 11282 -220 0111 (11)A> 111112 101045 1011
358 11330 -172 0111 111112 (11)A> 101045 1011
359 11337 -175 0111 111112 <B(11) 1110 101044 1011
360 11385 -223 0111 <B(11) 111112 1110 101044 1011
361 11389 -227 <C(11) 111113 1110 101044 1011
362 11400 -224 0011 (11)A> 111113 1110 101044 1011
363 11452 -172 0011 111113 (11)A> 1110 101044 1011
364 11456 -168 0011 111114 (11)B> 101044 1011
365 11459 -171 0011 111114 <B(11) 101044 1011
366 11515 -227 0011 <B(11) 111114 101044 1011
367 11525 -231 <D(11) 111115 101044 1011
368 11528 -228 0001 (11)A> 111115 101044 1011
369 11588 -168 0001 111115 (11)A> 101044 1011
370 11595 -171 0001 111115 <B(11) 1110 101043 1011
371 11655 -231 0001 <B(11) 111115 1110 101043 1011
372 11670 -228 1111 (11)A> 111115 1110 101043 1011
373 11730 -168 111116 (11)A> 1110 101043 1011
374 11734 -164 111117 (11)B> 101043 1011
375 11737 -167 111117 <B(11) 101043 1011
376 11805 -235 <B(11) 111117 101043 1011
377 11818 -232 0111 (11)A> 111117 101043 1011
378 11886 -164 0111 111117 (11)A> 101043 1011
379 11893 -167 0111 111117 <B(11) 1110 101042 1011
380 11961 -235 0111 <B(11) 111117 1110 101042 1011
381 11965 -239 <C(11) 111118 1110 101042 1011
382 11976 -236 0011 (11)A> 111118 1110 101042 1011
383 12048 -164 0011 111118 (11)A> 1110 101042 1011
384 12052 -160 0011 111119 (11)B> 101042 1011
385 12055 -163 0011 111119 <B(11) 101042 1011
386 12131 -239 0011 <B(11) 111119 101042 1011
387 12141 -243 <D(11) 111120 101042 1011
388 12144 -240 0001 (11)A> 111120 101042 1011
389 12224 -160 0001 111120 (11)A> 101042 1011
390 12231 -163 0001 111120 <B(11) 1110 101041 1011
391 12311 -243 0001 <B(11) 111120 1110 101041 1011
392 12326 -240 1111 (11)A> 111120 1110 101041 1011
393 12406 -160 111121 (11)A> 1110 101041 1011
394 12410 -156 111122 (11)B> 101041 1011
395 12413 -159 111122 <B(11) 101041 1011
396 12501 -247 <B(11) 111122 101041 1011
397 12514 -244 0111 (11)A> 111122 101041 1011
398 12602 -156 0111 111122 (11)A> 101041 1011
399 12609 -159 0111 111122 <B(11) 1110 101040 1011
400 12697 -247 0111 <B(11) 111122 1110 101040 1011
401 12701 -251 <C(11) 111123 1110 101040 1011
402 12712 -248 0011 (11)A> 111123 1110 101040 1011
403 12804 -156 0011 111123 (11)A> 1110 101040 1011
404 12808 -152 0011 111124 (11)B> 101040 1011
405 12811 -155 0011 111124 <B(11) 101040 1011
406 12907 -251 0011 <B(11) 111124 101040 1011
407 12917 -255 <D(11) 111125 101040 1011
408 12920 -252 0001 (11)A> 111125 101040 1011
409 13020 -152 0001 111125 (11)A> 101040 1011
410 13027 -155 0001 111125 <B(11) 1110 101039 1011
411 13127 -255 0001 <B(11) 111125 1110 101039 1011
412 13142 -252 1111 (11)A> 111125 1110 101039 1011
413 13242 -152 111126 (11)A> 1110 101039 1011
414 13246 -148 111127 (11)B> 101039 1011
415 13249 -151 111127 <B(11) 101039 1011
416 13357 -259 <B(11) 111127 101039 1011
417 13370 -256 0111 (11)A> 111127 101039 1011
418 13478 -148 0111 111127 (11)A> 101039 1011
419 13485 -151 0111 111127 <B(11) 1110 101038 1011
420 13593 -259 0111 <B(11) 111127 1110 101038 1011
421 13597 -263 <C(11) 111128 1110 101038 1011
422 13608 -260 0011 (11)A> 111128 1110 101038 1011
423 13720 -148 0011 111128 (11)A> 1110 101038 1011
424 13724 -144 0011 111129 (11)B> 101038 1011
425 13727 -147 0011 111129 <B(11) 101038 1011
426 13843 -263 0011 <B(11) 111129 101038 1011
427 13853 -267 <D(11) 111130 101038 1011
428 13856 -264 0001 (11)A> 111130 101038 1011
429 13976 -144 0001 111130 (11)A> 101038 1011
430 13983 -147 0001 111130 <B(11) 1110 101037 1011
431 14103 -267 0001 <B(11) 111130 1110 101037 1011
432 14118 -264 1111 (11)A> 111130 1110 101037 1011
433 14238 -144 111131 (11)A> 1110 101037 1011
434 14242 -140 111132 (11)B> 101037 1011
435 14245 -143 111132 <B(11) 101037 1011
436 14373 -271 <B(11) 111132 101037 1011
437 14386 -268 0111 (11)A> 111132 101037 1011
438 14514 -140 0111 111132 (11)A> 101037 1011
439 14521 -143 0111 111132 <B(11) 1110 101036 1011
440 14649 -271 0111 <B(11) 111132 1110 101036 1011
441 14653 -275 <C(11) 111133 1110 101036 1011
442 14664 -272 0011 (11)A> 111133 1110 101036 1011
443 14796 -140 0011 111133 (11)A> 1110 101036 1011
444 14800 -136 0011 111134 (11)B> 101036 1011
445 14803 -139 0011 111134 <B(11) 101036 1011
446 14939 -275 0011 <B(11) 111134 101036 1011
447 14949 -279 <D(11) 111135 101036 1011
448 14952 -276 0001 (11)A> 111135 101036 1011
449 15092 -136 0001 111135 (11)A> 101036 1011
450 15099 -139 0001 111135 <B(11) 1110 101035 1011
451 15239 -279 0001 <B(11) 111135 1110 101035 1011
452 15254 -276 1111 (11)A> 111135 1110 101035 1011
453 15394 -136 111136 (11)A> 1110 101035 1011
454 15398 -132 111137 (11)B> 101035 1011
455 15401 -135 111137 <B(11) 101035 1011
456 15549 -283 <B(11) 111137 101035 1011
457 15562 -280 0111 (11)A> 111137 101035 1011
458 15710 -132 0111 111137 (11)A> 101035 1011
459 15717 -135 0111 111137 <B(11) 1110 101034 1011
460 15865 -283 0111 <B(11) 111137 1110 101034 1011
461 15869 -287 <C(11) 111138 1110 101034 1011
462 15880 -284 0011 (11)A> 111138 1110 101034 1011
463 16032 -132 0011 111138 (11)A> 1110 101034 1011
464 16036 -128 0011 111139 (11)B> 101034 1011
465 16039 -131 0011 111139 <B(11) 101034 1011
466 16195 -287 0011 <B(11) 111139 101034 1011
467 16205 -291 <D(11) 111140 101034 1011
468 16208 -288 0001 (11)A> 111140 101034 1011
469 16368 -128 0001 111140 (11)A> 101034 1011
470 16375 -131 0001 111140 <B(11) 1110 101033 1011
471 16535 -291 0001 <B(11) 111140 1110 101033 1011
472 16550 -288 1111 (11)A> 111140 1110 101033 1011
473 16710 -128 111141 (11)A> 1110 101033 1011
474 16714 -124 111142 (11)B> 101033 1011
475 16717 -127 111142 <B(11) 101033 1011
476 16885 -295 <B(11) 111142 101033 1011
477 16898 -292 0111 (11)A> 111142 101033 1011
478 17066 -124 0111 111142 (11)A> 101033 1011
479 17073 -127 0111 111142 <B(11) 1110 101032 1011
480 17241 -295 0111 <B(11) 111142 1110 101032 1011
481 17245 -299 <C(11) 111143 1110 101032 1011
482 17256 -296 0011 (11)A> 111143 1110 101032 1011
483 17428 -124 0011 111143 (11)A> 1110 101032 1011
484 17432 -120 0011 111144 (11)B> 101032 1011
485 17435 -123 0011 111144 <B(11) 101032 1011
486 17611 -299 0011 <B(11) 111144 101032 1011
487 17621 -303 <D(11) 111145 101032 1011
488 17624 -300 0001 (11)A> 111145 101032 1011
489 17804 -120 0001 111145 (11)A> 101032 1011
490 17811 -123 0001 111145 <B(11) 1110 101031 1011
491 17991 -303 0001 <B(11) 111145 1110 101031 1011
492 18006 -300 1111 (11)A> 111145 1110 101031 1011
493 18186 -120 111146 (11)A> 1110 101031 1011
494 18190 -116 111147 (11)B> 101031 1011
495 18193 -119 111147 <B(11) 101031 1011
496 18381 -307 <B(11) 111147 101031 1011
497 18394 -304 0111 (11)A> 111147 101031 1011
498 18582 -116 0111 111147 (11)A> 101031 1011
499 18589 -119 0111 111147 <B(11) 1110 101030 1011
500 18777 -307 0111 <B(11) 111147 1110 101030 1011
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 18777
Tape index: -307
ones: 259
log10(ones ): 2.413
log10(steps ): 4.274
Input to awk program:
gohalt 1
L 66
5T B1R A1R C1L B1L F0R D1L A1R E0L H1L F1L A0L C0L : 95524079 8690333381690951
T 6-state TM #2 from MaBu-List
M 501
pref sim
machv mbL6_2 just simple
machv mbL6_2-r with repetitions reduced
machv mbL6_2-1 with tape symbol exponents
machv mbL6_2-m as 2-bck-2-macro machine
machv mbL6_2-a as 2-bck-2-macro machine with pure additive config-TRs
iam mbL6_2-m
mtype 2 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:29 CEST 2010
edate Tue Jul 6 22:10:30 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:10:29 CEST 2010