Comment: This TM produces >1.9x10^4933 nonzeros in >2.4x10^9866 steps. Comment: This is the currently best known 2x6 TM
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
| A | 1RB | 2LA | 1RH | 5LB | 5LA | 4LB | 1 | right | B | 2 | left | A | 1 | right | H | 5 | left | B | 5 | left | A | 4 | left | B |
| B | 1LA | 4RB | 3RB | 5LB | 1LB | 4RA | 1 | left | A | 4 | right | B | 3 | right | B | 5 | left | B | 1 | left | B | 4 | right | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
Simulation is done as 1-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 1 1 B>
2 2 0 1 <A 1
3 3 -1 <A 2 1
4 4 0 1 B> 2 1
5 5 1 1 3 B> 1
6 6 2 1 3 4 B>
7 7 1 1 3 4 <A 1
8 8 0 1 3 <A 5 1
9 9 -1 1 <B 52 1
10 10 0 4 B> 52 1
11 11 1 42 A> 5 1
12 12 0 42 <B 4 1
13 14 -2 <B 12 4 1
14 15 -3 <A 13 4 1
15 16 -2 1 B> 13 4 1
16 19 1 1 43 B> 4 1
17 20 0 1 43 <B 12
18 23 -3 1 <B 15
19 24 -2 4 B> 15
20 29 3 46 B>
21 30 2 46 <A 1
22 36 -4 <A 56 1
23 37 -3 1 B> 56 1
24 38 -2 1 4 A> 55 1
25 39 -3 1 4 <B 4 54 1
26 40 -4 1 <B 1 4 54 1
27 41 -3 4 B> 1 4 54 1
28 42 -2 42 B> 4 54 1
29 43 -3 42 <B 1 54 1
30 45 -5 <B 13 54 1
31 46 -6 <A 14 54 1
32 47 -5 1 B> 14 54 1
33 51 -1 1 44 B> 54 1
34 52 0 1 45 A> 53 1
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1 41+V(1) A> 53+V(2) [*]*
1 1 -1 1 41+V(1) <B 4 52+V(2) [*]*
2 2+V(1) -2+-1*V(1) 1 <B 11+V(1) 4 52+V(2) [*]*
3 3+V(1) -1+-1*V(1) 4 B> 11+V(1) 4 52+V(2) [*]*
4 4+2*V(1) 0 42+V(1) B> 4 52+V(2) [*]*
5 5+2*V(1) -1 42+V(1) <B 1 52+V(2) [*]*
6 7+3*V(1) -3+-1*V(1) <B 13+V(1) 52+V(2) [*]*
7 8+3*V(1) -4+-1*V(1) <A 14+V(1) 52+V(2) [*]*
8 9+3*V(1) -3+-1*V(1) 1 B> 14+V(1) 52+V(2) [*]*
9 13+4*V(1) 1 1 44+V(1) B> 52+V(2) [*]*
10 14+4*V(1) 2 1 45+V(1) A> 51+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
34 52 0 1 45 A> 53 1
== Executing PA-CTR 1, V(1)=4, V(2)=0, repcount=1, factor=4/2
44 82 2 1 49 A> 5 1
45 83 1 1 49 <B 4 1
46 92 -8 1 <B 19 4 1
47 93 -7 4 B> 19 4 1
48 102 2 410 B> 4 1
49 103 1 410 <B 12
50 113 -9 <B 112
51 114 -10 <A 113
52 115 -9 1 B> 113
53 128 4 1 413 B>
54 129 3 1 413 <A 1
55 142 -10 1 <A 513 1
56 143 -11 <A 2 513 1
57 144 -10 1 B> 2 513 1
58 145 -9 1 3 B> 513 1
59 146 -8 1 3 4 A> 512 1
60 147 -9 1 3 4 <B 4 511 1
61 148 -10 1 3 <B 1 4 511 1
62 149 -11 1 <B 5 1 4 511 1
63 150 -10 4 B> 5 1 4 511 1
64 151 -9 42 A> 1 4 511 1
65 152 -10 42 <A 2 4 511 1
66 154 -12 <A 52 2 4 511 1
67 155 -11 1 B> 52 2 4 511 1
68 156 -10 1 4 A> 5 2 4 511 1
69 157 -11 1 4 <B 4 2 4 511 1
70 158 -12 1 <B 1 4 2 4 511 1
71 159 -11 4 B> 1 4 2 4 511 1
72 160 -10 42 B> 4 2 4 511 1
73 161 -11 42 <B 1 2 4 511 1
74 163 -13 <B 13 2 4 511 1
75 164 -14 <A 14 2 4 511 1
76 165 -13 1 B> 14 2 4 511 1
77 169 -9 1 44 B> 2 4 511 1
78 170 -8 1 44 3 B> 4 511 1
79 171 -9 1 44 3 <B 1 511 1
80 172 -10 1 44 <B 5 1 511 1
81 176 -14 1 <B 14 5 1 511 1
82 177 -13 4 B> 14 5 1 511 1
83 181 -9 45 B> 5 1 511 1
84 182 -8 46 A> 1 511 1
85 183 -9 46 <A 2 511 1
86 189 -15 <A 56 2 511 1
87 190 -14 1 B> 56 2 511 1
88 191 -13 1 4 A> 55 2 511 1
89 192 -14 1 4 <B 4 54 2 511 1
90 193 -15 1 <B 1 4 54 2 511 1
91 194 -14 4 B> 1 4 54 2 511 1
92 195 -13 42 B> 4 54 2 511 1
93 196 -14 42 <B 1 54 2 511 1
94 198 -16 <B 13 54 2 511 1
95 199 -17 <A 14 54 2 511 1
96 200 -16 1 B> 14 54 2 511 1
97 204 -12 1 44 B> 54 2 511 1
98 205 -11 1 45 A> 53 2 511 1
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1 41+V(1) A> 53+V(2) [*]* [*]* [*]*
1 1 -1 1 41+V(1) <B 4 52+V(2) [*]* [*]* [*]*
2 2+V(1) -2+-1*V(1) 1 <B 11+V(1) 4 52+V(2) [*]* [*]* [*]*
3 3+V(1) -1+-1*V(1) 4 B> 11+V(1) 4 52+V(2) [*]* [*]* [*]*
4 4+2*V(1) 0 42+V(1) B> 4 52+V(2) [*]* [*]* [*]*
5 5+2*V(1) -1 42+V(1) <B 1 52+V(2) [*]* [*]* [*]*
6 7+3*V(1) -3+-1*V(1) <B 13+V(1) 52+V(2) [*]* [*]* [*]*
7 8+3*V(1) -4+-1*V(1) <A 14+V(1) 52+V(2) [*]* [*]* [*]*
8 9+3*V(1) -3+-1*V(1) 1 B> 14+V(1) 52+V(2) [*]* [*]* [*]*
9 13+4*V(1) 1 1 44+V(1) B> 52+V(2) [*]* [*]* [*]*
10 14+4*V(1) 2 1 45+V(1) A> 51+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
98 205 -11 1 45 A> 53 2 511 1
== Executing PA-CTR 2, V(1)=4, V(2)=0, repcount=1, factor=4/2
108 235 -9 1 49 A> 5 2 511 1
109 236 -10 1 49 <B 4 2 511 1
110 245 -19 1 <B 19 4 2 511 1
111 246 -18 4 B> 19 4 2 511 1
112 255 -9 410 B> 4 2 511 1
113 256 -10 410 <B 1 2 511 1
114 266 -20 <B 111 2 511 1
115 267 -21 <A 112 2 511 1
116 268 -20 1 B> 112 2 511 1
117 280 -8 1 412 B> 2 511 1
118 281 -7 1 412 3 B> 511 1
119 282 -6 1 412 3 4 A> 510 1
120 283 -7 1 412 3 4 <B 4 59 1
121 284 -8 1 412 3 <B 1 4 59 1
122 285 -9 1 412 <B 5 1 4 59 1
123 297 -21 1 <B 112 5 1 4 59 1
124 298 -20 4 B> 112 5 1 4 59 1
125 310 -8 413 B> 5 1 4 59 1
126 311 -7 414 A> 1 4 59 1
127 312 -8 414 <A 2 4 59 1
128 326 -22 <A 514 2 4 59 1
129 327 -21 1 B> 514 2 4 59 1
130 328 -20 1 4 A> 513 2 4 59 1
131 329 -21 1 4 <B 4 512 2 4 59 1
132 330 -22 1 <B 1 4 512 2 4 59 1
133 331 -21 4 B> 1 4 512 2 4 59 1
134 332 -20 42 B> 4 512 2 4 59 1
135 333 -21 42 <B 1 512 2 4 59 1
136 335 -23 <B 13 512 2 4 59 1
137 336 -24 <A 14 512 2 4 59 1
138 337 -23 1 B> 14 512 2 4 59 1
139 341 -19 1 44 B> 512 2 4 59 1
140 342 -18 1 45 A> 511 2 4 59 1
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1 41+V(1) A> 53+V(2) [*]* [*]* [*]* [*]*
1 1 -1 1 41+V(1) <B 4 52+V(2) [*]* [*]* [*]* [*]*
2 2+V(1) -2+-1*V(1) 1 <B 11+V(1) 4 52+V(2) [*]* [*]* [*]* [*]*
3 3+V(1) -1+-1*V(1) 4 B> 11+V(1) 4 52+V(2) [*]* [*]* [*]* [*]*
4 4+2*V(1) 0 42+V(1) B> 4 52+V(2) [*]* [*]* [*]* [*]*
5 5+2*V(1) -1 42+V(1) <B 1 52+V(2) [*]* [*]* [*]* [*]*
6 7+3*V(1) -3+-1*V(1) <B 13+V(1) 52+V(2) [*]* [*]* [*]* [*]*
7 8+3*V(1) -4+-1*V(1) <A 14+V(1) 52+V(2) [*]* [*]* [*]* [*]*
8 9+3*V(1) -3+-1*V(1) 1 B> 14+V(1) 52+V(2) [*]* [*]* [*]* [*]*
9 13+4*V(1) 1 1 44+V(1) B> 52+V(2) [*]* [*]* [*]* [*]*
10 14+4*V(1) 2 1 45+V(1) A> 51+V(2) [*]* [*]* [*]* [*]*
<< Success! ==> defined new CTR 3 (PA)
140 342 -18 1 45 A> 511 2 4 59 1
== Executing PA-CTR 3, V(1)=4, V(2)=8, repcount=5, factor=4/2
190 652 -8 1 425 A> 5 2 4 59 1
191 653 -9 1 425 <B 4 2 4 59 1
192 678 -34 1 <B 125 4 2 4 59 1
193 679 -33 4 B> 125 4 2 4 59 1
194 704 -8 426 B> 4 2 4 59 1
195 705 -9 426 <B 1 2 4 59 1
196 731 -35 <B 127 2 4 59 1
197 732 -36 <A 128 2 4 59 1
198 733 -35 1 B> 128 2 4 59 1
199 761 -7 1 428 B> 2 4 59 1
200 762 -6 1 428 3 B> 4 59 1
201 763 -7 1 428 3 <B 1 59 1
202 764 -8 1 428 <B 5 1 59 1
203 792 -36 1 <B 128 5 1 59 1
204 793 -35 4 B> 128 5 1 59 1
205 821 -7 429 B> 5 1 59 1
206 822 -6 430 A> 1 59 1
207 823 -7 430 <A 2 59 1
208 853 -37 <A 530 2 59 1
209 854 -36 1 B> 530 2 59 1
210 855 -35 1 4 A> 529 2 59 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 41+V(1) A> 5 2 4 [*]* [*]*
1 1 -1 1 41+V(1) <B 4 2 4 [*]* [*]*
2 2+V(1) -2+-1*V(1) 1 <B 11+V(1) 4 2 4 [*]* [*]*
3 3+V(1) -1+-1*V(1) 4 B> 11+V(1) 4 2 4 [*]* [*]*
4 4+2*V(1) 0 42+V(1) B> 4 2 4 [*]* [*]*
5 5+2*V(1) -1 42+V(1) <B 1 2 4 [*]* [*]*
6 7+3*V(1) -3+-1*V(1) <B 13+V(1) 2 4 [*]* [*]*
7 8+3*V(1) -4+-1*V(1) <A 14+V(1) 2 4 [*]* [*]*
8 9+3*V(1) -3+-1*V(1) 1 B> 14+V(1) 2 4 [*]* [*]*
9 13+4*V(1) 1 1 44+V(1) B> 2 4 [*]* [*]*
10 14+4*V(1) 2 1 44+V(1) 3 B> 4 [*]* [*]*
11 15+4*V(1) 1 1 44+V(1) 3 <B 1 [*]* [*]*
12 16+4*V(1) 0 1 44+V(1) <B 5 1 [*]* [*]*
13 20+5*V(1) -4+-1*V(1) 1 <B 14+V(1) 5 1 [*]* [*]*
14 21+5*V(1) -3+-1*V(1) 4 B> 14+V(1) 5 1 [*]* [*]*
15 25+6*V(1) 1 45+V(1) B> 5 1 [*]* [*]*
16 26+6*V(1) 2 46+V(1) A> 1 [*]* [*]*
17 27+6*V(1) 1 46+V(1) <A 2 [*]* [*]*
18 33+7*V(1) -5+-1*V(1) <A 56+V(1) 2 [*]* [*]*
19 34+7*V(1) -4+-1*V(1) 1 B> 56+V(1) 2 [*]* [*]*
20 35+7*V(1) -3+-1*V(1) 1 4 A> 55+V(1) 2 [*]* [*]*
<< Success! ==> defined new CTR 4 (PPA)
210 855 -35 1 4 A> 529 2 59 1
== Executing PA-CTR 2, V(1)=0, V(2)=26, repcount=14, factor=4/2
350 2507 -7 1 457 A> 5 2 59 1
351 2508 -8 1 457 <B 4 2 59 1
352 2565 -65 1 <B 157 4 2 59 1
353 2566 -64 4 B> 157 4 2 59 1
354 2623 -7 458 B> 4 2 59 1
355 2624 -8 458 <B 1 2 59 1
356 2682 -66 <B 159 2 59 1
357 2683 -67 <A 160 2 59 1
358 2684 -66 1 B> 160 2 59 1
359 2744 -6 1 460 B> 2 59 1
360 2745 -5 1 460 3 B> 59 1
361 2746 -4 1 460 3 4 A> 58 1
362 2747 -5 1 460 3 4 <B 4 57 1
363 2748 -6 1 460 3 <B 1 4 57 1
364 2749 -7 1 460 <B 5 1 4 57 1
365 2809 -67 1 <B 160 5 1 4 57 1
366 2810 -66 4 B> 160 5 1 4 57 1
367 2870 -6 461 B> 5 1 4 57 1
368 2871 -5 462 A> 1 4 57 1
369 2872 -6 462 <A 2 4 57 1
370 2934 -68 <A 562 2 4 57 1
371 2935 -67 1 B> 562 2 4 57 1
372 2936 -66 1 4 A> 561 2 4 57 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 1 41+V(1) A> 5 2 53+V(2) [*]*
1 1 -1 1 41+V(1) <B 4 2 53+V(2) [*]*
2 2+V(1) -2+-1*V(1) 1 <B 11+V(1) 4 2 53+V(2) [*]*
3 3+V(1) -1+-1*V(1) 4 B> 11+V(1) 4 2 53+V(2) [*]*
4 4+2*V(1) 0 42+V(1) B> 4 2 53+V(2) [*]*
5 5+2*V(1) -1 42+V(1) <B 1 2 53+V(2) [*]*
6 7+3*V(1) -3+-1*V(1) <B 13+V(1) 2 53+V(2) [*]*
7 8+3*V(1) -4+-1*V(1) <A 14+V(1) 2 53+V(2) [*]*
8 9+3*V(1) -3+-1*V(1) 1 B> 14+V(1) 2 53+V(2) [*]*
9 13+4*V(1) 1 1 44+V(1) B> 2 53+V(2) [*]*
10 14+4*V(1) 2 1 44+V(1) 3 B> 53+V(2) [*]*
11 15+4*V(1) 3 1 44+V(1) 3 4 A> 52+V(2) [*]*
12 16+4*V(1) 2 1 44+V(1) 3 4 <B 4 51+V(2) [*]*
13 17+4*V(1) 1 1 44+V(1) 3 <B 1 4 51+V(2) [*]*
14 18+4*V(1) 0 1 44+V(1) <B 5 1 4 51+V(2) [*]*
15 22+5*V(1) -4+-1*V(1) 1 <B 14+V(1) 5 1 4 51+V(2) [*]*
16 23+5*V(1) -3+-1*V(1) 4 B> 14+V(1) 5 1 4 51+V(2) [*]*
17 27+6*V(1) 1 45+V(1) B> 5 1 4 51+V(2) [*]*
18 28+6*V(1) 2 46+V(1) A> 1 4 51+V(2) [*]*
19 29+6*V(1) 1 46+V(1) <A 2 4 51+V(2) [*]*
20 35+7*V(1) -5+-1*V(1) <A 56+V(1) 2 4 51+V(2) [*]*
21 36+7*V(1) -4+-1*V(1) 1 B> 56+V(1) 2 4 51+V(2) [*]*
22 37+7*V(1) -3+-1*V(1) 1 4 A> 55+V(1) 2 4 51+V(2) [*]*
<< Success! ==> defined new CTR 5 (PPA)
372 2936 -66 1 4 A> 561 2 4 57 1
== Executing PA-CTR 3, V(1)=0, V(2)=58, repcount=30, factor=4/2
672 10316 -6 1 4121 A> 5 2 4 57 1
== Executing PPA-CTR 4 (once), V(1)=120
692 11191 -129 1 4 A> 5125 2 57 1
== Executing PA-CTR 2, V(1)=0, V(2)=122, repcount=62, factor=4/2
1312 42315 -5 1 4249 A> 5 2 57 1
== Executing PPA-CTR 5 (once), V(1)=248, V(2)=4
1334 44088 -256 1 4 A> 5253 2 4 55 1
== Executing PA-CTR 3, V(1)=0, V(2)=250, repcount=126, factor=4/2
2594 171852 -4 1 4505 A> 5 2 4 55 1
== Executing PPA-CTR 4 (once), V(1)=504
2614 175415 -511 1 4 A> 5509 2 55 1
== Executing PA-CTR 2, V(1)=0, V(2)=506, repcount=254, factor=4/2
5154 693067 -3 1 41017 A> 5 2 55 1
== Executing PPA-CTR 5 (once), V(1)=1016, V(2)=2
5176 700216 -1022 1 4 A> 51021 2 4 53 1
== Executing PA-CTR 3, V(1)=0, V(2)=1018, repcount=510, factor=4/2
10276 2784076 -2 1 42041 A> 5 2 4 53 1
== Executing PPA-CTR 4 (once), V(1)=2040
10296 2798391 -2045 1 4 A> 52045 2 53 1
== Executing PA-CTR 2, V(1)=0, V(2)=2042, repcount=1022, factor=4/2
20516 11160395 -1 1 44089 A> 5 2 53 1
== Executing PPA-CTR 5 (once), V(1)=4088, V(2)=0
20538 11189048 -4092 1 4 A> 54093 2 4 5 1
== Executing PA-CTR 3, V(1)=0, V(2)=4090, repcount=2046, factor=4/2
40998 44690252 0 1 48185 A> 5 2 4 5 1
== Executing PPA-CTR 4 (once), V(1)=8184
41018 44747575 -8187 1 4 A> 58189 2 5 1
== Executing PA-CTR 2, V(1)=0, V(2)=8186, repcount=4094, factor=4/2
81958 178858827 1 1 416377 A> 5 2 5 1
81959 178858828 0 1 416377 <B 4 2 5 1
81960 178875205 -16377 1 <B 116377 4 2 5 1
81961 178875206 -16376 4 B> 116377 4 2 5 1
81962 178891583 1 416378 B> 4 2 5 1
81963 178891584 0 416378 <B 1 2 5 1
81964 178907962 -16378 <B 116379 2 5 1
81965 178907963 -16379 <A 116380 2 5 1
81966 178907964 -16378 1 B> 116380 2 5 1
81967 178924344 2 1 416380 B> 2 5 1
81968 178924345 3 1 416380 3 B> 5 1
81969 178924346 4 1 416380 3 4 A> 1
81970 178924347 3 1 416380 3 4 <A 2
81971 178924348 2 1 416380 3 <A 5 2
81972 178924349 1 1 416380 <B 52 2
81973 178940729 -16379 1 <B 116380 52 2
81974 178940730 -16378 4 B> 116380 52 2
81975 178957110 2 416381 B> 52 2
81976 178957111 3 416382 A> 5 2
81977 178957112 2 416382 <B 4 2
81978 178973494 -16380 <B 116382 4 2
81979 178973495 -16381 <A 116383 4 2
81980 178973496 -16380 1 B> 116383 4 2
81981 178989879 3 1 416383 B> 4 2
81982 178989880 2 1 416383 <B 1 2
81983 179006263 -16381 1 <B 116384 2
81984 179006264 -16380 4 B> 116384 2
81985 179022648 4 416385 B> 2
81986 179022649 5 416385 3 B>
81987 179022650 4 416385 3 <A 1
81988 179022651 3 416385 <B 5 1
81989 179039036 -16382 <B 116385 5 1
81990 179039037 -16383 <A 116386 5 1
81991 179039038 -16382 1 B> 116386 5 1
81992 179055424 4 1 416386 B> 5 1
81993 179055425 5 1 416387 A> 1
81994 179055426 4 1 416387 <A 2
81995 179071813 -16383 1 <A 516387 2
81996 179071814 -16384 <A 2 516387 2
81997 179071815 -16383 1 B> 2 516387 2
81998 179071816 -16382 1 3 B> 516387 2
81999 179071817 -16381 1 3 4 A> 516386 2
82000 179071818 -16382 1 3 4 <B 4 516385 2
82001 179071819 -16383 1 3 <B 1 4 516385 2
82002 179071820 -16384 1 <B 5 1 4 516385 2
82003 179071821 -16383 4 B> 5 1 4 516385 2
82004 179071822 -16382 42 A> 1 4 516385 2
82005 179071823 -16383 42 <A 2 4 516385 2
82006 179071825 -16385 <A 52 2 4 516385 2
82007 179071826 -16384 1 B> 52 2 4 516385 2
82008 179071827 -16383 1 4 A> 5 2 4 516385 2
82009 179071828 -16384 1 4 <B 4 2 4 516385 2
82010 179071829 -16385 1 <B 1 4 2 4 516385 2
82011 179071830 -16384 4 B> 1 4 2 4 516385 2
82012 179071831 -16383 42 B> 4 2 4 516385 2
82013 179071832 -16384 42 <B 1 2 4 516385 2
82014 179071834 -16386 <B 13 2 4 516385 2
82015 179071835 -16387 <A 14 2 4 516385 2
82016 179071836 -16386 1 B> 14 2 4 516385 2
82017 179071840 -16382 1 44 B> 2 4 516385 2
82018 179071841 -16381 1 44 3 B> 4 516385 2
82019 179071842 -16382 1 44 3 <B 1 516385 2
82020 179071843 -16383 1 44 <B 5 1 516385 2
82021 179071847 -16387 1 <B 14 5 1 516385 2
82022 179071848 -16386 4 B> 14 5 1 516385 2
82023 179071852 -16382 45 B> 5 1 516385 2
82024 179071853 -16381 46 A> 1 516385 2
82025 179071854 -16382 46 <A 2 516385 2
82026 179071860 -16388 <A 56 2 516385 2
82027 179071861 -16387 1 B> 56 2 516385 2
82028 179071862 -16386 1 4 A> 55 2 516385 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 41+V(1) A> 5 2 5 1
1 1 -1 1 41+V(1) <B 4 2 5 1
2 2+V(1) -2+-1*V(1) 1 <B 11+V(1) 4 2 5 1
3 3+V(1) -1+-1*V(1) 4 B> 11+V(1) 4 2 5 1
4 4+2*V(1) 0 42+V(1) B> 4 2 5 1
5 5+2*V(1) -1 42+V(1) <B 1 2 5 1
6 7+3*V(1) -3+-1*V(1) <B 13+V(1) 2 5 1
7 8+3*V(1) -4+-1*V(1) <A 14+V(1) 2 5 1
8 9+3*V(1) -3+-1*V(1) 1 B> 14+V(1) 2 5 1
9 13+4*V(1) 1 1 44+V(1) B> 2 5 1
10 14+4*V(1) 2 1 44+V(1) 3 B> 5 1
11 15+4*V(1) 3 1 44+V(1) 3 4 A> 1
12 16+4*V(1) 2 1 44+V(1) 3 4 <A 2
13 17+4*V(1) 1 1 44+V(1) 3 <A 5 2
14 18+4*V(1) 0 1 44+V(1) <B 52 2
15 22+5*V(1) -4+-1*V(1) 1 <B 14+V(1) 52 2
16 23+5*V(1) -3+-1*V(1) 4 B> 14+V(1) 52 2
17 27+6*V(1) 1 45+V(1) B> 52 2
18 28+6*V(1) 2 46+V(1) A> 5 2
19 29+6*V(1) 1 46+V(1) <B 4 2
20 35+7*V(1) -5+-1*V(1) <B 16+V(1) 4 2
21 36+7*V(1) -6+-1*V(1) <A 17+V(1) 4 2
22 37+7*V(1) -5+-1*V(1) 1 B> 17+V(1) 4 2
23 44+8*V(1) 2 1 47+V(1) B> 4 2
24 45+8*V(1) 1 1 47+V(1) <B 1 2
25 52+9*V(1) -6+-1*V(1) 1 <B 18+V(1) 2
26 53+9*V(1) -5+-1*V(1) 4 B> 18+V(1) 2
27 61+10*V(1) 3 49+V(1) B> 2
28 62+10*V(1) 4 49+V(1) 3 B>
29 63+10*V(1) 3 49+V(1) 3 <A 1
30 64+10*V(1) 2 49+V(1) <B 5 1
31 73+11*V(1) -7+-1*V(1) <B 19+V(1) 5 1
32 74+11*V(1) -8+-1*V(1) <A 110+V(1) 5 1
33 75+11*V(1) -7+-1*V(1) 1 B> 110+V(1) 5 1
34 85+12*V(1) 3 1 410+V(1) B> 5 1
35 86+12*V(1) 4 1 411+V(1) A> 1
36 87+12*V(1) 3 1 411+V(1) <A 2
37 98+13*V(1) -8+-1*V(1) 1 <A 511+V(1) 2
38 99+13*V(1) -9+-1*V(1) <A 2 511+V(1) 2
39 100+13*V(1) -8+-1*V(1) 1 B> 2 511+V(1) 2
40 101+13*V(1) -7+-1*V(1) 1 3 B> 511+V(1) 2
41 102+13*V(1) -6+-1*V(1) 1 3 4 A> 510+V(1) 2
42 103+13*V(1) -7+-1*V(1) 1 3 4 <B 4 59+V(1) 2
43 104+13*V(1) -8+-1*V(1) 1 3 <B 1 4 59+V(1) 2
44 105+13*V(1) -9+-1*V(1) 1 <B 5 1 4 59+V(1) 2
45 106+13*V(1) -8+-1*V(1) 4 B> 5 1 4 59+V(1) 2
46 107+13*V(1) -7+-1*V(1) 42 A> 1 4 59+V(1) 2
47 108+13*V(1) -8+-1*V(1) 42 <A 2 4 59+V(1) 2
48 110+13*V(1) -10+-1*V(1) <A 52 2 4 59+V(1) 2
49 111+13*V(1) -9+-1*V(1) 1 B> 52 2 4 59+V(1) 2
50 112+13*V(1) -8+-1*V(1) 1 4 A> 5 2 4 59+V(1) 2
51 113+13*V(1) -9+-1*V(1) 1 4 <B 4 2 4 59+V(1) 2
52 114+13*V(1) -10+-1*V(1) 1 <B 1 4 2 4 59+V(1) 2
53 115+13*V(1) -9+-1*V(1) 4 B> 1 4 2 4 59+V(1) 2
54 116+13*V(1) -8+-1*V(1) 42 B> 4 2 4 59+V(1) 2
55 117+13*V(1) -9+-1*V(1) 42 <B 1 2 4 59+V(1) 2
56 119+13*V(1) -11+-1*V(1) <B 13 2 4 59+V(1) 2
57 120+13*V(1) -12+-1*V(1) <A 14 2 4 59+V(1) 2
58 121+13*V(1) -11+-1*V(1) 1 B> 14 2 4 59+V(1) 2
59 125+13*V(1) -7+-1*V(1) 1 44 B> 2 4 59+V(1) 2
60 126+13*V(1) -6+-1*V(1) 1 44 3 B> 4 59+V(1) 2
61 127+13*V(1) -7+-1*V(1) 1 44 3 <B 1 59+V(1) 2
62 128+13*V(1) -8+-1*V(1) 1 44 <B 5 1 59+V(1) 2
63 132+13*V(1) -12+-1*V(1) 1 <B 14 5 1 59+V(1) 2
64 133+13*V(1) -11+-1*V(1) 4 B> 14 5 1 59+V(1) 2
65 137+13*V(1) -7+-1*V(1) 45 B> 5 1 59+V(1) 2
66 138+13*V(1) -6+-1*V(1) 46 A> 1 59+V(1) 2
67 139+13*V(1) -7+-1*V(1) 46 <A 2 59+V(1) 2
68 145+13*V(1) -13+-1*V(1) <A 56 2 59+V(1) 2
69 146+13*V(1) -12+-1*V(1) 1 B> 56 2 59+V(1) 2
70 147+13*V(1) -11+-1*V(1) 1 4 A> 55 2 59+V(1) 2
<< Success! ==> defined new CTR 6 (PPA)
82028 179071862 -16386 1 4 A> 55 2 516385 2
== Executing PA-CTR 2, V(1)=0, V(2)=2, repcount=2, factor=4/2
82048 179071906 -16382 1 49 A> 5 2 516385 2
== Executing PPA-CTR 5 (once), V(1)=8, V(2)=16382
82070 179071999 -16393 1 4 A> 513 2 4 516383 2
== Executing PA-CTR 3, V(1)=0, V(2)=10, repcount=6, factor=4/2
82130 179072323 -16381 1 425 A> 5 2 4 516383 2
== Executing PPA-CTR 4 (once), V(1)=24
82150 179072526 -16408 1 4 A> 529 2 516383 2
== Executing PA-CTR 2, V(1)=0, V(2)=26, repcount=14, factor=4/2
82290 179074178 -16380 1 457 A> 5 2 516383 2
== Executing PPA-CTR 5 (once), V(1)=56, V(2)=16380
82312 179074607 -16439 1 4 A> 561 2 4 516381 2
== Executing PA-CTR 3, V(1)=0, V(2)=58, repcount=30, factor=4/2
82612 179081987 -16379 1 4121 A> 5 2 4 516381 2
== Executing PPA-CTR 4 (once), V(1)=120
82632 179082862 -16502 1 4 A> 5125 2 516381 2
== Executing PA-CTR 2, V(1)=0, V(2)=122, repcount=62, factor=4/2
83252 179113986 -16378 1 4249 A> 5 2 516381 2
== Executing PPA-CTR 5 (once), V(1)=248, V(2)=16378
83274 179115759 -16629 1 4 A> 5253 2 4 516379 2
== Executing PA-CTR 3, V(1)=0, V(2)=250, repcount=126, factor=4/2
84534 179243523 -16377 1 4505 A> 5 2 4 516379 2
== Executing PPA-CTR 4 (once), V(1)=504
84554 179247086 -16884 1 4 A> 5509 2 516379 2
== Executing PA-CTR 2, V(1)=0, V(2)=506, repcount=254, factor=4/2
87094 179764738 -16376 1 41017 A> 5 2 516379 2
== Executing PPA-CTR 5 (once), V(1)=1016, V(2)=16376
87116 179771887 -17395 1 4 A> 51021 2 4 516377 2
== Executing PA-CTR 3, V(1)=0, V(2)=1018, repcount=510, factor=4/2
92216 181855747 -16375 1 42041 A> 5 2 4 516377 2
== Executing PPA-CTR 4 (once), V(1)=2040
92236 181870062 -18418 1 4 A> 52045 2 516377 2
== Executing PA-CTR 2, V(1)=0, V(2)=2042, repcount=1022, factor=4/2
102456 190232066 -16374 1 44089 A> 5 2 516377 2
== Executing PPA-CTR 5 (once), V(1)=4088, V(2)=16374
102478 190260719 -20465 1 4 A> 54093 2 4 516375 2
== Executing PA-CTR 3, V(1)=0, V(2)=4090, repcount=2046, factor=4/2
122938 223761923 -16373 1 48185 A> 5 2 4 516375 2
== Executing PPA-CTR 4 (once), V(1)=8184
122958 223819246 -24560 1 4 A> 58189 2 516375 2
== Executing PA-CTR 2, V(1)=0, V(2)=8186, repcount=4094, factor=4/2
163898 357930498 -16372 1 416377 A> 5 2 516375 2
== Executing PPA-CTR 5 (once), V(1)=16376, V(2)=16372
163920 358045167 -32751 1 4 A> 516381 2 4 516373 2
== Executing PA-CTR 3, V(1)=0, V(2)=16378, repcount=8190, factor=4/2
245820 894703107 -16371 1 432761 A> 5 2 4 516373 2
== Executing PPA-CTR 4 (once), V(1)=32760
245840 894932462 -49134 1 4 A> 532765 2 516373 2
== Executing PA-CTR 2, V(1)=0, V(2)=32762, repcount=16382, factor=4/2
409660 3041990146 -16370 1 465529 A> 5 2 516373 2
== Executing PPA-CTR 5 (once), V(1)=65528, V(2)=16370
409682 3042448879 -81901 1 4 A> 565533 2 4 516371 2
== Executing PA-CTR 3, V(1)=0, V(2)=65530, repcount=32766, factor=4/2
737342 11631531523 -16369 1 4131065 A> 5 2 4 516371 2
== Executing PPA-CTR 4 (once), V(1)=131064
737362 11632449006 -147436 1 4 A> 5131069 2 516371 2
== Executing PA-CTR 2, V(1)=0, V(2)=131066, repcount=65534, factor=4/2
1392702 45990483458 -16368 1 4262137 A> 5 2 516371 2
== Executing PPA-CTR 5 (once), V(1)=262136, V(2)=16368
1392724 45992318447 -278507 1 4 A> 5262141 2 4 516369 2
== Executing PA-CTR 3, V(1)=0, V(2)=262138, repcount=131070, factor=4/2
2703424 183427864067 -16367 1 4524281 A> 5 2 4 516369 2
== Executing PPA-CTR 4 (once), V(1)=524280
2703444 183431534062 -540650 1 4 A> 5524285 2 516369 2
== Executing PA-CTR 2, V(1)=0, V(2)=524282, repcount=262142, factor=4/2
5324864 733180532226 -16366 1 41048569 A> 5 2 516369 2
== Executing PPA-CTR 5 (once), V(1)=1048568, V(2)=16366
5324886 733187872239 -1064937 1 4 A> 51048573 2 4 516367 2
== Executing PA-CTR 3, V(1)=0, V(2)=1048570, repcount=524286, factor=4/2
10567746 2932197496323 -16365 1 42097145 A> 5 2 4 516367 2
== Executing PPA-CTR 4 (once), V(1)=2097144
10567766 2932212176366 -2113512 1 4 A> 52097149 2 516367 2
== Executing PA-CTR 2, V(1)=0, V(2)=2097146, repcount=1048574, factor=4/2
21053506 11728277935618 -16364 1 44194297 A> 5 2 516367 2
== Executing PPA-CTR 5 (once), V(1)=4194296, V(2)=16364
21053528 11728307295727 -4210663 1 4 A> 54194301 2 4 516365 2
== Executing PA-CTR 3, V(1)=0, V(2)=4194298, repcount=2097150, factor=4/2
42025028 46912624858627 -16363 1 48388601 A> 5 2 4 516365 2
== Executing PPA-CTR 4 (once), V(1)=8388600
42025048 46912683578862 -8404966 1 4 A> 58388605 2 516365 2
== Executing PA-CTR 2, V(1)=0, V(2)=8388602, repcount=4194302, factor=4/2
83968068 187650062882306 -16362 1 416777209 A> 5 2 516365 2
== Executing PPA-CTR 5 (once), V(1)=16777208, V(2)=16362
83968090 187650180322799 -16793573 1 4 A> 516777213 2 4 516363 2
== Executing PA-CTR 3, V(1)=0, V(2)=16777210, repcount=8388606, factor=4/2
167854150 750599915640323 -16361 1 433554425 A> 5 2 4 516363 2
== Executing PPA-CTR 4 (once), V(1)=33554424
167854170 750600150521326 -33570788 1 4 A> 533554429 2 516363 2
== Executing PA-CTR 2, V(1)=0, V(2)=33554426, repcount=16777214, factor=4/2
335626310 3002399527998978 -16360 1 467108857 A> 5 2 516363 2
== Executing PPA-CTR 5 (once), V(1)=67108856, V(2)=16360
335626332 3002399997761007 -67125219 1 4 A> 567108861 2 4 516361 2
== Executing PA-CTR 3, V(1)=0, V(2)=67108858, repcount=33554430, factor=4/2
671170632 12009598380086787 -16359 1 4134217721 A> 5 2 4 516361 2
== Executing PPA-CTR 4 (once), V(1)=134217720
671170652 12009599319610862 -134234082 1 4 A> 5134217725 2 516361 2
Lines: 300
Top steps: 299
Macro steps: 671170652
Basic steps: 12009599319610862
Tape index: -134234082
nonzeros: 134234090
log10(nonzeros): 8.128
log10(steps ): 16.080
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #g (T.J. & S. Ligocki)
: >1.9x10^4933 >2.4x10^9866
C This is the currently best known 2x6 TM
5T 1RB 2LA 1RH 5LB 5LA 4LB 1LA 4RB 3RB 5LB 1LB 4RA
L 44
M 300
pref sim
machv Lig26_g just simple
machv Lig26_g-r with repetitions reduced
machv Lig26_g-1 with tape symbol exponents
machv Lig26_g-m as 1-macro machine
machv Lig26_g-a as 1-macro machine with pure additive config-TRs
iam Lig26_g-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:24 CEST 2010
edate Tue Jul 6 22:13:25 CEST 2010
bnspeed 1
short 7
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:13:24 CEST 2010