Comment: This TM produces >6.9*10^49 ones in >5.5*10^99 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | B0L | 1 | right | B | 0 | left | B |
| B | C1L | E0R | 1 | left | C | 0 | right | E |
| C | E1R | D0L | 1 | right | E | 0 | left | D |
| D | A1L | A1L | 1 | left | A | 1 | left | A |
| E | A0R | F0R | 0 | right | A | 0 | right | F |
| F | E1R | Z1R | 1 | right | E | 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 4-bck-macro machine.
The same TM as 4-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 4.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0000)A>
1 14 4 0011 (0101)B>
2 19 -1 0011 <C(1010) 1000
3 49 -5 <C(1010) 10002
4 54 0 0001 (0101)E> 10002
5 58 4 0001 0101 (0101)B> 1000
6 72 8 0001 01012 (1101)E>
7 81 3 0001 01012 <A(1010) 1010
8 89 -5 0001 <A(1010) 10103
9 98 0 0101 (0101)E> 10103
10 110 12 01014 (0101)E>
11 119 7 01014 <A(1010) 1010
12 135 -9 <A(1010) 10105
13 144 -4 0001 (1010)A> 10105
14 149 -9 0001 <B(0101) 0010 10104
15 170 -4 0101 (0101)E> 0010 10104
16 174 0 01012 (0100)A> 10104
17 199 -5 01012 <C(1010) 1000 10103
18 207 -13 <C(1010) 10102 1000 10103
19 212 -8 0001 (0101)E> 10102 1000 10103
20 220 0 0001 01012 (0101)E> 1000 10103
21 224 4 0001 01013 (0101)B> 10103
22 232 8 0001 01014 (1010)A> 10102
23 237 3 0001 01014 <B(0101) 0010 1010
24 253 -1 0001 01013 <A(1010) 1010 0010 1010
25 265 -13 0001 <A(1010) 10104 0010 1010
26 274 -8 0101 (0101)E> 10104 0010 1010
27 290 8 01015 (0101)E> 0010 1010
28 294 12 01016 (0100)A> 1010
29 319 7 01016 <C(1010) 1000
30 343 -17 <C(1010) 10106 1000
31 348 -12 0001 (0101)E> 10106 1000
32 372 12 0001 01016 (0101)E> 1000
33 376 16 0001 01017 (0101)B>
34 381 11 0001 01017 <C(1010) 1000
35 409 -17 0001 <C(1010) 10107 1000
36 439 -21 <C(1010) 1000 10107 1000
37 444 -16 0001 (0101)E> 1000 10107 1000
38 448 -12 0001 0101 (0101)B> 10107 1000
39 456 -8 0001 01012 (1010)A> 10106 1000
40 461 -13 0001 01012 <B(0101) 0010 10105 1000
41 477 -17 0001 0101 <A(1010) 1010 0010 10105 1000
42 481 -21 0001 <A(1010) 10102 0010 10105 1000
43 490 -16 0101 (0101)E> 10102 0010 10105 1000
44 498 -8 01013 (0101)E> 0010 10105 1000
45 502 -4 01014 (0100)A> 10105 1000
46 527 -9 01014 <C(1010) 1000 10104 1000
47 543 -25 <C(1010) 10104 1000 10104 1000
48 548 -20 0001 (0101)E> 10104 1000 10104 1000
49 564 -4 0001 01014 (0101)E> 1000 10104 1000
50 568 0 0001 01015 (0101)B> 10104 1000
51 576 4 0001 01016 (1010)A> 10103 1000
52 581 -1 0001 01016 <B(0101) 0010 10102 1000
53 597 -5 0001 01015 <A(1010) 1010 0010 10102 1000
54 617 -25 0001 <A(1010) 10106 0010 10102 1000
55 626 -20 0101 (0101)E> 10106 0010 10102 1000
56 650 4 01017 (0101)E> 0010 10102 1000
57 654 8 01018 (0100)A> 10102 1000
58 679 3 01018 <C(1010) 1000 1010 1000
59 711 -29 <C(1010) 10108 1000 1010 1000
60 716 -24 0001 (0101)E> 10108 1000 1010 1000
61 748 8 0001 01018 (0101)E> 1000 1010 1000
62 752 12 0001 01019 (0101)B> 1010 1000
63 760 16 0001 010110 (1010)A> 1000
64 765 11 0001 010110 <B(0101)
65 781 7 0001 01019 <A(1010) 1010
66 817 -29 0001 <A(1010) 101010
67 826 -24 0101 (0101)E> 101010
68 866 16 010111 (0101)E>
69 875 11 010111 <A(1010) 1010
70 919 -33 <A(1010) 101012
71 928 -28 0001 (1010)A> 101012
72 933 -33 0001 <B(0101) 0010 101011
73 954 -28 0101 (0101)E> 0010 101011
74 958 -24 01012 (0100)A> 101011
75 983 -29 01012 <C(1010) 1000 101010
76 991 -37 <C(1010) 10102 1000 101010
77 996 -32 0001 (0101)E> 10102 1000 101010
78 1004 -24 0001 01012 (0101)E> 1000 101010
79 1008 -20 0001 01013 (0101)B> 101010
80 1016 -16 0001 01014 (1010)A> 10109
81 1021 -21 0001 01014 <B(0101) 0010 10108
82 1037 -25 0001 01013 <A(1010) 1010 0010 10108
83 1049 -37 0001 <A(1010) 10104 0010 10108
84 1058 -32 0101 (0101)E> 10104 0010 10108
85 1074 -16 01015 (0101)E> 0010 10108
86 1078 -12 01016 (0100)A> 10108
87 1103 -17 01016 <C(1010) 1000 10107
88 1127 -41 <C(1010) 10106 1000 10107
89 1132 -36 0001 (0101)E> 10106 1000 10107
90 1156 -12 0001 01016 (0101)E> 1000 10107
91 1160 -8 0001 01017 (0101)B> 10107
92 1168 -4 0001 01018 (1010)A> 10106
93 1173 -9 0001 01018 <B(0101) 0010 10105
94 1189 -13 0001 01017 <A(1010) 1010 0010 10105
95 1217 -41 0001 <A(1010) 10108 0010 10105
96 1226 -36 0101 (0101)E> 10108 0010 10105
97 1258 -4 01019 (0101)E> 0010 10105
98 1262 0 010110 (0100)A> 10105
99 1287 -5 010110 <C(1010) 1000 10104
100 1327 -45 <C(1010) 101010 1000 10104
101 1332 -40 0001 (0101)E> 101010 1000 10104
102 1372 0 0001 010110 (0101)E> 1000 10104
103 1376 4 0001 010111 (0101)B> 10104
104 1384 8 0001 010112 (1010)A> 10103
105 1389 3 0001 010112 <B(0101) 0010 10102
106 1405 -1 0001 010111 <A(1010) 1010 0010 10102
107 1449 -45 0001 <A(1010) 101012 0010 10102
108 1458 -40 0101 (0101)E> 101012 0010 10102
109 1506 8 010113 (0101)E> 0010 10102
110 1510 12 010114 (0100)A> 10102
111 1535 7 010114 <C(1010) 1000 1010
112 1591 -49 <C(1010) 101014 1000 1010
113 1596 -44 0001 (0101)E> 101014 1000 1010
114 1652 12 0001 010114 (0101)E> 1000 1010
115 1656 16 0001 010115 (0101)B> 1010
116 1664 20 0001 010116 (1010)A>
117 1671 15 0001 010116 <D(0101) 0100
118 1713 11 0001 010115 <C(1010) 1000 0100
119 1773 -49 0001 <C(1010) 101015 1000 0100
120 1803 -53 <C(1010) 1000 101015 1000 0100
121 1808 -48 0001 (0101)E> 1000 101015 1000 0100
122 1812 -44 0001 0101 (0101)B> 101015 1000 0100
123 1820 -40 0001 01012 (1010)A> 101014 1000 0100
124 1825 -45 0001 01012 <B(0101) 0010 101013 1000 0100
125 1841 -49 0001 0101 <A(1010) 1010 0010 101013 1000 0100
126 1845 -53 0001 <A(1010) 10102 0010 101013 1000 0100
127 1854 -48 0101 (0101)E> 10102 0010 101013 1000 0100
128 1862 -40 01013 (0101)E> 0010 101013 1000 0100
129 1866 -36 01014 (0100)A> 101013 1000 0100
130 1891 -41 01014 <C(1010) 1000 101012 1000 0100
131 1907 -57 <C(1010) 10104 1000 101012 1000 0100
132 1912 -52 0001 (0101)E> 10104 1000 101012 1000 0100
133 1928 -36 0001 01014 (0101)E> 1000 101012 1000 0100
134 1932 -32 0001 01015 (0101)B> 101012 1000 0100
135 1940 -28 0001 01016 (1010)A> 101011 1000 0100
136 1945 -33 0001 01016 <B(0101) 0010 101010 1000 0100
137 1961 -37 0001 01015 <A(1010) 1010 0010 101010 1000 0100
138 1981 -57 0001 <A(1010) 10106 0010 101010 1000 0100
139 1990 -52 0101 (0101)E> 10106 0010 101010 1000 0100
140 2014 -28 01017 (0101)E> 0010 101010 1000 0100
141 2018 -24 01018 (0100)A> 101010 1000 0100
142 2043 -29 01018 <C(1010) 1000 10109 1000 0100
143 2075 -61 <C(1010) 10108 1000 10109 1000 0100
144 2080 -56 0001 (0101)E> 10108 1000 10109 1000 0100
145 2112 -24 0001 01018 (0101)E> 1000 10109 1000 0100
146 2116 -20 0001 01019 (0101)B> 10109 1000 0100
147 2124 -16 0001 010110 (1010)A> 10108 1000 0100
148 2129 -21 0001 010110 <B(0101) 0010 10107 1000 0100
149 2145 -25 0001 01019 <A(1010) 1010 0010 10107 1000 0100
150 2181 -61 0001 <A(1010) 101010 0010 10107 1000 0100
151 2190 -56 0101 (0101)E> 101010 0010 10107 1000 0100
152 2230 -16 010111 (0101)E> 0010 10107 1000 0100
153 2234 -12 010112 (0100)A> 10107 1000 0100
154 2259 -17 010112 <C(1010) 1000 10106 1000 0100
155 2307 -65 <C(1010) 101012 1000 10106 1000 0100
156 2312 -60 0001 (0101)E> 101012 1000 10106 1000 0100
157 2360 -12 0001 010112 (0101)E> 1000 10106 1000 0100
158 2364 -8 0001 010113 (0101)B> 10106 1000 0100
159 2372 -4 0001 010114 (1010)A> 10105 1000 0100
160 2377 -9 0001 010114 <B(0101) 0010 10104 1000 0100
161 2393 -13 0001 010113 <A(1010) 1010 0010 10104 1000 0100
162 2445 -65 0001 <A(1010) 101014 0010 10104 1000 0100
163 2454 -60 0101 (0101)E> 101014 0010 10104 1000 0100
164 2510 -4 010115 (0101)E> 0010 10104 1000 0100
165 2514 0 010116 (0100)A> 10104 1000 0100
166 2539 -5 010116 <C(1010) 1000 10103 1000 0100
167 2603 -69 <C(1010) 101016 1000 10103 1000 0100
168 2608 -64 0001 (0101)E> 101016 1000 10103 1000 0100
169 2672 0 0001 010116 (0101)E> 1000 10103 1000 0100
170 2676 4 0001 010117 (0101)B> 10103 1000 0100
171 2684 8 0001 010118 (1010)A> 10102 1000 0100
172 2689 3 0001 010118 <B(0101) 0010 1010 1000 0100
173 2705 -1 0001 010117 <A(1010) 1010 0010 1010 1000 0100
174 2773 -69 0001 <A(1010) 101018 0010 1010 1000 0100
175 2782 -64 0101 (0101)E> 101018 0010 1010 1000 0100
176 2854 8 010119 (0101)E> 0010 1010 1000 0100
177 2858 12 010120 (0100)A> 1010 1000 0100
178 2883 7 010120 <C(1010) 10002 0100
179 2963 -73 <C(1010) 101020 10002 0100
180 2968 -68 0001 (0101)E> 101020 10002 0100
181 3048 12 0001 010120 (0101)E> 10002 0100
182 3052 16 0001 010121 (0101)B> 1000 0100
183 3066 20 0001 010122 (1101)E> 0100
184 3085 15 0001 010122 <B(0101)
185 3101 11 0001 010121 <A(1010) 1010
186 3185 -73 0001 <A(1010) 101022
187 3194 -68 0101 (0101)E> 101022
188 3282 20 010123 (0101)E>
189 3291 15 010123 <A(1010) 1010
190 3383 -77 <A(1010) 101024
191 3392 -72 0001 (1010)A> 101024
192 3397 -77 0001 <B(0101) 0010 101023
193 3418 -72 0101 (0101)E> 0010 101023
194 3422 -68 01012 (0100)A> 101023
195 3447 -73 01012 <C(1010) 1000 101022
196 3455 -81 <C(1010) 10102 1000 101022
197 3460 -76 0001 (0101)E> 10102 1000 101022
198 3468 -68 0001 01012 (0101)E> 1000 101022
199 3472 -64 0001 01013 (0101)B> 101022
200 3480 -60 0001 01014 (1010)A> 101021
201 3485 -65 0001 01014 <B(0101) 0010 101020
202 3501 -69 0001 01013 <A(1010) 1010 0010 101020
203 3513 -81 0001 <A(1010) 10104 0010 101020
204 3522 -76 0101 (0101)E> 10104 0010 101020
205 3538 -60 01015 (0101)E> 0010 101020
206 3542 -56 01016 (0100)A> 101020
207 3567 -61 01016 <C(1010) 1000 101019
208 3591 -85 <C(1010) 10106 1000 101019
209 3596 -80 0001 (0101)E> 10106 1000 101019
210 3620 -56 0001 01016 (0101)E> 1000 101019
211 3624 -52 0001 01017 (0101)B> 101019
212 3632 -48 0001 01018 (1010)A> 101018
213 3637 -53 0001 01018 <B(0101) 0010 101017
214 3653 -57 0001 01017 <A(1010) 1010 0010 101017
215 3681 -85 0001 <A(1010) 10108 0010 101017
216 3690 -80 0101 (0101)E> 10108 0010 101017
217 3722 -48 01019 (0101)E> 0010 101017
218 3726 -44 010110 (0100)A> 101017
219 3751 -49 010110 <C(1010) 1000 101016
220 3791 -89 <C(1010) 101010 1000 101016
221 3796 -84 0001 (0101)E> 101010 1000 101016
222 3836 -44 0001 010110 (0101)E> 1000 101016
223 3840 -40 0001 010111 (0101)B> 101016
224 3848 -36 0001 010112 (1010)A> 101015
225 3853 -41 0001 010112 <B(0101) 0010 101014
226 3869 -45 0001 010111 <A(1010) 1010 0010 101014
227 3913 -89 0001 <A(1010) 101012 0010 101014
228 3922 -84 0101 (0101)E> 101012 0010 101014
229 3970 -36 010113 (0101)E> 0010 101014
230 3974 -32 010114 (0100)A> 101014
231 3999 -37 010114 <C(1010) 1000 101013
232 4055 -93 <C(1010) 101014 1000 101013
233 4060 -88 0001 (0101)E> 101014 1000 101013
234 4116 -32 0001 010114 (0101)E> 1000 101013
235 4120 -28 0001 010115 (0101)B> 101013
236 4128 -24 0001 010116 (1010)A> 101012
237 4133 -29 0001 010116 <B(0101) 0010 101011
238 4149 -33 0001 010115 <A(1010) 1010 0010 101011
239 4209 -93 0001 <A(1010) 101016 0010 101011
240 4218 -88 0101 (0101)E> 101016 0010 101011
241 4282 -24 010117 (0101)E> 0010 101011
242 4286 -20 010118 (0100)A> 101011
243 4311 -25 010118 <C(1010) 1000 101010
244 4383 -97 <C(1010) 101018 1000 101010
245 4388 -92 0001 (0101)E> 101018 1000 101010
246 4460 -20 0001 010118 (0101)E> 1000 101010
247 4464 -16 0001 010119 (0101)B> 101010
248 4472 -12 0001 010120 (1010)A> 10109
249 4477 -17 0001 010120 <B(0101) 0010 10108
250 4493 -21 0001 010119 <A(1010) 1010 0010 10108
251 4569 -97 0001 <A(1010) 101020 0010 10108
252 4578 -92 0101 (0101)E> 101020 0010 10108
253 4658 -12 010121 (0101)E> 0010 10108
254 4662 -8 010122 (0100)A> 10108
255 4687 -13 010122 <C(1010) 1000 10107
256 4775 -101 <C(1010) 101022 1000 10107
257 4780 -96 0001 (0101)E> 101022 1000 10107
258 4868 -8 0001 010122 (0101)E> 1000 10107
259 4872 -4 0001 010123 (0101)B> 10107
260 4880 0 0001 010124 (1010)A> 10106
261 4885 -5 0001 010124 <B(0101) 0010 10105
262 4901 -9 0001 010123 <A(1010) 1010 0010 10105
263 4993 -101 0001 <A(1010) 101024 0010 10105
264 5002 -96 0101 (0101)E> 101024 0010 10105
265 5098 0 010125 (0101)E> 0010 10105
266 5102 4 010126 (0100)A> 10105
267 5127 -1 010126 <C(1010) 1000 10104
268 5231 -105 <C(1010) 101026 1000 10104
269 5236 -100 0001 (0101)E> 101026 1000 10104
270 5340 4 0001 010126 (0101)E> 1000 10104
271 5344 8 0001 010127 (0101)B> 10104
272 5352 12 0001 010128 (1010)A> 10103
273 5357 7 0001 010128 <B(0101) 0010 10102
274 5373 3 0001 010127 <A(1010) 1010 0010 10102
275 5481 -105 0001 <A(1010) 101028 0010 10102
276 5490 -100 0101 (0101)E> 101028 0010 10102
277 5602 12 010129 (0101)E> 0010 10102
278 5606 16 010130 (0100)A> 10102
279 5631 11 010130 <C(1010) 1000 1010
280 5751 -109 <C(1010) 101030 1000 1010
281 5756 -104 0001 (0101)E> 101030 1000 1010
282 5876 16 0001 010130 (0101)E> 1000 1010
283 5880 20 0001 010131 (0101)B> 1010
284 5888 24 0001 010132 (1010)A>
285 5895 19 0001 010132 <D(0101) 0100
286 5937 15 0001 010131 <C(1010) 1000 0100
287 6061 -109 0001 <C(1010) 101031 1000 0100
288 6091 -113 <C(1010) 1000 101031 1000 0100
289 6096 -108 0001 (0101)E> 1000 101031 1000 0100
290 6100 -104 0001 0101 (0101)B> 101031 1000 0100
291 6108 -100 0001 01012 (1010)A> 101030 1000 0100
292 6113 -105 0001 01012 <B(0101) 0010 101029 1000 0100
293 6129 -109 0001 0101 <A(1010) 1010 0010 101029 1000 0100
294 6133 -113 0001 <A(1010) 10102 0010 101029 1000 0100
295 6142 -108 0101 (0101)E> 10102 0010 101029 1000 0100
296 6150 -100 01013 (0101)E> 0010 101029 1000 0100
297 6154 -96 01014 (0100)A> 101029 1000 0100
298 6179 -101 01014 <C(1010) 1000 101028 1000 0100
299 6195 -117 <C(1010) 10104 1000 101028 1000 0100
300 6200 -112 0001 (0101)E> 10104 1000 101028 1000 0100
301 6216 -96 0001 01014 (0101)E> 1000 101028 1000 0100
302 6220 -92 0001 01015 (0101)B> 101028 1000 0100
303 6228 -88 0001 01016 (1010)A> 101027 1000 0100
304 6233 -93 0001 01016 <B(0101) 0010 101026 1000 0100
305 6249 -97 0001 01015 <A(1010) 1010 0010 101026 1000 0100
306 6269 -117 0001 <A(1010) 10106 0010 101026 1000 0100
307 6278 -112 0101 (0101)E> 10106 0010 101026 1000 0100
308 6302 -88 01017 (0101)E> 0010 101026 1000 0100
309 6306 -84 01018 (0100)A> 101026 1000 0100
310 6331 -89 01018 <C(1010) 1000 101025 1000 0100
311 6363 -121 <C(1010) 10108 1000 101025 1000 0100
312 6368 -116 0001 (0101)E> 10108 1000 101025 1000 0100
313 6400 -84 0001 01018 (0101)E> 1000 101025 1000 0100
314 6404 -80 0001 01019 (0101)B> 101025 1000 0100
315 6412 -76 0001 010110 (1010)A> 101024 1000 0100
316 6417 -81 0001 010110 <B(0101) 0010 101023 1000 0100
317 6433 -85 0001 01019 <A(1010) 1010 0010 101023 1000 0100
318 6469 -121 0001 <A(1010) 101010 0010 101023 1000 0100
319 6478 -116 0101 (0101)E> 101010 0010 101023 1000 0100
320 6518 -76 010111 (0101)E> 0010 101023 1000 0100
321 6522 -72 010112 (0100)A> 101023 1000 0100
322 6547 -77 010112 <C(1010) 1000 101022 1000 0100
323 6595 -125 <C(1010) 101012 1000 101022 1000 0100
324 6600 -120 0001 (0101)E> 101012 1000 101022 1000 0100
325 6648 -72 0001 010112 (0101)E> 1000 101022 1000 0100
326 6652 -68 0001 010113 (0101)B> 101022 1000 0100
327 6660 -64 0001 010114 (1010)A> 101021 1000 0100
328 6665 -69 0001 010114 <B(0101) 0010 101020 1000 0100
329 6681 -73 0001 010113 <A(1010) 1010 0010 101020 1000 0100
330 6733 -125 0001 <A(1010) 101014 0010 101020 1000 0100
331 6742 -120 0101 (0101)E> 101014 0010 101020 1000 0100
332 6798 -64 010115 (0101)E> 0010 101020 1000 0100
333 6802 -60 010116 (0100)A> 101020 1000 0100
334 6827 -65 010116 <C(1010) 1000 101019 1000 0100
335 6891 -129 <C(1010) 101016 1000 101019 1000 0100
336 6896 -124 0001 (0101)E> 101016 1000 101019 1000 0100
337 6960 -60 0001 010116 (0101)E> 1000 101019 1000 0100
338 6964 -56 0001 010117 (0101)B> 101019 1000 0100
339 6972 -52 0001 010118 (1010)A> 101018 1000 0100
340 6977 -57 0001 010118 <B(0101) 0010 101017 1000 0100
341 6993 -61 0001 010117 <A(1010) 1010 0010 101017 1000 0100
342 7061 -129 0001 <A(1010) 101018 0010 101017 1000 0100
343 7070 -124 0101 (0101)E> 101018 0010 101017 1000 0100
344 7142 -52 010119 (0101)E> 0010 101017 1000 0100
345 7146 -48 010120 (0100)A> 101017 1000 0100
346 7171 -53 010120 <C(1010) 1000 101016 1000 0100
347 7251 -133 <C(1010) 101020 1000 101016 1000 0100
348 7256 -128 0001 (0101)E> 101020 1000 101016 1000 0100
349 7336 -48 0001 010120 (0101)E> 1000 101016 1000 0100
350 7340 -44 0001 010121 (0101)B> 101016 1000 0100
351 7348 -40 0001 010122 (1010)A> 101015 1000 0100
352 7353 -45 0001 010122 <B(0101) 0010 101014 1000 0100
353 7369 -49 0001 010121 <A(1010) 1010 0010 101014 1000 0100
354 7453 -133 0001 <A(1010) 101022 0010 101014 1000 0100
355 7462 -128 0101 (0101)E> 101022 0010 101014 1000 0100
356 7550 -40 010123 (0101)E> 0010 101014 1000 0100
357 7554 -36 010124 (0100)A> 101014 1000 0100
358 7579 -41 010124 <C(1010) 1000 101013 1000 0100
359 7675 -137 <C(1010) 101024 1000 101013 1000 0100
360 7680 -132 0001 (0101)E> 101024 1000 101013 1000 0100
361 7776 -36 0001 010124 (0101)E> 1000 101013 1000 0100
362 7780 -32 0001 010125 (0101)B> 101013 1000 0100
363 7788 -28 0001 010126 (1010)A> 101012 1000 0100
364 7793 -33 0001 010126 <B(0101) 0010 101011 1000 0100
365 7809 -37 0001 010125 <A(1010) 1010 0010 101011 1000 0100
366 7909 -137 0001 <A(1010) 101026 0010 101011 1000 0100
367 7918 -132 0101 (0101)E> 101026 0010 101011 1000 0100
368 8022 -28 010127 (0101)E> 0010 101011 1000 0100
369 8026 -24 010128 (0100)A> 101011 1000 0100
370 8051 -29 010128 <C(1010) 1000 101010 1000 0100
371 8163 -141 <C(1010) 101028 1000 101010 1000 0100
372 8168 -136 0001 (0101)E> 101028 1000 101010 1000 0100
373 8280 -24 0001 010128 (0101)E> 1000 101010 1000 0100
374 8284 -20 0001 010129 (0101)B> 101010 1000 0100
375 8292 -16 0001 010130 (1010)A> 10109 1000 0100
376 8297 -21 0001 010130 <B(0101) 0010 10108 1000 0100
377 8313 -25 0001 010129 <A(1010) 1010 0010 10108 1000 0100
378 8429 -141 0001 <A(1010) 101030 0010 10108 1000 0100
379 8438 -136 0101 (0101)E> 101030 0010 10108 1000 0100
380 8558 -16 010131 (0101)E> 0010 10108 1000 0100
381 8562 -12 010132 (0100)A> 10108 1000 0100
382 8587 -17 010132 <C(1010) 1000 10107 1000 0100
383 8715 -145 <C(1010) 101032 1000 10107 1000 0100
384 8720 -140 0001 (0101)E> 101032 1000 10107 1000 0100
385 8848 -12 0001 010132 (0101)E> 1000 10107 1000 0100
386 8852 -8 0001 010133 (0101)B> 10107 1000 0100
387 8860 -4 0001 010134 (1010)A> 10106 1000 0100
388 8865 -9 0001 010134 <B(0101) 0010 10105 1000 0100
389 8881 -13 0001 010133 <A(1010) 1010 0010 10105 1000 0100
390 9013 -145 0001 <A(1010) 101034 0010 10105 1000 0100
391 9022 -140 0101 (0101)E> 101034 0010 10105 1000 0100
392 9158 -4 010135 (0101)E> 0010 10105 1000 0100
393 9162 0 010136 (0100)A> 10105 1000 0100
394 9187 -5 010136 <C(1010) 1000 10104 1000 0100
395 9331 -149 <C(1010) 101036 1000 10104 1000 0100
396 9336 -144 0001 (0101)E> 101036 1000 10104 1000 0100
397 9480 0 0001 010136 (0101)E> 1000 10104 1000 0100
398 9484 4 0001 010137 (0101)B> 10104 1000 0100
399 9492 8 0001 010138 (1010)A> 10103 1000 0100
400 9497 3 0001 010138 <B(0101) 0010 10102 1000 0100
401 9513 -1 0001 010137 <A(1010) 1010 0010 10102 1000 0100
402 9661 -149 0001 <A(1010) 101038 0010 10102 1000 0100
403 9670 -144 0101 (0101)E> 101038 0010 10102 1000 0100
404 9822 8 010139 (0101)E> 0010 10102 1000 0100
405 9826 12 010140 (0100)A> 10102 1000 0100
406 9851 7 010140 <C(1010) 1000 1010 1000 0100
407 10011 -153 <C(1010) 101040 1000 1010 1000 0100
408 10016 -148 0001 (0101)E> 101040 1000 1010 1000 0100
409 10176 12 0001 010140 (0101)E> 1000 1010 1000 0100
410 10180 16 0001 010141 (0101)B> 1010 1000 0100
411 10188 20 0001 010142 (1010)A> 1000 0100
412 10193 15 0001 010142 <B(0101) 0000 0100
413 10209 11 0001 010141 <A(1010) 1010 0000 0100
414 10373 -153 0001 <A(1010) 101042 0000 0100
415 10382 -148 0101 (0101)E> 101042 0000 0100
416 10550 20 010143 (0101)E> 0000 0100
417 10559 15 010143 <A(1010) 1010 0100
418 10731 -157 <A(1010) 101044 0100
419 10740 -152 0001 (1010)A> 101044 0100
420 10745 -157 0001 <B(0101) 0010 101043 0100
421 10766 -152 0101 (0101)E> 0010 101043 0100
422 10770 -148 01012 (0100)A> 101043 0100
423 10795 -153 01012 <C(1010) 1000 101042 0100
424 10803 -161 <C(1010) 10102 1000 101042 0100
425 10808 -156 0001 (0101)E> 10102 1000 101042 0100
426 10816 -148 0001 01012 (0101)E> 1000 101042 0100
427 10820 -144 0001 01013 (0101)B> 101042 0100
428 10828 -140 0001 01014 (1010)A> 101041 0100
429 10833 -145 0001 01014 <B(0101) 0010 101040 0100
430 10849 -149 0001 01013 <A(1010) 1010 0010 101040 0100
431 10861 -161 0001 <A(1010) 10104 0010 101040 0100
432 10870 -156 0101 (0101)E> 10104 0010 101040 0100
433 10886 -140 01015 (0101)E> 0010 101040 0100
434 10890 -136 01016 (0100)A> 101040 0100
435 10915 -141 01016 <C(1010) 1000 101039 0100
436 10939 -165 <C(1010) 10106 1000 101039 0100
437 10944 -160 0001 (0101)E> 10106 1000 101039 0100
438 10968 -136 0001 01016 (0101)E> 1000 101039 0100
439 10972 -132 0001 01017 (0101)B> 101039 0100
440 10980 -128 0001 01018 (1010)A> 101038 0100
441 10985 -133 0001 01018 <B(0101) 0010 101037 0100
442 11001 -137 0001 01017 <A(1010) 1010 0010 101037 0100
443 11029 -165 0001 <A(1010) 10108 0010 101037 0100
444 11038 -160 0101 (0101)E> 10108 0010 101037 0100
445 11070 -128 01019 (0101)E> 0010 101037 0100
446 11074 -124 010110 (0100)A> 101037 0100
447 11099 -129 010110 <C(1010) 1000 101036 0100
448 11139 -169 <C(1010) 101010 1000 101036 0100
449 11144 -164 0001 (0101)E> 101010 1000 101036 0100
450 11184 -124 0001 010110 (0101)E> 1000 101036 0100
451 11188 -120 0001 010111 (0101)B> 101036 0100
452 11196 -116 0001 010112 (1010)A> 101035 0100
453 11201 -121 0001 010112 <B(0101) 0010 101034 0100
454 11217 -125 0001 010111 <A(1010) 1010 0010 101034 0100
455 11261 -169 0001 <A(1010) 101012 0010 101034 0100
456 11270 -164 0101 (0101)E> 101012 0010 101034 0100
457 11318 -116 010113 (0101)E> 0010 101034 0100
458 11322 -112 010114 (0100)A> 101034 0100
459 11347 -117 010114 <C(1010) 1000 101033 0100
460 11403 -173 <C(1010) 101014 1000 101033 0100
461 11408 -168 0001 (0101)E> 101014 1000 101033 0100
462 11464 -112 0001 010114 (0101)E> 1000 101033 0100
463 11468 -108 0001 010115 (0101)B> 101033 0100
464 11476 -104 0001 010116 (1010)A> 101032 0100
465 11481 -109 0001 010116 <B(0101) 0010 101031 0100
466 11497 -113 0001 010115 <A(1010) 1010 0010 101031 0100
467 11557 -173 0001 <A(1010) 101016 0010 101031 0100
468 11566 -168 0101 (0101)E> 101016 0010 101031 0100
469 11630 -104 010117 (0101)E> 0010 101031 0100
470 11634 -100 010118 (0100)A> 101031 0100
471 11659 -105 010118 <C(1010) 1000 101030 0100
472 11731 -177 <C(1010) 101018 1000 101030 0100
473 11736 -172 0001 (0101)E> 101018 1000 101030 0100
474 11808 -100 0001 010118 (0101)E> 1000 101030 0100
475 11812 -96 0001 010119 (0101)B> 101030 0100
476 11820 -92 0001 010120 (1010)A> 101029 0100
477 11825 -97 0001 010120 <B(0101) 0010 101028 0100
478 11841 -101 0001 010119 <A(1010) 1010 0010 101028 0100
479 11917 -177 0001 <A(1010) 101020 0010 101028 0100
480 11926 -172 0101 (0101)E> 101020 0010 101028 0100
481 12006 -92 010121 (0101)E> 0010 101028 0100
482 12010 -88 010122 (0100)A> 101028 0100
483 12035 -93 010122 <C(1010) 1000 101027 0100
484 12123 -181 <C(1010) 101022 1000 101027 0100
485 12128 -176 0001 (0101)E> 101022 1000 101027 0100
486 12216 -88 0001 010122 (0101)E> 1000 101027 0100
487 12220 -84 0001 010123 (0101)B> 101027 0100
488 12228 -80 0001 010124 (1010)A> 101026 0100
489 12233 -85 0001 010124 <B(0101) 0010 101025 0100
490 12249 -89 0001 010123 <A(1010) 1010 0010 101025 0100
491 12341 -181 0001 <A(1010) 101024 0010 101025 0100
492 12350 -176 0101 (0101)E> 101024 0010 101025 0100
493 12446 -80 010125 (0101)E> 0010 101025 0100
494 12450 -76 010126 (0100)A> 101025 0100
495 12475 -81 010126 <C(1010) 1000 101024 0100
496 12579 -185 <C(1010) 101026 1000 101024 0100
497 12584 -180 0001 (0101)E> 101026 1000 101024 0100
498 12688 -76 0001 010126 (0101)E> 1000 101024 0100
499 12692 -72 0001 010127 (0101)B> 101024 0100
500 12700 -68 0001 010128 (1010)A> 101023 0100
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 12700
Tape index: -68
ones: 106
log10(ones ): 2.025
log10(steps ): 4.104
Input to awk program:
gohalt 1
L 16
5T B1R B0L C1L E0R E1R D0L A1L A1L A0R F0R E1R Z1R : >6.9*10^49 >5.5*10^99
T 6-state TM #p from MaBu-List
M 501
pref sim
machv mbL6_p just simple
machv mbL6_p-r with repetitions reduced
machv mbL6_p-1 with tape symbol exponents
machv mbL6_p-m as 4-bck-macro machine
machv mbL6_p-a as 4-bck-macro machine with pure additive config-TRs
iam mbL6_p-m
mtype 4 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:13 CEST 2010
edate Tue Jul 6 22:11:14 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:13 CEST 2010