Comment: This TM produces 15008 nonzeros in 250,096,776 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 0RB | 1RH | 2LD | 0 | right | B | 1 | right | H | 2 | left | D |
| B | 2LA | 2RD | 2RC | 2 | left | A | 2 | right | D | 2 | right | C |
| C | 2RB | 2RC | 1LC | 2 | right | B | 2 | right | C | 1 | left | C |
| D | 2LA | 1RB | 2LC | 2 | left | A | 1 | right | B | 2 | left | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 4 2 02 C>
2 7 1 02 <D 22
3 10 2 22 C> 22
4 11 1 22 <C 12
5 13 -1 <C 11 12
6 14 0 02 B> 11 12
7 16 2 02 21 B> 12
8 19 1 02 21 <C 12
9 20 2 02 22 C> 12
10 23 1 02 22 <C 11
11 25 -1 02 <C 112
12 28 0 22 D> 112
13 32 4 22 122 D>
14 33 3 22 122 <A 20
15 36 4 22 122 C> 20
16 37 3 22 122 <C 10
17 40 4 22 12 22 C> 10
18 42 6 22 12 222 B>
19 43 5 22 12 222 <A 20
20 45 3 22 12 22 <C 22 20
21 47 1 22 12 <C 11 22 20
22 50 2 222 C> 11 22 20
23 52 4 223 C> 22 20
24 53 3 223 <C 12 20
25 59 -3 <C 113 12 20
26 60 -2 02 B> 113 12 20
27 66 4 02 213 B> 12 20
28 69 3 02 213 <C 12 20
29 70 4 02 212 22 C> 12 20
30 73 3 02 212 22 <C 11 20
31 75 1 02 212 <C 112 20
32 76 2 02 21 22 C> 112 20
33 80 6 02 21 223 C> 20
34 81 5 02 21 223 <C 10
35 87 -1 02 21 <C 113 10
36 88 0 02 22 C> 113 10
37 94 6 02 224 C> 10
38 96 8 02 225 B>
39 97 7 02 225 <A 20
40 99 5 02 224 <C 22 20
41 107 -3 02 <C 114 22 20
42 110 -2 22 D> 114 22 20
43 118 6 22 124 D> 22 20
44 119 5 22 124 <C 22 20
45 122 6 22 123 22 C> 22 20
46 123 5 22 123 22 <C 12 20
47 125 3 22 123 <C 11 12 20
48 128 4 22 122 22 C> 11 12 20
49 130 6 22 122 222 C> 12 20
50 133 5 22 122 222 <C 11 20
51 137 1 22 122 <C 113 20
52 140 2 22 12 22 C> 113 20
53 146 8 22 12 224 C> 20
54 147 7 22 12 224 <C 10
55 155 -1 22 12 <C 114 10
56 158 0 222 C> 114 10
57 166 8 226 C> 10
58 168 10 227 B>
59 169 9 227 <A 20
60 171 7 226 <C 22 20
61 183 -5 <C 116 22 20
62 184 -4 02 B> 116 22 20
63 196 8 02 216 B> 22 20
64 199 7 02 216 <C 11 20
65 200 8 02 215 22 C> 11 20
66 202 10 02 215 222 C> 20
67 203 9 02 215 222 <C 10
68 207 5 02 215 <C 112 10
69 208 6 02 214 22 C> 112 10
70 212 10 02 214 223 C> 10
71 214 12 02 214 224 B>
72 215 11 02 214 224 <A 20
73 217 9 02 214 223 <C 22 20
74 223 3 02 214 <C 113 22 20
75 224 4 02 213 22 C> 113 22 20
76 230 10 02 213 224 C> 22 20
77 231 9 02 213 224 <C 12 20
78 239 1 02 213 <C 114 12 20
79 240 2 02 212 22 C> 114 12 20
80 248 10 02 212 225 C> 12 20
81 251 9 02 212 225 <C 11 20
82 261 -1 02 212 <C 116 20
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 215+V(1) <C 111+V(2) 20
1 1 1 [*]* 214+V(1) 22 C> 111+V(2) 20
2 3+2*V(2) 3+2*V(2) [*]* 214+V(1) 222+V(2) C> 20
3 4+2*V(2) 2+2*V(2) [*]* 214+V(1) 222+V(2) <C 10
4 8+4*V(2) -2 [*]* 214+V(1) <C 112+V(2) 10
5 9+4*V(2) -1 [*]* 213+V(1) 22 C> 112+V(2) 10
6 13+6*V(2) 3+2*V(2) [*]* 213+V(1) 223+V(2) C> 10
7 15+6*V(2) 5+2*V(2) [*]* 213+V(1) 224+V(2) B>
8 16+6*V(2) 4+2*V(2) [*]* 213+V(1) 224+V(2) <A 20
9 18+6*V(2) 2+2*V(2) [*]* 213+V(1) 223+V(2) <C 22 20
10 24+8*V(2) -4 [*]* 213+V(1) <C 113+V(2) 22 20
11 25+8*V(2) -3 [*]* 212+V(1) 22 C> 113+V(2) 22 20
12 31+10*V(2) 3+2*V(2) [*]* 212+V(1) 224+V(2) C> 22 20
13 32+10*V(2) 2+2*V(2) [*]* 212+V(1) 224+V(2) <C 12 20
14 40+12*V(2) -6 [*]* 212+V(1) <C 114+V(2) 12 20
15 41+12*V(2) -5 [*]* 211+V(1) 22 C> 114+V(2) 12 20
16 49+14*V(2) 3+2*V(2) [*]* 211+V(1) 225+V(2) C> 12 20
17 52+14*V(2) 2+2*V(2) [*]* 211+V(1) 225+V(2) <C 11 20
18 62+16*V(2) -8 [*]* 211+V(1) <C 116+V(2) 20
<< Success! ==> defined new CTR 1 (PA)
83 262 0 02 21 22 C> 116 20
84 274 12 02 21 227 C> 20
85 275 11 02 21 227 <C 10
86 289 -3 02 21 <C 117 10
87 290 -2 02 22 C> 117 10
88 304 12 02 228 C> 10
89 306 14 02 229 B>
90 307 13 02 229 <A 20
91 309 11 02 228 <C 22 20
92 325 -5 02 <C 118 22 20
93 328 -4 22 D> 118 22 20
94 344 12 22 128 D> 22 20
95 345 11 22 128 <C 22 20
96 348 12 22 127 22 C> 22 20
97 349 11 22 127 22 <C 12 20
98 351 9 22 127 <C 11 12 20
99 354 10 22 126 22 C> 11 12 20
100 356 12 22 126 222 C> 12 20
101 359 11 22 126 222 <C 11 20
102 363 7 22 126 <C 113 20
103 366 8 22 125 22 C> 113 20
104 372 14 22 125 224 C> 20
105 373 13 22 125 224 <C 10
106 381 5 22 125 <C 114 10
107 384 6 22 124 22 C> 114 10
108 392 14 22 124 225 C> 10
109 394 16 22 124 226 B>
110 395 15 22 124 226 <A 20
111 397 13 22 124 225 <C 22 20
112 407 3 22 124 <C 115 22 20
113 410 4 22 123 22 C> 115 22 20
114 420 14 22 123 226 C> 22 20
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 125+V(2) 221+V(1) C> 22 20
1 1 -1 [*]* 125+V(2) 221+V(1) <C 12 20
2 3+2*V(1) -3+-2*V(1) [*]* 125+V(2) <C 111+V(1) 12 20
3 6+2*V(1) -2+-2*V(1) [*]* 124+V(2) 22 C> 111+V(1) 12 20
4 8+4*V(1) 0 [*]* 124+V(2) 222+V(1) C> 12 20
5 11+4*V(1) -1 [*]* 124+V(2) 222+V(1) <C 11 20
6 15+6*V(1) -5+-2*V(1) [*]* 124+V(2) <C 113+V(1) 20
7 18+6*V(1) -4+-2*V(1) [*]* 123+V(2) 22 C> 113+V(1) 20
8 24+8*V(1) 2 [*]* 123+V(2) 224+V(1) C> 20
9 25+8*V(1) 1 [*]* 123+V(2) 224+V(1) <C 10
10 33+10*V(1) -7+-2*V(1) [*]* 123+V(2) <C 114+V(1) 10
11 36+10*V(1) -6+-2*V(1) [*]* 122+V(2) 22 C> 114+V(1) 10
12 44+12*V(1) 2 [*]* 122+V(2) 225+V(1) C> 10
13 46+12*V(1) 4 [*]* 122+V(2) 226+V(1) B>
14 47+12*V(1) 3 [*]* 122+V(2) 226+V(1) <A 20
15 49+12*V(1) 1 [*]* 122+V(2) 225+V(1) <C 22 20
16 59+14*V(1) -9+-2*V(1) [*]* 122+V(2) <C 115+V(1) 22 20
17 62+14*V(1) -8+-2*V(1) [*]* 121+V(2) 22 C> 115+V(1) 22 20
18 72+16*V(1) 2 [*]* 121+V(2) 226+V(1) C> 22 20
<< Success! ==> defined new CTR 2 (PA)
115 421 13 22 123 226 <C 12 20
116 433 1 22 123 <C 116 12 20
117 436 2 22 122 22 C> 116 12 20
118 448 14 22 122 227 C> 12 20
119 451 13 22 122 227 <C 11 20
120 465 -1 22 122 <C 118 20
121 468 0 22 12 22 C> 118 20
122 484 16 22 12 229 C> 20
123 485 15 22 12 229 <C 10
124 503 -3 22 12 <C 119 10
125 506 -2 222 C> 119 10
126 524 16 2211 C> 10
127 526 18 2212 B>
128 527 17 2212 <A 20
129 529 15 2211 <C 22 20
130 551 -7 <C 1111 22 20
131 552 -6 02 B> 1111 22 20
132 574 16 02 2111 B> 22 20
133 577 15 02 2111 <C 11 20
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 221+V(2) 123 221+V(1) C> 22 20
1 1 -1 221+V(2) 123 221+V(1) <C 12 20
2 3+2*V(1) -3+-2*V(1) 221+V(2) 123 <C 111+V(1) 12 20
3 6+2*V(1) -2+-2*V(1) 221+V(2) 122 22 C> 111+V(1) 12 20
4 8+4*V(1) 0 221+V(2) 122 222+V(1) C> 12 20
5 11+4*V(1) -1 221+V(2) 122 222+V(1) <C 11 20
6 15+6*V(1) -5+-2*V(1) 221+V(2) 122 <C 113+V(1) 20
7 18+6*V(1) -4+-2*V(1) 221+V(2) 12 22 C> 113+V(1) 20
8 24+8*V(1) 2 221+V(2) 12 224+V(1) C> 20
9 25+8*V(1) 1 221+V(2) 12 224+V(1) <C 10
10 33+10*V(1) -7+-2*V(1) 221+V(2) 12 <C 114+V(1) 10
11 36+10*V(1) -6+-2*V(1) 222+V(2) C> 114+V(1) 10
12 44+12*V(1) 2 226+V(1)+V(2) C> 10
13 46+12*V(1) 4 227+V(1)+V(2) B>
14 47+12*V(1) 3 227+V(1)+V(2) <A 20
15 49+12*V(1) 1 226+V(1)+V(2) <C 22 20
16 61+14*V(1)+2*V(2) -11+-2*V(1)+-2*V(2) <C 116+V(1)+V(2) 22 20
17 62+14*V(1)+2*V(2) -10+-2*V(1)+-2*V(2) 02 B> 116+V(1)+V(2) 22 20
18 74+16*V(1)+4*V(2) 2 02 216+V(1)+V(2) B> 22 20
19 77+16*V(1)+4*V(2) 1 02 216+V(1)+V(2) <C 11 20
<< Success! ==> defined new CTR 3 (PPA)
133 577 15 02 2111 <C 11 20
== Executing PA-CTR 1, V(1)=6, V(2)=0, repcount=2, factor=5/4
169 781 -1 02 213 <C 1111 20
170 782 0 02 212 22 C> 1111 20
171 804 22 02 212 2212 C> 20
172 805 21 02 212 2212 <C 10
173 829 -3 02 212 <C 1112 10
174 830 -2 02 21 22 C> 1112 10
175 854 22 02 21 2213 C> 10
176 856 24 02 21 2214 B>
177 857 23 02 21 2214 <A 20
178 859 21 02 21 2213 <C 22 20
179 885 -5 02 21 <C 1113 22 20
180 886 -4 02 22 C> 1113 22 20
181 912 22 02 2214 C> 22 20
182 913 21 02 2214 <C 12 20
183 941 -7 02 <C 1114 12 20
184 944 -6 22 D> 1114 12 20
185 972 22 22 1214 D> 12 20
186 974 24 22 1215 C> 20
187 975 23 22 1215 <C 10
188 978 24 22 1214 22 C> 10
189 980 26 22 1214 222 B>
190 981 25 22 1214 222 <A 20
191 983 23 22 1214 22 <C 22 20
192 985 21 22 1214 <C 11 22 20
193 988 22 22 1213 22 C> 11 22 20
194 990 24 22 1213 222 C> 22 20
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 02 213 <C 113+V(1) 20
1 1 1 02 212 22 C> 113+V(1) 20
2 7+2*V(1) 7+2*V(1) 02 212 224+V(1) C> 20
3 8+2*V(1) 6+2*V(1) 02 212 224+V(1) <C 10
4 16+4*V(1) -2 02 212 <C 114+V(1) 10
5 17+4*V(1) -1 02 21 22 C> 114+V(1) 10
6 25+6*V(1) 7+2*V(1) 02 21 225+V(1) C> 10
7 27+6*V(1) 9+2*V(1) 02 21 226+V(1) B>
8 28+6*V(1) 8+2*V(1) 02 21 226+V(1) <A 20
9 30+6*V(1) 6+2*V(1) 02 21 225+V(1) <C 22 20
10 40+8*V(1) -4 02 21 <C 115+V(1) 22 20
11 41+8*V(1) -3 02 22 C> 115+V(1) 22 20
12 51+10*V(1) 7+2*V(1) 02 226+V(1) C> 22 20
13 52+10*V(1) 6+2*V(1) 02 226+V(1) <C 12 20
14 64+12*V(1) -6 02 <C 116+V(1) 12 20
15 67+12*V(1) -5 22 D> 116+V(1) 12 20
16 79+14*V(1) 7+2*V(1) 22 126+V(1) D> 12 20
17 81+14*V(1) 9+2*V(1) 22 127+V(1) C> 20
18 82+14*V(1) 8+2*V(1) 22 127+V(1) <C 10
19 85+14*V(1) 9+2*V(1) 22 126+V(1) 22 C> 10
20 87+14*V(1) 11+2*V(1) 22 126+V(1) 222 B>
21 88+14*V(1) 10+2*V(1) 22 126+V(1) 222 <A 20
22 90+14*V(1) 8+2*V(1) 22 126+V(1) 22 <C 22 20
23 92+14*V(1) 6+2*V(1) 22 126+V(1) <C 11 22 20
24 95+14*V(1) 7+2*V(1) 22 125+V(1) 22 C> 11 22 20
25 97+14*V(1) 9+2*V(1) 22 125+V(1) 222 C> 22 20
<< Success! ==> defined new CTR 4 (PPA)
194 990 24 22 1213 222 C> 22 20
== Executing PA-CTR 2, V(1)=1, V(2)=8, repcount=3, factor=5/4
248 1494 30 22 12 2217 C> 22 20
249 1495 29 22 12 2217 <C 12 20
250 1529 -5 22 12 <C 1117 12 20
251 1532 -4 222 C> 1117 12 20
252 1566 30 2219 C> 12 20
253 1569 29 2219 <C 11 20
254 1607 -9 <C 1120 20
255 1608 -8 02 B> 1120 20
256 1648 32 02 2120 B> 20
257 1650 34 02 2120 22 B>
258 1651 33 02 2120 22 <A 20
259 1653 31 02 2120 <C 22 20
260 1654 32 02 2119 22 C> 22 20
261 1655 31 02 2119 22 <C 12 20
262 1657 29 02 2119 <C 11 12 20
263 1658 30 02 2118 22 C> 11 12 20
264 1660 32 02 2118 222 C> 12 20
265 1663 31 02 2118 222 <C 11 20
266 1667 27 02 2118 <C 113 20
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 221+V(2) 12 224+V(1) C> 22 20
1 1 -1 221+V(2) 12 224+V(1) <C 12 20
2 9+2*V(1) -9+-2*V(1) 221+V(2) 12 <C 114+V(1) 12 20
3 12+2*V(1) -8+-2*V(1) 222+V(2) C> 114+V(1) 12 20
4 20+4*V(1) 0 226+V(1)+V(2) C> 12 20
5 23+4*V(1) -1 226+V(1)+V(2) <C 11 20
6 35+6*V(1)+2*V(2) -13+-2*V(1)+-2*V(2) <C 117+V(1)+V(2) 20
7 36+6*V(1)+2*V(2) -12+-2*V(1)+-2*V(2) 02 B> 117+V(1)+V(2) 20
8 50+8*V(1)+4*V(2) 2 02 217+V(1)+V(2) B> 20
9 52+8*V(1)+4*V(2) 4 02 217+V(1)+V(2) 22 B>
10 53+8*V(1)+4*V(2) 3 02 217+V(1)+V(2) 22 <A 20
11 55+8*V(1)+4*V(2) 1 02 217+V(1)+V(2) <C 22 20
12 56+8*V(1)+4*V(2) 2 02 216+V(1)+V(2) 22 C> 22 20
13 57+8*V(1)+4*V(2) 1 02 216+V(1)+V(2) 22 <C 12 20
14 59+8*V(1)+4*V(2) -1 02 216+V(1)+V(2) <C 11 12 20
15 60+8*V(1)+4*V(2) 0 02 215+V(1)+V(2) 22 C> 11 12 20
16 62+8*V(1)+4*V(2) 2 02 215+V(1)+V(2) 222 C> 12 20
17 65+8*V(1)+4*V(2) 1 02 215+V(1)+V(2) 222 <C 11 20
18 69+8*V(1)+4*V(2) -3 02 215+V(1)+V(2) <C 113 20
<< Success! ==> defined new CTR 5 (PPA)
266 1667 27 02 2118 <C 113 20
== Executing PA-CTR 1, V(1)=13, V(2)=2, repcount=4, factor=5/4
338 2523 -5 02 212 <C 1123 20
339 2524 -4 02 21 22 C> 1123 20
340 2570 42 02 21 2224 C> 20
341 2571 41 02 21 2224 <C 10
342 2619 -7 02 21 <C 1124 10
343 2620 -6 02 22 C> 1124 10
344 2668 42 02 2225 C> 10
345 2670 44 02 2226 B>
346 2671 43 02 2226 <A 20
347 2673 41 02 2225 <C 22 20
348 2723 -9 02 <C 1125 22 20
349 2726 -8 22 D> 1125 22 20
350 2776 42 22 1225 D> 22 20
351 2777 41 22 1225 <C 22 20
352 2780 42 22 1224 22 C> 22 20
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 02 212 <C 114+V(1) 20
1 1 1 02 21 22 C> 114+V(1) 20
2 9+2*V(1) 9+2*V(1) 02 21 225+V(1) C> 20
3 10+2*V(1) 8+2*V(1) 02 21 225+V(1) <C 10
4 20+4*V(1) -2 02 21 <C 115+V(1) 10
5 21+4*V(1) -1 02 22 C> 115+V(1) 10
6 31+6*V(1) 9+2*V(1) 02 226+V(1) C> 10
7 33+6*V(1) 11+2*V(1) 02 227+V(1) B>
8 34+6*V(1) 10+2*V(1) 02 227+V(1) <A 20
9 36+6*V(1) 8+2*V(1) 02 226+V(1) <C 22 20
10 48+8*V(1) -4 02 <C 116+V(1) 22 20
11 51+8*V(1) -3 22 D> 116+V(1) 22 20
12 63+10*V(1) 9+2*V(1) 22 126+V(1) D> 22 20
13 64+10*V(1) 8+2*V(1) 22 126+V(1) <C 22 20
14 67+10*V(1) 9+2*V(1) 22 125+V(1) 22 C> 22 20
<< Success! ==> defined new CTR 6 (PPA)
352 2780 42 22 1224 22 C> 22 20
== Executing PA-CTR 2, V(1)=0, V(2)=19, repcount=5, factor=5/4
442 3940 52 22 124 2226 C> 22 20
443 3941 51 22 124 2226 <C 12 20
444 3993 -1 22 124 <C 1126 12 20
445 3996 0 22 123 22 C> 1126 12 20
446 4048 52 22 123 2227 C> 12 20
447 4051 51 22 123 2227 <C 11 20
448 4105 -3 22 123 <C 1128 20
449 4108 -2 22 122 22 C> 1128 20
450 4164 54 22 122 2229 C> 20
451 4165 53 22 122 2229 <C 10
452 4223 -5 22 122 <C 1129 10
453 4226 -4 22 12 22 C> 1129 10
454 4284 54 22 12 2230 C> 10
455 4286 56 22 12 2231 B>
456 4287 55 22 12 2231 <A 20
457 4289 53 22 12 2230 <C 22 20
458 4349 -7 22 12 <C 1130 22 20
459 4352 -6 222 C> 1130 22 20
460 4412 54 2232 C> 22 20
461 4413 53 2232 <C 12 20
462 4477 -11 <C 1132 12 20
463 4478 -10 02 B> 1132 12 20
464 4542 54 02 2132 B> 12 20
465 4545 53 02 2132 <C 12 20
466 4546 54 02 2131 22 C> 12 20
467 4549 53 02 2131 22 <C 11 20
468 4551 51 02 2131 <C 112 20
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 221+V(2) 124 221+V(1) C> 22 20
1 1 -1 221+V(2) 124 221+V(1) <C 12 20
2 3+2*V(1) -3+-2*V(1) 221+V(2) 124 <C 111+V(1) 12 20
3 6+2*V(1) -2+-2*V(1) 221+V(2) 123 22 C> 111+V(1) 12 20
4 8+4*V(1) 0 221+V(2) 123 222+V(1) C> 12 20
5 11+4*V(1) -1 221+V(2) 123 222+V(1) <C 11 20
6 15+6*V(1) -5+-2*V(1) 221+V(2) 123 <C 113+V(1) 20
7 18+6*V(1) -4+-2*V(1) 221+V(2) 122 22 C> 113+V(1) 20
8 24+8*V(1) 2 221+V(2) 122 224+V(1) C> 20
9 25+8*V(1) 1 221+V(2) 122 224+V(1) <C 10
10 33+10*V(1) -7+-2*V(1) 221+V(2) 122 <C 114+V(1) 10
11 36+10*V(1) -6+-2*V(1) 221+V(2) 12 22 C> 114+V(1) 10
12 44+12*V(1) 2 221+V(2) 12 225+V(1) C> 10
13 46+12*V(1) 4 221+V(2) 12 226+V(1) B>
14 47+12*V(1) 3 221+V(2) 12 226+V(1) <A 20
15 49+12*V(1) 1 221+V(2) 12 225+V(1) <C 22 20
16 59+14*V(1) -9+-2*V(1) 221+V(2) 12 <C 115+V(1) 22 20
17 62+14*V(1) -8+-2*V(1) 222+V(2) C> 115+V(1) 22 20
18 72+16*V(1) 2 227+V(1)+V(2) C> 22 20
19 73+16*V(1) 1 227+V(1)+V(2) <C 12 20
20 87+18*V(1)+2*V(2) -13+-2*V(1)+-2*V(2) <C 117+V(1)+V(2) 12 20
21 88+18*V(1)+2*V(2) -12+-2*V(1)+-2*V(2) 02 B> 117+V(1)+V(2) 12 20
22 102+20*V(1)+4*V(2) 2 02 217+V(1)+V(2) B> 12 20
23 105+20*V(1)+4*V(2) 1 02 217+V(1)+V(2) <C 12 20
24 106+20*V(1)+4*V(2) 2 02 216+V(1)+V(2) 22 C> 12 20
25 109+20*V(1)+4*V(2) 1 02 216+V(1)+V(2) 22 <C 11 20
26 111+20*V(1)+4*V(2) -1 02 216+V(1)+V(2) <C 112 20
<< Success! ==> defined new CTR 7 (PPA)
468 4551 51 02 2131 <C 112 20
== Executing PA-CTR 1, V(1)=26, V(2)=1, repcount=7, factor=5/4
594 6777 -5 02 213 <C 1137 20
== Executing PPA-CTR 4 (once), V(1)=34
619 7350 72 22 1239 222 C> 22 20
== Executing PA-CTR 2, V(1)=1, V(2)=34, repcount=9, factor=5/4
781 11022 90 22 123 2247 C> 22 20
== Executing PPA-CTR 3 (once), V(1)=46, V(2)=0
800 11835 91 02 2152 <C 11 20
== Executing PA-CTR 1, V(1)=47, V(2)=0, repcount=12, factor=5/4
1016 17859 -5 02 214 <C 1161 20
1017 17860 -4 02 213 22 C> 1161 20
1018 17982 118 02 213 2262 C> 20
1019 17983 117 02 213 2262 <C 10
1020 18107 -7 02 213 <C 1162 10
1021 18108 -6 02 212 22 C> 1162 10
1022 18232 118 02 212 2263 C> 10
1023 18234 120 02 212 2264 B>
1024 18235 119 02 212 2264 <A 20
1025 18237 117 02 212 2263 <C 22 20
1026 18363 -9 02 212 <C 1163 22 20
1027 18364 -8 02 21 22 C> 1163 22 20
1028 18490 118 02 21 2264 C> 22 20
1029 18491 117 02 21 2264 <C 12 20
1030 18619 -11 02 21 <C 1164 12 20
1031 18620 -10 02 22 C> 1164 12 20
1032 18748 118 02 2265 C> 12 20
1033 18751 117 02 2265 <C 11 20
1034 18881 -13 02 <C 1166 20
1035 18884 -12 22 D> 1166 20
1036 19016 120 22 1266 D> 20
1037 19017 119 22 1266 <C 20
1038 19020 120 22 1265 22 C> 20
1039 19021 119 22 1265 22 <C 10
1040 19023 117 22 1265 <C 11 10
1041 19026 118 22 1264 22 C> 11 10
1042 19028 120 22 1264 222 C> 10
1043 19030 122 22 1264 223 B>
1044 19031 121 22 1264 223 <A 20
1045 19033 119 22 1264 222 <C 22 20
1046 19037 115 22 1264 <C 112 22 20
1047 19040 116 22 1263 22 C> 112 22 20
1048 19044 120 22 1263 223 C> 22 20
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 02 214 <C 113+V(1) 20
1 1 1 02 213 22 C> 113+V(1) 20
2 7+2*V(1) 7+2*V(1) 02 213 224+V(1) C> 20
3 8+2*V(1) 6+2*V(1) 02 213 224+V(1) <C 10
4 16+4*V(1) -2 02 213 <C 114+V(1) 10
5 17+4*V(1) -1 02 212 22 C> 114+V(1) 10
6 25+6*V(1) 7+2*V(1) 02 212 225+V(1) C> 10
7 27+6*V(1) 9+2*V(1) 02 212 226+V(1) B>
8 28+6*V(1) 8+2*V(1) 02 212 226+V(1) <A 20
9 30+6*V(1) 6+2*V(1) 02 212 225+V(1) <C 22 20
10 40+8*V(1) -4 02 212 <C 115+V(1) 22 20
11 41+8*V(1) -3 02 21 22 C> 115+V(1) 22 20
12 51+10*V(1) 7+2*V(1) 02 21 226+V(1) C> 22 20
13 52+10*V(1) 6+2*V(1) 02 21 226+V(1) <C 12 20
14 64+12*V(1) -6 02 21 <C 116+V(1) 12 20
15 65+12*V(1) -5 02 22 C> 116+V(1) 12 20
16 77+14*V(1) 7+2*V(1) 02 227+V(1) C> 12 20
17 80+14*V(1) 6+2*V(1) 02 227+V(1) <C 11 20
18 94+16*V(1) -8 02 <C 118+V(1) 20
19 97+16*V(1) -7 22 D> 118+V(1) 20
20 113+18*V(1) 9+2*V(1) 22 128+V(1) D> 20
21 114+18*V(1) 8+2*V(1) 22 128+V(1) <C 20
22 117+18*V(1) 9+2*V(1) 22 127+V(1) 22 C> 20
23 118+18*V(1) 8+2*V(1) 22 127+V(1) 22 <C 10
24 120+18*V(1) 6+2*V(1) 22 127+V(1) <C 11 10
25 123+18*V(1) 7+2*V(1) 22 126+V(1) 22 C> 11 10
26 125+18*V(1) 9+2*V(1) 22 126+V(1) 222 C> 10
27 127+18*V(1) 11+2*V(1) 22 126+V(1) 223 B>
28 128+18*V(1) 10+2*V(1) 22 126+V(1) 223 <A 20
29 130+18*V(1) 8+2*V(1) 22 126+V(1) 222 <C 22 20
30 134+18*V(1) 4+2*V(1) 22 126+V(1) <C 112 22 20
31 137+18*V(1) 5+2*V(1) 22 125+V(1) 22 C> 112 22 20
32 141+18*V(1) 9+2*V(1) 22 125+V(1) 223 C> 22 20
<< Success! ==> defined new CTR 8 (PPA)
1048 19044 120 22 1263 223 C> 22 20
== Executing PA-CTR 2, V(1)=2, V(2)=58, repcount=15, factor=5/4
1318 29004 150 22 123 2278 C> 22 20
== Executing PPA-CTR 3 (once), V(1)=77, V(2)=0
1337 30313 151 02 2183 <C 11 20
== Executing PA-CTR 1, V(1)=78, V(2)=0, repcount=20, factor=5/4
1697 46753 -9 02 213 <C 11101 20
== Executing PPA-CTR 4 (once), V(1)=98
1722 48222 196 22 12103 222 C> 22 20
== Executing PA-CTR 2, V(1)=1, V(2)=98, repcount=25, factor=5/4
2172 74422 246 22 123 22127 C> 22 20
== Executing PPA-CTR 3 (once), V(1)=126, V(2)=0
2191 76515 247 02 21132 <C 11 20
== Executing PA-CTR 1, V(1)=127, V(2)=0, repcount=32, factor=5/4
2767 118179 -9 02 214 <C 11161 20
== Executing PPA-CTR 8 (once), V(1)=158
2799 121164 316 22 12163 223 C> 22 20
== Executing PA-CTR 2, V(1)=2, V(2)=158, repcount=40, factor=5/4
3519 187724 396 22 123 22203 C> 22 20
== Executing PPA-CTR 3 (once), V(1)=202, V(2)=0
3538 191033 397 02 21208 <C 11 20
== Executing PA-CTR 1, V(1)=203, V(2)=0, repcount=51, factor=5/4
4456 296195 -11 02 214 <C 11256 20
== Executing PPA-CTR 8 (once), V(1)=253
4488 300890 504 22 12258 223 C> 22 20
== Executing PA-CTR 2, V(1)=2, V(2)=253, repcount=64, factor=5/4
5640 468826 632 22 122 22323 C> 22 20
5641 468827 631 22 122 22323 <C 12 20
5642 469473 -15 22 122 <C 11323 12 20
5643 469476 -14 22 12 22 C> 11323 12 20
5644 470122 632 22 12 22324 C> 12 20
5645 470125 631 22 12 22324 <C 11 20
5646 470773 -17 22 12 <C 11325 20
5647 470776 -16 222 C> 11325 20
5648 471426 634 22327 C> 20
5649 471427 633 22327 <C 10
5650 472081 -21 <C 11327 10
5651 472082 -20 02 B> 11327 10
5652 472736 634 02 21327 B> 10
5653 472739 633 02 21327 <D 22
5654 472740 634 02 21327 B> 22
5655 472743 633 02 21327 <C 11
5656 472744 634 02 21326 22 C> 11
5657 472746 636 02 21326 222 C>
5658 472749 635 02 21326 222 <D 22
5659 472751 633 02 21326 22 <C 12 22
5660 472753 631 02 21326 <C 11 12 22
5661 472754 632 02 21325 22 C> 11 12 22
5662 472756 634 02 21325 222 C> 12 22
5663 472759 633 02 21325 222 <C 11 22
5664 472763 629 02 21325 <C 113 22
5665 472764 630 02 21324 22 C> 113 22
5666 472770 636 02 21324 224 C> 22
5667 472771 635 02 21324 224 <C 12
5668 472779 627 02 21324 <C 114 12
5669 472780 628 02 21323 22 C> 114 12
5670 472788 636 02 21323 225 C> 12
5671 472791 635 02 21323 225 <C 11
5672 472801 625 02 21323 <C 116
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 215+V(1) <C 111+V(2)
1 1 1 [*]* 214+V(1) 22 C> 111+V(2)
2 3+2*V(2) 3+2*V(2) [*]* 214+V(1) 222+V(2) C>
3 6+2*V(2) 2+2*V(2) [*]* 214+V(1) 222+V(2) <D 22
4 8+2*V(2) 0+2*V(2) [*]* 214+V(1) 221+V(2) <C 12 22
5 10+4*V(2) -2 [*]* 214+V(1) <C 111+V(2) 12 22
6 11+4*V(2) -1 [*]* 213+V(1) 22 C> 111+V(2) 12 22
7 13+6*V(2) 1+2*V(2) [*]* 213+V(1) 222+V(2) C> 12 22
8 16+6*V(2) 0+2*V(2) [*]* 213+V(1) 222+V(2) <C 11 22
9 20+8*V(2) -4 [*]* 213+V(1) <C 113+V(2) 22
10 21+8*V(2) -3 [*]* 212+V(1) 22 C> 113+V(2) 22
11 27+10*V(2) 3+2*V(2) [*]* 212+V(1) 224+V(2) C> 22
12 28+10*V(2) 2+2*V(2) [*]* 212+V(1) 224+V(2) <C 12
13 36+12*V(2) -6 [*]* 212+V(1) <C 114+V(2) 12
14 37+12*V(2) -5 [*]* 211+V(1) 22 C> 114+V(2) 12
15 45+14*V(2) 3+2*V(2) [*]* 211+V(1) 225+V(2) C> 12
16 48+14*V(2) 2+2*V(2) [*]* 211+V(1) 225+V(2) <C 11
17 58+16*V(2) -8 [*]* 211+V(1) <C 116+V(2)
<< Success! ==> defined new CTR 9 (PA)
5672 472801 625 02 21323 <C 116
== Executing PA-CTR 9, V(1)=318, V(2)=5, repcount=80, factor=5/4
7032 736641 -15 02 213 <C 11406
7033 736642 -14 02 212 22 C> 11406
7034 737454 798 02 212 22407 C>
7035 737457 797 02 212 22407 <D 22
7036 737459 795 02 212 22406 <C 12 22
7037 738271 -17 02 212 <C 11406 12 22
7038 738272 -16 02 21 22 C> 11406 12 22
7039 739084 796 02 21 22407 C> 12 22
7040 739087 795 02 21 22407 <C 11 22
7041 739901 -19 02 21 <C 11408 22
7042 739902 -18 02 22 C> 11408 22
7043 740718 798 02 22409 C> 22
7044 740719 797 02 22409 <C 12
7045 741537 -21 02 <C 11409 12
7046 741540 -20 22 D> 11409 12
7047 742358 798 22 12409 D> 12
7048 742360 800 22 12410 C>
7049 742363 799 22 12410 <D 22
7050 742367 797 22 12409 <C 11 22
7051 742370 798 22 12408 22 C> 11 22
7052 742372 800 22 12408 222 C> 22
7053 742373 799 22 12408 222 <C 12
7054 742377 795 22 12408 <C 112 12
7055 742380 796 22 12407 22 C> 112 12
7056 742384 800 22 12407 223 C> 12
7057 742387 799 22 12407 223 <C 11
7058 742393 793 22 12407 <C 114
7059 742396 794 22 12406 22 C> 114
7060 742404 802 22 12406 225 C>
7061 742407 801 22 12406 225 <D 22
7062 742409 799 22 12406 224 <C 12 22
7063 742417 791 22 12406 <C 114 12 22
7064 742420 792 22 12405 22 C> 114 12 22
7065 742428 800 22 12405 225 C> 12 22
7066 742431 799 22 12405 225 <C 11 22
7067 742441 789 22 12405 <C 116 22
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 125+V(1) <C 111+V(2) 22
1 3 1 [*]* 124+V(1) 22 C> 111+V(2) 22
2 5+2*V(2) 3+2*V(2) [*]* 124+V(1) 222+V(2) C> 22
3 6+2*V(2) 2+2*V(2) [*]* 124+V(1) 222+V(2) <C 12
4 10+4*V(2) -2 [*]* 124+V(1) <C 112+V(2) 12
5 13+4*V(2) -1 [*]* 123+V(1) 22 C> 112+V(2) 12
6 17+6*V(2) 3+2*V(2) [*]* 123+V(1) 223+V(2) C> 12
7 20+6*V(2) 2+2*V(2) [*]* 123+V(1) 223+V(2) <C 11
8 26+8*V(2) -4 [*]* 123+V(1) <C 114+V(2)
9 29+8*V(2) -3 [*]* 122+V(1) 22 C> 114+V(2)
10 37+10*V(2) 5+2*V(2) [*]* 122+V(1) 225+V(2) C>
11 40+10*V(2) 4+2*V(2) [*]* 122+V(1) 225+V(2) <D 22
12 42+10*V(2) 2+2*V(2) [*]* 122+V(1) 224+V(2) <C 12 22
13 50+12*V(2) -6 [*]* 122+V(1) <C 114+V(2) 12 22
14 53+12*V(2) -5 [*]* 121+V(1) 22 C> 114+V(2) 12 22
15 61+14*V(2) 3+2*V(2) [*]* 121+V(1) 225+V(2) C> 12 22
16 64+14*V(2) 2+2*V(2) [*]* 121+V(1) 225+V(2) <C 11 22
17 74+16*V(2) -8 [*]* 121+V(1) <C 116+V(2) 22
<< Success! ==> defined new CTR 10 (PA)
7067 742441 789 22 12405 <C 116 22
== Executing PA-CTR 10, V(1)=400, V(2)=5, repcount=101, factor=5/4
8784 1161995 -19 22 12 <C 11511 22
8785 1161998 -18 222 C> 11511 22
8786 1163020 1004 22513 C> 22
8787 1163021 1003 22513 <C 12
8788 1164047 -23 <C 11513 12
8789 1164048 -22 02 B> 11513 12
8790 1165074 1004 02 21513 B> 12
8791 1165077 1003 02 21513 <C 12
8792 1165078 1004 02 21512 22 C> 12
8793 1165081 1003 02 21512 22 <C 11
8794 1165083 1001 02 21512 <C 112
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 221+V(1) 12 <C 114+V(2) 22
1 3 1 222+V(1) C> 114+V(2) 22
2 11+2*V(2) 9+2*V(2) 226+V(1)+V(2) C> 22
3 12+2*V(2) 8+2*V(2) 226+V(1)+V(2) <C 12
4 24+2*V(1)+4*V(2) -4+-2*V(1) <C 116+V(1)+V(2) 12
5 25+2*V(1)+4*V(2) -3+-2*V(1) 02 B> 116+V(1)+V(2) 12
6 37+4*V(1)+6*V(2) 9+2*V(2) 02 216+V(1)+V(2) B> 12
7 40+4*V(1)+6*V(2) 8+2*V(2) 02 216+V(1)+V(2) <C 12
8 41+4*V(1)+6*V(2) 9+2*V(2) 02 215+V(1)+V(2) 22 C> 12
9 44+4*V(1)+6*V(2) 8+2*V(2) 02 215+V(1)+V(2) 22 <C 11
10 46+4*V(1)+6*V(2) 6+2*V(2) 02 215+V(1)+V(2) <C 112
<< Success! ==> defined new CTR 11 (PPA)
8794 1165083 1001 02 21512 <C 112
== Executing PA-CTR 9, V(1)=507, V(2)=1, repcount=127, factor=5/4
10953 1814561 -15 02 214 <C 11637
10954 1814562 -14 02 213 22 C> 11637
10955 1815836 1260 02 213 22638 C>
10956 1815839 1259 02 213 22638 <D 22
10957 1815841 1257 02 213 22637 <C 12 22
10958 1817115 -17 02 213 <C 11637 12 22
10959 1817116 -16 02 212 22 C> 11637 12 22
10960 1818390 1258 02 212 22638 C> 12 22
10961 1818393 1257 02 212 22638 <C 11 22
10962 1819669 -19 02 212 <C 11639 22
10963 1819670 -18 02 21 22 C> 11639 22
10964 1820948 1260 02 21 22640 C> 22
10965 1820949 1259 02 21 22640 <C 12
10966 1822229 -21 02 21 <C 11640 12
10967 1822230 -20 02 22 C> 11640 12
10968 1823510 1260 02 22641 C> 12
10969 1823513 1259 02 22641 <C 11
10970 1824795 -23 02 <C 11642
10971 1824798 -22 22 D> 11642
10972 1826082 1262 22 12642 D>
10973 1826083 1261 22 12642 <A 20
10974 1826086 1262 22 12642 C> 20
10975 1826087 1261 22 12642 <C 10
10976 1826090 1262 22 12641 22 C> 10
10977 1826092 1264 22 12641 222 B>
10978 1826093 1263 22 12641 222 <A 20
10979 1826095 1261 22 12641 22 <C 22 20
10980 1826097 1259 22 12641 <C 11 22 20
10981 1826100 1260 22 12640 22 C> 11 22 20
10982 1826102 1262 22 12640 222 C> 22 20
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 02 214 <C 112+V(1)
1 1 1 02 213 22 C> 112+V(1)
2 5+2*V(1) 5+2*V(1) 02 213 223+V(1) C>
3 8+2*V(1) 4+2*V(1) 02 213 223+V(1) <D 22
4 10+2*V(1) 2+2*V(1) 02 213 222+V(1) <C 12 22
5 14+4*V(1) -2 02 213 <C 112+V(1) 12 22
6 15+4*V(1) -1 02 212 22 C> 112+V(1) 12 22
7 19+6*V(1) 3+2*V(1) 02 212 223+V(1) C> 12 22
8 22+6*V(1) 2+2*V(1) 02 212 223+V(1) <C 11 22
9 28+8*V(1) -4 02 212 <C 114+V(1) 22
10 29+8*V(1) -3 02 21 22 C> 114+V(1) 22
11 37+10*V(1) 5+2*V(1) 02 21 225+V(1) C> 22
12 38+10*V(1) 4+2*V(1) 02 21 225+V(1) <C 12
13 48+12*V(1) -6 02 21 <C 115+V(1) 12
14 49+12*V(1) -5 02 22 C> 115+V(1) 12
15 59+14*V(1) 5+2*V(1) 02 226+V(1) C> 12
16 62+14*V(1) 4+2*V(1) 02 226+V(1) <C 11
17 74+16*V(1) -8 02 <C 117+V(1)
18 77+16*V(1) -7 22 D> 117+V(1)
19 91+18*V(1) 7+2*V(1) 22 127+V(1) D>
20 92+18*V(1) 6+2*V(1) 22 127+V(1) <A 20
21 95+18*V(1) 7+2*V(1) 22 127+V(1) C> 20
22 96+18*V(1) 6+2*V(1) 22 127+V(1) <C 10
23 99+18*V(1) 7+2*V(1) 22 126+V(1) 22 C> 10
24 101+18*V(1) 9+2*V(1) 22 126+V(1) 222 B>
25 102+18*V(1) 8+2*V(1) 22 126+V(1) 222 <A 20
26 104+18*V(1) 6+2*V(1) 22 126+V(1) 22 <C 22 20
27 106+18*V(1) 4+2*V(1) 22 126+V(1) <C 11 22 20
28 109+18*V(1) 5+2*V(1) 22 125+V(1) 22 C> 11 22 20
29 111+18*V(1) 7+2*V(1) 22 125+V(1) 222 C> 22 20
<< Success! ==> defined new CTR 12 (PPA)
10982 1826102 1262 22 12640 222 C> 22 20
== Executing PA-CTR 2, V(1)=1, V(2)=635, repcount=159, factor=5/4
13844 2844974 1580 22 124 22797 C> 22 20
== Executing PPA-CTR 7 (once), V(1)=796, V(2)=0
13870 2861005 1579 02 21802 <C 112 20
== Executing PA-CTR 1, V(1)=797, V(2)=1, repcount=200, factor=5/4
17470 4468605 -21 02 212 <C 111002 20
== Executing PPA-CTR 6 (once), V(1)=998
17484 4478652 1984 22 121003 22 C> 22 20
== Executing PA-CTR 2, V(1)=0, V(2)=998, repcount=250, factor=5/4
21984 6986652 2484 22 123 221251 C> 22 20
== Executing PPA-CTR 3 (once), V(1)=1250, V(2)=0
22003 7006729 2485 02 211256 <C 11 20
== Executing PA-CTR 1, V(1)=1251, V(2)=0, repcount=313, factor=5/4
27637 10932375 -19 02 214 <C 111566 20
== Executing PPA-CTR 8 (once), V(1)=1563
27669 10960650 3116 22 121568 223 C> 22 20
== Executing PA-CTR 2, V(1)=2, V(2)=1563, repcount=391, factor=5/4
34707 17100914 3898 22 124 221958 C> 22 20
== Executing PPA-CTR 7 (once), V(1)=1957, V(2)=0
34733 17140165 3897 02 211963 <C 112 20
== Executing PA-CTR 1, V(1)=1958, V(2)=1, repcount=490, factor=5/4
43553 26762785 -23 02 213 <C 112452 20
== Executing PPA-CTR 4 (once), V(1)=2449
43578 26797168 4884 22 122454 222 C> 22 20
== Executing PA-CTR 2, V(1)=1, V(2)=2449, repcount=613, factor=5/4
54612 41857352 6110 22 122 223067 C> 22 20
54613 41857353 6109 22 122 223067 <C 12 20
54614 41863487 -25 22 122 <C 113067 12 20
54615 41863490 -24 22 12 22 C> 113067 12 20
54616 41869624 6110 22 12 223068 C> 12 20
54617 41869627 6109 22 12 223068 <C 11 20
54618 41875763 -27 22 12 <C 113069 20
54619 41875766 -26 222 C> 113069 20
54620 41881904 6112 223071 C> 20
54621 41881905 6111 223071 <C 10
54622 41888047 -31 <C 113071 10
54623 41888048 -30 02 B> 113071 10
54624 41894190 6112 02 213071 B> 10
54625 41894193 6111 02 213071 <D 22
54626 41894194 6112 02 213071 B> 22
54627 41894197 6111 02 213071 <C 11
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 221+V(2) 122 221+V(1) C> 22 20
1 1 -1 221+V(2) 122 221+V(1) <C 12 20
2 3+2*V(1) -3+-2*V(1) 221+V(2) 122 <C 111+V(1) 12 20
3 6+2*V(1) -2+-2*V(1) 221+V(2) 12 22 C> 111+V(1) 12 20
4 8+4*V(1) 0 221+V(2) 12 222+V(1) C> 12 20
5 11+4*V(1) -1 221+V(2) 12 222+V(1) <C 11 20
6 15+6*V(1) -5+-2*V(1) 221+V(2) 12 <C 113+V(1) 20
7 18+6*V(1) -4+-2*V(1) 222+V(2) C> 113+V(1) 20
8 24+8*V(1) 2 225+V(1)+V(2) C> 20
9 25+8*V(1) 1 225+V(1)+V(2) <C 10
10 35+10*V(1)+2*V(2) -9+-2*V(1)+-2*V(2) <C 115+V(1)+V(2) 10
11 36+10*V(1)+2*V(2) -8+-2*V(1)+-2*V(2) 02 B> 115+V(1)+V(2) 10
12 46+12*V(1)+4*V(2) 2 02 215+V(1)+V(2) B> 10
13 49+12*V(1)+4*V(2) 1 02 215+V(1)+V(2) <D 22
14 50+12*V(1)+4*V(2) 2 02 215+V(1)+V(2) B> 22
15 53+12*V(1)+4*V(2) 1 02 215+V(1)+V(2) <C 11
<< Success! ==> defined new CTR 13 (PPA)
54627 41894197 6111 02 213071 <C 11
== Executing PA-CTR 9, V(1)=3066, V(2)=0, repcount=767, factor=5/4
67666 65439563 -25 02 213 <C 113836
67667 65439564 -24 02 212 22 C> 113836
67668 65447236 7648 02 212 223837 C>
67669 65447239 7647 02 212 223837 <D 22
67670 65447241 7645 02 212 223836 <C 12 22
67671 65454913 -27 02 212 <C 113836 12 22
67672 65454914 -26 02 21 22 C> 113836 12 22
67673 65462586 7646 02 21 223837 C> 12 22
67674 65462589 7645 02 21 223837 <C 11 22
67675 65470263 -29 02 21 <C 113838 22
67676 65470264 -28 02 22 C> 113838 22
67677 65477940 7648 02 223839 C> 22
67678 65477941 7647 02 223839 <C 12
67679 65485619 -31 02 <C 113839 12
67680 65485622 -30 22 D> 113839 12
67681 65493300 7648 22 123839 D> 12
67682 65493302 7650 22 123840 C>
67683 65493305 7649 22 123840 <D 22
67684 65493309 7647 22 123839 <C 11 22
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 02 213 <C 112+V(1)
1 1 1 02 212 22 C> 112+V(1)
2 5+2*V(1) 5+2*V(1) 02 212 223+V(1) C>
3 8+2*V(1) 4+2*V(1) 02 212 223+V(1) <D 22
4 10+2*V(1) 2+2*V(1) 02 212 222+V(1) <C 12 22
5 14+4*V(1) -2 02 212 <C 112+V(1) 12 22
6 15+4*V(1) -1 02 21 22 C> 112+V(1) 12 22
7 19+6*V(1) 3+2*V(1) 02 21 223+V(1) C> 12 22
8 22+6*V(1) 2+2*V(1) 02 21 223+V(1) <C 11 22
9 28+8*V(1) -4 02 21 <C 114+V(1) 22
10 29+8*V(1) -3 02 22 C> 114+V(1) 22
11 37+10*V(1) 5+2*V(1) 02 225+V(1) C> 22
12 38+10*V(1) 4+2*V(1) 02 225+V(1) <C 12
13 48+12*V(1) -6 02 <C 115+V(1) 12
14 51+12*V(1) -5 22 D> 115+V(1) 12
15 61+14*V(1) 5+2*V(1) 22 125+V(1) D> 12
16 63+14*V(1) 7+2*V(1) 22 126+V(1) C>
17 66+14*V(1) 6+2*V(1) 22 126+V(1) <D 22
18 70+14*V(1) 4+2*V(1) 22 125+V(1) <C 11 22
<< Success! ==> defined new CTR 14 (PPA)
67684 65493309 7647 22 123839 <C 11 22
== Executing PA-CTR 10, V(1)=3834, V(2)=0, repcount=959, factor=5/4
83987 102313155 -25 22 123 <C 114796 22
83988 102313158 -24 22 122 22 C> 114796 22
83989 102322750 9568 22 122 224797 C> 22
83990 102322751 9567 22 122 224797 <C 12
83991 102332345 -27 22 122 <C 114797 12
83992 102332348 -26 22 12 22 C> 114797 12
83993 102341942 9568 22 12 224798 C> 12
83994 102341945 9567 22 12 224798 <C 11
83995 102351541 -29 22 12 <C 114799
83996 102351544 -28 222 C> 114799
83997 102361142 9570 224801 C>
83998 102361145 9569 224801 <D 22
83999 102361147 9567 224800 <C 12 22
84000 102370747 -33 <C 114800 12 22
84001 102370748 -32 02 B> 114800 12 22
84002 102380348 9568 02 214800 B> 12 22
84003 102380351 9567 02 214800 <C 12 22
84004 102380352 9568 02 214799 22 C> 12 22
84005 102380355 9567 02 214799 22 <C 11 22
84006 102380357 9565 02 214799 <C 112 22
84007 102380358 9566 02 214798 22 C> 112 22
84008 102380362 9570 02 214798 223 C> 22
84009 102380363 9569 02 214798 223 <C 12
84010 102380369 9563 02 214798 <C 113 12
84011 102380370 9564 02 214797 22 C> 113 12
84012 102380376 9570 02 214797 224 C> 12
84013 102380379 9569 02 214797 224 <C 11
84014 102380387 9561 02 214797 <C 115
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 221+V(1) 123 <C 114+V(2) 22
1 3 1 221+V(1) 122 22 C> 114+V(2) 22
2 11+2*V(2) 9+2*V(2) 221+V(1) 122 225+V(2) C> 22
3 12+2*V(2) 8+2*V(2) 221+V(1) 122 225+V(2) <C 12
4 22+4*V(2) -2 221+V(1) 122 <C 115+V(2) 12
5 25+4*V(2) -1 221+V(1) 12 22 C> 115+V(2) 12
6 35+6*V(2) 9+2*V(2) 221+V(1) 12 226+V(2) C> 12
7 38+6*V(2) 8+2*V(2) 221+V(1) 12 226+V(2) <C 11
8 50+8*V(2) -4 221+V(1) 12 <C 117+V(2)
9 53+8*V(2) -3 222+V(1) C> 117+V(2)
10 67+10*V(2) 11+2*V(2) 229+V(1)+V(2) C>
11 70+10*V(2) 10+2*V(2) 229+V(1)+V(2) <D 22
12 72+10*V(2) 8+2*V(2) 228+V(1)+V(2) <C 12 22
13 88+2*V(1)+12*V(2) -8+-2*V(1) <C 118+V(1)+V(2) 12 22
14 89+2*V(1)+12*V(2) -7+-2*V(1) 02 B> 118+V(1)+V(2) 12 22
15 105+4*V(1)+14*V(2) 9+2*V(2) 02 218+V(1)+V(2) B> 12 22
16 108+4*V(1)+14*V(2) 8+2*V(2) 02 218+V(1)+V(2) <C 12 22
17 109+4*V(1)+14*V(2) 9+2*V(2) 02 217+V(1)+V(2) 22 C> 12 22
18 112+4*V(1)+14*V(2) 8+2*V(2) 02 217+V(1)+V(2) 22 <C 11 22
19 114+4*V(1)+14*V(2) 6+2*V(2) 02 217+V(1)+V(2) <C 112 22
20 115+4*V(1)+14*V(2) 7+2*V(2) 02 216+V(1)+V(2) 22 C> 112 22
21 119+4*V(1)+14*V(2) 11+2*V(2) 02 216+V(1)+V(2) 223 C> 22
22 120+4*V(1)+14*V(2) 10+2*V(2) 02 216+V(1)+V(2) 223 <C 12
23 126+4*V(1)+14*V(2) 4+2*V(2) 02 216+V(1)+V(2) <C 113 12
24 127+4*V(1)+14*V(2) 5+2*V(2) 02 215+V(1)+V(2) 22 C> 113 12
25 133+4*V(1)+14*V(2) 11+2*V(2) 02 215+V(1)+V(2) 224 C> 12
26 136+4*V(1)+14*V(2) 10+2*V(2) 02 215+V(1)+V(2) 224 <C 11
27 144+4*V(1)+14*V(2) 2+2*V(2) 02 215+V(1)+V(2) <C 115
<< Success! ==> defined new CTR 15 (PPA)
84014 102380387 9561 02 214797 <C 115
== Executing PA-CTR 9, V(1)=4792, V(2)=4, repcount=1199, factor=5/4
104397 159982745 -31 02 21 <C 116000
104398 159982746 -30 02 22 C> 116000
104399 159994746 11970 02 226001 C>
104400 159994749 11969 02 226001 <D 22
104401 159994751 11967 02 226000 <C 12 22
104402 160006751 -33 02 <C 116000 12 22
104403 160006754 -32 22 D> 116000 12 22
104404 160018754 11968 22 126000 D> 12 22
104405 160018756 11970 22 126001 C> 22
104406 160018757 11969 22 126001 <C 12
104407 160018760 11970 22 126000 22 C> 12
104408 160018763 11969 22 126000 22 <C 11
104409 160018765 11967 22 126000 <C 112
104410 160018768 11968 22 125999 22 C> 112
104411 160018772 11972 22 125999 223 C>
104412 160018775 11971 22 125999 223 <D 22
104413 160018777 11969 22 125999 222 <C 12 22
104414 160018781 11965 22 125999 <C 112 12 22
104415 160018784 11966 22 125998 22 C> 112 12 22
104416 160018788 11970 22 125998 223 C> 12 22
104417 160018791 11969 22 125998 223 <C 11 22
104418 160018797 11963 22 125998 <C 114 22
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 02 21 <C 117+V(1)
1 1 1 02 22 C> 117+V(1)
2 15+2*V(1) 15+2*V(1) 02 228+V(1) C>
3 18+2*V(1) 14+2*V(1) 02 228+V(1) <D 22
4 20+2*V(1) 12+2*V(1) 02 227+V(1) <C 12 22
5 34+4*V(1) -2 02 <C 117+V(1) 12 22
6 37+4*V(1) -1 22 D> 117+V(1) 12 22
7 51+6*V(1) 13+2*V(1) 22 127+V(1) D> 12 22
8 53+6*V(1) 15+2*V(1) 22 128+V(1) C> 22
9 54+6*V(1) 14+2*V(1) 22 128+V(1) <C 12
10 57+6*V(1) 15+2*V(1) 22 127+V(1) 22 C> 12
11 60+6*V(1) 14+2*V(1) 22 127+V(1) 22 <C 11
12 62+6*V(1) 12+2*V(1) 22 127+V(1) <C 112
13 65+6*V(1) 13+2*V(1) 22 126+V(1) 22 C> 112
14 69+6*V(1) 17+2*V(1) 22 126+V(1) 223 C>
15 72+6*V(1) 16+2*V(1) 22 126+V(1) 223 <D 22
16 74+6*V(1) 14+2*V(1) 22 126+V(1) 222 <C 12 22
17 78+6*V(1) 10+2*V(1) 22 126+V(1) <C 112 12 22
18 81+6*V(1) 11+2*V(1) 22 125+V(1) 22 C> 112 12 22
19 85+6*V(1) 15+2*V(1) 22 125+V(1) 223 C> 12 22
20 88+6*V(1) 14+2*V(1) 22 125+V(1) 223 <C 11 22
21 94+6*V(1) 8+2*V(1) 22 125+V(1) <C 114 22
<< Success! ==> defined new CTR 16 (PPA)
104418 160018797 11963 22 125998 <C 114 22
== Executing PA-CTR 10, V(1)=5993, V(2)=3, repcount=1499, factor=5/4
129901 250021755 -29 22 122 <C 117499 22
129902 250021758 -28 22 12 22 C> 117499 22
129903 250036756 14970 22 12 227500 C> 22
129904 250036757 14969 22 12 227500 <C 12
129905 250051757 -31 22 12 <C 117500 12
129906 250051760 -30 222 C> 117500 12
129907 250066760 14970 227502 C> 12
129908 250066763 14969 227502 <C 11
129909 250081767 -35 <C 117503
129910 250081768 -34 02 B> 117503
129911 250096774 14972 02 217503 B>
129912 250096775 14971 02 217503 <A 20
129913 250096776 14972 02 217503 H> 20
129913 250096776 14972 02 217503 H> 20 [stop]
Lines: 491
Top steps: 489
Macro steps: 129913
Basic steps: 250096776
Tape index: 14972
nonzeros: 15008
log10(nonzeros): 4.176
log10(steps ): 8.398
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #a (T.J. & S. Ligocki)
: 15008 250,096,776
5T 0RB 1RH 2LD 2LA 2RD 2RC 2RB 2RC 1LC 2LA 1RB 2LC
L 10
M 500
pref sim
machv Lig43_a just simple
machv Lig43_a-r with repetitions reduced
machv Lig43_a-1 with tape symbol exponents
machv Lig43_a-m as 2-macro machine
machv Lig43_a-a as 2-macro machine with pure additive config-TRs
iam Lig43_a-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:58 CEST 2010
edate Tue Jul 6 22:14:01 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:58 CEST 2010