Comment: This TM produces >2.4x10^26 nonzeros in >5.7x10^52 steps. Comment: If started in state B it will run for one more step Comment: ... but still generate the same number of non-zeros.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 1LA | 1LB | 1RA | 1 | right | B | 1 | left | A | 1 | left | B | 1 | right | A |
| B | 0LA | 2RB | 2LC | 1RH | 0 | left | A | 2 | right | B | 2 | left | C | 1 | right | H |
| C | 3RB | 2LB | 1RC | 0RC | 3 | right | B | 2 | left | B | 1 | right | C | 0 | right | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
Simulation is done as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (1)B>
2 3 -1 <A(1)
3 5 1 1 (2)B>
4 7 -1 1 <B(1)
5 9 1 2 (2)B>
6 11 -1 2 <B(1)
7 12 -2 <C(2) 1
8 16 0 (1)C> 1
9 21 1 1 (1)C>
10 22 2 12 (3)B>
11 25 3 13 (1)B>
12 27 1 13 <A(1)
13 30 -2 <A(1) 13
14 32 0 1 (2)B> 13
15 35 3 1 23 (2)B>
16 37 1 1 23 <B(1)
17 38 0 1 22 <C(2) 1
18 40 2 1 2 1 (1)C> 1
19 45 3 1 2 12 (1)C>
20 46 4 1 2 13 (3)B>
21 49 5 1 2 14 (1)B>
22 51 3 1 2 14 <A(1)
23 55 -1 1 2 <A(1) 14
24 56 -2 1 <B(1) 15
25 58 0 2 (2)B> 15
26 63 5 26 (2)B>
27 65 3 26 <B(1)
28 66 2 25 <C(2) 1
29 68 4 24 1 (1)C> 1
30 73 5 24 12 (1)C>
31 74 6 24 13 (3)B>
32 77 7 24 14 (1)B>
33 79 5 24 14 <A(1)
34 83 1 24 <A(1) 14
35 84 0 23 <B(1) 15
36 85 -1 22 <C(2) 16
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 24+V(1) <C(2) 11+V(2)
1 2 2 23+V(1) 1 (1)C> 11+V(2)
2 7+5*V(2) 3+V(2) 23+V(1) 12+V(2) (1)C>
3 8+5*V(2) 4+V(2) 23+V(1) 13+V(2) (3)B>
4 11+5*V(2) 5+V(2) 23+V(1) 14+V(2) (1)B>
5 13+5*V(2) 3+V(2) 23+V(1) 14+V(2) <A(1)
6 17+6*V(2) -1 23+V(1) <A(1) 14+V(2)
7 18+6*V(2) -2 22+V(1) <B(1) 15+V(2)
8 19+6*V(2) -3 21+V(1) <C(2) 16+V(2)
<< Success! ==> defined new CTR 1 (PA)
37 87 1 2 1 (1)C> 16
38 117 7 2 17 (1)C>
39 118 8 2 18 (3)B>
40 121 9 2 19 (1)B>
41 123 7 2 19 <A(1)
42 132 -2 2 <A(1) 19
43 133 -3 <B(1) 110
44 134 -4 <A(0) 111
45 137 -5 <A(1) 0 111
46 139 -3 1 (2)B> 0 111
47 141 -5 1 <B(1) 0 111
48 143 -3 2 (2)B> 0 111
49 145 -5 2 <B(1) 0 111
50 146 -6 <C(2) 1 0 111
51 150 -4 (1)C> 1 0 111
52 155 -3 1 (1)C> 0 111
53 156 -2 12 (3)B> 111
54 157 -1 12 3 (2)B> 110
55 167 9 12 3 210 (2)B>
56 169 7 12 3 210 <B(1)
57 170 6 12 3 29 <C(2) 1
58 172 8 12 3 28 1 (1)C> 1
59 177 9 12 3 28 12 (1)C>
60 178 10 12 3 28 13 (3)B>
61 181 11 12 3 28 14 (1)B>
62 183 9 12 3 28 14 <A(1)
63 187 5 12 3 28 <A(1) 14
64 188 4 12 3 27 <B(1) 15
65 189 3 12 3 26 <C(2) 16
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* 24+V(1) <C(2) 11+V(2)
1 2 2 [*]* [*]* 23+V(1) 1 (1)C> 11+V(2)
2 7+5*V(2) 3+V(2) [*]* [*]* 23+V(1) 12+V(2) (1)C>
3 8+5*V(2) 4+V(2) [*]* [*]* 23+V(1) 13+V(2) (3)B>
4 11+5*V(2) 5+V(2) [*]* [*]* 23+V(1) 14+V(2) (1)B>
5 13+5*V(2) 3+V(2) [*]* [*]* 23+V(1) 14+V(2) <A(1)
6 17+6*V(2) -1 [*]* [*]* 23+V(1) <A(1) 14+V(2)
7 18+6*V(2) -2 [*]* [*]* 22+V(1) <B(1) 15+V(2)
8 19+6*V(2) -3 [*]* [*]* 21+V(1) <C(2) 16+V(2)
<< Success! ==> defined new CTR 2 (PA)
65 189 3 12 3 26 <C(2) 16
== Executing PA-CTR 2, V(1)=2, V(2)=5, repcount=1, factor=5/3
73 238 0 12 3 23 <C(2) 111
74 240 2 12 3 22 1 (1)C> 111
75 295 13 12 3 22 112 (1)C>
76 296 14 12 3 22 113 (3)B>
77 299 15 12 3 22 114 (1)B>
78 301 13 12 3 22 114 <A(1)
79 315 -1 12 3 22 <A(1) 114
80 316 -2 12 3 2 <B(1) 115
81 317 -3 12 3 <C(2) 116
82 319 -1 12 0 (1)C> 116
83 399 15 12 0 116 (1)C>
84 400 16 12 0 117 (3)B>
85 403 17 12 0 118 (1)B>
86 405 15 12 0 118 <A(1)
87 423 -3 12 0 <A(1) 118
88 425 -1 13 (2)B> 118
89 443 17 13 218 (2)B>
90 445 15 13 218 <B(1)
91 446 14 13 217 <C(2) 1
92 448 16 13 216 1 (1)C> 1
93 453 17 13 216 12 (1)C>
94 454 18 13 216 13 (3)B>
95 457 19 13 216 14 (1)B>
96 459 17 13 216 14 <A(1)
97 463 13 13 216 <A(1) 14
98 464 12 13 215 <B(1) 15
99 465 11 13 214 <C(2) 16
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 24+V(1) <C(2) 11+V(2)
1 2 2 [*]* 23+V(1) 1 (1)C> 11+V(2)
2 7+5*V(2) 3+V(2) [*]* 23+V(1) 12+V(2) (1)C>
3 8+5*V(2) 4+V(2) [*]* 23+V(1) 13+V(2) (3)B>
4 11+5*V(2) 5+V(2) [*]* 23+V(1) 14+V(2) (1)B>
5 13+5*V(2) 3+V(2) [*]* 23+V(1) 14+V(2) <A(1)
6 17+6*V(2) -1 [*]* 23+V(1) <A(1) 14+V(2)
7 18+6*V(2) -2 [*]* 22+V(1) <B(1) 15+V(2)
8 19+6*V(2) -3 [*]* 21+V(1) <C(2) 16+V(2)
<< Success! ==> defined new CTR 3 (PA)
99 465 11 13 214 <C(2) 16
== Executing PA-CTR 3, V(1)=10, V(2)=5, repcount=4, factor=5/3
131 841 -1 13 22 <C(2) 126
132 843 1 13 2 1 (1)C> 126
133 973 27 13 2 127 (1)C>
134 974 28 13 2 128 (3)B>
135 977 29 13 2 129 (1)B>
136 979 27 13 2 129 <A(1)
137 1008 -2 13 2 <A(1) 129
138 1009 -3 13 <B(1) 130
139 1011 -1 12 2 (2)B> 130
140 1041 29 12 231 (2)B>
141 1043 27 12 231 <B(1)
142 1044 26 12 230 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 12+V(1) 22 <C(2) 11+V(2)
1 2 2 12+V(1) 2 1 (1)C> 11+V(2)
2 7+5*V(2) 3+V(2) 12+V(1) 2 12+V(2) (1)C>
3 8+5*V(2) 4+V(2) 12+V(1) 2 13+V(2) (3)B>
4 11+5*V(2) 5+V(2) 12+V(1) 2 14+V(2) (1)B>
5 13+5*V(2) 3+V(2) 12+V(1) 2 14+V(2) <A(1)
6 17+6*V(2) -1 12+V(1) 2 <A(1) 14+V(2)
7 18+6*V(2) -2 12+V(1) <B(1) 15+V(2)
8 20+6*V(2) 0 11+V(1) 2 (2)B> 15+V(2)
9 25+7*V(2) 5+V(2) 11+V(1) 26+V(2) (2)B>
10 27+7*V(2) 3+V(2) 11+V(1) 26+V(2) <B(1)
11 28+7*V(2) 2+V(2) 11+V(1) 25+V(2) <C(2) 1
<< Success! ==> defined new CTR 4 (PPA)
142 1044 26 12 230 <C(2) 1
== Executing PA-CTR 3, V(1)=26, V(2)=0, repcount=9, factor=5/3
214 2295 -1 12 23 <C(2) 146
215 2297 1 12 22 1 (1)C> 146
216 2527 47 12 22 147 (1)C>
217 2528 48 12 22 148 (3)B>
218 2531 49 12 22 149 (1)B>
219 2533 47 12 22 149 <A(1)
220 2582 -2 12 22 <A(1) 149
221 2583 -3 12 2 <B(1) 150
222 2584 -4 12 <C(2) 151
223 2585 -5 1 <B(2) 2 151
224 2589 -3 1 (1)C> 2 151
225 2590 -2 12 (1)C> 151
226 2845 49 153 (1)C>
227 2846 50 154 (3)B>
228 2849 51 155 (1)B>
229 2851 49 155 <A(1)
230 2906 -6 <A(1) 155
231 2908 -4 1 (2)B> 155
232 2963 51 1 255 (2)B>
233 2965 49 1 255 <B(1)
234 2966 48 1 254 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 12+V(1) 23 <C(2) 11+V(2)
1 2 2 12+V(1) 22 1 (1)C> 11+V(2)
2 7+5*V(2) 3+V(2) 12+V(1) 22 12+V(2) (1)C>
3 8+5*V(2) 4+V(2) 12+V(1) 22 13+V(2) (3)B>
4 11+5*V(2) 5+V(2) 12+V(1) 22 14+V(2) (1)B>
5 13+5*V(2) 3+V(2) 12+V(1) 22 14+V(2) <A(1)
6 17+6*V(2) -1 12+V(1) 22 <A(1) 14+V(2)
7 18+6*V(2) -2 12+V(1) 2 <B(1) 15+V(2)
8 19+6*V(2) -3 12+V(1) <C(2) 16+V(2)
9 20+6*V(2) -4 11+V(1) <B(2) 2 16+V(2)
10 24+6*V(2) -2 11+V(1) (1)C> 2 16+V(2)
11 25+6*V(2) -1 12+V(1) (1)C> 16+V(2)
12 55+11*V(2) 5+V(2) 18+V(1)+V(2) (1)C>
13 56+11*V(2) 6+V(2) 19+V(1)+V(2) (3)B>
14 59+11*V(2) 7+V(2) 110+V(1)+V(2) (1)B>
15 61+11*V(2) 5+V(2) 110+V(1)+V(2) <A(1)
16 71+V(1)+12*V(2) -5+-1*V(1) <A(1) 110+V(1)+V(2)
17 73+V(1)+12*V(2) -3+-1*V(1) 1 (2)B> 110+V(1)+V(2)
18 83+2*V(1)+13*V(2) 7+V(2) 1 210+V(1)+V(2) (2)B>
19 85+2*V(1)+13*V(2) 5+V(2) 1 210+V(1)+V(2) <B(1)
20 86+2*V(1)+13*V(2) 4+V(2) 1 29+V(1)+V(2) <C(2) 1
<< Success! ==> defined new CTR 5 (PPA)
234 2966 48 1 254 <C(2) 1
== Executing PA-CTR 3, V(1)=50, V(2)=0, repcount=17, factor=5/3
370 7369 -3 1 23 <C(2) 186
371 7371 -1 1 22 1 (1)C> 186
372 7801 85 1 22 187 (1)C>
373 7802 86 1 22 188 (3)B>
374 7805 87 1 22 189 (1)B>
375 7807 85 1 22 189 <A(1)
376 7896 -4 1 22 <A(1) 189
377 7897 -5 1 2 <B(1) 190
378 7898 -6 1 <C(2) 191
379 7899 -7 <B(2) 2 191
380 7900 -8 <A(0) 22 191
381 7903 -9 <A(1) 0 22 191
382 7905 -7 1 (2)B> 0 22 191
383 7907 -9 1 <B(1) 0 22 191
384 7909 -7 2 (2)B> 0 22 191
385 7911 -9 2 <B(1) 0 22 191
386 7912 -10 <C(2) 1 0 22 191
387 7916 -8 (1)C> 1 0 22 191
388 7921 -7 1 (1)C> 0 22 191
389 7922 -6 12 (3)B> 22 191
390 7925 -5 12 0 (1)C> 2 191
391 7926 -4 12 0 1 (1)C> 191
392 8381 87 12 0 192 (1)C>
393 8382 88 12 0 193 (3)B>
394 8385 89 12 0 194 (1)B>
395 8387 87 12 0 194 <A(1)
396 8481 -7 12 0 <A(1) 194
397 8483 -5 13 (2)B> 194
398 8577 89 13 294 (2)B>
399 8579 87 13 294 <B(1)
400 8580 86 13 293 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 23 <C(2) 11+V(1)
1 2 2 1 22 1 (1)C> 11+V(1)
2 7+5*V(1) 3+V(1) 1 22 12+V(1) (1)C>
3 8+5*V(1) 4+V(1) 1 22 13+V(1) (3)B>
4 11+5*V(1) 5+V(1) 1 22 14+V(1) (1)B>
5 13+5*V(1) 3+V(1) 1 22 14+V(1) <A(1)
6 17+6*V(1) -1 1 22 <A(1) 14+V(1)
7 18+6*V(1) -2 1 2 <B(1) 15+V(1)
8 19+6*V(1) -3 1 <C(2) 16+V(1)
9 20+6*V(1) -4 <B(2) 2 16+V(1)
10 21+6*V(1) -5 <A(0) 22 16+V(1)
11 24+6*V(1) -6 <A(1) 0 22 16+V(1)
12 26+6*V(1) -4 1 (2)B> 0 22 16+V(1)
13 28+6*V(1) -6 1 <B(1) 0 22 16+V(1)
14 30+6*V(1) -4 2 (2)B> 0 22 16+V(1)
15 32+6*V(1) -6 2 <B(1) 0 22 16+V(1)
16 33+6*V(1) -7 <C(2) 1 0 22 16+V(1)
17 37+6*V(1) -5 (1)C> 1 0 22 16+V(1)
18 42+6*V(1) -4 1 (1)C> 0 22 16+V(1)
19 43+6*V(1) -3 12 (3)B> 22 16+V(1)
20 46+6*V(1) -2 12 0 (1)C> 2 16+V(1)
21 47+6*V(1) -1 12 0 1 (1)C> 16+V(1)
22 77+11*V(1) 5+V(1) 12 0 17+V(1) (1)C>
23 78+11*V(1) 6+V(1) 12 0 18+V(1) (3)B>
24 81+11*V(1) 7+V(1) 12 0 19+V(1) (1)B>
25 83+11*V(1) 5+V(1) 12 0 19+V(1) <A(1)
26 92+12*V(1) -4 12 0 <A(1) 19+V(1)
27 94+12*V(1) -2 13 (2)B> 19+V(1)
28 103+13*V(1) 7+V(1) 13 29+V(1) (2)B>
29 105+13*V(1) 5+V(1) 13 29+V(1) <B(1)
30 106+13*V(1) 4+V(1) 13 28+V(1) <C(2) 1
<< Success! ==> defined new CTR 6 (PPA)
400 8580 86 13 293 <C(2) 1
== Executing PA-CTR 3, V(1)=89, V(2)=0, repcount=30, factor=5/3
640 22200 -4 13 23 <C(2) 1151
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=150
660 24238 150 1 2160 <C(2) 1
== Executing PA-CTR 3, V(1)=156, V(2)=0, repcount=53, factor=5/3
1084 66585 -9 1 2 <C(2) 1266
1085 66587 -7 12 (1)C> 1266
1086 67917 259 1268 (1)C>
1087 67918 260 1269 (3)B>
1088 67921 261 1270 (1)B>
1089 67923 259 1270 <A(1)
1090 68193 -11 <A(1) 1270
1091 68195 -9 1 (2)B> 1270
1092 68465 261 1 2270 (2)B>
1093 68467 259 1 2270 <B(1)
1094 68468 258 1 2269 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(1) 2 <C(2) 11+V(2)
1 2 2 12+V(1) (1)C> 11+V(2)
2 7+5*V(2) 3+V(2) 13+V(1)+V(2) (1)C>
3 8+5*V(2) 4+V(2) 14+V(1)+V(2) (3)B>
4 11+5*V(2) 5+V(2) 15+V(1)+V(2) (1)B>
5 13+5*V(2) 3+V(2) 15+V(1)+V(2) <A(1)
6 18+V(1)+6*V(2) -2+-1*V(1) <A(1) 15+V(1)+V(2)
7 20+V(1)+6*V(2) 0+-1*V(1) 1 (2)B> 15+V(1)+V(2)
8 25+2*V(1)+7*V(2) 5+V(2) 1 25+V(1)+V(2) (2)B>
9 27+2*V(1)+7*V(2) 3+V(2) 1 25+V(1)+V(2) <B(1)
10 28+2*V(1)+7*V(2) 2+V(2) 1 24+V(1)+V(2) <C(2) 1
<< Success! ==> defined new CTR 7 (PPA)
1094 68468 258 1 2269 <C(2) 1
== Executing PA-CTR 3, V(1)=265, V(2)=0, repcount=89, factor=5/3
1806 187639 -9 1 22 <C(2) 1446
1807 187641 -7 1 2 1 (1)C> 1446
1808 189871 439 1 2 1447 (1)C>
1809 189872 440 1 2 1448 (3)B>
1810 189875 441 1 2 1449 (1)B>
1811 189877 439 1 2 1449 <A(1)
1812 190326 -10 1 2 <A(1) 1449
1813 190327 -11 1 <B(1) 1450
1814 190329 -9 2 (2)B> 1450
1815 190779 441 2451 (2)B>
1816 190781 439 2451 <B(1)
1817 190782 438 2450 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 22 <C(2) 11+V(1)
1 2 2 1 2 1 (1)C> 11+V(1)
2 7+5*V(1) 3+V(1) 1 2 12+V(1) (1)C>
3 8+5*V(1) 4+V(1) 1 2 13+V(1) (3)B>
4 11+5*V(1) 5+V(1) 1 2 14+V(1) (1)B>
5 13+5*V(1) 3+V(1) 1 2 14+V(1) <A(1)
6 17+6*V(1) -1 1 2 <A(1) 14+V(1)
7 18+6*V(1) -2 1 <B(1) 15+V(1)
8 20+6*V(1) 0 2 (2)B> 15+V(1)
9 25+7*V(1) 5+V(1) 26+V(1) (2)B>
10 27+7*V(1) 3+V(1) 26+V(1) <B(1)
11 28+7*V(1) 2+V(1) 25+V(1) <C(2) 1
<< Success! ==> defined new CTR 8 (PPA)
1817 190782 438 2450 <C(2) 1
== Executing PA-CTR 1, V(1)=446, V(2)=0, repcount=149, factor=5/3
3009 524393 -9 23 <C(2) 1746
3010 524395 -7 22 1 (1)C> 1746
3011 528125 739 22 1747 (1)C>
3012 528126 740 22 1748 (3)B>
3013 528129 741 22 1749 (1)B>
3014 528131 739 22 1749 <A(1)
3015 528880 -10 22 <A(1) 1749
3016 528881 -11 2 <B(1) 1750
3017 528882 -12 <C(2) 1751
3018 528886 -10 (1)C> 1751
3019 532641 741 1751 (1)C>
3020 532642 742 1752 (3)B>
3021 532645 743 1753 (1)B>
3022 532647 741 1753 <A(1)
3023 533400 -12 <A(1) 1753
3024 533402 -10 1 (2)B> 1753
3025 534155 743 1 2753 (2)B>
3026 534157 741 1 2753 <B(1)
3027 534158 740 1 2752 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 23 <C(2) 11+V(1)
1 2 2 22 1 (1)C> 11+V(1)
2 7+5*V(1) 3+V(1) 22 12+V(1) (1)C>
3 8+5*V(1) 4+V(1) 22 13+V(1) (3)B>
4 11+5*V(1) 5+V(1) 22 14+V(1) (1)B>
5 13+5*V(1) 3+V(1) 22 14+V(1) <A(1)
6 17+6*V(1) -1 22 <A(1) 14+V(1)
7 18+6*V(1) -2 2 <B(1) 15+V(1)
8 19+6*V(1) -3 <C(2) 16+V(1)
9 23+6*V(1) -1 (1)C> 16+V(1)
10 53+11*V(1) 5+V(1) 16+V(1) (1)C>
11 54+11*V(1) 6+V(1) 17+V(1) (3)B>
12 57+11*V(1) 7+V(1) 18+V(1) (1)B>
13 59+11*V(1) 5+V(1) 18+V(1) <A(1)
14 67+12*V(1) -3 <A(1) 18+V(1)
15 69+12*V(1) -1 1 (2)B> 18+V(1)
16 77+13*V(1) 7+V(1) 1 28+V(1) (2)B>
17 79+13*V(1) 5+V(1) 1 28+V(1) <B(1)
18 80+13*V(1) 4+V(1) 1 27+V(1) <C(2) 1
<< Success! ==> defined new CTR 9 (PPA)
3027 534158 740 1 2752 <C(2) 1
== Executing PA-CTR 3, V(1)=748, V(2)=0, repcount=250, factor=5/3
5027 1472658 -10 1 22 <C(2) 11251
== Executing PPA-CTR 8 (once), V(1)=1250
5038 1481436 1242 21255 <C(2) 1
== Executing PA-CTR 1, V(1)=1251, V(2)=0, repcount=418, factor=5/3
8382 4103968 -12 2 <C(2) 12091
8383 4103970 -10 1 (1)C> 12091
8384 4114425 2081 12092 (1)C>
8385 4114426 2082 12093 (3)B>
8386 4114429 2083 12094 (1)B>
8387 4114431 2081 12094 <A(1)
8388 4116525 -13 <A(1) 12094
8389 4116527 -11 1 (2)B> 12094
8390 4118621 2083 1 22094 (2)B>
8391 4118623 2081 1 22094 <B(1)
8392 4118624 2080 1 22093 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 2 <C(2) 12+V(1)
1 2 2 1 (1)C> 12+V(1)
2 12+5*V(1) 4+V(1) 13+V(1) (1)C>
3 13+5*V(1) 5+V(1) 14+V(1) (3)B>
4 16+5*V(1) 6+V(1) 15+V(1) (1)B>
5 18+5*V(1) 4+V(1) 15+V(1) <A(1)
6 23+6*V(1) -1 <A(1) 15+V(1)
7 25+6*V(1) 1 1 (2)B> 15+V(1)
8 30+7*V(1) 6+V(1) 1 25+V(1) (2)B>
9 32+7*V(1) 4+V(1) 1 25+V(1) <B(1)
10 33+7*V(1) 3+V(1) 1 24+V(1) <C(2) 1
<< Success! ==> defined new CTR 10 (PPA)
8392 4118624 2080 1 22093 <C(2) 1
== Executing PA-CTR 3, V(1)=2089, V(2)=0, repcount=697, factor=5/3
13968 11408547 -11 1 22 <C(2) 13486
== Executing PPA-CTR 8 (once), V(1)=3485
13979 11432970 3476 23490 <C(2) 1
== Executing PA-CTR 1, V(1)=3486, V(2)=0, repcount=1163, factor=5/3
23283 31726157 -13 2 <C(2) 15816
== Executing PPA-CTR 10 (once), V(1)=5814
23293 31766888 5804 1 25818 <C(2) 1
== Executing PA-CTR 3, V(1)=5814, V(2)=0, repcount=1939, factor=5/3
38805 88170459 -13 1 2 <C(2) 19696
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=9695
38815 88238352 9684 1 29699 <C(2) 1
== Executing PA-CTR 3, V(1)=9695, V(2)=0, repcount=3232, factor=5/3
64671 244938640 -12 1 23 <C(2) 116161
== Executing PPA-CTR 6 (once), V(1)=16160
64701 245148826 16152 13 216168 <C(2) 1
== Executing PA-CTR 3, V(1)=16164, V(2)=0, repcount=5389, factor=5/3
107813 680790197 -15 13 2 <C(2) 126946
== Executing PPA-CTR 7 (once), V(1)=2, V(2)=26945
107823 680978844 26932 1 226951 <C(2) 1
== Executing PA-CTR 3, V(1)=26947, V(2)=0, repcount=8983, factor=5/3
179687 1891429111 -17 1 22 <C(2) 144916
== Executing PPA-CTR 8 (once), V(1)=44915
179698 1891743544 44900 244920 <C(2) 1
== Executing PA-CTR 1, V(1)=44916, V(2)=0, repcount=14973, factor=5/3
299482 5254664371 -19 2 <C(2) 174866
== Executing PPA-CTR 10 (once), V(1)=74864
299492 5255188452 74848 1 274868 <C(2) 1
== Executing PA-CTR 3, V(1)=74864, V(2)=0, repcount=24955, factor=5/3
499132 14596568647 -17 1 23 <C(2) 1124776
== Executing PPA-CTR 6 (once), V(1)=124775
499162 14598190828 124762 13 2124783 <C(2) 1
== Executing PA-CTR 3, V(1)=124779, V(2)=0, repcount=41594, factor=5/3
831914 40549269744 -20 13 2 <C(2) 1207971
== Executing PPA-CTR 7 (once), V(1)=2, V(2)=207970
831924 40550725566 207952 1 2207976 <C(2) 1
== Executing PA-CTR 3, V(1)=207972, V(2)=0, repcount=69325, factor=5/3
1386524 112640337241 -23 1 2 <C(2) 1346626
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=346625
1386534 112642763644 346604 1 2346629 <C(2) 1
== Executing PA-CTR 3, V(1)=346625, V(2)=0, repcount=115542, factor=5/3
2310870 312892532272 -22 1 23 <C(2) 1577711
== Executing PPA-CTR 6 (once), V(1)=577710
2310900 312900042608 577692 13 2577718 <C(2) 1
== Executing PA-CTR 3, V(1)=577714, V(2)=0, repcount=192572, factor=5/3
3851476 869160440656 -24 13 22 <C(2) 1962861
== Executing PPA-CTR 4 (once), V(1)=1, V(2)=962860
3851487 869167180704 962838 12 2962865 <C(2) 1
== Executing PA-CTR 3, V(1)=962861, V(2)=0, repcount=320954, factor=5/3
6419119 2414340516260 -24 12 23 <C(2) 11604771
== Executing PPA-CTR 5 (once), V(1)=0, V(2)=1604770
6419139 2414361378356 1604750 1 21604779 <C(2) 1
== Executing PA-CTR 3, V(1)=1604775, V(2)=0, repcount=534926, factor=5/3
10698547 6706550900200 -28 1 2 <C(2) 12674631
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=2674630
10698557 6706569622638 2674604 1 22674634 <C(2) 1
== Executing PA-CTR 3, V(1)=2674630, V(2)=0, repcount=891544, factor=5/3
17830909 18629333747854 -28 1 22 <C(2) 14457721
== Executing PPA-CTR 8 (once), V(1)=4457720
17830920 18629364951922 4457694 24457725 <C(2) 1
== Executing PA-CTR 1, V(1)=4457721, V(2)=0, repcount=1485908, factor=5/3
29718184 51748209662514 -30 2 <C(2) 17429541
== Executing PPA-CTR 10 (once), V(1)=7429539
29718194 51748261669320 7429512 1 27429543 <C(2) 1
== Executing PA-CTR 3, V(1)=7429539, V(2)=0, repcount=2476514, factor=5/3
49530306 143745095458316 -30 1 2 <C(2) 112382571
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=12382570
49530316 143745182136334 12382542 1 212382574 <C(2) 1
== Executing PA-CTR 3, V(1)=12382570, V(2)=0, repcount=4127524, factor=5/3
82550508 399292014205070 -30 1 22 <C(2) 120637621
== Executing PPA-CTR 8 (once), V(1)=20637620
82550519 399292158668438 20637592 220637625 <C(2) 1
== Executing PA-CTR 1, V(1)=20637621, V(2)=0, repcount=6879208, factor=5/3
137584183 1109144726794230 -32 2 <C(2) 134396041
== Executing PPA-CTR 10 (once), V(1)=34396039
137584193 1109144967566536 34396010 1 234396043 <C(2) 1
== Executing PA-CTR 3, V(1)=34396039, V(2)=0, repcount=11465347, factor=5/3
229306969 3080957740884059 -31 1 22 <C(2) 157326736
== Executing PPA-CTR 8 (once), V(1)=57326735
229306980 3080958142171232 57326706 257326740 <C(2) 1
== Executing PA-CTR 1, V(1)=57326736, V(2)=0, repcount=19108913, factor=5/3
382178284 8558216559230419 -33 2 <C(2) 195544566
== Executing PPA-CTR 10 (once), V(1)=95544564
382178294 8558217228042400 95544534 1 295544568 <C(2) 1
== Executing PA-CTR 3, V(1)=95544564, V(2)=0, repcount=31848189, factor=5/3
636963806 23772824494130971 -33 1 2 <C(2) 1159240946
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=159240945
636963816 23772825608817614 159240914 1 2159240949 <C(2) 1
== Executing PA-CTR 3, V(1)=159240945, V(2)=0, repcount=53080316, factor=5/3
1061606344 66035625021036718 -34 1 2 <C(2) 1265401581
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=265401580
1061606354 66035626878847806 265401548 1 2265401584 <C(2) 1
== Executing PA-CTR 3, V(1)=265401580, V(2)=0, repcount=88467194, factor=5/3
1769343906 183432293446221122 -34 1 22 <C(2) 1442335971
== Executing PPA-CTR 8 (once), V(1)=442335970
1769343917 183432296542572940 442335938 2442335975 <C(2) 1
== Executing PA-CTR 1, V(1)=442335971, V(2)=0, repcount=147445324, factor=5/3
2948906509 509534150674328876 -34 23 <C(2) 1737226621
== Executing PPA-CTR 9 (once), V(1)=737226620
2948906527 509534160258275016 737226590 1 2737226627 <C(2) 1
== Executing PA-CTR 3, V(1)=737226623, V(2)=0, repcount=245742208, factor=5/3
4914844191 1415372653131972808 -34 1 23 <C(2) 11228711041
== Executing PPA-CTR 6 (once), V(1)=1228711040
4914844221 1415372669105216434 1228711010 13 21228711048 <C(2) 1
== Executing PA-CTR 3, V(1)=1228711044, V(2)=0, repcount=409570349, factor=5/3
8191407013 3931590732443224845 -37 13 2 <C(2) 12047851746
== Executing PPA-CTR 7 (once), V(1)=2, V(2)=2047851745
8191407023 3931590746778187092 2047851710 1 22047851751 <C(2) 1
== Executing PA-CTR 3, V(1)=2047851747, V(2)=0, repcount=682617250, factor=5/3
13652345023 10921085399472093592 -40 1 2 <C(2) 13413086251
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=3413086250
13652345033 10921085423363697370 3413086212 1 23413086254 <C(2) 1
== Executing PA-CTR 3, V(1)=3413086250, V(2)=0, repcount=1137695417, factor=5/3
22753908369 30336348355856537373 -39 1 23 <C(2) 15688477086
== Executing PPA-CTR 6 (once), V(1)=5688477085
22753908399 30336348429806739584 5688477050 13 25688477093 <C(2) 1
== Executing PA-CTR 3, V(1)=5688477089, V(2)=0, repcount=1896159030, factor=5/3
37923180639 84267634443149489204 -40 13 23 <C(2) 19480795151
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=9480795150
37923180659 84267634566399826242 9480795114 1 29480795160 <C(2) 1
== Executing PA-CTR 3, V(1)=9480795156, V(2)=0, repcount=3160265053, factor=5/3
63205301083 234076762657237278589 -45 1 2 <C(2) 115801325266
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=15801325265
63205301093 234076762767846555472 15801325222 1 215801325269 <C(2) 1
== Executing PA-CTR 3, V(1)=15801325265, V(2)=0, repcount=5267108422, factor=5/3
105342168469 650213229725464940420 -44 1 23 <C(2) 126335542111
== Executing PPA-CTR 6 (once), V(1)=26335542110
105342168499 650213230067826987956 26335542070 13 226335542118 <C(2) 1
== Executing PA-CTR 3, V(1)=26335542114, V(2)=0, repcount=8778514039, factor=5/3
175570280811 1806147861096742446927 -47 13 2 <C(2) 143892570196
== Executing PPA-CTR 7 (once), V(1)=2, V(2)=43892570195
175570280821 1806147861403990438324 43892570150 1 243892570201 <C(2) 1
== Executing PA-CTR 3, V(1)=43892570197, V(2)=0, repcount=14630856733, factor=5/3
292617134685 5017077392586085364591 -49 1 22 <C(2) 173154283666
== Executing PPA-CTR 8 (once), V(1)=73154283665
292617134696 5017077393098165350274 73154283618 273154283670 <C(2) 1
== Executing PA-CTR 1, V(1)=73154283666, V(2)=0, repcount=24384761223, factor=5/3
487695224480 13936326091736571231101 -51 2 <C(2) 1121923806116
== Executing PPA-CTR 10 (once), V(1)=121923806114
487695224490 13936326092590037873932 121923806066 1 2121923806118 <C(2) 1
== Executing PA-CTR 3, V(1)=121923806114, V(2)=0, repcount=40641268705, factor=5/3
812825374130 38712016922032788604127 -49 1 23 <C(2) 1203206343526
== Executing PPA-CTR 6 (once), V(1)=203206343525
812825374160 38712016924674471070058 203206343480 13 2203206343533 <C(2) 1
== Executing PA-CTR 3, V(1)=203206343529, V(2)=0, repcount=67735447844, factor=5/3
1354708956912 107533380344354076586474 -52 13 2 <C(2) 1338677239221
== Executing PPA-CTR 7 (once), V(1)=2, V(2)=338677239220
1354708956922 107533380346724817261046 338677239170 1 2338677239226 <C(2) 1
== Executing PA-CTR 3, V(1)=338677239222, V(2)=0, repcount=112892413075, factor=5/3
2257848261522 298703834295622851247721 -55 1 2 <C(2) 1564462065376
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=564462065375
2257848261532 298703834299574085705374 564462065322 1 2564462065379 <C(2) 1
== Executing PA-CTR 3, V(1)=564462065375, V(2)=0, repcount=188154021792, factor=5/3
3763080435868 829732873047892865161502 -54 1 23 <C(2) 1940770108961
== Executing PPA-CTR 6 (once), V(1)=940770108960
3763080435898 829732873060122876578088 940770108910 13 2940770108968 <C(2) 1
== Executing PA-CTR 3, V(1)=940770108964, V(2)=0, repcount=313590036322, factor=5/3
6271800726474 2304813536267876426038636 -56 13 22 <C(2) 11567950181611
== Executing PPA-CTR 4 (once), V(1)=1, V(2)=1567950181610
6271800726485 2304813536278852077309934 1567950181556 12 21567950181615 <C(2) 1
== Executing PA-CTR 3, V(1)=1567950181611, V(2)=0, repcount=522650060538, factor=5/3
10453001210789 6402259822986568650293746 -58 12 2 <C(2) 12613250302691
== Executing PPA-CTR 7 (once), V(1)=1, V(2)=2613250302690
10453001210799 6402259823004861402412606 2613250302634 1 22613250302695 <C(2) 1
== Executing PA-CTR 3, V(1)=2613250302691, V(2)=0, repcount=871083434231, factor=5/3
17421668684647 17784055063883439274569945 -59 1 22 <C(2) 14355417171156
== Executing PPA-CTR 8 (once), V(1)=4355417171155
17421668684658 17784055063913927194768058 4355417171098 24355417171160 <C(2) 1
== Executing PA-CTR 1, V(1)=4355417171156, V(2)=0, repcount=1451805723719, factor=5/3
29036114474410 49400152955268474805527349 -59 23 <C(2) 17259028618596
== Executing PPA-CTR 9 (once), V(1)=7259028618595
29036114474428 49400152955362842177569164 7259028618540 1 27259028618602 <C(2) 1
== Executing PA-CTR 3, V(1)=7259028618598, V(2)=0, repcount=2419676206200, factor=5/3
48393524124028 137222647098128894658993964 -60 1 22 <C(2) 112098381031001
== Executing PPA-CTR 8 (once), V(1)=12098381031000
48393524124039 137222647098213583326210992 12098381030942 212098381031005 <C(2) 1
== Executing PA-CTR 1, V(1)=12098381031001, V(2)=0, repcount=4032793677001, factor=5/3
80655873540047 381174019717118403246229011 -61 22 <C(2) 120163968385006
80655873540048 381174019717118403246229013 -59 2 1 (1)C> 120163968385006
80655873540049 381174019717219223088154043 20163968384947 2 120163968385007 (1)C>
80655873540050 381174019717219223088154044 20163968384948 2 120163968385008 (3)B>
80655873540051 381174019717219223088154047 20163968384949 2 120163968385009 (1)B>
80655873540052 381174019717219223088154049 20163968384947 2 120163968385009 <A(1)
80655873540053 381174019717239387056539058 -62 2 <A(1) 120163968385009
80655873540054 381174019717239387056539059 -63 <B(1) 120163968385010
80655873540055 381174019717239387056539060 -64 <A(0) 120163968385011
80655873540056 381174019717239387056539063 -65 <A(1) 0 120163968385011
80655873540057 381174019717239387056539065 -63 1 (2)B> 0 120163968385011
80655873540058 381174019717239387056539067 -65 1 <B(1) 0 120163968385011
80655873540059 381174019717239387056539069 -63 2 (2)B> 0 120163968385011
80655873540060 381174019717239387056539071 -65 2 <B(1) 0 120163968385011
80655873540061 381174019717239387056539072 -66 <C(2) 1 0 120163968385011
80655873540062 381174019717239387056539076 -64 (1)C> 1 0 120163968385011
80655873540063 381174019717239387056539081 -63 1 (1)C> 0 120163968385011
80655873540064 381174019717239387056539082 -62 12 (3)B> 120163968385011
80655873540065 381174019717239387056539083 -61 12 3 (2)B> 120163968385010
80655873540066 381174019717259551024924093 20163968384949 12 3 220163968385010 (2)B>
80655873540067 381174019717259551024924095 20163968384947 12 3 220163968385010 <B(1)
80655873540068 381174019717259551024924096 20163968384946 12 3 220163968385009 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 22 <C(2) 11+V(1)
1 2 2 2 1 (1)C> 11+V(1)
2 7+5*V(1) 3+V(1) 2 12+V(1) (1)C>
3 8+5*V(1) 4+V(1) 2 13+V(1) (3)B>
4 11+5*V(1) 5+V(1) 2 14+V(1) (1)B>
5 13+5*V(1) 3+V(1) 2 14+V(1) <A(1)
6 17+6*V(1) -1 2 <A(1) 14+V(1)
7 18+6*V(1) -2 <B(1) 15+V(1)
8 19+6*V(1) -3 <A(0) 16+V(1)
9 22+6*V(1) -4 <A(1) 0 16+V(1)
10 24+6*V(1) -2 1 (2)B> 0 16+V(1)
11 26+6*V(1) -4 1 <B(1) 0 16+V(1)
12 28+6*V(1) -2 2 (2)B> 0 16+V(1)
13 30+6*V(1) -4 2 <B(1) 0 16+V(1)
14 31+6*V(1) -5 <C(2) 1 0 16+V(1)
15 35+6*V(1) -3 (1)C> 1 0 16+V(1)
16 40+6*V(1) -2 1 (1)C> 0 16+V(1)
17 41+6*V(1) -1 12 (3)B> 16+V(1)
18 42+6*V(1) 0 12 3 (2)B> 15+V(1)
19 47+7*V(1) 5+V(1) 12 3 25+V(1) (2)B>
20 49+7*V(1) 3+V(1) 12 3 25+V(1) <B(1)
21 50+7*V(1) 2+V(1) 12 3 24+V(1) <C(2) 1
<< Success! ==> defined new CTR 11 (PPA)
80655873540068 381174019717259551024924096 20163968384946 12 3 220163968385009 <C(2) 1
== Executing PA-CTR 2, V(1)=20163968385005, V(2)=0, repcount=6721322795002, factor=5/3
134426455900084 1058816721436488896058804164 -60 12 3 23 <C(2) 133606613975011
134426455900085 1058816721436488896058804166 -58 12 3 22 1 (1)C> 133606613975011
134426455900086 1058816721436656929128679221 33606613974953 12 3 22 133606613975012 (1)C>
134426455900087 1058816721436656929128679222 33606613974954 12 3 22 133606613975013 (3)B>
134426455900088 1058816721436656929128679225 33606613974955 12 3 22 133606613975014 (1)B>
134426455900089 1058816721436656929128679227 33606613974953 12 3 22 133606613975014 <A(1)
134426455900090 1058816721436690535742654241 -61 12 3 22 <A(1) 133606613975014
134426455900091 1058816721436690535742654242 -62 12 3 2 <B(1) 133606613975015
134426455900092 1058816721436690535742654243 -63 12 3 <C(2) 133606613975016
134426455900093 1058816721436690535742654245 -61 12 0 (1)C> 133606613975016
134426455900094 1058816721436858568812529325 33606613974955 12 0 133606613975016 (1)C>
134426455900095 1058816721436858568812529326 33606613974956 12 0 133606613975017 (3)B>
134426455900096 1058816721436858568812529329 33606613974957 12 0 133606613975018 (1)B>
134426455900097 1058816721436858568812529331 33606613974955 12 0 133606613975018 <A(1)
134426455900098 1058816721436892175426504349 -63 12 0 <A(1) 133606613975018
134426455900099 1058816721436892175426504351 -61 13 (2)B> 133606613975018
134426455900100 1058816721436925782040479369 33606613974957 13 233606613975018 (2)B>
134426455900101 1058816721436925782040479371 33606613974955 13 233606613975018 <B(1)
134426455900102 1058816721436925782040479372 33606613974954 13 233606613975017 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(1) 3 23 <C(2) 11+V(2)
1 2 2 11+V(1) 3 22 1 (1)C> 11+V(2)
2 7+5*V(2) 3+V(2) 11+V(1) 3 22 12+V(2) (1)C>
3 8+5*V(2) 4+V(2) 11+V(1) 3 22 13+V(2) (3)B>
4 11+5*V(2) 5+V(2) 11+V(1) 3 22 14+V(2) (1)B>
5 13+5*V(2) 3+V(2) 11+V(1) 3 22 14+V(2) <A(1)
6 17+6*V(2) -1 11+V(1) 3 22 <A(1) 14+V(2)
7 18+6*V(2) -2 11+V(1) 3 2 <B(1) 15+V(2)
8 19+6*V(2) -3 11+V(1) 3 <C(2) 16+V(2)
9 21+6*V(2) -1 11+V(1) 0 (1)C> 16+V(2)
10 51+11*V(2) 5+V(2) 11+V(1) 0 16+V(2) (1)C>
11 52+11*V(2) 6+V(2) 11+V(1) 0 17+V(2) (3)B>
12 55+11*V(2) 7+V(2) 11+V(1) 0 18+V(2) (1)B>
13 57+11*V(2) 5+V(2) 11+V(1) 0 18+V(2) <A(1)
14 65+12*V(2) -3 11+V(1) 0 <A(1) 18+V(2)
15 67+12*V(2) -1 12+V(1) (2)B> 18+V(2)
16 75+13*V(2) 7+V(2) 12+V(1) 28+V(2) (2)B>
17 77+13*V(2) 5+V(2) 12+V(1) 28+V(2) <B(1)
18 78+13*V(2) 4+V(2) 12+V(1) 27+V(2) <C(2) 1
<< Success! ==> defined new CTR 12 (PPA)
134426455900102 1058816721436925782040479372 33606613974954 13 233606613975017 <C(2) 1
== Executing PA-CTR 3, V(1)=33606613975013, V(2)=0, repcount=11202204658338, factor=5/3
224044093166806 2941157559546314400552946384 -60 13 23 <C(2) 156011023291691
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=56011023291690
224044093166826 2941157559547042543855738442 56011023291634 1 256011023291700 <C(2) 1
== Executing PA-CTR 3, V(1)=56011023291696, V(2)=0, repcount=18670341097233, factor=5/3
373406821944690 8169882109852530360623971709 -65 1 2 <C(2) 193351705486166
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=93351705486165
373406821944700 8169882109853183822562374892 93351705486102 1 293351705486169 <C(2) 1
== Executing PA-CTR 3, V(1)=93351705486165, V(2)=0, repcount=31117235162056, factor=5/3
622344703241148 22694116971813722740235230156 -66 1 2 <C(2) 1155586175810281
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=155586175810280
622344703241158 22694116971814811843465902144 155586175810216 1 2155586175810284 <C(2) 1
== Executing PA-CTR 3, V(1)=155586175810280, V(2)=0, repcount=51862058603427, factor=5/3
1037241172068574 63039213810594466936542480787 -65 1 23 <C(2) 1259310293017136
== Executing PPA-CTR 6 (once), V(1)=259310293017135
1037241172068604 63039213810597837970351703648 259310293017074 13 2259310293017143 <C(2) 1
== Executing PA-CTR 3, V(1)=259310293017139, V(2)=0, repcount=86436764339047, factor=5/3
1728735286780980 175108927251657391158942082971 -67 13 22 <C(2) 1432183821695236
== Executing PPA-CTR 4 (once), V(1)=1, V(2)=432183821695235
1728735286780991 175108927251660416445693949644 432183821695170 12 2432183821695240 <C(2) 1
== Executing PA-CTR 3, V(1)=432183821695236, V(2)=0, repcount=144061273898413, factor=5/3
2881225477968295 486413686810164553590448321831 -69 12 2 <C(2) 1720306369492066
== Executing PPA-CTR 7 (once), V(1)=1, V(2)=720306369492065
2881225477968305 486413686810169595735034766316 720306369491998 1 2720306369492070 <C(2) 1
== Executing PA-CTR 3, V(1)=720306369492066, V(2)=0, repcount=240102123164023, factor=5/3
4802042463280489 1351149130028245607171950590343 -71 1 2 <C(2) 11200510615820116
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=1200510615820115
4802042463280499 1351149130028254010746261331176 1200510615820046 1 21200510615820119 <C(2) 1
== Executing PA-CTR 3, V(1)=1200510615820115, V(2)=0, repcount=400170205273372, factor=5/3
8003404105467475 3753192027856245865985866180424 -70 1 23 <C(2) 12000851026366861
== Executing PPA-CTR 6 (once), V(1)=2000851026366860
8003404105467505 3753192027856271877049208949710 2000851026366794 13 22000851026366868 <C(2) 1
== Executing PA-CTR 3, V(1)=2000851026366864, V(2)=0, repcount=666950342122289, factor=5/3
13339006842445817 10425533410711849716260036431681 -73 13 2 <C(2) 13334751710611446
== Executing PPA-CTR 7 (once), V(1)=2, V(2)=3334751710611445
13339006842445827 10425533410711873059522010711828 3334751710611374 1 23334751710611451 <C(2) 1
== Executing PA-CTR 3, V(1)=3334751710611447, V(2)=0, repcount=1111583903537150, factor=5/3
22231678070743027 28959815029755197450079076697928 -76 1 2 <C(2) 15557919517685751
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=5557919517685750
22231678070743037 28959815029755236355515700498206 5557919517685676 1 25557919517685754 <C(2) 1
== Executing PA-CTR 3, V(1)=5557919517685750, V(2)=0, repcount=1852639839228584, factor=5/3
37052796784571709 80443930638208947330598097088382 -76 1 22 <C(2) 19263199196142921
== Executing PPA-CTR 8 (once), V(1)=9263199196142920
37052796784571720 80443930638209012172992470088850 9263199196142846 29263199196142925 <C(2) 1
== Executing PA-CTR 1, V(1)=9263199196142921, V(2)=0, repcount=3087733065380974, factor=5/3
61754661307619512 223455362883913818402261149442886 -76 23 <C(2) 115438665326904871
== Executing PPA-CTR 9 (once), V(1)=15438665326904870
61754661307619530 223455362883914019104910399206276 15438665326904798 1 215438665326904877 <C(2) 1
== Executing PA-CTR 3, V(1)=15438665326904873, V(2)=0, repcount=5146221775634958, factor=5/3
102924435512699194 620709341344205339645158576672568 -76 1 23 <C(2) 125731108878174791
== Executing PPA-CTR 6 (once), V(1)=25731108878174790
102924435512699224 620709341344205674149573992944944 25731108878174718 13 225731108878174798 <C(2) 1
== Executing PA-CTR 3, V(1)=25731108878174794, V(2)=0, repcount=8577036292724932, factor=5/3
171540725854498680 1724192614845015389622566379914032 -78 13 22 <C(2) 142885181463624661
== Executing PPA-CTR 4 (once), V(1)=1, V(2)=42885181463624660
171540725854498691 1724192614845015689818836625286680 42885181463624584 12 242885181463624665 <C(2) 1
== Executing PA-CTR 3, V(1)=42885181463624661, V(2)=0, repcount=14295060487874888, factor=5/3
285901209757497795 4789423930125043210926073691974392 -80 12 2 <C(2) 171475302439374441
== Executing PPA-CTR 7 (once), V(1)=1, V(2)=71475302439374440
285901209757497805 4789423930125043711253190767595502 71475302439374362 1 271475302439374445 <C(2) 1
== Executing PA-CTR 3, V(1)=71475302439374441, V(2)=0, repcount=23825100813124814, factor=5/3
476502016262496317 13303955361458453905075041158113698 -80 1 23 <C(2) 1119125504065624071
== Executing PPA-CTR 6 (once), V(1)=119125504065624070
476502016262496347 13303955361458455453706594011226714 119125504065623994 13 2119125504065624078 <C(2) 1
== Executing PA-CTR 3, V(1)=119125504065624074, V(2)=0, repcount=39708501355208025, factor=5/3
794170027104160547 36955431559606818982747464798068189 -81 13 23 <C(2) 1198542506776040126
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=198542506776040125
794170027104160567 36955431559606821563800052886589902 198542506776040048 1 2198542506776040135 <C(2) 1
== Executing PA-CTR 3, V(1)=198542506776040131, V(2)=0, repcount=66180835592013378, factor=5/3
1323616711840267591 102653976554463392702039891219206674 -86 1 2 <C(2) 1330904177960066891
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=330904177960066890
1323616711840267601 102653976554463395018369136939674932 330904177960066806 1 2330904177960066894 <C(2) 1
== Executing PA-CTR 3, V(1)=330904177960066890, V(2)=0, repcount=110301392653355631, factor=5/3
2206027853067112649 285149934873509428972828975944219871 -87 1 2 <C(2) 1551506963266778156
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=551506963266778155
2206027853067112659 285149934873509432833377718811666984 551506963266778070 1 2551506963266778159 <C(2) 1
== Executing PA-CTR 3, V(1)=551506963266778155, V(2)=0, repcount=183835654422259386, factor=5/3
3676713088445187747 792083152426415087731718492477159468 -88 1 2 <C(2) 1919178272111296931
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=919178272111296930
3676713088445187757 792083152426415094165966397256238006 919178272111296844 1 2919178272111296934 <C(2) 1
== Executing PA-CTR 3, V(1)=919178272111296930, V(2)=0, repcount=306392757370432311, factor=5/3
6127855147408646245 2200230978962264143924981692229978065 -89 1 2 <C(2) 11531963786852161556
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=1531963786852161555
6127855147408646255 2200230978962264154648728200195108978 1531963786852161468 1 21531963786852161559 <C(2) 1
== Executing PA-CTR 3, V(1)=1531963786852161555, V(2)=0, repcount=510654595617387186, factor=5/3
10213091912347743743 6111752719339622640159440744219636662 -90 1 2 <C(2) 12553272978086935931
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=2553272978086935930
10213091912347743753 6111752719339622658032351590828188200 2553272978086935842 1 22553272978086935934 <C(2) 1
== Executing PA-CTR 3, V(1)=2553272978086935930, V(2)=0, repcount=851090992695645311, factor=5/3
17021819853912906241 16977090887054507363269706902355070259 -91 1 2 <C(2) 14255454963478226556
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=4255454963478226555
17021819853912906251 16977090887054507393057891646702656172 4255454963478226466 1 24255454963478226559 <C(2) 1
== Executing PA-CTR 3, V(1)=4255454963478226555, V(2)=0, repcount=1418484987826075519, factor=5/3
28369699756521510403 47158585797373631598859840634373748663 -91 1 22 <C(2) 17092424939130377596
== Executing PPA-CTR 8 (once), V(1)=7092424939130377595
28369699756521510414 47158585797373631648506815208286391856 7092424939130377506 27092424939130377600 <C(2) 1
== Executing PA-CTR 1, V(1)=7092424939130377596, V(2)=0, repcount=2364141646376792533, factor=5/3
47282832927535850678 130996071659371198975106850527661903323 -93 2 <C(2) 111820708231883962666
== Executing PPA-CTR 10 (once), V(1)=11820708231883962664
47282832927535850688 130996071659371199057851808150849642004 11820708231883962574 1 211820708231883962668 <C(2) 1
== Executing PA-CTR 3, V(1)=11820708231883962664, V(2)=0, repcount=3940236077294654222, factor=5/3
78804721545893084464 363877976831586663882858081938164638152 -92 1 22 <C(2) 119701180386473271111
== Executing PPA-CTR 8 (once), V(1)=19701180386473271110
78804721545893084475 363877976831586664020766344643477535950 19701180386473271020 219701180386473271115 <C(2) 1
== Executing PA-CTR 1, V(1)=19701180386473271111, V(2)=0, repcount=6567060128824423704, factor=5/3
131341202576488474107 1010772157865518510870723925174531425006 -92 23 <C(2) 132835300644122118521
== Executing PPA-CTR 9 (once), V(1)=32835300644122118520
131341202576488474125 1010772157865518511297582833548118965846 32835300644122118432 1 232835300644122118527 <C(2) 1
== Executing PA-CTR 3, V(1)=32835300644122118523, V(2)=0, repcount=10945100214707372842, factor=5/3
218902004294147456861 2807700438515329197619428525110935811674 -94 1 2 <C(2) 154725501073536864211
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=54725501073536864210
218902004294147456871 2807700438515329198002507032625693861172 54725501073536864118 1 254725501073536864214 <C(2) 1
== Executing PA-CTR 3, V(1)=54725501073536864210, V(2)=0, repcount=18241833691178954737, factor=5/3
364836673823579094767 7799167884764803326808074067368830767655 -93 1 23 <C(2) 191209168455894773686
== Executing PPA-CTR 6 (once), V(1)=91209168455894773685
364836673823579094797 7799167884764803327993793257295462825666 91209168455894773596 13 291209168455894773693 <C(2) 1
== Executing PA-CTR 3, V(1)=91209168455894773689, V(2)=0, repcount=30403056151964924564, factor=5/3
608061123039298491309 21664355235457787021167507468036481375362 -96 13 2 <C(2) 1152015280759824622821
== Executing PPA-CTR 7 (once), V(1)=2, V(2)=152015280759824622820
608061123039298491319 21664355235457787022231614433355253735134 152015280759824622726 1 2152015280759824622826 <C(2) 1
== Executing PA-CTR 3, V(1)=152015280759824622822, V(2)=0, repcount=50671760253274874275, factor=5/3
1013435205065497485519 60178764542938297283445950559624204866609 -99 1 2 <C(2) 1253358801266374371376
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=253358801266374371375
1013435205065497485529 60178764542938297285219462168488825466262 253358801266374371278 1 2253358801266374371379 <C(2) 1
== Executing PA-CTR 3, V(1)=253358801266374371375, V(2)=0, repcount=84452933755458123792, factor=5/3
1689058675109162475865 167163234841495270233656384033442604850390 -98 1 23 <C(2) 1422264668777290618961
== Executing PPA-CTR 6 (once), V(1)=422264668777290618960
1689058675109162475895 167163234841495270239145824727547382896976 422264668777290618866 13 2422264668777290618968 <C(2) 1
== Executing PA-CTR 3, V(1)=422264668777290618964, V(2)=0, repcount=140754889592430206322, factor=5/3
2815097791848604126471 464342319004153528437318332466829435237524 -100 13 22 <C(2) 1703774447962151031611
== Executing PPA-CTR 4 (once), V(1)=1, V(2)=703774447962151031610
2815097791848604126482 464342319004153528442244753602564492458822 703774447962151031512 12 2703774447962151031615 <C(2) 1
== Executing PA-CTR 3, V(1)=703774447962151031611, V(2)=0, repcount=234591482654050343871, factor=5/3
4691829653081006877450 1289839775011537578999136108959780902803921 -101 12 22 <C(2) 11172957413270251719356
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=1172957413270251719355
4691829653081006877461 1289839775011537579007346810852672664839434 1172957413270251719256 1 21172957413270251719360 <C(2) 1
== Executing PA-CTR 3, V(1)=1172957413270251719356, V(2)=0, repcount=390985804423417239786, factor=5/3
7819716088468344795749 3582888263920937719453843076610291653685518 -102 1 22 <C(2) 11954929022117086198931
== Executing PPA-CTR 8 (once), V(1)=1954929022117086198930
7819716088468344795760 3582888263920937719467527579765111257078056 1954929022117086198830 21954929022117086198935 <C(2) 1
== Executing PA-CTR 1, V(1)=1954929022117086198931, V(2)=0, repcount=651643007372362066311, factor=5/3
13032860147447241326248 9952467399780382554058939893515564122574115 -103 22 <C(2) 13258215036861810331556
== Executing PPA-CTR 11 (once), V(1)=3258215036861810331555
13032860147447241326269 9952467399780382554081747398773596794895050 3258215036861810331454 12 3 23258215036861810331559 <C(2) 1
== Executing PA-CTR 2, V(1)=3258215036861810331555, V(2)=0, repcount=1086071678953936777186, factor=5/3
21721433579078735543757 27645742777167729316865356451749595693182734 -104 12 3 2 <C(2) 15430358394769683885931
21721433579078735543758 27645742777167729316865356451749595693182736 -102 12 3 1 (1)C> 15430358394769683885931
21721433579078735543759 27645742777167729316892508243723444112612391 5430358394769683885829 12 3 15430358394769683885932 (1)C>
21721433579078735543760 27645742777167729316892508243723444112612392 5430358394769683885830 12 3 15430358394769683885933 (3)B>
21721433579078735543761 27645742777167729316892508243723444112612395 5430358394769683885831 12 3 15430358394769683885934 (1)B>
21721433579078735543762 27645742777167729316892508243723444112612397 5430358394769683885829 12 3 15430358394769683885934 <A(1)
21721433579078735543763 27645742777167729316897938602118213796498331 -105 12 3 <A(1) 15430358394769683885934
21721433579078735543764 27645742777167729316897938602118213796498334 -106 12 <A(1) 15430358394769683885935
21721433579078735543765 27645742777167729316897938602118213796498336 -108 <A(1) 15430358394769683885937
21721433579078735543766 27645742777167729316897938602118213796498338 -106 1 (2)B> 15430358394769683885937
21721433579078735543767 27645742777167729316903368960512983480384275 5430358394769683885831 1 25430358394769683885937 (2)B>
21721433579078735543768 27645742777167729316903368960512983480384277 5430358394769683885829 1 25430358394769683885937 <B(1)
21721433579078735543769 27645742777167729316903368960512983480384278 5430358394769683885828 1 25430358394769683885936 <C(2) 1
>> Try to prove a PPA-CTR with 3 Vars...
0 0 0 11+V(2) 31+V(1) 2 <C(2) 11+V(3)
1 2 2 11+V(2) 31+V(1) 1 (1)C> 11+V(3)
2 7+5*V(3) 3+V(3) 11+V(2) 31+V(1) 12+V(3) (1)C>
3 8+5*V(3) 4+V(3) 11+V(2) 31+V(1) 13+V(3) (3)B>
4 11+5*V(3) 5+V(3) 11+V(2) 31+V(1) 14+V(3) (1)B>
5 13+5*V(3) 3+V(3) 11+V(2) 31+V(1) 14+V(3) <A(1)
6 17+6*V(3) -1 11+V(2) 31+V(1) <A(1) 14+V(3)
7 20+3*V(1)+6*V(3) -2+-1*V(1) 11+V(2) <A(1) 15+V(1)+V(3)
8 21+3*V(1)+V(2)+6*V(3) -3+-1*V(1)+-1*V(2) <A(1) 16+V(1)+V(2)+V(3)
9 23+3*V(1)+V(2)+6*V(3) -1+-1*V(1)+-1*V(2) 1 (2)B> 16+V(1)+V(2)+V(3)
10 29+4*V(1)+2*V(2)+7*V(3) 5+V(3) 1 26+V(1)+V(2)+V(3) (2)B>
11 31+4*V(1)+2*V(2)+7*V(3) 3+V(3) 1 26+V(1)+V(2)+V(3) <B(1)
12 32+4*V(1)+2*V(2)+7*V(3) 2+V(3) 1 25+V(1)+V(2)+V(3) <C(2) 1
<< Success! ==> defined new CTR 13 (PPA)
21721433579078735543769 27645742777167729316903368960512983480384278 5430358394769683885828 1 25430358394769683885936 <C(2) 1
== Executing PA-CTR 3, V(1)=5430358394769683885932, V(2)=0, repcount=1810119464923227961978, factor=5/3
36202389298464559239593 76793729936577025880258749678803447597319450 -106 1 22 <C(2) 19050597324616139809891
== Executing PPA-CTR 8 (once), V(1)=9050597324616139809890
36202389298464559239604 76793729936577025880322103860075760575988708 9050597324616139809786 29050597324616139809895 <C(2) 1
== Executing PA-CTR 1, V(1)=9050597324616139809891, V(2)=0, repcount=3016865774872046603298, factor=5/3
60337315497440932065988 213315916490491738556421902177588939529553960 -108 2 <C(2) 115084328874360233016491
== Executing PPA-CTR 10 (once), V(1)=15084328874360233016489
60337315497440932065998 213315916490491738556527492479709461160669416 15084328874360233016384 1 215084328874360233016493 <C(2) 1
== Executing PA-CTR 3, V(1)=15084328874360233016489, V(2)=0, repcount=5028109624786744338830, factor=5/3
100562192495734886776638 592544212473588162656791301736024415824558236 -106 1 23 <C(2) 125140548123933721694151
== Executing PPA-CTR 6 (once), V(1)=25140548123933721694150
100562192495734886776668 592544212473588162657118128861635554206582292 25140548123933721694048 13 225140548123933721694158 <C(2) 1
== Executing PA-CTR 3, V(1)=25140548123933721694154, V(2)=0, repcount=8380182707977907231385, factor=5/3
167603654159558144627748 1645956145759967118491580927666243604770781207 -107 13 23 <C(2) 141900913539889536156926
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=41900913539889536156925
167603654159558144627768 1645956145759967118492125639542262168740821320 41900913539889536156822 1 241900913539889536156935 <C(2) 1
== Executing PA-CTR 3, V(1)=41900913539889536156931, V(2)=0, repcount=13966971179963178718978, factor=5/3
279339423599263574379592 4572100404888797551366853196149223537916164492 -112 1 2 <C(2) 169834855899815893594891
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=69834855899815893594890
279339423599263574379602 4572100404888797551367342040140522249171328750 69834855899815893594780 1 269834855899815893594894 <C(2) 1
== Executing PA-CTR 3, V(1)=69834855899815893594890, V(2)=0, repcount=23278285299938631198297, factor=5/3
465565705998772623965978 12700278902468882087130644849252058935731625073 -111 1 23 <C(2) 1116391426499693155991486
== Executing PPA-CTR 6 (once), V(1)=116391426499693155991485
465565705998772623966008 12700278902468882087132157937796554946759514484 116391426499693155991378 13 2116391426499693155991493 <C(2) 1
== Executing PA-CTR 3, V(1)=116391426499693155991489, V(2)=0, repcount=38797142166564385330497, factor=5/3
775942843331287706609984 35278552506858005797588001221479484323074841607 -113 13 22 <C(2) 1193985710832821926652486
== Executing PPA-CTR 4 (once), V(1)=1, V(2)=193985710832821926652485
775942843331287706609995 35278552506858005797589359121455314076561409030 193985710832821926652374 12 2193985710832821926652490 <C(2) 1
== Executing PA-CTR 3, V(1)=193985710832821926652486, V(2)=0, repcount=64661903610940642217496, factor=5/3
1293238072218812844349963 97995979185716682771079580112606594721657929254 -114 12 22 <C(2) 1323309518054703211087481
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=323309518054703211087480
1293238072218812844349974 97995979185716682771081843279232977644135541642 323309518054703211087368 1 2323309518054703211087485 <C(2) 1
== Executing PA-CTR 3, V(1)=323309518054703211087481, V(2)=0, repcount=107769839351567737029161, factor=5/3
2155396787031354740583262 272211053293657452141890958408039922287549117101 -115 1 22 <C(2) 1538849196757838685145806
== Executing PPA-CTR 8 (once), V(1)=538849196757838685145805
2155396787031354740583273 272211053293657452141894730352417227158345137764 538849196757838685145692 2538849196757838685145810 <C(2) 1
== Executing PA-CTR 1, V(1)=538849196757838685145806, V(2)=0, repcount=179616398919279561715269, factor=5/3
3592327978385591234305425 756141814704604033727478719061128896458008134255 -115 23 <C(2) 1898081994596397808576346
== Executing PPA-CTR 9 (once), V(1)=898081994596397808576345
3592327978385591234305443 756141814704604033727490394127058649629519626820 898081994596397808576234 1 2898081994596397808576352 <C(2) 1
== Executing PA-CTR 3, V(1)=898081994596397808576348, V(2)=0, repcount=299360664865465936192117, factor=5/3
5987213297309318723842379 2100393929735011204798574192773821128842258520623 -117 1 2 <C(2) 11496803324327329680960586
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=1496803324327329680960585
5987213297309318723842389 2100393929735011204798584670397091420150025244746 1496803324327329680960470 1 21496803324327329680960589 <C(2) 1
== Executing PA-CTR 3, V(1)=1496803324327329680960585, V(2)=0, repcount=498934441442443226986862, factor=5/3
9978688828848864539737285 5834427582597253346662709992157335551435742297854 -116 1 23 <C(2) 12494672207212216134934311
== Executing PPA-CTR 6 (once), V(1)=2494672207212216134934310
9978688828848864539737315 5834427582597253346662742422896029310245496443990 2494672207212216134934198 13 22494672207212216134934318 <C(2) 1
== Executing PA-CTR 3, V(1)=2494672207212216134934314, V(2)=0, repcount=831557402404072044978105, factor=5/3
16631148048081440899562155 16206743284992370407396463232613754578782617221785 -117 13 23 <C(2) 14157787012020360224890526
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=4157787012020360224890525
16631148048081440899562175 16206743284992370407396517283844910843465540798698 4157787012020360224890412 1 24157787012020360224890535 <C(2) 1
== Executing PA-CTR 3, V(1)=4157787012020360224890531, V(2)=0, repcount=1385929004006786741630178, factor=5/3
27718580080135734832603599 45018731347201028909434751681971608737666311994670 -122 1 2 <C(2) 16929645020033933708150891
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=6929645020033933708150890
27718580080135734832603609 45018731347201028909434800189486748975202269050928 6929645020033933708150770 1 26929645020033933708150894 <C(2) 1
== Executing PA-CTR 3, V(1)=6929645020033933708150890, V(2)=0, repcount=2309881673344644569383631, factor=5/3
46197633466892891387672657 125052031520002858081763292209937758990489307747867 -123 1 2 <C(2) 111549408366723222846918156
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=11549408366723222846918155
46197633466892891387672667 125052031520002858081763373055796326053049236174980 11549408366723222846918034 1 211549408366723222846918159 <C(2) 1
== Executing PA-CTR 3, V(1)=11549408366723222846918155, V(2)=0, repcount=3849802788907740948972719, factor=5/3
76996055778154818979454419 347366754222230161338231473175853028274134125860271 -123 1 22 <C(2) 119249013944538704744863596
== Executing PPA-CTR 8 (once), V(1)=19249013944538704744863595
76996055778154818979454430 347366754222230161338231607918950640045067339905464 19249013944538704744863474 219249013944538704744863600 <C(2) 1
== Executing PA-CTR 1, V(1)=19249013944538704744863596, V(2)=0, repcount=6416337981512901581621199, factor=5/3
128326759630258031632424022 964907650617306003717309775024522047993930559354275 -123 23 <C(2) 132081689907564507908105996
== Executing PPA-CTR 9 (once), V(1)=32081689907564507908105995
128326759630258031632424040 964907650617306003717310192086490846332533364732290 32081689907564507908105876 1 232081689907564507908106002 <C(2) 1
== Executing PA-CTR 3, V(1)=32081689907564507908105998, V(2)=0, repcount=10693896635854835969368667, factor=5/3
213877932717096719387373376 2680299029492516676992527936052040768534415662560293 -125 1 2 <C(2) 153469483179274179846843336
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=53469483179274179846843335
213877932717096719387373386 2680299029492516676992528310338423023453674590463666 53469483179274179846843212 1 253469483179274179846843339 <C(2) 1
== Executing PA-CTR 3, V(1)=53469483179274179846843335, V(2)=0, repcount=17823161059758059948947779, factor=5/3
356463221195161198978955618 7445275081923657436090355685844186732043053421747397 -125 1 22 <C(2) 189115805298790299744738896
== Executing PPA-CTR 8 (once), V(1)=89115805298790299744738895
356463221195161198978955629 7445275081923657436090356309654823823575151634919690 89115805298790299744738772 289115805298790299744738900 <C(2) 1
== Executing PA-CTR 1, V(1)=89115805298790299744738896, V(2)=0, repcount=29705268432930099914912966, factor=5/3
594105368658601998298259357 20681319672010159544695433164670393514190601618328894 -126 22 <C(2) 1148526342164650499574564831
== Executing PPA-CTR 11 (once), V(1)=148526342164650499574564830
594105368658601998298259378 20681319672010159544695434204354788666744098640282754 148526342164650499574564706 12 3 2148526342164650499574564834 <C(2) 1
== Executing PA-CTR 2, V(1)=148526342164650499574564830, V(2)=0, repcount=49508780721550166524854944, factor=5/3
990175614431003330497098930 57448110200028220957487315215328014758656568358349570 -126 12 3 22 <C(2) 1247543903607750832624274721
990175614431003330497098931 57448110200028220957487315215328014758656568358349572 -124 12 3 2 1 (1)C> 1247543903607750832624274721
990175614431003330497098932 57448110200028220957487316453047532797410731479723177 247543903607750832624274597 12 3 2 1247543903607750832624274722 (1)C>
990175614431003330497098933 57448110200028220957487316453047532797410731479723178 247543903607750832624274598 12 3 2 1247543903607750832624274723 (3)B>
990175614431003330497098934 57448110200028220957487316453047532797410731479723181 247543903607750832624274599 12 3 2 1247543903607750832624274724 (1)B>
990175614431003330497098935 57448110200028220957487316453047532797410731479723183 247543903607750832624274597 12 3 2 1247543903607750832624274724 <A(1)
990175614431003330497098936 57448110200028220957487316700591436405161564103997907 -127 12 3 2 <A(1) 1247543903607750832624274724
990175614431003330497098937 57448110200028220957487316700591436405161564103997908 -128 12 3 <B(1) 1247543903607750832624274725
990175614431003330497098938 57448110200028220957487316700591436405161564103997909 -127 12 1 H> 1 1247543903607750832624274725 [stop]
Lines: 477
Top steps: 476
Macro steps: 990175614431003330497098938
Basic steps: 57448110200028220957487316700591436405161564103997909
Tape index: -127
nonzeros: 247543903607750832624274729
log10(nonzeros): 26.394
log10(steps ): 52.759
Run state: stop
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #b (T.J. & S. Ligocki)
: >2.4x10^26 >5.7x10^52
5T 1RB 1LA 1LB 1RA 0LA 2RB 2LC 1RH 3RB 2LB 1RC 0RC
C If started in state B it will run for one more step
C ... but still generate the same number of non-zeros.
L 6
M 500
pref sim
machv Lig34_b just simple
machv Lig34_b-r with repetitions reduced
machv Lig34_b-1 with tape symbol exponents
machv Lig34_b-m as 1-bck-macro machine
machv Lig34_b-a as 1-bck-macro machine with pure additive config-TRs
iam Lig34_b-a
mtype 1 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:33 CEST 2010
edate Tue Jul 6 22:13:35 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:33 CEST 2010