Comment: This TM produces 143 nonzeros in 26,375,397,569,930 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | B1R | A3L | A1L | A4L | A1R | 1 | right | B | 3 | left | A | 1 | left | A | 4 | left | A | 1 | right | A |
| B | B2L | A2R | Z1R | A0R | B0R | 2 | left | B | 2 | right | A | 1 | right | Z | 0 | right | A | 0 | right | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 4-bck-bck-2-bck-2-bck-4-macro machine.
Simulation is done as 4-bck-bck-2-bck-2-bck-4-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 4.
Pushing BCK machine.
Pushing BCK machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing macro factor 4.
Steps BasSteps BasTpos Tape contents
0 0 0 (0000000000000000)(00000000)(0000)(0000)A>
1 27004 64 0000000000000000000000000011010101010101010101011101010101010101 (0111010101010101)(01010101)(1011)(0111)A>
2 75499973 31 0000000000000000000000000011010101010101010101011101010101010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434330000000000000000000000000000
3 75500040 64 0000000000000000000000000011010101010101010101011101010101010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434330000000000000000000000000000
4 176163263 31 0000000000000000000000000011010101010101010101011101010101010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333100000000000000000000000000
5 176163336 64 0000000000000000000000000011010101010101010101011101010101011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333100000000000000000000000000
6 276826557 31 0000000000000000000000000011010101010101010101011101010101011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333300000000000000000000000000
7 276826624 64 0000000000000000000000000011010101010101010101011101010101011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333300000000000000000000000000
8 377489845 31 0000000000000000000000000011010101010101010101011101010101011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333400000000000000000000000000
9 377489924 64 0000000000000000000000000011010101010101010101011101010101110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333400000000000000000000000000
10 478153151 31 0000000000000000000000000011010101010101010101011101010101110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333311000000000000000000000000
11 478153218 64 0000000000000000000000000011010101010101010101011101010101110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333311000000000000000000000000
12 578816439 31 0000000000000000000000000011010101010101010101011101010101110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333411000000000000000000000000
13 578816512 64 0000000000000000000000000011010101010101010101011101010101111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333411000000000000000000000000
14 679479735 31 0000000000000000000000000011010101010101010101011101010101111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333331000000000000000000000000
15 679479802 64 0000000000000000000000000011010101010101010101011101010101111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333331000000000000000000000000
16 780143023 31 0000000000000000000000000011010101010101010101011101010101111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333431000000000000000000000000
17 780143108 64 0000000000000000000000000011010101010101010101011101010111010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333431000000000000000000000000
18 880806331 31 0000000000000000000000000011010101010101010101011101010111010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333341000000000000000000000000
19 880806398 64 0000000000000000000000000011010101010101010101011101010111010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333341000000000000000000000000
20 981469619 31 0000000000000000000000000011010101010101010101011101010111010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333441000000000000000000000000
21 981469692 64 0000000000000000000000000011010101010101010101011101010111011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333441000000000000000000000000
22 1082132917 31 0000000000000000000000000011010101010101010101011101010111011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333000000000000000000000000
23 1082132984 64 0000000000000000000000000011010101010101010101011101010111011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333000000000000000000000000
24 1182796205 31 0000000000000000000000000011010101010101010101011101010111011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433000000000000000000000000
25 1182796284 64 0000000000000000000000000011010101010101010101011101010111110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433000000000000000000000000
26 1283459507 31 0000000000000000000000000011010101010101010101011101010111110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343000000000000000000000000
27 1283459574 64 0000000000000000000000000011010101010101010101011101010111110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343000000000000000000000000
28 1384122795 31 0000000000000000000000000011010101010101010101011101010111110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443000000000000000000000000
29 1384122868 64 0000000000000000000000000011010101010101010101011101010111111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443000000000000000000000000
30 1484786093 31 0000000000000000000000000011010101010101010101011101010111111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334000000000000000000000000
31 1484786160 64 0000000000000000000000000011010101010101010101011101010111111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334000000000000000000000000
32 1585449381 31 0000000000000000000000000011010101010101010101011101010111111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434000000000000000000000000
33 1585449472 64 0000000000000000000000000011010101010101010101011101011101010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434000000000000000000000000
34 1686112695 31 0000000000000000000000000011010101010101010101011101011101010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344000000000000000000000000
35 1686112762 64 0000000000000000000000000011010101010101010101011101011101010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344000000000000000000000000
36 1786775983 31 0000000000000000000000000011010101010101010101011101011101010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444000000000000000000000000
37 1786776056 64 0000000000000000000000000011010101010101010101011101011101011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444000000000000000000000000
38 1887439287 31 0000000000000000000000000011010101010101010101011101011101011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333110000000000000000000000
39 1887439354 64 0000000000000000000000000011010101010101010101011101011101011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333110000000000000000000000
40 1988102575 31 0000000000000000000000000011010101010101010101011101011101011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433110000000000000000000000
41 1988102654 64 0000000000000000000000000011010101010101010101011101011101110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433110000000000000000000000
42 2088765877 31 0000000000000000000000000011010101010101010101011101011101110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343110000000000000000000000
43 2088765944 64 0000000000000000000000000011010101010101010101011101011101110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343110000000000000000000000
44 2189429165 31 0000000000000000000000000011010101010101010101011101011101110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443110000000000000000000000
45 2189429238 64 0000000000000000000000000011010101010101010101011101011101111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443110000000000000000000000
46 2290092463 31 0000000000000000000000000011010101010101010101011101011101111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334110000000000000000000000
47 2290092530 64 0000000000000000000000000011010101010101010101011101011101111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334110000000000000000000000
48 2390755751 31 0000000000000000000000000011010101010101010101011101011101111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434110000000000000000000000
49 2390755836 64 0000000000000000000000000011010101010101010101011101011111010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434110000000000000000000000
50 2491419059 31 0000000000000000000000000011010101010101010101011101011111010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344110000000000000000000000
51 2491419126 64 0000000000000000000000000011010101010101010101011101011111010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344110000000000000000000000
52 2592082347 31 0000000000000000000000000011010101010101010101011101011111010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444110000000000000000000000
53 2592082420 64 0000000000000000000000000011010101010101010101011101011111011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444110000000000000000000000
54 2692745647 31 0000000000000000000000000011010101010101010101011101011111011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333310000000000000000000000
55 2692745714 64 0000000000000000000000000011010101010101010101011101011111011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333310000000000000000000000
56 2793408935 31 0000000000000000000000000011010101010101010101011101011111011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433310000000000000000000000
57 2793409014 64 0000000000000000000000000011010101010101010101011101011111110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433310000000000000000000000
58 2894072237 31 0000000000000000000000000011010101010101010101011101011111110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343310000000000000000000000
59 2894072304 64 0000000000000000000000000011010101010101010101011101011111110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343310000000000000000000000
60 2994735525 31 0000000000000000000000000011010101010101010101011101011111110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443310000000000000000000000
61 2994735598 64 0000000000000000000000000011010101010101010101011101011111111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443310000000000000000000000
62 3095398823 31 0000000000000000000000000011010101010101010101011101011111111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334310000000000000000000000
63 3095398890 64 0000000000000000000000000011010101010101010101011101011111111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334310000000000000000000000
64 3196062111 31 0000000000000000000000000011010101010101010101011101011111111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434310000000000000000000000
65 3196062208 64 0000000000000000000000000011010101010101010101011101110101010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434310000000000000000000000
66 3296725431 31 0000000000000000000000000011010101010101010101011101110101010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344310000000000000000000000
67 3296725498 64 0000000000000000000000000011010101010101010101011101110101010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344310000000000000000000000
68 3397388719 31 0000000000000000000000000011010101010101010101011101110101010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444310000000000000000000000
69 3397388792 64 0000000000000000000000000011010101010101010101011101110101011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444310000000000000000000000
70 3498052019 31 0000000000000000000000000011010101010101010101011101110101011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333410000000000000000000000
71 3498052086 64 0000000000000000000000000011010101010101010101011101110101011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333410000000000000000000000
72 3598715307 31 0000000000000000000000000011010101010101010101011101110101011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433410000000000000000000000
73 3598715386 64 0000000000000000000000000011010101010101010101011101110101110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433410000000000000000000000
74 3699378609 31 0000000000000000000000000011010101010101010101011101110101110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343410000000000000000000000
75 3699378676 64 0000000000000000000000000011010101010101010101011101110101110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343410000000000000000000000
76 3800041897 31 0000000000000000000000000011010101010101010101011101110101110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443410000000000000000000000
77 3800041970 64 0000000000000000000000000011010101010101010101011101110101111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443410000000000000000000000
78 3900705195 31 0000000000000000000000000011010101010101010101011101110101111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334410000000000000000000000
79 3900705262 64 0000000000000000000000000011010101010101010101011101110101111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334410000000000000000000000
80 4001368483 31 0000000000000000000000000011010101010101010101011101110101111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434410000000000000000000000
81 4001368568 64 0000000000000000000000000011010101010101010101011101110111010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434410000000000000000000000
82 4102031791 31 0000000000000000000000000011010101010101010101011101110111010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344410000000000000000000000
83 4102031858 64 0000000000000000000000000011010101010101010101011101110111010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344410000000000000000000000
84 4202695079 31 0000000000000000000000000011010101010101010101011101110111010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444410000000000000000000000
85 4202695152 64 0000000000000000000000000011010101010101010101011101110111011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444410000000000000000000000
86 4303358381 31 0000000000000000000000000011010101010101010101011101110111011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333330000000000000000000000
87 4303358448 64 0000000000000000000000000011010101010101010101011101110111011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333330000000000000000000000
88 4404021669 31 0000000000000000000000000011010101010101010101011101110111011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433330000000000000000000000
89 4404021748 64 0000000000000000000000000011010101010101010101011101110111110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433330000000000000000000000
90 4504684971 31 0000000000000000000000000011010101010101010101011101110111110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343330000000000000000000000
91 4504685038 64 0000000000000000000000000011010101010101010101011101110111110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343330000000000000000000000
92 4605348259 31 0000000000000000000000000011010101010101010101011101110111110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443330000000000000000000000
93 4605348332 64 0000000000000000000000000011010101010101010101011101110111111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443330000000000000000000000
94 4706011557 31 0000000000000000000000000011010101010101010101011101110111111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334330000000000000000000000
95 4706011624 64 0000000000000000000000000011010101010101010101011101110111111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334330000000000000000000000
96 4806674845 31 0000000000000000000000000011010101010101010101011101110111111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434330000000000000000000000
97 4806674936 64 0000000000000000000000000011010101010101010101011101111101010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434330000000000000000000000
98 4907338159 31 0000000000000000000000000011010101010101010101011101111101010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344330000000000000000000000
99 4907338226 64 0000000000000000000000000011010101010101010101011101111101010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344330000000000000000000000
100 5008001447 31 0000000000000000000000000011010101010101010101011101111101010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444330000000000000000000000
101 5008001520 64 0000000000000000000000000011010101010101010101011101111101011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444330000000000000000000000
102 5108664747 31 0000000000000000000000000011010101010101010101011101111101011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333430000000000000000000000
103 5108664814 64 0000000000000000000000000011010101010101010101011101111101011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333430000000000000000000000
104 5209328035 31 0000000000000000000000000011010101010101010101011101111101011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433430000000000000000000000
105 5209328114 64 0000000000000000000000000011010101010101010101011101111101110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433430000000000000000000000
106 5309991337 31 0000000000000000000000000011010101010101010101011101111101110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343430000000000000000000000
107 5309991404 64 0000000000000000000000000011010101010101010101011101111101110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343430000000000000000000000
108 5410654625 31 0000000000000000000000000011010101010101010101011101111101110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443430000000000000000000000
109 5410654698 64 0000000000000000000000000011010101010101010101011101111101111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443430000000000000000000000
110 5511317923 31 0000000000000000000000000011010101010101010101011101111101111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334430000000000000000000000
111 5511317990 64 0000000000000000000000000011010101010101010101011101111101111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334430000000000000000000000
112 5611981211 31 0000000000000000000000000011010101010101010101011101111101111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434430000000000000000000000
113 5611981296 64 0000000000000000000000000011010101010101010101011101111111010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434430000000000000000000000
114 5712644519 31 0000000000000000000000000011010101010101010101011101111111010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344430000000000000000000000
115 5712644586 64 0000000000000000000000000011010101010101010101011101111111010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344430000000000000000000000
116 5813307807 31 0000000000000000000000000011010101010101010101011101111111010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444430000000000000000000000
117 5813307880 64 0000000000000000000000000011010101010101010101011101111111011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444430000000000000000000000
118 5913971109 31 0000000000000000000000000011010101010101010101011101111111011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333340000000000000000000000
119 5913971176 64 0000000000000000000000000011010101010101010101011101111111011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333340000000000000000000000
120 6014634397 31 0000000000000000000000000011010101010101010101011101111111011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433340000000000000000000000
121 6014634476 64 0000000000000000000000000011010101010101010101011101111111110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433340000000000000000000000
122 6115297699 31 0000000000000000000000000011010101010101010101011101111111110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343340000000000000000000000
123 6115297766 64 0000000000000000000000000011010101010101010101011101111111110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343340000000000000000000000
124 6215960987 31 0000000000000000000000000011010101010101010101011101111111110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443340000000000000000000000
125 6215961060 64 0000000000000000000000000011010101010101010101011101111111111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443340000000000000000000000
126 6316624285 31 0000000000000000000000000011010101010101010101011101111111111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334340000000000000000000000
127 6316624352 64 0000000000000000000000000011010101010101010101011101111111111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334340000000000000000000000
128 6417287573 31 0000000000000000000000000011010101010101010101011101111111111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434340000000000000000000000
129 6417287676 64 0000000000000000000000000011010101010101010101011111010101010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434340000000000000000000000
130 6517950899 31 0000000000000000000000000011010101010101010101011111010101010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344340000000000000000000000
131 6517950966 64 0000000000000000000000000011010101010101010101011111010101010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344340000000000000000000000
132 6618614187 31 0000000000000000000000000011010101010101010101011111010101010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444340000000000000000000000
133 6618614260 64 0000000000000000000000000011010101010101010101011111010101011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444340000000000000000000000
134 6719277487 31 0000000000000000000000000011010101010101010101011111010101011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333440000000000000000000000
135 6719277554 64 0000000000000000000000000011010101010101010101011111010101011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333440000000000000000000000
136 6819940775 31 0000000000000000000000000011010101010101010101011111010101011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433440000000000000000000000
137 6819940854 64 0000000000000000000000000011010101010101010101011111010101110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433440000000000000000000000
138 6920604077 31 0000000000000000000000000011010101010101010101011111010101110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343440000000000000000000000
139 6920604144 64 0000000000000000000000000011010101010101010101011111010101110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343440000000000000000000000
140 7021267365 31 0000000000000000000000000011010101010101010101011111010101110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443440000000000000000000000
141 7021267438 64 0000000000000000000000000011010101010101010101011111010101111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443440000000000000000000000
142 7121930663 31 0000000000000000000000000011010101010101010101011111010101111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334440000000000000000000000
143 7121930730 64 0000000000000000000000000011010101010101010101011111010101111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334440000000000000000000000
144 7222593951 31 0000000000000000000000000011010101010101010101011111010101111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434440000000000000000000000
145 7222594036 64 0000000000000000000000000011010101010101010101011111010111010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434440000000000000000000000
146 7323257259 31 0000000000000000000000000011010101010101010101011111010111010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344440000000000000000000000
147 7323257326 64 0000000000000000000000000011010101010101010101011111010111010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344440000000000000000000000
148 7423920547 31 0000000000000000000000000011010101010101010101011111010111010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444440000000000000000000000
149 7423920620 64 0000000000000000000000000011010101010101010101011111010111011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444440000000000000000000000
150 7524583855 31 0000000000000000000000000011010101010101010101011111010111011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333331100000000000000000000
151 7524583922 64 0000000000000000000000000011010101010101010101011111010111011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333331100000000000000000000
152 7625247143 31 0000000000000000000000000011010101010101010101011111010111011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433331100000000000000000000
153 7625247222 64 0000000000000000000000000011010101010101010101011111010111110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433331100000000000000000000
154 7725910445 31 0000000000000000000000000011010101010101010101011111010111110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343331100000000000000000000
155 7725910512 64 0000000000000000000000000011010101010101010101011111010111110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343331100000000000000000000
156 7826573733 31 0000000000000000000000000011010101010101010101011111010111110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443331100000000000000000000
157 7826573806 64 0000000000000000000000000011010101010101010101011111010111111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443331100000000000000000000
158 7927237031 31 0000000000000000000000000011010101010101010101011111010111111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334331100000000000000000000
159 7927237098 64 0000000000000000000000000011010101010101010101011111010111111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334331100000000000000000000
160 8027900319 31 0000000000000000000000000011010101010101010101011111010111111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434331100000000000000000000
161 8027900410 64 0000000000000000000000000011010101010101010101011111011101010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434331100000000000000000000
162 8128563633 31 0000000000000000000000000011010101010101010101011111011101010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344331100000000000000000000
163 8128563700 64 0000000000000000000000000011010101010101010101011111011101010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344331100000000000000000000
164 8229226921 31 0000000000000000000000000011010101010101010101011111011101010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444331100000000000000000000
165 8229226994 64 0000000000000000000000000011010101010101010101011111011101011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444331100000000000000000000
166 8329890221 31 0000000000000000000000000011010101010101010101011111011101011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333431100000000000000000000
167 8329890288 64 0000000000000000000000000011010101010101010101011111011101011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333431100000000000000000000
168 8430553509 31 0000000000000000000000000011010101010101010101011111011101011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433431100000000000000000000
169 8430553588 64 0000000000000000000000000011010101010101010101011111011101110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433431100000000000000000000
170 8531216811 31 0000000000000000000000000011010101010101010101011111011101110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343431100000000000000000000
171 8531216878 64 0000000000000000000000000011010101010101010101011111011101110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343431100000000000000000000
172 8631880099 31 0000000000000000000000000011010101010101010101011111011101110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443431100000000000000000000
173 8631880172 64 0000000000000000000000000011010101010101010101011111011101111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443431100000000000000000000
174 8732543397 31 0000000000000000000000000011010101010101010101011111011101111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334431100000000000000000000
175 8732543464 64 0000000000000000000000000011010101010101010101011111011101111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334431100000000000000000000
176 8833206685 31 0000000000000000000000000011010101010101010101011111011101111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434431100000000000000000000
177 8833206770 64 0000000000000000000000000011010101010101010101011111011111010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434431100000000000000000000
178 8933869993 31 0000000000000000000000000011010101010101010101011111011111010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344431100000000000000000000
179 8933870060 64 0000000000000000000000000011010101010101010101011111011111010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344431100000000000000000000
180 9034533281 31 0000000000000000000000000011010101010101010101011111011111010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444431100000000000000000000
181 9034533354 64 0000000000000000000000000011010101010101010101011111011111011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444431100000000000000000000
182 9135196583 31 0000000000000000000000000011010101010101010101011111011111011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333341100000000000000000000
183 9135196650 64 0000000000000000000000000011010101010101010101011111011111011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333341100000000000000000000
184 9235859871 31 0000000000000000000000000011010101010101010101011111011111011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433341100000000000000000000
185 9235859950 64 0000000000000000000000000011010101010101010101011111011111110101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333433341100000000000000000000
186 9336523173 31 0000000000000000000000000011010101010101010101011111011111110101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333343341100000000000000000000
187 9336523240 64 0000000000000000000000000011010101010101010101011111011111110111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333343341100000000000000000000
188 9437186461 31 0000000000000000000000000011010101010101010101011111011111110111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333443341100000000000000000000
189 9437186534 64 0000000000000000000000000011010101010101010101011111011111111101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333443341100000000000000000000
190 9537849759 31 0000000000000000000000000011010101010101010101011111011111111101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333334341100000000000000000000
191 9537849826 64 0000000000000000000000000011010101010101010101011111011111111111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333334341100000000000000000000
192 9638513047 31 0000000000000000000000000011010101010101010101011111011111111111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333434341100000000000000000000
193 9638513144 64 0000000000000000000000000011010101010101010101011111110101010101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333434341100000000000000000000
194 9739176367 31 0000000000000000000000000011010101010101010101011111110101010101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333344341100000000000000000000
195 9739176434 64 0000000000000000000000000011010101010101010101011111110101010111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333344341100000000000000000000
196 9839839655 31 0000000000000000000000000011010101010101010101011111110101010111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333444341100000000000000000000
197 9839839728 64 0000000000000000000000000011010101010101010101011111110101011101 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333444341100000000000000000000
198 9940502955 31 0000000000000000000000000011010101010101010101011111110101011101 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333333441100000000000000000000
199 9940503022 64 0000000000000000000000000011010101010101010101011111110101011111 (0101010101010101)(01010101)(0101)(0100)A> 3333333333333143443334343334343434333333441100000000000000000000
200 10041166243 31 0000000000000000000000000011010101010101010101011111110101011111 <A(3333)(3333)(33333333)(3333333333333333) 3333333333333143443334343334343434333433441100000000000000000000
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 10041166243
Tape index: 31
nonzeros: 101
log10(nonzeros): 2.004
log10(steps ): 10.002
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #j (G. Lafitte & C. Papazian)
5T B1R A3L A1L A4L A1R B2L A2R Z1R A0R B0R
: 143 26,375,397,569,930
L 6
M 201
pref sim
machv Laf25_j just simple
machv Laf25_j-r with repetitions reduced
machv Laf25_j-1 with tape symbol exponents
machv Laf25_j-m as 4-bck-bck-2-bck-2-bck-4-macro machine
machv Laf25_j-a as 4-bck-bck-2-bck-2-bck-4-macro machine with pure additive config-TRs
iam Laf25_j-a
mtype 4 0 0 2 0 2 0 4
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:19 CEST 2010
edate Tue Jul 6 22:12:31 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:12:19 CEST 2010