Comment: This TM produces >1.7x10^352 nonzeros in >1.9x10^704 steps. Comment: This is a current 2x5 champion
| 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 | 1RB | 2LA | 1RA | 2LB | 2LA | 1 | right | B | 2 | left | A | 1 | right | A | 2 | left | B | 2 | left | A |
| B | 0LA | 2RB | 3RB | 4RA | 1RH | 0 | left | A | 2 | right | B | 3 | right | B | 4 | right | A | 1 | right | H |
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
3 3 -1 <A 2
4 4 0 1 B> 2
5 5 1 1 3 B>
6 6 0 1 3 <A
7 7 -1 1 <B 2
8 8 0 2 B> 2
9 9 1 2 3 B>
10 10 0 2 3 <A
11 11 -1 2 <B 2
12 12 0 3 B> 2
13 13 1 32 B>
14 14 0 32 <A
15 15 -1 3 <B 2
16 16 0 4 A> 2
17 17 1 4 1 A>
18 18 2 4 12 B>
19 19 1 4 12 <A
20 21 -1 4 <A 22
21 22 -2 <A 23
22 23 -1 1 B> 23
23 26 2 1 33 B>
24 27 1 1 33 <A
25 28 0 1 32 <B 2
26 29 1 1 3 4 A> 2
27 30 2 1 3 4 1 A>
28 31 3 1 3 4 12 B>
29 32 2 1 3 4 12 <A
30 34 0 1 3 4 <A 22
31 35 -1 1 3 <A 23
32 36 -2 1 <B 24
33 37 -1 2 B> 24
34 41 3 2 34 B>
35 42 2 2 34 <A
36 43 1 2 33 <B 2
37 44 2 2 32 4 A> 2
38 45 3 2 32 4 1 A>
39 46 4 2 32 4 12 B>
40 47 3 2 32 4 12 <A
41 49 1 2 32 4 <A 22
42 50 0 2 32 <A 23
43 51 -1 2 3 <B 24
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 33+V(1) <B 21+V(2)
1 1 1 [*]* 32+V(1) 4 A> 21+V(2)
2 2+V(2) 2+V(2) [*]* 32+V(1) 4 11+V(2) A>
3 3+V(2) 3+V(2) [*]* 32+V(1) 4 12+V(2) B>
4 4+V(2) 2+V(2) [*]* 32+V(1) 4 12+V(2) <A
5 6+2*V(2) 0 [*]* 32+V(1) 4 <A 22+V(2)
6 7+2*V(2) -1 [*]* 32+V(1) <A 23+V(2)
7 8+2*V(2) -2 [*]* 31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 1 (PA)
44 52 0 2 4 A> 24
45 56 4 2 4 14 A>
46 57 5 2 4 15 B>
47 58 4 2 4 15 <A
48 63 -1 2 4 <A 25
49 64 -2 2 <A 26
50 65 -1 1 A> 26
51 71 5 17 A>
52 72 6 18 B>
53 73 5 18 <A
54 81 -3 <A 28
55 82 -2 1 B> 28
56 90 6 1 38 B>
57 91 5 1 38 <A
58 92 4 1 37 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 2 3 <B 21+V(1)
1 1 1 2 4 A> 21+V(1)
2 2+V(1) 2+V(1) 2 4 11+V(1) A>
3 3+V(1) 3+V(1) 2 4 12+V(1) B>
4 4+V(1) 2+V(1) 2 4 12+V(1) <A
5 6+2*V(1) 0 2 4 <A 22+V(1)
6 7+2*V(1) -1 2 <A 23+V(1)
7 8+2*V(1) 0 1 A> 23+V(1)
8 11+3*V(1) 3+V(1) 14+V(1) A>
9 12+3*V(1) 4+V(1) 15+V(1) B>
10 13+3*V(1) 3+V(1) 15+V(1) <A
11 18+4*V(1) -2 <A 25+V(1)
12 19+4*V(1) -1 1 B> 25+V(1)
13 24+5*V(1) 4+V(1) 1 35+V(1) B>
14 25+5*V(1) 3+V(1) 1 35+V(1) <A
15 26+5*V(1) 2+V(1) 1 34+V(1) <B 2
<< Success! ==> defined new CTR 2 (PPA)
58 92 4 1 37 <B 2
== Executing PA-CTR 1, V(1)=4, V(2)=0, repcount=3, factor=3/2
79 134 -2 1 3 <B 210
80 135 -1 1 4 A> 210
81 145 9 1 4 110 A>
82 146 10 1 4 111 B>
83 147 9 1 4 111 <A
84 158 -2 1 4 <A 211
85 159 -3 1 <A 212
86 160 -4 <A 213
87 161 -3 1 B> 213
88 174 10 1 313 B>
89 175 9 1 313 <A
90 176 8 1 312 <B 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(1) 3 <B 21+V(2)
1 1 1 11+V(1) 4 A> 21+V(2)
2 2+V(2) 2+V(2) 11+V(1) 4 11+V(2) A>
3 3+V(2) 3+V(2) 11+V(1) 4 12+V(2) B>
4 4+V(2) 2+V(2) 11+V(1) 4 12+V(2) <A
5 6+2*V(2) 0 11+V(1) 4 <A 22+V(2)
6 7+2*V(2) -1 11+V(1) <A 23+V(2)
7 8+V(1)+2*V(2) -2+-1*V(1) <A 24+V(1)+V(2)
8 9+V(1)+2*V(2) -1+-1*V(1) 1 B> 24+V(1)+V(2)
9 13+2*V(1)+3*V(2) 3+V(2) 1 34+V(1)+V(2) B>
10 14+2*V(1)+3*V(2) 2+V(2) 1 34+V(1)+V(2) <A
11 15+2*V(1)+3*V(2) 1+V(2) 1 33+V(1)+V(2) <B 2
<< Success! ==> defined new CTR 3 (PPA)
90 176 8 1 312 <B 2
== Executing PA-CTR 1, V(1)=9, V(2)=0, repcount=5, factor=3/2
125 276 -2 1 32 <B 216
126 277 -1 1 3 4 A> 216
127 293 15 1 3 4 116 A>
128 294 16 1 3 4 117 B>
129 295 15 1 3 4 117 <A
130 312 -2 1 3 4 <A 217
131 313 -3 1 3 <A 218
132 314 -4 1 <B 219
133 315 -3 2 B> 219
134 334 16 2 319 B>
135 335 15 2 319 <A
136 336 14 2 318 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 32 <B 21+V(1)
1 1 1 1 3 4 A> 21+V(1)
2 2+V(1) 2+V(1) 1 3 4 11+V(1) A>
3 3+V(1) 3+V(1) 1 3 4 12+V(1) B>
4 4+V(1) 2+V(1) 1 3 4 12+V(1) <A
5 6+2*V(1) 0 1 3 4 <A 22+V(1)
6 7+2*V(1) -1 1 3 <A 23+V(1)
7 8+2*V(1) -2 1 <B 24+V(1)
8 9+2*V(1) -1 2 B> 24+V(1)
9 13+3*V(1) 3+V(1) 2 34+V(1) B>
10 14+3*V(1) 2+V(1) 2 34+V(1) <A
11 15+3*V(1) 1+V(1) 2 33+V(1) <B 2
<< Success! ==> defined new CTR 4 (PPA)
136 336 14 2 318 <B 2
== Executing PA-CTR 1, V(1)=15, V(2)=0, repcount=8, factor=3/2
192 568 -2 2 32 <B 225
193 569 -1 2 3 4 A> 225
194 594 24 2 3 4 125 A>
195 595 25 2 3 4 126 B>
196 596 24 2 3 4 126 <A
197 622 -2 2 3 4 <A 226
198 623 -3 2 3 <A 227
199 624 -4 2 <B 228
200 625 -3 3 B> 228
201 653 25 329 B>
202 654 24 329 <A
203 655 23 328 <B 2
204 656 24 327 4 A> 2
205 657 25 327 4 1 A>
206 658 26 327 4 12 B>
207 659 25 327 4 12 <A
208 661 23 327 4 <A 22
209 662 22 327 <A 23
210 663 21 326 <B 24
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 33+V(1) <B 21+V(2)
1 1 1 32+V(1) 4 A> 21+V(2)
2 2+V(2) 2+V(2) 32+V(1) 4 11+V(2) A>
3 3+V(2) 3+V(2) 32+V(1) 4 12+V(2) B>
4 4+V(2) 2+V(2) 32+V(1) 4 12+V(2) <A
5 6+2*V(2) 0 32+V(1) 4 <A 22+V(2)
6 7+2*V(2) -1 32+V(1) <A 23+V(2)
7 8+2*V(2) -2 31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 5 (PA)
210 663 21 326 <B 24
== Executing PA-CTR 5, V(1)=23, V(2)=3, repcount=12, factor=3/2
294 1227 -3 32 <B 240
295 1228 -2 3 4 A> 240
296 1268 38 3 4 140 A>
297 1269 39 3 4 141 B>
298 1270 38 3 4 141 <A
299 1311 -3 3 4 <A 241
300 1312 -4 3 <A 242
301 1313 -5 <B 243
302 1314 -6 <A 0 243
303 1315 -5 1 B> 0 243
304 1316 -6 1 <A 0 243
305 1317 -7 <A 2 0 243
306 1318 -6 1 B> 2 0 243
307 1319 -5 1 3 B> 0 243
308 1320 -6 1 3 <A 0 243
309 1321 -7 1 <B 2 0 243
310 1322 -6 2 B> 2 0 243
311 1323 -5 2 3 B> 0 243
312 1324 -6 2 3 <A 0 243
313 1325 -7 2 <B 2 0 243
314 1326 -6 3 B> 2 0 243
315 1327 -5 32 B> 0 243
316 1328 -6 32 <A 0 243
317 1329 -7 3 <B 2 0 243
318 1330 -6 4 A> 2 0 243
319 1331 -5 4 1 A> 0 243
320 1332 -4 4 12 B> 243
321 1375 39 4 12 343 B>
322 1376 38 4 12 343 <A
323 1377 37 4 12 342 <B 2
324 1378 38 4 12 341 4 A> 2
325 1379 39 4 12 341 4 1 A>
326 1380 40 4 12 341 4 12 B>
327 1381 39 4 12 341 4 12 <A
328 1383 37 4 12 341 4 <A 22
329 1384 36 4 12 341 <A 23
330 1385 35 4 12 340 <B 24
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* 33+V(1) <B 21+V(2)
1 1 1 [*]* [*]* 32+V(1) 4 A> 21+V(2)
2 2+V(2) 2+V(2) [*]* [*]* 32+V(1) 4 11+V(2) A>
3 3+V(2) 3+V(2) [*]* [*]* 32+V(1) 4 12+V(2) B>
4 4+V(2) 2+V(2) [*]* [*]* 32+V(1) 4 12+V(2) <A
5 6+2*V(2) 0 [*]* [*]* 32+V(1) 4 <A 22+V(2)
6 7+2*V(2) -1 [*]* [*]* 32+V(1) <A 23+V(2)
7 8+2*V(2) -2 [*]* [*]* 31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 6 (PA)
330 1385 35 4 12 340 <B 24
== Executing PA-CTR 6, V(1)=37, V(2)=3, repcount=19, factor=3/2
463 2677 -3 4 12 32 <B 261
464 2678 -2 4 12 3 4 A> 261
465 2739 59 4 12 3 4 161 A>
466 2740 60 4 12 3 4 162 B>
467 2741 59 4 12 3 4 162 <A
468 2803 -3 4 12 3 4 <A 262
469 2804 -4 4 12 3 <A 263
470 2805 -5 4 12 <B 264
471 2806 -4 4 1 2 B> 264
472 2870 60 4 1 2 364 B>
473 2871 59 4 1 2 364 <A
474 2872 58 4 1 2 363 <B 2
475 2873 59 4 1 2 362 4 A> 2
476 2874 60 4 1 2 362 4 1 A>
477 2875 61 4 1 2 362 4 12 B>
478 2876 60 4 1 2 362 4 12 <A
479 2878 58 4 1 2 362 4 <A 22
480 2879 57 4 1 2 362 <A 23
481 2880 56 4 1 2 361 <B 24
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* [*]* 33+V(1) <B 21+V(2)
1 1 1 [*]* [*]* [*]* 32+V(1) 4 A> 21+V(2)
2 2+V(2) 2+V(2) [*]* [*]* [*]* 32+V(1) 4 11+V(2) A>
3 3+V(2) 3+V(2) [*]* [*]* [*]* 32+V(1) 4 12+V(2) B>
4 4+V(2) 2+V(2) [*]* [*]* [*]* 32+V(1) 4 12+V(2) <A
5 6+2*V(2) 0 [*]* [*]* [*]* 32+V(1) 4 <A 22+V(2)
6 7+2*V(2) -1 [*]* [*]* [*]* 32+V(1) <A 23+V(2)
7 8+2*V(2) -2 [*]* [*]* [*]* 31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 7 (PA)
481 2880 56 4 1 2 361 <B 24
== Executing PA-CTR 7, V(1)=58, V(2)=3, repcount=30, factor=3/2
691 5910 -4 4 1 2 3 <B 294
692 5911 -3 4 1 2 4 A> 294
693 6005 91 4 1 2 4 194 A>
694 6006 92 4 1 2 4 195 B>
695 6007 91 4 1 2 4 195 <A
696 6102 -4 4 1 2 4 <A 295
697 6103 -5 4 1 2 <A 296
698 6104 -4 4 12 A> 296
699 6200 92 4 198 A>
700 6201 93 4 199 B>
701 6202 92 4 199 <A
702 6301 -7 4 <A 299
703 6302 -8 <A 2100
704 6303 -7 1 B> 2100
705 6403 93 1 3100 B>
706 6404 92 1 3100 <A
707 6405 91 1 399 <B 2
>> Try to prove a PPA-CTR with 3 Vars...
0 0 0 41+V(2) 11+V(1) 2 3 <B 21+V(3)
1 1 1 41+V(2) 11+V(1) 2 4 A> 21+V(3)
2 2+V(3) 2+V(3) 41+V(2) 11+V(1) 2 4 11+V(3) A>
3 3+V(3) 3+V(3) 41+V(2) 11+V(1) 2 4 12+V(3) B>
4 4+V(3) 2+V(3) 41+V(2) 11+V(1) 2 4 12+V(3) <A
5 6+2*V(3) 0 41+V(2) 11+V(1) 2 4 <A 22+V(3)
6 7+2*V(3) -1 41+V(2) 11+V(1) 2 <A 23+V(3)
7 8+2*V(3) 0 41+V(2) 12+V(1) A> 23+V(3)
8 11+3*V(3) 3+V(3) 41+V(2) 15+V(1)+V(3) A>
9 12+3*V(3) 4+V(3) 41+V(2) 16+V(1)+V(3) B>
10 13+3*V(3) 3+V(3) 41+V(2) 16+V(1)+V(3) <A
11 19+V(1)+4*V(3) -3+-1*V(1) 41+V(2) <A 26+V(1)+V(3)
12 20+V(1)+V(2)+4*V(3) -4+-1*V(1)+-1*V(2) <A 27+V(1)+V(2)+V(3)
13 21+V(1)+V(2)+4*V(3) -3+-1*V(1)+-1*V(2) 1 B> 27+V(1)+V(2)+V(3)
14 28+2*V(1)+2*V(2)+5*V(3) 4+V(3) 1 37+V(1)+V(2)+V(3) B>
15 29+2*V(1)+2*V(2)+5*V(3) 3+V(3) 1 37+V(1)+V(2)+V(3) <A
16 30+2*V(1)+2*V(2)+5*V(3) 2+V(3) 1 36+V(1)+V(2)+V(3) <B 2
<< Success! ==> defined new CTR 8 (PPA)
707 6405 91 1 399 <B 2
== Executing PA-CTR 1, V(1)=96, V(2)=0, repcount=49, factor=3/2
1050 13853 -7 1 3 <B 2148
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=147
1061 14309 141 1 3150 <B 2
== Executing PA-CTR 1, V(1)=147, V(2)=0, repcount=74, factor=3/2
1579 31107 -7 1 32 <B 2223
== Executing PPA-CTR 4 (once), V(1)=222
1590 31788 216 2 3225 <B 2
== Executing PA-CTR 1, V(1)=222, V(2)=0, repcount=112, factor=3/2
2374 69980 -8 2 3 <B 2337
== Executing PPA-CTR 2 (once), V(1)=336
2389 71686 330 1 3340 <B 2
== Executing PA-CTR 1, V(1)=337, V(2)=0, repcount=169, factor=3/2
3572 158214 -8 1 32 <B 2508
== Executing PPA-CTR 4 (once), V(1)=507
3583 159750 500 2 3510 <B 2
== Executing PA-CTR 1, V(1)=507, V(2)=0, repcount=254, factor=3/2
5361 354568 -8 2 32 <B 2763
5362 354569 -7 2 3 4 A> 2763
5363 355332 756 2 3 4 1763 A>
5364 355333 757 2 3 4 1764 B>
5365 355334 756 2 3 4 1764 <A
5366 356098 -8 2 3 4 <A 2764
5367 356099 -9 2 3 <A 2765
5368 356100 -10 2 <B 2766
5369 356101 -9 3 B> 2766
5370 356867 757 3767 B>
5371 356868 756 3767 <A
5372 356869 755 3766 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 2 32 <B 21+V(1)
1 1 1 2 3 4 A> 21+V(1)
2 2+V(1) 2+V(1) 2 3 4 11+V(1) A>
3 3+V(1) 3+V(1) 2 3 4 12+V(1) B>
4 4+V(1) 2+V(1) 2 3 4 12+V(1) <A
5 6+2*V(1) 0 2 3 4 <A 22+V(1)
6 7+2*V(1) -1 2 3 <A 23+V(1)
7 8+2*V(1) -2 2 <B 24+V(1)
8 9+2*V(1) -1 3 B> 24+V(1)
9 13+3*V(1) 3+V(1) 35+V(1) B>
10 14+3*V(1) 2+V(1) 35+V(1) <A
11 15+3*V(1) 1+V(1) 34+V(1) <B 2
<< Success! ==> defined new CTR 9 (PPA)
5372 356869 755 3766 <B 2
== Executing PA-CTR 5, V(1)=763, V(2)=0, repcount=382, factor=3/2
8046 796551 -9 32 <B 21147
8047 796552 -8 3 4 A> 21147
8048 797699 1139 3 4 11147 A>
8049 797700 1140 3 4 11148 B>
8050 797701 1139 3 4 11148 <A
8051 798849 -9 3 4 <A 21148
8052 798850 -10 3 <A 21149
8053 798851 -11 <B 21150
8054 798852 -12 <A 0 21150
8055 798853 -11 1 B> 0 21150
8056 798854 -12 1 <A 0 21150
8057 798855 -13 <A 2 0 21150
8058 798856 -12 1 B> 2 0 21150
8059 798857 -11 1 3 B> 0 21150
8060 798858 -12 1 3 <A 0 21150
8061 798859 -13 1 <B 2 0 21150
8062 798860 -12 2 B> 2 0 21150
8063 798861 -11 2 3 B> 0 21150
8064 798862 -12 2 3 <A 0 21150
8065 798863 -13 2 <B 2 0 21150
8066 798864 -12 3 B> 2 0 21150
8067 798865 -11 32 B> 0 21150
8068 798866 -12 32 <A 0 21150
8069 798867 -13 3 <B 2 0 21150
8070 798868 -12 4 A> 2 0 21150
8071 798869 -11 4 1 A> 0 21150
8072 798870 -10 4 12 B> 21150
8073 800020 1140 4 12 31150 B>
8074 800021 1139 4 12 31150 <A
8075 800022 1138 4 12 31149 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 32 <B 21+V(1)
1 1 1 3 4 A> 21+V(1)
2 2+V(1) 2+V(1) 3 4 11+V(1) A>
3 3+V(1) 3+V(1) 3 4 12+V(1) B>
4 4+V(1) 2+V(1) 3 4 12+V(1) <A
5 6+2*V(1) 0 3 4 <A 22+V(1)
6 7+2*V(1) -1 3 <A 23+V(1)
7 8+2*V(1) -2 <B 24+V(1)
8 9+2*V(1) -3 <A 0 24+V(1)
9 10+2*V(1) -2 1 B> 0 24+V(1)
10 11+2*V(1) -3 1 <A 0 24+V(1)
11 12+2*V(1) -4 <A 2 0 24+V(1)
12 13+2*V(1) -3 1 B> 2 0 24+V(1)
13 14+2*V(1) -2 1 3 B> 0 24+V(1)
14 15+2*V(1) -3 1 3 <A 0 24+V(1)
15 16+2*V(1) -4 1 <B 2 0 24+V(1)
16 17+2*V(1) -3 2 B> 2 0 24+V(1)
17 18+2*V(1) -2 2 3 B> 0 24+V(1)
18 19+2*V(1) -3 2 3 <A 0 24+V(1)
19 20+2*V(1) -4 2 <B 2 0 24+V(1)
20 21+2*V(1) -3 3 B> 2 0 24+V(1)
21 22+2*V(1) -2 32 B> 0 24+V(1)
22 23+2*V(1) -3 32 <A 0 24+V(1)
23 24+2*V(1) -4 3 <B 2 0 24+V(1)
24 25+2*V(1) -3 4 A> 2 0 24+V(1)
25 26+2*V(1) -2 4 1 A> 0 24+V(1)
26 27+2*V(1) -1 4 12 B> 24+V(1)
27 31+3*V(1) 3+V(1) 4 12 34+V(1) B>
28 32+3*V(1) 2+V(1) 4 12 34+V(1) <A
29 33+3*V(1) 1+V(1) 4 12 33+V(1) <B 2
<< Success! ==> defined new CTR 10 (PPA)
8075 800022 1138 4 12 31149 <B 2
== Executing PA-CTR 6, V(1)=1146, V(2)=0, repcount=574, factor=3/2
12093 1791320 -10 4 12 3 <B 21723
12094 1791321 -9 4 12 4 A> 21723
12095 1793044 1714 4 12 4 11723 A>
12096 1793045 1715 4 12 4 11724 B>
12097 1793046 1714 4 12 4 11724 <A
12098 1794770 -10 4 12 4 <A 21724
12099 1794771 -11 4 12 <A 21725
12100 1794773 -13 4 <A 21727
12101 1794774 -14 <A 21728
12102 1794775 -13 1 B> 21728
12103 1796503 1715 1 31728 B>
12104 1796504 1714 1 31728 <A
12105 1796505 1713 1 31727 <B 2
>> Try to prove a PPA-CTR with 3 Vars...
0 0 0 41+V(2) 11+V(1) 3 <B 21+V(3)
1 1 1 41+V(2) 11+V(1) 4 A> 21+V(3)
2 2+V(3) 2+V(3) 41+V(2) 11+V(1) 4 11+V(3) A>
3 3+V(3) 3+V(3) 41+V(2) 11+V(1) 4 12+V(3) B>
4 4+V(3) 2+V(3) 41+V(2) 11+V(1) 4 12+V(3) <A
5 6+2*V(3) 0 41+V(2) 11+V(1) 4 <A 22+V(3)
6 7+2*V(3) -1 41+V(2) 11+V(1) <A 23+V(3)
7 8+V(1)+2*V(3) -2+-1*V(1) 41+V(2) <A 24+V(1)+V(3)
8 9+V(1)+V(2)+2*V(3) -3+-1*V(1)+-1*V(2) <A 25+V(1)+V(2)+V(3)
9 10+V(1)+V(2)+2*V(3) -2+-1*V(1)+-1*V(2) 1 B> 25+V(1)+V(2)+V(3)
10 15+2*V(1)+2*V(2)+3*V(3) 3+V(3) 1 35+V(1)+V(2)+V(3) B>
11 16+2*V(1)+2*V(2)+3*V(3) 2+V(3) 1 35+V(1)+V(2)+V(3) <A
12 17+2*V(1)+2*V(2)+3*V(3) 1+V(3) 1 34+V(1)+V(2)+V(3) <B 2
<< Success! ==> defined new CTR 11 (PPA)
12105 1796505 1713 1 31727 <B 2
== Executing PA-CTR 1, V(1)=1724, V(2)=0, repcount=863, factor=3/2
18146 4035127 -13 1 3 <B 22590
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=2589
18157 4042909 2577 1 32592 <B 2
== Executing PA-CTR 1, V(1)=2589, V(2)=0, repcount=1295, factor=3/2
27222 9080459 -13 1 32 <B 23886
== Executing PPA-CTR 4 (once), V(1)=3885
27233 9092129 3873 2 33888 <B 2
== Executing PA-CTR 1, V(1)=3885, V(2)=0, repcount=1943, factor=3/2
40834 20427591 -13 2 32 <B 25830
== Executing PPA-CTR 9 (once), V(1)=5829
40845 20445093 5817 35833 <B 2
== Executing PA-CTR 5, V(1)=5830, V(2)=0, repcount=2916, factor=3/2
61257 45968841 -15 3 <B 28749
61258 45968842 -14 4 A> 28749
61259 45977591 8735 4 18749 A>
61260 45977592 8736 4 18750 B>
61261 45977593 8735 4 18750 <A
61262 45986343 -15 4 <A 28750
61263 45986344 -16 <A 28751
61264 45986345 -15 1 B> 28751
61265 45995096 8736 1 38751 B>
61266 45995097 8735 1 38751 <A
61267 45995098 8734 1 38750 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 3 <B 22+V(1)
1 1 1 4 A> 22+V(1)
2 3+V(1) 3+V(1) 4 12+V(1) A>
3 4+V(1) 4+V(1) 4 13+V(1) B>
4 5+V(1) 3+V(1) 4 13+V(1) <A
5 8+2*V(1) 0 4 <A 23+V(1)
6 9+2*V(1) -1 <A 24+V(1)
7 10+2*V(1) 0 1 B> 24+V(1)
8 14+3*V(1) 4+V(1) 1 34+V(1) B>
9 15+3*V(1) 3+V(1) 1 34+V(1) <A
10 16+3*V(1) 2+V(1) 1 33+V(1) <B 2
<< Success! ==> defined new CTR 12 (PPA)
61267 45995098 8734 1 38750 <B 2
== Executing PA-CTR 1, V(1)=8747, V(2)=0, repcount=4374, factor=3/2
91885 103412596 -14 1 32 <B 213123
== Executing PPA-CTR 4 (once), V(1)=13122
91896 103451977 13109 2 313125 <B 2
== Executing PA-CTR 1, V(1)=13122, V(2)=0, repcount=6562, factor=3/2
137830 232664319 -15 2 3 <B 219687
== Executing PPA-CTR 2 (once), V(1)=19686
137845 232762775 19673 1 319690 <B 2
== Executing PA-CTR 1, V(1)=19687, V(2)=0, repcount=9844, factor=3/2
206753 523525003 -15 1 32 <B 229533
== Executing PPA-CTR 4 (once), V(1)=29532
206764 523613614 29518 2 329535 <B 2
== Executing PA-CTR 1, V(1)=29532, V(2)=0, repcount=14767, factor=3/2
310133 1177880316 -16 2 3 <B 244302
== Executing PPA-CTR 2 (once), V(1)=44301
310148 1178101847 44287 1 344305 <B 2
== Executing PA-CTR 1, V(1)=44302, V(2)=0, repcount=22152, factor=3/2
465212 2650345919 -17 1 3 <B 266457
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=66456
465223 2650545302 66440 1 366459 <B 2
== Executing PA-CTR 1, V(1)=66456, V(2)=0, repcount=33229, factor=3/2
697826 5963210770 -18 1 3 <B 299688
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=99687
697837 5963509846 99670 1 399690 <B 2
== Executing PA-CTR 1, V(1)=99687, V(2)=0, repcount=49844, factor=3/2
1046745 13417032074 -18 1 32 <B 2149533
== Executing PPA-CTR 4 (once), V(1)=149532
1046756 13417480685 149515 2 3149535 <B 2
== Executing PA-CTR 1, V(1)=149532, V(2)=0, repcount=74767, factor=3/2
1570125 30188167387 -19 2 3 <B 2224302
== Executing PPA-CTR 2 (once), V(1)=224301
1570140 30189288918 224284 1 3224305 <B 2
== Executing PA-CTR 1, V(1)=224302, V(2)=0, repcount=112152, factor=3/2
2355204 67924062990 -20 1 3 <B 2336457
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=336456
2355215 67925072373 336437 1 3336459 <B 2
== Executing PA-CTR 1, V(1)=336456, V(2)=0, repcount=168229, factor=3/2
3532818 152828902841 -21 1 3 <B 2504688
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=504687
3532829 152830416917 504667 1 3504690 <B 2
== Executing PA-CTR 1, V(1)=504687, V(2)=0, repcount=252344, factor=3/2
5299237 343864161645 -21 1 32 <B 2757033
== Executing PPA-CTR 4 (once), V(1)=757032
5299248 343866432756 757012 2 3757035 <B 2
== Executing PA-CTR 1, V(1)=757032, V(2)=0, repcount=378517, factor=3/2
7948867 773693683208 -22 2 3 <B 21135552
== Executing PPA-CTR 2 (once), V(1)=1135551
7948882 773699360989 1135531 1 31135555 <B 2
== Executing PA-CTR 1, V(1)=1135552, V(2)=0, repcount=567777, factor=3/2
11923321 1740814365061 -23 1 3 <B 21703332
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=1703331
11923332 1740819475069 1703309 1 31703334 <B 2
== Executing PA-CTR 1, V(1)=1703331, V(2)=0, repcount=851666, factor=3/2
17884994 3916828660067 -23 1 32 <B 22554999
== Executing PPA-CTR 4 (once), V(1)=2554998
17885005 3916836325076 2554976 2 32555001 <B 2
== Executing PA-CTR 1, V(1)=2554998, V(2)=0, repcount=1277500, factor=3/2
26827505 8812861462576 -24 2 3 <B 23832501
== Executing PPA-CTR 2 (once), V(1)=3832500
26827520 8812880625102 3832478 1 33832504 <B 2
== Executing PA-CTR 1, V(1)=3832501, V(2)=0, repcount=1916251, factor=3/2
40241277 19828943891360 -24 1 32 <B 25748754
== Executing PPA-CTR 4 (once), V(1)=5748753
40241288 19828961137634 5748730 2 35748756 <B 2
== Executing PA-CTR 1, V(1)=5748753, V(2)=0, repcount=2874377, factor=3/2
60361927 44615104923906 -24 2 32 <B 28623132
== Executing PPA-CTR 9 (once), V(1)=8623131
60361938 44615130793314 8623108 38623135 <B 2
== Executing PA-CTR 5, V(1)=8623132, V(2)=0, repcount=4311567, factor=3/2
90542907 100383982337616 -26 3 <B 212934702
== Executing PPA-CTR 12 (once), V(1)=12934700
90542917 100384021141732 12934676 1 312934703 <B 2
== Executing PA-CTR 1, V(1)=12934700, V(2)=0, repcount=6467351, factor=3/2
135814374 225863940350090 -26 1 3 <B 219402054
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=19402053
135814385 225863998556264 19402028 1 319402056 <B 2
== Executing PA-CTR 1, V(1)=19402053, V(2)=0, repcount=9701027, factor=3/2
203721574 508193821625586 -26 1 32 <B 229103082
== Executing PPA-CTR 4 (once), V(1)=29103081
203721585 508193908934844 29103056 2 329103084 <B 2
== Executing PA-CTR 1, V(1)=29103081, V(2)=0, repcount=14551541, factor=3/2
305582372 1143436018116592 -26 2 32 <B 243654624
== Executing PPA-CTR 9 (once), V(1)=43654623
305582383 1143436149080476 43654598 343654627 <B 2
== Executing PA-CTR 5, V(1)=43654624, V(2)=0, repcount=21827313, factor=3/2
458373574 2572731036616948 -28 3 <B 265481940
== Executing PPA-CTR 12 (once), V(1)=65481938
458373584 2572731233062778 65481912 1 365481941 <B 2
== Executing PA-CTR 1, V(1)=65481938, V(2)=0, repcount=32740970, factor=3/2
687560374 5788644746390328 -28 1 3 <B 298222911
Lines: 300
Top steps: 299
Macro steps: 687560374
Basic steps: 5788644746390328
Tape index: -28
nonzeros: 98222913
log10(nonzeros): 7.992
log10(steps ): 15.763
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #n from T.J. & S. Ligocki
5T 1RB 2LA 1RA 2LB 2LA 0LA 2RB 3RB 4RA 1RH
: >1.7x10^352 >1.9x10^704
C This is a current 2x5 champion
L 4
M 300
pref sim
machv Lig25_n just simple
machv Lig25_n-r with repetitions reduced
machv Lig25_n-1 with tape symbol exponents
machv Lig25_n-m as 1-macro machine
machv Lig25_n-a as 1-macro machine with pure additive config-TRs
iam Lig25_n-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:10 CEST 2010
edate Tue Jul 6 22:13:11 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:13:10 CEST 2010