Comment: This TM produces 11974457230330 ones in 83425527831799543594604927 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C1L | 1 | right | B | 1 | left | C |
| B | A0L | D0L | 0 | left | A | 0 | left | D |
| C | A1L | Z1R | 1 | left | A | 1 | right | Z |
| D | B1L | E1R | 1 | left | B | 1 | right | E |
| E | D0R | F0R | 0 | right | D | 0 | right | F |
| F | F0R | D0L | 0 | right | F | 0 | left | D |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-2-macro machine.
The same TM as 1-bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 4 -2 <A(1) 10
2 8 0 01 (0)D> 10
3 10 2 012 (0)D>
4 12 0 012 <A(0) 10
5 14 -2 01 <A(1) 102
6 16 -4 <A(1) 11 102
7 20 -2 01 (0)D> 11 102
8 22 0 012 (0)F> 102
9 24 -2 012 <B(1) 00 10
10 28 -6 <B(1) 012 00 10
11 32 -8 <C(1) 013 00 10
12 38 -6 10 (1)E> 013 00 10
13 44 0 104 (1)E> 00 10
14 48 -2 104 <C(1) 01 10
15 56 -10 <C(1) 114 01 10
16 62 -8 10 (1)E> 114 01 10
17 66 -10 10 <D(0) 10 113 01 10
18 68 -12 <D(0) 102 113 01 10
19 70 -14 <A(0) 103 113 01 10
20 74 -16 <A(1) 104 113 01 10
21 78 -14 01 (0)D> 104 113 01 10
22 86 -6 015 (0)D> 113 01 10
23 88 -4 016 (0)F> 112 01 10
24 90 -6 016 <B(1) 01 11 01 10
25 102 -18 <B(1) 017 11 01 10
26 106 -20 <C(1) 018 11 01 10
27 112 -18 10 (1)E> 018 11 01 10
28 128 -2 109 (1)E> 11 01 10
29 132 -4 109 <D(0) 10 01 10
30 150 -22 <D(0) 1010 01 10
31 152 -24 <A(0) 1011 01 10
32 156 -26 <A(1) 1012 01 10
33 160 -24 01 (0)D> 1012 01 10
34 184 0 0113 (0)D> 01 10
35 186 -2 0113 <A(0) 11 10
36 188 -4 0112 <A(1) 10 11 10
37 212 -28 <A(1) 1112 10 11 10
38 216 -26 01 (0)D> 1112 10 11 10
39 218 -24 012 (0)F> 1111 10 11 10
40 220 -26 012 <B(1) 01 1110 10 11 10
41 224 -30 <B(1) 013 1110 10 11 10
42 228 -32 <C(1) 014 1110 10 11 10
43 234 -30 10 (1)E> 014 1110 10 11 10
44 242 -22 105 (1)E> 1110 10 11 10
45 246 -24 105 <D(0) 10 119 10 11 10
46 256 -34 <D(0) 106 119 10 11 10
47 258 -36 <A(0) 107 119 10 11 10
48 262 -38 <A(1) 108 119 10 11 10
49 266 -36 01 (0)D> 108 119 10 11 10
50 282 -20 019 (0)D> 119 10 11 10
51 284 -18 0110 (0)F> 118 10 11 10
52 286 -20 0110 <B(1) 01 117 10 11 10
53 306 -40 <B(1) 0111 117 10 11 10
54 310 -42 <C(1) 0112 117 10 11 10
55 316 -40 10 (1)E> 0112 117 10 11 10
56 340 -16 1013 (1)E> 117 10 11 10
57 344 -18 1013 <D(0) 10 116 10 11 10
58 370 -44 <D(0) 1014 116 10 11 10
59 372 -46 <A(0) 1015 116 10 11 10
60 376 -48 <A(1) 1016 116 10 11 10
61 380 -46 01 (0)D> 1016 116 10 11 10
62 412 -14 0117 (0)D> 116 10 11 10
63 414 -12 0118 (0)F> 115 10 11 10
64 416 -14 0118 <B(1) 01 114 10 11 10
65 452 -50 <B(1) 0119 114 10 11 10
66 456 -52 <C(1) 0120 114 10 11 10
67 462 -50 10 (1)E> 0120 114 10 11 10
68 502 -10 1021 (1)E> 114 10 11 10
69 506 -12 1021 <D(0) 10 113 10 11 10
70 548 -54 <D(0) 1022 113 10 11 10
71 550 -56 <A(0) 1023 113 10 11 10
72 554 -58 <A(1) 1024 113 10 11 10
73 558 -56 01 (0)D> 1024 113 10 11 10
74 606 -8 0125 (0)D> 113 10 11 10
75 608 -6 0126 (0)F> 112 10 11 10
76 610 -8 0126 <B(1) 01 11 10 11 10
77 662 -60 <B(1) 0127 11 10 11 10
78 666 -62 <C(1) 0128 11 10 11 10
79 672 -60 10 (1)E> 0128 11 10 11 10
80 728 -4 1029 (1)E> 11 10 11 10
81 732 -6 1029 <D(0) 102 11 10
82 790 -64 <D(0) 1031 11 10
83 792 -66 <A(0) 1032 11 10
84 796 -68 <A(1) 1033 11 10
85 800 -66 01 (0)D> 1033 11 10
86 866 0 0134 (0)D> 11 10
87 868 2 0135 (0)F> 10
88 870 0 0135 <B(1)
89 940 -70 <B(1) 0135
90 944 -72 <C(1) 0136
91 950 -70 10 (1)E> 0136
92 1022 2 1037 (1)E>
93 1026 0 1037 <C(1) 01
94 1100 -74 <C(1) 1137 01
95 1106 -72 10 (1)E> 1137 01
96 1110 -74 10 <D(0) 10 1136 01
97 1112 -76 <D(0) 102 1136 01
98 1114 -78 <A(0) 103 1136 01
99 1118 -80 <A(1) 104 1136 01
100 1122 -78 01 (0)D> 104 1136 01
101 1130 -70 015 (0)D> 1136 01
102 1132 -68 016 (0)F> 1135 01
103 1134 -70 016 <B(1) 01 1134 01
104 1146 -82 <B(1) 017 1134 01
105 1150 -84 <C(1) 018 1134 01
106 1156 -82 10 (1)E> 018 1134 01
107 1172 -66 109 (1)E> 1134 01
108 1176 -68 109 <D(0) 10 1133 01
109 1194 -86 <D(0) 1010 1133 01
110 1196 -88 <A(0) 1011 1133 01
111 1200 -90 <A(1) 1012 1133 01
112 1204 -88 01 (0)D> 1012 1133 01
113 1228 -64 0113 (0)D> 1133 01
114 1230 -62 0114 (0)F> 1132 01
115 1232 -64 0114 <B(1) 01 1131 01
116 1260 -92 <B(1) 0115 1131 01
117 1264 -94 <C(1) 0116 1131 01
118 1270 -92 10 (1)E> 0116 1131 01
119 1302 -60 1017 (1)E> 1131 01
120 1306 -62 1017 <D(0) 10 1130 01
121 1340 -96 <D(0) 1018 1130 01
122 1342 -98 <A(0) 1019 1130 01
123 1346 -100 <A(1) 1020 1130 01
124 1350 -98 01 (0)D> 1020 1130 01
125 1390 -58 0121 (0)D> 1130 01
126 1392 -56 0122 (0)F> 1129 01
127 1394 -58 0122 <B(1) 01 1128 01
128 1438 -102 <B(1) 0123 1128 01
129 1442 -104 <C(1) 0124 1128 01
130 1448 -102 10 (1)E> 0124 1128 01
131 1496 -54 1025 (1)E> 1128 01
132 1500 -56 1025 <D(0) 10 1127 01
133 1550 -106 <D(0) 1026 1127 01
134 1552 -108 <A(0) 1027 1127 01
135 1556 -110 <A(1) 1028 1127 01
136 1560 -108 01 (0)D> 1028 1127 01
137 1616 -52 0129 (0)D> 1127 01
138 1618 -50 0130 (0)F> 1126 01
139 1620 -52 0130 <B(1) 01 1125 01
140 1680 -112 <B(1) 0131 1125 01
141 1684 -114 <C(1) 0132 1125 01
142 1690 -112 10 (1)E> 0132 1125 01
143 1754 -48 1033 (1)E> 1125 01
144 1758 -50 1033 <D(0) 10 1124 01
145 1824 -116 <D(0) 1034 1124 01
146 1826 -118 <A(0) 1035 1124 01
147 1830 -120 <A(1) 1036 1124 01
148 1834 -118 01 (0)D> 1036 1124 01
149 1906 -46 0137 (0)D> 1124 01
150 1908 -44 0138 (0)F> 1123 01
151 1910 -46 0138 <B(1) 01 1122 01
152 1986 -122 <B(1) 0139 1122 01
153 1990 -124 <C(1) 0140 1122 01
154 1996 -122 10 (1)E> 0140 1122 01
155 2076 -42 1041 (1)E> 1122 01
156 2080 -44 1041 <D(0) 10 1121 01
157 2162 -126 <D(0) 1042 1121 01
158 2164 -128 <A(0) 1043 1121 01
159 2168 -130 <A(1) 1044 1121 01
160 2172 -128 01 (0)D> 1044 1121 01
161 2260 -40 0145 (0)D> 1121 01
162 2262 -38 0146 (0)F> 1120 01
163 2264 -40 0146 <B(1) 01 1119 01
164 2356 -132 <B(1) 0147 1119 01
165 2360 -134 <C(1) 0148 1119 01
166 2366 -132 10 (1)E> 0148 1119 01
167 2462 -36 1049 (1)E> 1119 01
168 2466 -38 1049 <D(0) 10 1118 01
169 2564 -136 <D(0) 1050 1118 01
170 2566 -138 <A(0) 1051 1118 01
171 2570 -140 <A(1) 1052 1118 01
172 2574 -138 01 (0)D> 1052 1118 01
173 2678 -34 0153 (0)D> 1118 01
174 2680 -32 0154 (0)F> 1117 01
175 2682 -34 0154 <B(1) 01 1116 01
176 2790 -142 <B(1) 0155 1116 01
177 2794 -144 <C(1) 0156 1116 01
178 2800 -142 10 (1)E> 0156 1116 01
179 2912 -30 1057 (1)E> 1116 01
180 2916 -32 1057 <D(0) 10 1115 01
181 3030 -146 <D(0) 1058 1115 01
182 3032 -148 <A(0) 1059 1115 01
183 3036 -150 <A(1) 1060 1115 01
184 3040 -148 01 (0)D> 1060 1115 01
185 3160 -28 0161 (0)D> 1115 01
186 3162 -26 0162 (0)F> 1114 01
187 3164 -28 0162 <B(1) 01 1113 01
188 3288 -152 <B(1) 0163 1113 01
189 3292 -154 <C(1) 0164 1113 01
190 3298 -152 10 (1)E> 0164 1113 01
191 3426 -24 1065 (1)E> 1113 01
192 3430 -26 1065 <D(0) 10 1112 01
193 3560 -156 <D(0) 1066 1112 01
194 3562 -158 <A(0) 1067 1112 01
195 3566 -160 <A(1) 1068 1112 01
196 3570 -158 01 (0)D> 1068 1112 01
197 3706 -22 0169 (0)D> 1112 01
198 3708 -20 0170 (0)F> 1111 01
199 3710 -22 0170 <B(1) 01 1110 01
200 3850 -162 <B(1) 0171 1110 01
201 3854 -164 <C(1) 0172 1110 01
202 3860 -162 10 (1)E> 0172 1110 01
203 4004 -18 1073 (1)E> 1110 01
204 4008 -20 1073 <D(0) 10 119 01
205 4154 -166 <D(0) 1074 119 01
206 4156 -168 <A(0) 1075 119 01
207 4160 -170 <A(1) 1076 119 01
208 4164 -168 01 (0)D> 1076 119 01
209 4316 -16 0177 (0)D> 119 01
210 4318 -14 0178 (0)F> 118 01
211 4320 -16 0178 <B(1) 01 117 01
212 4476 -172 <B(1) 0179 117 01
213 4480 -174 <C(1) 0180 117 01
214 4486 -172 10 (1)E> 0180 117 01
215 4646 -12 1081 (1)E> 117 01
216 4650 -14 1081 <D(0) 10 116 01
217 4812 -176 <D(0) 1082 116 01
218 4814 -178 <A(0) 1083 116 01
219 4818 -180 <A(1) 1084 116 01
220 4822 -178 01 (0)D> 1084 116 01
221 4990 -10 0185 (0)D> 116 01
222 4992 -8 0186 (0)F> 115 01
223 4994 -10 0186 <B(1) 01 114 01
224 5166 -182 <B(1) 0187 114 01
225 5170 -184 <C(1) 0188 114 01
226 5176 -182 10 (1)E> 0188 114 01
227 5352 -6 1089 (1)E> 114 01
228 5356 -8 1089 <D(0) 10 113 01
229 5534 -186 <D(0) 1090 113 01
230 5536 -188 <A(0) 1091 113 01
231 5540 -190 <A(1) 1092 113 01
232 5544 -188 01 (0)D> 1092 113 01
233 5728 -4 0193 (0)D> 113 01
234 5730 -2 0194 (0)F> 112 01
235 5732 -4 0194 <B(1) 01 11 01
236 5920 -192 <B(1) 0195 11 01
237 5924 -194 <C(1) 0196 11 01
238 5930 -192 10 (1)E> 0196 11 01
239 6122 0 1097 (1)E> 11 01
240 6126 -2 1097 <D(0) 10 01
241 6320 -196 <D(0) 1098 01
242 6322 -198 <A(0) 1099 01
243 6326 -200 <A(1) 10100 01
244 6330 -198 01 (0)D> 10100 01
245 6530 2 01101 (0)D> 01
246 6532 0 01101 <A(0) 11
247 6534 -2 01100 <A(1) 10 11
248 6734 -202 <A(1) 11100 10 11
249 6738 -200 01 (0)D> 11100 10 11
250 6740 -198 012 (0)F> 1199 10 11
251 6742 -200 012 <B(1) 01 1198 10 11
252 6746 -204 <B(1) 013 1198 10 11
253 6750 -206 <C(1) 014 1198 10 11
254 6756 -204 10 (1)E> 014 1198 10 11
255 6764 -196 105 (1)E> 1198 10 11
256 6768 -198 105 <D(0) 10 1197 10 11
257 6778 -208 <D(0) 106 1197 10 11
258 6780 -210 <A(0) 107 1197 10 11
259 6784 -212 <A(1) 108 1197 10 11
260 6788 -210 01 (0)D> 108 1197 10 11
261 6804 -194 019 (0)D> 1197 10 11
262 6806 -192 0110 (0)F> 1196 10 11
263 6808 -194 0110 <B(1) 01 1195 10 11
264 6828 -214 <B(1) 0111 1195 10 11
265 6832 -216 <C(1) 0112 1195 10 11
266 6838 -214 10 (1)E> 0112 1195 10 11
267 6862 -190 1013 (1)E> 1195 10 11
268 6866 -192 1013 <D(0) 10 1194 10 11
269 6892 -218 <D(0) 1014 1194 10 11
270 6894 -220 <A(0) 1015 1194 10 11
271 6898 -222 <A(1) 1016 1194 10 11
272 6902 -220 01 (0)D> 1016 1194 10 11
273 6934 -188 0117 (0)D> 1194 10 11
274 6936 -186 0118 (0)F> 1193 10 11
275 6938 -188 0118 <B(1) 01 1192 10 11
276 6974 -224 <B(1) 0119 1192 10 11
277 6978 -226 <C(1) 0120 1192 10 11
278 6984 -224 10 (1)E> 0120 1192 10 11
279 7024 -184 1021 (1)E> 1192 10 11
280 7028 -186 1021 <D(0) 10 1191 10 11
281 7070 -228 <D(0) 1022 1191 10 11
282 7072 -230 <A(0) 1023 1191 10 11
283 7076 -232 <A(1) 1024 1191 10 11
284 7080 -230 01 (0)D> 1024 1191 10 11
285 7128 -182 0125 (0)D> 1191 10 11
286 7130 -180 0126 (0)F> 1190 10 11
287 7132 -182 0126 <B(1) 01 1189 10 11
288 7184 -234 <B(1) 0127 1189 10 11
289 7188 -236 <C(1) 0128 1189 10 11
290 7194 -234 10 (1)E> 0128 1189 10 11
291 7250 -178 1029 (1)E> 1189 10 11
292 7254 -180 1029 <D(0) 10 1188 10 11
293 7312 -238 <D(0) 1030 1188 10 11
294 7314 -240 <A(0) 1031 1188 10 11
295 7318 -242 <A(1) 1032 1188 10 11
296 7322 -240 01 (0)D> 1032 1188 10 11
297 7386 -176 0133 (0)D> 1188 10 11
298 7388 -174 0134 (0)F> 1187 10 11
299 7390 -176 0134 <B(1) 01 1186 10 11
300 7458 -244 <B(1) 0135 1186 10 11
301 7462 -246 <C(1) 0136 1186 10 11
302 7468 -244 10 (1)E> 0136 1186 10 11
303 7540 -172 1037 (1)E> 1186 10 11
304 7544 -174 1037 <D(0) 10 1185 10 11
305 7618 -248 <D(0) 1038 1185 10 11
306 7620 -250 <A(0) 1039 1185 10 11
307 7624 -252 <A(1) 1040 1185 10 11
308 7628 -250 01 (0)D> 1040 1185 10 11
309 7708 -170 0141 (0)D> 1185 10 11
310 7710 -168 0142 (0)F> 1184 10 11
311 7712 -170 0142 <B(1) 01 1183 10 11
312 7796 -254 <B(1) 0143 1183 10 11
313 7800 -256 <C(1) 0144 1183 10 11
314 7806 -254 10 (1)E> 0144 1183 10 11
315 7894 -166 1045 (1)E> 1183 10 11
316 7898 -168 1045 <D(0) 10 1182 10 11
317 7988 -258 <D(0) 1046 1182 10 11
318 7990 -260 <A(0) 1047 1182 10 11
319 7994 -262 <A(1) 1048 1182 10 11
320 7998 -260 01 (0)D> 1048 1182 10 11
321 8094 -164 0149 (0)D> 1182 10 11
322 8096 -162 0150 (0)F> 1181 10 11
323 8098 -164 0150 <B(1) 01 1180 10 11
324 8198 -264 <B(1) 0151 1180 10 11
325 8202 -266 <C(1) 0152 1180 10 11
326 8208 -264 10 (1)E> 0152 1180 10 11
327 8312 -160 1053 (1)E> 1180 10 11
328 8316 -162 1053 <D(0) 10 1179 10 11
329 8422 -268 <D(0) 1054 1179 10 11
330 8424 -270 <A(0) 1055 1179 10 11
331 8428 -272 <A(1) 1056 1179 10 11
332 8432 -270 01 (0)D> 1056 1179 10 11
333 8544 -158 0157 (0)D> 1179 10 11
334 8546 -156 0158 (0)F> 1178 10 11
335 8548 -158 0158 <B(1) 01 1177 10 11
336 8664 -274 <B(1) 0159 1177 10 11
337 8668 -276 <C(1) 0160 1177 10 11
338 8674 -274 10 (1)E> 0160 1177 10 11
339 8794 -154 1061 (1)E> 1177 10 11
340 8798 -156 1061 <D(0) 10 1176 10 11
341 8920 -278 <D(0) 1062 1176 10 11
342 8922 -280 <A(0) 1063 1176 10 11
343 8926 -282 <A(1) 1064 1176 10 11
344 8930 -280 01 (0)D> 1064 1176 10 11
345 9058 -152 0165 (0)D> 1176 10 11
346 9060 -150 0166 (0)F> 1175 10 11
347 9062 -152 0166 <B(1) 01 1174 10 11
348 9194 -284 <B(1) 0167 1174 10 11
349 9198 -286 <C(1) 0168 1174 10 11
350 9204 -284 10 (1)E> 0168 1174 10 11
351 9340 -148 1069 (1)E> 1174 10 11
352 9344 -150 1069 <D(0) 10 1173 10 11
353 9482 -288 <D(0) 1070 1173 10 11
354 9484 -290 <A(0) 1071 1173 10 11
355 9488 -292 <A(1) 1072 1173 10 11
356 9492 -290 01 (0)D> 1072 1173 10 11
357 9636 -146 0173 (0)D> 1173 10 11
358 9638 -144 0174 (0)F> 1172 10 11
359 9640 -146 0174 <B(1) 01 1171 10 11
360 9788 -294 <B(1) 0175 1171 10 11
361 9792 -296 <C(1) 0176 1171 10 11
362 9798 -294 10 (1)E> 0176 1171 10 11
363 9950 -142 1077 (1)E> 1171 10 11
364 9954 -144 1077 <D(0) 10 1170 10 11
365 10108 -298 <D(0) 1078 1170 10 11
366 10110 -300 <A(0) 1079 1170 10 11
367 10114 -302 <A(1) 1080 1170 10 11
368 10118 -300 01 (0)D> 1080 1170 10 11
369 10278 -140 0181 (0)D> 1170 10 11
370 10280 -138 0182 (0)F> 1169 10 11
371 10282 -140 0182 <B(1) 01 1168 10 11
372 10446 -304 <B(1) 0183 1168 10 11
373 10450 -306 <C(1) 0184 1168 10 11
374 10456 -304 10 (1)E> 0184 1168 10 11
375 10624 -136 1085 (1)E> 1168 10 11
376 10628 -138 1085 <D(0) 10 1167 10 11
377 10798 -308 <D(0) 1086 1167 10 11
378 10800 -310 <A(0) 1087 1167 10 11
379 10804 -312 <A(1) 1088 1167 10 11
380 10808 -310 01 (0)D> 1088 1167 10 11
381 10984 -134 0189 (0)D> 1167 10 11
382 10986 -132 0190 (0)F> 1166 10 11
383 10988 -134 0190 <B(1) 01 1165 10 11
384 11168 -314 <B(1) 0191 1165 10 11
385 11172 -316 <C(1) 0192 1165 10 11
386 11178 -314 10 (1)E> 0192 1165 10 11
387 11362 -130 1093 (1)E> 1165 10 11
388 11366 -132 1093 <D(0) 10 1164 10 11
389 11552 -318 <D(0) 1094 1164 10 11
390 11554 -320 <A(0) 1095 1164 10 11
391 11558 -322 <A(1) 1096 1164 10 11
392 11562 -320 01 (0)D> 1096 1164 10 11
393 11754 -128 0197 (0)D> 1164 10 11
394 11756 -126 0198 (0)F> 1163 10 11
395 11758 -128 0198 <B(1) 01 1162 10 11
396 11954 -324 <B(1) 0199 1162 10 11
397 11958 -326 <C(1) 01100 1162 10 11
398 11964 -324 10 (1)E> 01100 1162 10 11
399 12164 -124 10101 (1)E> 1162 10 11
400 12168 -126 10101 <D(0) 10 1161 10 11
401 12370 -328 <D(0) 10102 1161 10 11
402 12372 -330 <A(0) 10103 1161 10 11
403 12376 -332 <A(1) 10104 1161 10 11
404 12380 -330 01 (0)D> 10104 1161 10 11
405 12588 -122 01105 (0)D> 1161 10 11
406 12590 -120 01106 (0)F> 1160 10 11
407 12592 -122 01106 <B(1) 01 1159 10 11
408 12804 -334 <B(1) 01107 1159 10 11
409 12808 -336 <C(1) 01108 1159 10 11
410 12814 -334 10 (1)E> 01108 1159 10 11
411 13030 -118 10109 (1)E> 1159 10 11
412 13034 -120 10109 <D(0) 10 1158 10 11
413 13252 -338 <D(0) 10110 1158 10 11
414 13254 -340 <A(0) 10111 1158 10 11
415 13258 -342 <A(1) 10112 1158 10 11
416 13262 -340 01 (0)D> 10112 1158 10 11
417 13486 -116 01113 (0)D> 1158 10 11
418 13488 -114 01114 (0)F> 1157 10 11
419 13490 -116 01114 <B(1) 01 1156 10 11
420 13718 -344 <B(1) 01115 1156 10 11
421 13722 -346 <C(1) 01116 1156 10 11
422 13728 -344 10 (1)E> 01116 1156 10 11
423 13960 -112 10117 (1)E> 1156 10 11
424 13964 -114 10117 <D(0) 10 1155 10 11
425 14198 -348 <D(0) 10118 1155 10 11
426 14200 -350 <A(0) 10119 1155 10 11
427 14204 -352 <A(1) 10120 1155 10 11
428 14208 -350 01 (0)D> 10120 1155 10 11
429 14448 -110 01121 (0)D> 1155 10 11
430 14450 -108 01122 (0)F> 1154 10 11
431 14452 -110 01122 <B(1) 01 1153 10 11
432 14696 -354 <B(1) 01123 1153 10 11
433 14700 -356 <C(1) 01124 1153 10 11
434 14706 -354 10 (1)E> 01124 1153 10 11
435 14954 -106 10125 (1)E> 1153 10 11
436 14958 -108 10125 <D(0) 10 1152 10 11
437 15208 -358 <D(0) 10126 1152 10 11
438 15210 -360 <A(0) 10127 1152 10 11
439 15214 -362 <A(1) 10128 1152 10 11
440 15218 -360 01 (0)D> 10128 1152 10 11
441 15474 -104 01129 (0)D> 1152 10 11
442 15476 -102 01130 (0)F> 1151 10 11
443 15478 -104 01130 <B(1) 01 1150 10 11
444 15738 -364 <B(1) 01131 1150 10 11
445 15742 -366 <C(1) 01132 1150 10 11
446 15748 -364 10 (1)E> 01132 1150 10 11
447 16012 -100 10133 (1)E> 1150 10 11
448 16016 -102 10133 <D(0) 10 1149 10 11
449 16282 -368 <D(0) 10134 1149 10 11
450 16284 -370 <A(0) 10135 1149 10 11
451 16288 -372 <A(1) 10136 1149 10 11
452 16292 -370 01 (0)D> 10136 1149 10 11
453 16564 -98 01137 (0)D> 1149 10 11
454 16566 -96 01138 (0)F> 1148 10 11
455 16568 -98 01138 <B(1) 01 1147 10 11
456 16844 -374 <B(1) 01139 1147 10 11
457 16848 -376 <C(1) 01140 1147 10 11
458 16854 -374 10 (1)E> 01140 1147 10 11
459 17134 -94 10141 (1)E> 1147 10 11
460 17138 -96 10141 <D(0) 10 1146 10 11
461 17420 -378 <D(0) 10142 1146 10 11
462 17422 -380 <A(0) 10143 1146 10 11
463 17426 -382 <A(1) 10144 1146 10 11
464 17430 -380 01 (0)D> 10144 1146 10 11
465 17718 -92 01145 (0)D> 1146 10 11
466 17720 -90 01146 (0)F> 1145 10 11
467 17722 -92 01146 <B(1) 01 1144 10 11
468 18014 -384 <B(1) 01147 1144 10 11
469 18018 -386 <C(1) 01148 1144 10 11
470 18024 -384 10 (1)E> 01148 1144 10 11
471 18320 -88 10149 (1)E> 1144 10 11
472 18324 -90 10149 <D(0) 10 1143 10 11
473 18622 -388 <D(0) 10150 1143 10 11
474 18624 -390 <A(0) 10151 1143 10 11
475 18628 -392 <A(1) 10152 1143 10 11
476 18632 -390 01 (0)D> 10152 1143 10 11
477 18936 -86 01153 (0)D> 1143 10 11
478 18938 -84 01154 (0)F> 1142 10 11
479 18940 -86 01154 <B(1) 01 1141 10 11
480 19248 -394 <B(1) 01155 1141 10 11
481 19252 -396 <C(1) 01156 1141 10 11
482 19258 -394 10 (1)E> 01156 1141 10 11
483 19570 -82 10157 (1)E> 1141 10 11
484 19574 -84 10157 <D(0) 10 1140 10 11
485 19888 -398 <D(0) 10158 1140 10 11
486 19890 -400 <A(0) 10159 1140 10 11
487 19894 -402 <A(1) 10160 1140 10 11
488 19898 -400 01 (0)D> 10160 1140 10 11
489 20218 -80 01161 (0)D> 1140 10 11
490 20220 -78 01162 (0)F> 1139 10 11
491 20222 -80 01162 <B(1) 01 1138 10 11
492 20546 -404 <B(1) 01163 1138 10 11
493 20550 -406 <C(1) 01164 1138 10 11
494 20556 -404 10 (1)E> 01164 1138 10 11
495 20884 -76 10165 (1)E> 1138 10 11
496 20888 -78 10165 <D(0) 10 1137 10 11
497 21218 -408 <D(0) 10166 1137 10 11
498 21220 -410 <A(0) 10167 1137 10 11
499 21224 -412 <A(1) 10168 1137 10 11
500 21228 -410 01 (0)D> 10168 1137 10 11
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 21228
Tape index: -410
ones: 246
log10(ones ): 2.391
log10(steps ): 4.327
Input to awk program:
gohalt 1
L 38
5T B1R C1L A0L D0L A1L Z1R B1L E1R D0R F0R F0R D0L : 11974457230330 83425527831799543594604927
T 6-state TM #g from MaBu-List
M 501
pref sim
machv mbL6_g just simple
machv mbL6_g-r with repetitions reduced
machv mbL6_g-1 with tape symbol exponents
machv mbL6_g-m as 1-bck-2-macro machine
machv mbL6_g-a as 1-bck-2-macro machine with pure additive config-TRs
iam mbL6_g-m
mtype 1 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:51 CEST 2010
edate Tue Jul 6 22:10:51 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:51 CEST 2010