Comment: This TM produces 36109969 ones in 1137975066814256 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C0L | 1 | right | B | 0 | left | C |
| B | A1L | E0R | 1 | left | A | 0 | right | E |
| C | D1L | F0L | 1 | left | D | 0 | left | F |
| D | B0L | C1L | 0 | left | B | 1 | left | C |
| E | B1R | A1R | 1 | right | B | 1 | right | A |
| F | B1R | Z1R | 1 | right | B | 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 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 5 -3 <B(01) 01
2 10 0 10 (10)E> 01
3 12 2 102 (10)E>
4 17 -1 102 <C(11) 01
5 21 -5 <C(11) 112 01
6 23 -7 <B(01) 113 01
7 28 -4 10 (10)E> 113 01
8 35 -7 10 <F(00) 10 112 01
9 39 -9 <F(00) 102 112 01
10 43 -11 <D(10) 103 112 01
11 45 -13 <A(10) 104 112 01
12 48 -10 01 (01)B> 104 112 01
13 56 -2 015 (01)B> 112 01
14 58 0 016 (01)A> 11 01
15 63 -3 016 <C(01) 012
16 87 -15 <C(01) 018
17 89 -17 <B(01) 019
18 94 -14 10 (10)E> 019
19 112 4 1010 (10)E>
20 117 1 1010 <C(11) 01
21 137 -19 <C(11) 1110 01
22 139 -21 <B(01) 1111 01
23 144 -18 10 (10)E> 1111 01
24 151 -21 10 <F(00) 10 1110 01
25 155 -23 <F(00) 102 1110 01
26 159 -25 <D(10) 103 1110 01
27 161 -27 <A(10) 104 1110 01
28 164 -24 01 (01)B> 104 1110 01
29 172 -16 015 (01)B> 1110 01
30 174 -14 016 (01)A> 119 01
31 179 -17 016 <C(01) 01 118 01
32 203 -29 <C(01) 017 118 01
33 205 -31 <B(01) 018 118 01
34 210 -28 10 (10)E> 018 118 01
35 226 -12 109 (10)E> 118 01
36 233 -15 109 <F(00) 10 117 01
37 269 -33 <F(00) 1010 117 01
38 273 -35 <D(10) 1011 117 01
39 275 -37 <A(10) 1012 117 01
40 278 -34 01 (01)B> 1012 117 01
41 302 -10 0113 (01)B> 117 01
42 304 -8 0114 (01)A> 116 01
43 309 -11 0114 <C(01) 01 115 01
44 365 -39 <C(01) 0115 115 01
45 367 -41 <B(01) 0116 115 01
46 372 -38 10 (10)E> 0116 115 01
47 404 -6 1017 (10)E> 115 01
48 411 -9 1017 <F(00) 10 114 01
49 479 -43 <F(00) 1018 114 01
50 483 -45 <D(10) 1019 114 01
51 485 -47 <A(10) 1020 114 01
52 488 -44 01 (01)B> 1020 114 01
53 528 -4 0121 (01)B> 114 01
54 530 -2 0122 (01)A> 113 01
55 535 -5 0122 <C(01) 01 112 01
56 623 -49 <C(01) 0123 112 01
57 625 -51 <B(01) 0124 112 01
58 630 -48 10 (10)E> 0124 112 01
59 678 0 1025 (10)E> 112 01
60 685 -3 1025 <F(00) 10 11 01
61 785 -53 <F(00) 1026 11 01
62 789 -55 <D(10) 1027 11 01
63 791 -57 <A(10) 1028 11 01
64 794 -54 01 (01)B> 1028 11 01
65 850 2 0129 (01)B> 11 01
66 852 4 0130 (01)A> 01
67 854 6 0131 (10)E>
68 859 3 0131 <C(11) 01
69 863 1 0130 <C(01) 11 01
70 983 -59 <C(01) 0130 11 01
71 985 -61 <B(01) 0131 11 01
72 990 -58 10 (10)E> 0131 11 01
73 1052 4 1032 (10)E> 11 01
74 1059 1 1032 <F(00) 10 01
75 1187 -63 <F(00) 1033 01
76 1191 -65 <D(10) 1034 01
77 1193 -67 <A(10) 1035 01
78 1196 -64 01 (01)B> 1035 01
79 1266 6 0136 (01)B> 01
80 1269 3 0136 <D(10) 11
81 1271 1 0135 <D(11) 10 11
82 1341 -69 <D(11) 1135 10 11
83 1343 -71 <A(10) 1136 10 11
84 1346 -68 01 (01)B> 1136 10 11
85 1348 -66 012 (01)A> 1135 10 11
86 1353 -69 012 <C(01) 01 1134 10 11
87 1361 -73 <C(01) 013 1134 10 11
88 1363 -75 <B(01) 014 1134 10 11
89 1368 -72 10 (10)E> 014 1134 10 11
90 1376 -64 105 (10)E> 1134 10 11
91 1383 -67 105 <F(00) 10 1133 10 11
92 1403 -77 <F(00) 106 1133 10 11
93 1407 -79 <D(10) 107 1133 10 11
94 1409 -81 <A(10) 108 1133 10 11
95 1412 -78 01 (01)B> 108 1133 10 11
96 1428 -62 019 (01)B> 1133 10 11
97 1430 -60 0110 (01)A> 1132 10 11
98 1435 -63 0110 <C(01) 01 1131 10 11
99 1475 -83 <C(01) 0111 1131 10 11
100 1477 -85 <B(01) 0112 1131 10 11
101 1482 -82 10 (10)E> 0112 1131 10 11
102 1506 -58 1013 (10)E> 1131 10 11
103 1513 -61 1013 <F(00) 10 1130 10 11
104 1565 -87 <F(00) 1014 1130 10 11
105 1569 -89 <D(10) 1015 1130 10 11
106 1571 -91 <A(10) 1016 1130 10 11
107 1574 -88 01 (01)B> 1016 1130 10 11
108 1606 -56 0117 (01)B> 1130 10 11
109 1608 -54 0118 (01)A> 1129 10 11
110 1613 -57 0118 <C(01) 01 1128 10 11
111 1685 -93 <C(01) 0119 1128 10 11
112 1687 -95 <B(01) 0120 1128 10 11
113 1692 -92 10 (10)E> 0120 1128 10 11
114 1732 -52 1021 (10)E> 1128 10 11
115 1739 -55 1021 <F(00) 10 1127 10 11
116 1823 -97 <F(00) 1022 1127 10 11
117 1827 -99 <D(10) 1023 1127 10 11
118 1829 -101 <A(10) 1024 1127 10 11
119 1832 -98 01 (01)B> 1024 1127 10 11
120 1880 -50 0125 (01)B> 1127 10 11
121 1882 -48 0126 (01)A> 1126 10 11
122 1887 -51 0126 <C(01) 01 1125 10 11
123 1991 -103 <C(01) 0127 1125 10 11
124 1993 -105 <B(01) 0128 1125 10 11
125 1998 -102 10 (10)E> 0128 1125 10 11
126 2054 -46 1029 (10)E> 1125 10 11
127 2061 -49 1029 <F(00) 10 1124 10 11
128 2177 -107 <F(00) 1030 1124 10 11
129 2181 -109 <D(10) 1031 1124 10 11
130 2183 -111 <A(10) 1032 1124 10 11
131 2186 -108 01 (01)B> 1032 1124 10 11
132 2250 -44 0133 (01)B> 1124 10 11
133 2252 -42 0134 (01)A> 1123 10 11
134 2257 -45 0134 <C(01) 01 1122 10 11
135 2393 -113 <C(01) 0135 1122 10 11
136 2395 -115 <B(01) 0136 1122 10 11
137 2400 -112 10 (10)E> 0136 1122 10 11
138 2472 -40 1037 (10)E> 1122 10 11
139 2479 -43 1037 <F(00) 10 1121 10 11
140 2627 -117 <F(00) 1038 1121 10 11
141 2631 -119 <D(10) 1039 1121 10 11
142 2633 -121 <A(10) 1040 1121 10 11
143 2636 -118 01 (01)B> 1040 1121 10 11
144 2716 -38 0141 (01)B> 1121 10 11
145 2718 -36 0142 (01)A> 1120 10 11
146 2723 -39 0142 <C(01) 01 1119 10 11
147 2891 -123 <C(01) 0143 1119 10 11
148 2893 -125 <B(01) 0144 1119 10 11
149 2898 -122 10 (10)E> 0144 1119 10 11
150 2986 -34 1045 (10)E> 1119 10 11
151 2993 -37 1045 <F(00) 10 1118 10 11
152 3173 -127 <F(00) 1046 1118 10 11
153 3177 -129 <D(10) 1047 1118 10 11
154 3179 -131 <A(10) 1048 1118 10 11
155 3182 -128 01 (01)B> 1048 1118 10 11
156 3278 -32 0149 (01)B> 1118 10 11
157 3280 -30 0150 (01)A> 1117 10 11
158 3285 -33 0150 <C(01) 01 1116 10 11
159 3485 -133 <C(01) 0151 1116 10 11
160 3487 -135 <B(01) 0152 1116 10 11
161 3492 -132 10 (10)E> 0152 1116 10 11
162 3596 -28 1053 (10)E> 1116 10 11
163 3603 -31 1053 <F(00) 10 1115 10 11
164 3815 -137 <F(00) 1054 1115 10 11
165 3819 -139 <D(10) 1055 1115 10 11
166 3821 -141 <A(10) 1056 1115 10 11
167 3824 -138 01 (01)B> 1056 1115 10 11
168 3936 -26 0157 (01)B> 1115 10 11
169 3938 -24 0158 (01)A> 1114 10 11
170 3943 -27 0158 <C(01) 01 1113 10 11
171 4175 -143 <C(01) 0159 1113 10 11
172 4177 -145 <B(01) 0160 1113 10 11
173 4182 -142 10 (10)E> 0160 1113 10 11
174 4302 -22 1061 (10)E> 1113 10 11
175 4309 -25 1061 <F(00) 10 1112 10 11
176 4553 -147 <F(00) 1062 1112 10 11
177 4557 -149 <D(10) 1063 1112 10 11
178 4559 -151 <A(10) 1064 1112 10 11
179 4562 -148 01 (01)B> 1064 1112 10 11
180 4690 -20 0165 (01)B> 1112 10 11
181 4692 -18 0166 (01)A> 1111 10 11
182 4697 -21 0166 <C(01) 01 1110 10 11
183 4961 -153 <C(01) 0167 1110 10 11
184 4963 -155 <B(01) 0168 1110 10 11
185 4968 -152 10 (10)E> 0168 1110 10 11
186 5104 -16 1069 (10)E> 1110 10 11
187 5111 -19 1069 <F(00) 10 119 10 11
188 5387 -157 <F(00) 1070 119 10 11
189 5391 -159 <D(10) 1071 119 10 11
190 5393 -161 <A(10) 1072 119 10 11
191 5396 -158 01 (01)B> 1072 119 10 11
192 5540 -14 0173 (01)B> 119 10 11
193 5542 -12 0174 (01)A> 118 10 11
194 5547 -15 0174 <C(01) 01 117 10 11
195 5843 -163 <C(01) 0175 117 10 11
196 5845 -165 <B(01) 0176 117 10 11
197 5850 -162 10 (10)E> 0176 117 10 11
198 6002 -10 1077 (10)E> 117 10 11
199 6009 -13 1077 <F(00) 10 116 10 11
200 6317 -167 <F(00) 1078 116 10 11
201 6321 -169 <D(10) 1079 116 10 11
202 6323 -171 <A(10) 1080 116 10 11
203 6326 -168 01 (01)B> 1080 116 10 11
204 6486 -8 0181 (01)B> 116 10 11
205 6488 -6 0182 (01)A> 115 10 11
206 6493 -9 0182 <C(01) 01 114 10 11
207 6821 -173 <C(01) 0183 114 10 11
208 6823 -175 <B(01) 0184 114 10 11
209 6828 -172 10 (10)E> 0184 114 10 11
210 6996 -4 1085 (10)E> 114 10 11
211 7003 -7 1085 <F(00) 10 113 10 11
212 7343 -177 <F(00) 1086 113 10 11
213 7347 -179 <D(10) 1087 113 10 11
214 7349 -181 <A(10) 1088 113 10 11
215 7352 -178 01 (01)B> 1088 113 10 11
216 7528 -2 0189 (01)B> 113 10 11
217 7530 0 0190 (01)A> 112 10 11
218 7535 -3 0190 <C(01) 01 11 10 11
219 7895 -183 <C(01) 0191 11 10 11
220 7897 -185 <B(01) 0192 11 10 11
221 7902 -182 10 (10)E> 0192 11 10 11
222 8086 2 1093 (10)E> 11 10 11
223 8093 -1 1093 <F(00) 102 11
224 8465 -187 <F(00) 1095 11
225 8469 -189 <D(10) 1096 11
226 8471 -191 <A(10) 1097 11
227 8474 -188 01 (01)B> 1097 11
228 8668 6 0198 (01)B> 11
229 8670 8 0199 (01)A>
230 8677 5 0199 <C(01) 01
231 9073 -193 <C(01) 01100
232 9075 -195 <B(01) 01101
233 9080 -192 10 (10)E> 01101
234 9282 10 10102 (10)E>
235 9287 7 10102 <C(11) 01
236 9491 -197 <C(11) 11102 01
237 9493 -199 <B(01) 11103 01
238 9498 -196 10 (10)E> 11103 01
239 9505 -199 10 <F(00) 10 11102 01
240 9509 -201 <F(00) 102 11102 01
241 9513 -203 <D(10) 103 11102 01
242 9515 -205 <A(10) 104 11102 01
243 9518 -202 01 (01)B> 104 11102 01
244 9526 -194 015 (01)B> 11102 01
245 9528 -192 016 (01)A> 11101 01
246 9533 -195 016 <C(01) 01 11100 01
247 9557 -207 <C(01) 017 11100 01
248 9559 -209 <B(01) 018 11100 01
249 9564 -206 10 (10)E> 018 11100 01
250 9580 -190 109 (10)E> 11100 01
251 9587 -193 109 <F(00) 10 1199 01
252 9623 -211 <F(00) 1010 1199 01
253 9627 -213 <D(10) 1011 1199 01
254 9629 -215 <A(10) 1012 1199 01
255 9632 -212 01 (01)B> 1012 1199 01
256 9656 -188 0113 (01)B> 1199 01
257 9658 -186 0114 (01)A> 1198 01
258 9663 -189 0114 <C(01) 01 1197 01
259 9719 -217 <C(01) 0115 1197 01
260 9721 -219 <B(01) 0116 1197 01
261 9726 -216 10 (10)E> 0116 1197 01
262 9758 -184 1017 (10)E> 1197 01
263 9765 -187 1017 <F(00) 10 1196 01
264 9833 -221 <F(00) 1018 1196 01
265 9837 -223 <D(10) 1019 1196 01
266 9839 -225 <A(10) 1020 1196 01
267 9842 -222 01 (01)B> 1020 1196 01
268 9882 -182 0121 (01)B> 1196 01
269 9884 -180 0122 (01)A> 1195 01
270 9889 -183 0122 <C(01) 01 1194 01
271 9977 -227 <C(01) 0123 1194 01
272 9979 -229 <B(01) 0124 1194 01
273 9984 -226 10 (10)E> 0124 1194 01
274 10032 -178 1025 (10)E> 1194 01
275 10039 -181 1025 <F(00) 10 1193 01
276 10139 -231 <F(00) 1026 1193 01
277 10143 -233 <D(10) 1027 1193 01
278 10145 -235 <A(10) 1028 1193 01
279 10148 -232 01 (01)B> 1028 1193 01
280 10204 -176 0129 (01)B> 1193 01
281 10206 -174 0130 (01)A> 1192 01
282 10211 -177 0130 <C(01) 01 1191 01
283 10331 -237 <C(01) 0131 1191 01
284 10333 -239 <B(01) 0132 1191 01
285 10338 -236 10 (10)E> 0132 1191 01
286 10402 -172 1033 (10)E> 1191 01
287 10409 -175 1033 <F(00) 10 1190 01
288 10541 -241 <F(00) 1034 1190 01
289 10545 -243 <D(10) 1035 1190 01
290 10547 -245 <A(10) 1036 1190 01
291 10550 -242 01 (01)B> 1036 1190 01
292 10622 -170 0137 (01)B> 1190 01
293 10624 -168 0138 (01)A> 1189 01
294 10629 -171 0138 <C(01) 01 1188 01
295 10781 -247 <C(01) 0139 1188 01
296 10783 -249 <B(01) 0140 1188 01
297 10788 -246 10 (10)E> 0140 1188 01
298 10868 -166 1041 (10)E> 1188 01
299 10875 -169 1041 <F(00) 10 1187 01
300 11039 -251 <F(00) 1042 1187 01
301 11043 -253 <D(10) 1043 1187 01
302 11045 -255 <A(10) 1044 1187 01
303 11048 -252 01 (01)B> 1044 1187 01
304 11136 -164 0145 (01)B> 1187 01
305 11138 -162 0146 (01)A> 1186 01
306 11143 -165 0146 <C(01) 01 1185 01
307 11327 -257 <C(01) 0147 1185 01
308 11329 -259 <B(01) 0148 1185 01
309 11334 -256 10 (10)E> 0148 1185 01
310 11430 -160 1049 (10)E> 1185 01
311 11437 -163 1049 <F(00) 10 1184 01
312 11633 -261 <F(00) 1050 1184 01
313 11637 -263 <D(10) 1051 1184 01
314 11639 -265 <A(10) 1052 1184 01
315 11642 -262 01 (01)B> 1052 1184 01
316 11746 -158 0153 (01)B> 1184 01
317 11748 -156 0154 (01)A> 1183 01
318 11753 -159 0154 <C(01) 01 1182 01
319 11969 -267 <C(01) 0155 1182 01
320 11971 -269 <B(01) 0156 1182 01
321 11976 -266 10 (10)E> 0156 1182 01
322 12088 -154 1057 (10)E> 1182 01
323 12095 -157 1057 <F(00) 10 1181 01
324 12323 -271 <F(00) 1058 1181 01
325 12327 -273 <D(10) 1059 1181 01
326 12329 -275 <A(10) 1060 1181 01
327 12332 -272 01 (01)B> 1060 1181 01
328 12452 -152 0161 (01)B> 1181 01
329 12454 -150 0162 (01)A> 1180 01
330 12459 -153 0162 <C(01) 01 1179 01
331 12707 -277 <C(01) 0163 1179 01
332 12709 -279 <B(01) 0164 1179 01
333 12714 -276 10 (10)E> 0164 1179 01
334 12842 -148 1065 (10)E> 1179 01
335 12849 -151 1065 <F(00) 10 1178 01
336 13109 -281 <F(00) 1066 1178 01
337 13113 -283 <D(10) 1067 1178 01
338 13115 -285 <A(10) 1068 1178 01
339 13118 -282 01 (01)B> 1068 1178 01
340 13254 -146 0169 (01)B> 1178 01
341 13256 -144 0170 (01)A> 1177 01
342 13261 -147 0170 <C(01) 01 1176 01
343 13541 -287 <C(01) 0171 1176 01
344 13543 -289 <B(01) 0172 1176 01
345 13548 -286 10 (10)E> 0172 1176 01
346 13692 -142 1073 (10)E> 1176 01
347 13699 -145 1073 <F(00) 10 1175 01
348 13991 -291 <F(00) 1074 1175 01
349 13995 -293 <D(10) 1075 1175 01
350 13997 -295 <A(10) 1076 1175 01
351 14000 -292 01 (01)B> 1076 1175 01
352 14152 -140 0177 (01)B> 1175 01
353 14154 -138 0178 (01)A> 1174 01
354 14159 -141 0178 <C(01) 01 1173 01
355 14471 -297 <C(01) 0179 1173 01
356 14473 -299 <B(01) 0180 1173 01
357 14478 -296 10 (10)E> 0180 1173 01
358 14638 -136 1081 (10)E> 1173 01
359 14645 -139 1081 <F(00) 10 1172 01
360 14969 -301 <F(00) 1082 1172 01
361 14973 -303 <D(10) 1083 1172 01
362 14975 -305 <A(10) 1084 1172 01
363 14978 -302 01 (01)B> 1084 1172 01
364 15146 -134 0185 (01)B> 1172 01
365 15148 -132 0186 (01)A> 1171 01
366 15153 -135 0186 <C(01) 01 1170 01
367 15497 -307 <C(01) 0187 1170 01
368 15499 -309 <B(01) 0188 1170 01
369 15504 -306 10 (10)E> 0188 1170 01
370 15680 -130 1089 (10)E> 1170 01
371 15687 -133 1089 <F(00) 10 1169 01
372 16043 -311 <F(00) 1090 1169 01
373 16047 -313 <D(10) 1091 1169 01
374 16049 -315 <A(10) 1092 1169 01
375 16052 -312 01 (01)B> 1092 1169 01
376 16236 -128 0193 (01)B> 1169 01
377 16238 -126 0194 (01)A> 1168 01
378 16243 -129 0194 <C(01) 01 1167 01
379 16619 -317 <C(01) 0195 1167 01
380 16621 -319 <B(01) 0196 1167 01
381 16626 -316 10 (10)E> 0196 1167 01
382 16818 -124 1097 (10)E> 1167 01
383 16825 -127 1097 <F(00) 10 1166 01
384 17213 -321 <F(00) 1098 1166 01
385 17217 -323 <D(10) 1099 1166 01
386 17219 -325 <A(10) 10100 1166 01
387 17222 -322 01 (01)B> 10100 1166 01
388 17422 -122 01101 (01)B> 1166 01
389 17424 -120 01102 (01)A> 1165 01
390 17429 -123 01102 <C(01) 01 1164 01
391 17837 -327 <C(01) 01103 1164 01
392 17839 -329 <B(01) 01104 1164 01
393 17844 -326 10 (10)E> 01104 1164 01
394 18052 -118 10105 (10)E> 1164 01
395 18059 -121 10105 <F(00) 10 1163 01
396 18479 -331 <F(00) 10106 1163 01
397 18483 -333 <D(10) 10107 1163 01
398 18485 -335 <A(10) 10108 1163 01
399 18488 -332 01 (01)B> 10108 1163 01
400 18704 -116 01109 (01)B> 1163 01
401 18706 -114 01110 (01)A> 1162 01
402 18711 -117 01110 <C(01) 01 1161 01
403 19151 -337 <C(01) 01111 1161 01
404 19153 -339 <B(01) 01112 1161 01
405 19158 -336 10 (10)E> 01112 1161 01
406 19382 -112 10113 (10)E> 1161 01
407 19389 -115 10113 <F(00) 10 1160 01
408 19841 -341 <F(00) 10114 1160 01
409 19845 -343 <D(10) 10115 1160 01
410 19847 -345 <A(10) 10116 1160 01
411 19850 -342 01 (01)B> 10116 1160 01
412 20082 -110 01117 (01)B> 1160 01
413 20084 -108 01118 (01)A> 1159 01
414 20089 -111 01118 <C(01) 01 1158 01
415 20561 -347 <C(01) 01119 1158 01
416 20563 -349 <B(01) 01120 1158 01
417 20568 -346 10 (10)E> 01120 1158 01
418 20808 -106 10121 (10)E> 1158 01
419 20815 -109 10121 <F(00) 10 1157 01
420 21299 -351 <F(00) 10122 1157 01
421 21303 -353 <D(10) 10123 1157 01
422 21305 -355 <A(10) 10124 1157 01
423 21308 -352 01 (01)B> 10124 1157 01
424 21556 -104 01125 (01)B> 1157 01
425 21558 -102 01126 (01)A> 1156 01
426 21563 -105 01126 <C(01) 01 1155 01
427 22067 -357 <C(01) 01127 1155 01
428 22069 -359 <B(01) 01128 1155 01
429 22074 -356 10 (10)E> 01128 1155 01
430 22330 -100 10129 (10)E> 1155 01
431 22337 -103 10129 <F(00) 10 1154 01
432 22853 -361 <F(00) 10130 1154 01
433 22857 -363 <D(10) 10131 1154 01
434 22859 -365 <A(10) 10132 1154 01
435 22862 -362 01 (01)B> 10132 1154 01
436 23126 -98 01133 (01)B> 1154 01
437 23128 -96 01134 (01)A> 1153 01
438 23133 -99 01134 <C(01) 01 1152 01
439 23669 -367 <C(01) 01135 1152 01
440 23671 -369 <B(01) 01136 1152 01
441 23676 -366 10 (10)E> 01136 1152 01
442 23948 -94 10137 (10)E> 1152 01
443 23955 -97 10137 <F(00) 10 1151 01
444 24503 -371 <F(00) 10138 1151 01
445 24507 -373 <D(10) 10139 1151 01
446 24509 -375 <A(10) 10140 1151 01
447 24512 -372 01 (01)B> 10140 1151 01
448 24792 -92 01141 (01)B> 1151 01
449 24794 -90 01142 (01)A> 1150 01
450 24799 -93 01142 <C(01) 01 1149 01
451 25367 -377 <C(01) 01143 1149 01
452 25369 -379 <B(01) 01144 1149 01
453 25374 -376 10 (10)E> 01144 1149 01
454 25662 -88 10145 (10)E> 1149 01
455 25669 -91 10145 <F(00) 10 1148 01
456 26249 -381 <F(00) 10146 1148 01
457 26253 -383 <D(10) 10147 1148 01
458 26255 -385 <A(10) 10148 1148 01
459 26258 -382 01 (01)B> 10148 1148 01
460 26554 -86 01149 (01)B> 1148 01
461 26556 -84 01150 (01)A> 1147 01
462 26561 -87 01150 <C(01) 01 1146 01
463 27161 -387 <C(01) 01151 1146 01
464 27163 -389 <B(01) 01152 1146 01
465 27168 -386 10 (10)E> 01152 1146 01
466 27472 -82 10153 (10)E> 1146 01
467 27479 -85 10153 <F(00) 10 1145 01
468 28091 -391 <F(00) 10154 1145 01
469 28095 -393 <D(10) 10155 1145 01
470 28097 -395 <A(10) 10156 1145 01
471 28100 -392 01 (01)B> 10156 1145 01
472 28412 -80 01157 (01)B> 1145 01
473 28414 -78 01158 (01)A> 1144 01
474 28419 -81 01158 <C(01) 01 1143 01
475 29051 -397 <C(01) 01159 1143 01
476 29053 -399 <B(01) 01160 1143 01
477 29058 -396 10 (10)E> 01160 1143 01
478 29378 -76 10161 (10)E> 1143 01
479 29385 -79 10161 <F(00) 10 1142 01
480 30029 -401 <F(00) 10162 1142 01
481 30033 -403 <D(10) 10163 1142 01
482 30035 -405 <A(10) 10164 1142 01
483 30038 -402 01 (01)B> 10164 1142 01
484 30366 -74 01165 (01)B> 1142 01
485 30368 -72 01166 (01)A> 1141 01
486 30373 -75 01166 <C(01) 01 1140 01
487 31037 -407 <C(01) 01167 1140 01
488 31039 -409 <B(01) 01168 1140 01
489 31044 -406 10 (10)E> 01168 1140 01
490 31380 -70 10169 (10)E> 1140 01
491 31387 -73 10169 <F(00) 10 1139 01
492 32063 -411 <F(00) 10170 1139 01
493 32067 -413 <D(10) 10171 1139 01
494 32069 -415 <A(10) 10172 1139 01
495 32072 -412 01 (01)B> 10172 1139 01
496 32416 -68 01173 (01)B> 1139 01
497 32418 -66 01174 (01)A> 1138 01
498 32423 -69 01174 <C(01) 01 1137 01
499 33119 -417 <C(01) 01175 1137 01
500 33121 -419 <B(01) 01176 1137 01
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 33121
Tape index: -419
ones: 252
log10(ones ): 2.401
log10(steps ): 4.520
Input to awk program:
gohalt 1
L 38
5T B1R C0L A1L E0R D1L F0L B0L C1L B1R A1R B1R Z1R : 36109969 1137975066814256
T 6-state TM #b from MaBu-List
M 501
pref sim
machv mbL6_b just simple
machv mbL6_b-r with repetitions reduced
machv mbL6_b-1 with tape symbol exponents
machv mbL6_b-m as 2-bck-macro machine
machv mbL6_b-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_b-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:39 CEST 2010
edate Tue Jul 6 22:10:40 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:39 CEST 2010