Comment: This TM produces >6.9*10^49 ones in >5.5*10^99 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | B0L | 1 | right | B | 0 | left | B |
| B | C1L | E0R | 1 | left | C | 0 | right | E |
| C | E1R | D0L | 1 | right | E | 0 | left | D |
| D | A1L | A1L | 1 | left | A | 1 | left | A |
| E | A0R | F0R | 0 | right | A | 0 | right | F |
| F | E1R | Z1R | 1 | right | E | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 4-bck-macro machine.
Simulation is done as 4-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 4.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0000)A>
1 14 4 0011 (0101)B>
2 19 -1 0011 <C(1010) 1000
3 49 -5 <C(1010) 10002
4 54 0 0001 (0101)E> 10002
5 58 4 0001 0101 (0101)B> 1000
6 72 8 0001 01012 (1101)E>
7 81 3 0001 01012 <A(1010) 1010
8 89 -5 0001 <A(1010) 10103
9 98 0 0101 (0101)E> 10103
10 110 12 01014 (0101)E>
11 119 7 01014 <A(1010) 1010
12 135 -9 <A(1010) 10105
13 144 -4 0001 (1010)A> 10105
14 149 -9 0001 <B(0101) 0010 10104
15 170 -4 0101 (0101)E> 0010 10104
16 174 0 01012 (0100)A> 10104
17 199 -5 01012 <C(1010) 1000 10103
18 207 -13 <C(1010) 10102 1000 10103
19 212 -8 0001 (0101)E> 10102 1000 10103
20 220 0 0001 01012 (0101)E> 1000 10103
21 224 4 0001 01013 (0101)B> 10103
22 232 8 0001 01014 (1010)A> 10102
23 237 3 0001 01014 <B(0101) 0010 1010
24 253 -1 0001 01013 <A(1010) 1010 0010 1010
25 265 -13 0001 <A(1010) 10104 0010 1010
26 274 -8 0101 (0101)E> 10104 0010 1010
27 290 8 01015 (0101)E> 0010 1010
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01011+V(1) (0101)E> 0010 10104+V(2)
1 4 4 01012+V(1) (0100)A> 10104+V(2)
2 29 -1 01012+V(1) <C(1010) 1000 10103+V(2)
3 37+4*V(1) -9+-4*V(1) <C(1010) 10102+V(1) 1000 10103+V(2)
4 42+4*V(1) -4+-4*V(1) 0001 (0101)E> 10102+V(1) 1000 10103+V(2)
5 50+8*V(1) 4 0001 01012+V(1) (0101)E> 1000 10103+V(2)
6 54+8*V(1) 8 0001 01013+V(1) (0101)B> 10103+V(2)
7 62+8*V(1) 12 0001 01014+V(1) (1010)A> 10102+V(2)
8 67+8*V(1) 7 0001 01014+V(1) <B(0101) 0010 10101+V(2)
9 83+8*V(1) 3 0001 01013+V(1) <A(1010) 1010 0010 10101+V(2)
10 95+12*V(1) -9+-4*V(1) 0001 <A(1010) 10104+V(1) 0010 10101+V(2)
11 104+12*V(1) -4+-4*V(1) 0101 (0101)E> 10104+V(1) 0010 10101+V(2)
12 120+16*V(1) 12 01015+V(1) (0101)E> 0010 10101+V(2)
<< Success! ==> defined new CTR 1 (PA)
28 294 12 01016 (0100)A> 1010
29 319 7 01016 <C(1010) 1000
30 343 -17 <C(1010) 10106 1000
31 348 -12 0001 (0101)E> 10106 1000
32 372 12 0001 01016 (0101)E> 1000
33 376 16 0001 01017 (0101)B>
34 381 11 0001 01017 <C(1010) 1000
35 409 -17 0001 <C(1010) 10107 1000
36 439 -21 <C(1010) 1000 10107 1000
37 444 -16 0001 (0101)E> 1000 10107 1000
38 448 -12 0001 0101 (0101)B> 10107 1000
39 456 -8 0001 01012 (1010)A> 10106 1000
40 461 -13 0001 01012 <B(0101) 0010 10105 1000
41 477 -17 0001 0101 <A(1010) 1010 0010 10105 1000
42 481 -21 0001 <A(1010) 10102 0010 10105 1000
43 490 -16 0101 (0101)E> 10102 0010 10105 1000
44 498 -8 01013 (0101)E> 0010 10105 1000
45 502 -4 01014 (0100)A> 10105 1000
46 527 -9 01014 <C(1010) 1000 10104 1000
47 543 -25 <C(1010) 10104 1000 10104 1000
48 548 -20 0001 (0101)E> 10104 1000 10104 1000
49 564 -4 0001 01014 (0101)E> 1000 10104 1000
50 568 0 0001 01015 (0101)B> 10104 1000
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10104+V(2) [*]*
1 8 4 0001 01012+V(1) (1010)A> 10103+V(2) [*]*
2 13 -1 0001 01012+V(1) <B(0101) 0010 10102+V(2) [*]*
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 10102+V(2) [*]*
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 10102+V(2) [*]*
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 10102+V(2) [*]*
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 10102+V(2) [*]*
7 54+8*V(1) 8 01014+V(1) (0100)A> 10102+V(2) [*]*
8 79+8*V(1) 3 01014+V(1) <C(1010) 1000 10101+V(2) [*]*
9 95+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 1000 10101+V(2) [*]*
10 100+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 1000 10101+V(2) [*]*
11 116+16*V(1) 8 0001 01014+V(1) (0101)E> 1000 10101+V(2) [*]*
12 120+16*V(1) 12 0001 01015+V(1) (0101)B> 10101+V(2) [*]*
<< Success! ==> defined new CTR 2 (PA)
50 568 0 0001 01015 (0101)B> 10104 1000
== Executing PA-CTR 2, V(1)=4, V(2)=0, repcount=1, factor=4/3
62 752 12 0001 01019 (0101)B> 1010 1000
63 760 16 0001 010110 (1010)A> 1000
64 765 11 0001 010110 <B(0101)
65 781 7 0001 01019 <A(1010) 1010
66 817 -29 0001 <A(1010) 101010
67 826 -24 0101 (0101)E> 101010
68 866 16 010111 (0101)E>
69 875 11 010111 <A(1010) 1010
70 919 -33 <A(1010) 101012
71 928 -28 0001 (1010)A> 101012
72 933 -33 0001 <B(0101) 0010 101011
73 954 -28 0101 (0101)E> 0010 101011
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01012+V(1) (0101)B> 1010 1000
1 8 4 0001 01013+V(1) (1010)A> 1000
2 13 -1 0001 01013+V(1) <B(0101)
3 29 -5 0001 01012+V(1) <A(1010) 1010
4 37+4*V(1) -13+-4*V(1) 0001 <A(1010) 10103+V(1)
5 46+4*V(1) -8+-4*V(1) 0101 (0101)E> 10103+V(1)
6 58+8*V(1) 4 01014+V(1) (0101)E>
7 67+8*V(1) -1 01014+V(1) <A(1010) 1010
8 83+12*V(1) -17+-4*V(1) <A(1010) 10105+V(1)
9 92+12*V(1) -12+-4*V(1) 0001 (1010)A> 10105+V(1)
10 97+12*V(1) -17+-4*V(1) 0001 <B(0101) 0010 10104+V(1)
11 118+12*V(1) -12+-4*V(1) 0101 (0101)E> 0010 10104+V(1)
<< Success! ==> defined new CTR 3 (PPA)
73 954 -28 0101 (0101)E> 0010 101011
== Executing PA-CTR 1, V(1)=0, V(2)=7, repcount=3, factor=4/3
109 1506 8 010113 (0101)E> 0010 10102
110 1510 12 010114 (0100)A> 10102
111 1535 7 010114 <C(1010) 1000 1010
112 1591 -49 <C(1010) 101014 1000 1010
113 1596 -44 0001 (0101)E> 101014 1000 1010
114 1652 12 0001 010114 (0101)E> 1000 1010
115 1656 16 0001 010115 (0101)B> 1010
116 1664 20 0001 010116 (1010)A>
117 1671 15 0001 010116 <D(0101) 0100
118 1713 11 0001 010115 <C(1010) 1000 0100
119 1773 -49 0001 <C(1010) 101015 1000 0100
120 1803 -53 <C(1010) 1000 101015 1000 0100
121 1808 -48 0001 (0101)E> 1000 101015 1000 0100
122 1812 -44 0001 0101 (0101)B> 101015 1000 0100
123 1820 -40 0001 01012 (1010)A> 101014 1000 0100
124 1825 -45 0001 01012 <B(0101) 0010 101013 1000 0100
125 1841 -49 0001 0101 <A(1010) 1010 0010 101013 1000 0100
126 1845 -53 0001 <A(1010) 10102 0010 101013 1000 0100
127 1854 -48 0101 (0101)E> 10102 0010 101013 1000 0100
128 1862 -40 01013 (0101)E> 0010 101013 1000 0100
129 1866 -36 01014 (0100)A> 101013 1000 0100
130 1891 -41 01014 <C(1010) 1000 101012 1000 0100
131 1907 -57 <C(1010) 10104 1000 101012 1000 0100
132 1912 -52 0001 (0101)E> 10104 1000 101012 1000 0100
133 1928 -36 0001 01014 (0101)E> 1000 101012 1000 0100
134 1932 -32 0001 01015 (0101)B> 101012 1000 0100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10104+V(2) [*]* [*]*
1 8 4 0001 01012+V(1) (1010)A> 10103+V(2) [*]* [*]*
2 13 -1 0001 01012+V(1) <B(0101) 0010 10102+V(2) [*]* [*]*
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 10102+V(2) [*]* [*]*
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 10102+V(2) [*]* [*]*
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 10102+V(2) [*]* [*]*
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 10102+V(2) [*]* [*]*
7 54+8*V(1) 8 01014+V(1) (0100)A> 10102+V(2) [*]* [*]*
8 79+8*V(1) 3 01014+V(1) <C(1010) 1000 10101+V(2) [*]* [*]*
9 95+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 1000 10101+V(2) [*]* [*]*
10 100+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 1000 10101+V(2) [*]* [*]*
11 116+16*V(1) 8 0001 01014+V(1) (0101)E> 1000 10101+V(2) [*]* [*]*
12 120+16*V(1) 12 0001 01015+V(1) (0101)B> 10101+V(2) [*]* [*]*
<< Success! ==> defined new CTR 4 (PA)
134 1932 -32 0001 01015 (0101)B> 101012 1000 0100
== Executing PA-CTR 4, V(1)=4, V(2)=8, repcount=3, factor=4/3
170 2676 4 0001 010117 (0101)B> 10103 1000 0100
171 2684 8 0001 010118 (1010)A> 10102 1000 0100
172 2689 3 0001 010118 <B(0101) 0010 1010 1000 0100
173 2705 -1 0001 010117 <A(1010) 1010 0010 1010 1000 0100
174 2773 -69 0001 <A(1010) 101018 0010 1010 1000 0100
175 2782 -64 0101 (0101)E> 101018 0010 1010 1000 0100
176 2854 8 010119 (0101)E> 0010 1010 1000 0100
177 2858 12 010120 (0100)A> 1010 1000 0100
178 2883 7 010120 <C(1010) 10002 0100
179 2963 -73 <C(1010) 101020 10002 0100
180 2968 -68 0001 (0101)E> 101020 10002 0100
181 3048 12 0001 010120 (0101)E> 10002 0100
182 3052 16 0001 010121 (0101)B> 1000 0100
183 3066 20 0001 010122 (1101)E> 0100
184 3085 15 0001 010122 <B(0101)
185 3101 11 0001 010121 <A(1010) 1010
186 3185 -73 0001 <A(1010) 101022
187 3194 -68 0101 (0101)E> 101022
188 3282 20 010123 (0101)E>
189 3291 15 010123 <A(1010) 1010
190 3383 -77 <A(1010) 101024
191 3392 -72 0001 (1010)A> 101024
192 3397 -77 0001 <B(0101) 0010 101023
193 3418 -72 0101 (0101)E> 0010 101023
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10103 1000 0100
1 8 4 0001 01012+V(1) (1010)A> 10102 1000 0100
2 13 -1 0001 01012+V(1) <B(0101) 0010 1010 1000 0100
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 1010 1000 0100
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 1010 1000 0100
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 1010 1000 0100
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 1010 1000 0100
7 54+8*V(1) 8 01014+V(1) (0100)A> 1010 1000 0100
8 79+8*V(1) 3 01014+V(1) <C(1010) 10002 0100
9 95+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 10002 0100
10 100+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 10002 0100
11 116+16*V(1) 8 0001 01014+V(1) (0101)E> 10002 0100
12 120+16*V(1) 12 0001 01015+V(1) (0101)B> 1000 0100
13 134+16*V(1) 16 0001 01016+V(1) (1101)E> 0100
14 153+16*V(1) 11 0001 01016+V(1) <B(0101)
15 169+16*V(1) 7 0001 01015+V(1) <A(1010) 1010
16 189+20*V(1) -13+-4*V(1) 0001 <A(1010) 10106+V(1)
17 198+20*V(1) -8+-4*V(1) 0101 (0101)E> 10106+V(1)
18 222+24*V(1) 16 01017+V(1) (0101)E>
19 231+24*V(1) 11 01017+V(1) <A(1010) 1010
20 259+28*V(1) -17+-4*V(1) <A(1010) 10108+V(1)
21 268+28*V(1) -12+-4*V(1) 0001 (1010)A> 10108+V(1)
22 273+28*V(1) -17+-4*V(1) 0001 <B(0101) 0010 10107+V(1)
23 294+28*V(1) -12+-4*V(1) 0101 (0101)E> 0010 10107+V(1)
<< Success! ==> defined new CTR 5 (PPA)
193 3418 -72 0101 (0101)E> 0010 101023
== Executing PA-CTR 1, V(1)=0, V(2)=19, repcount=7, factor=4/3
277 5602 12 010129 (0101)E> 0010 10102
278 5606 16 010130 (0100)A> 10102
279 5631 11 010130 <C(1010) 1000 1010
280 5751 -109 <C(1010) 101030 1000 1010
281 5756 -104 0001 (0101)E> 101030 1000 1010
282 5876 16 0001 010130 (0101)E> 1000 1010
283 5880 20 0001 010131 (0101)B> 1010
284 5888 24 0001 010132 (1010)A>
285 5895 19 0001 010132 <D(0101) 0100
286 5937 15 0001 010131 <C(1010) 1000 0100
287 6061 -109 0001 <C(1010) 101031 1000 0100
288 6091 -113 <C(1010) 1000 101031 1000 0100
289 6096 -108 0001 (0101)E> 1000 101031 1000 0100
290 6100 -104 0001 0101 (0101)B> 101031 1000 0100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01012+V(1) (0101)E> 0010 10102
1 4 4 01013+V(1) (0100)A> 10102
2 29 -1 01013+V(1) <C(1010) 1000 1010
3 41+4*V(1) -13+-4*V(1) <C(1010) 10103+V(1) 1000 1010
4 46+4*V(1) -8+-4*V(1) 0001 (0101)E> 10103+V(1) 1000 1010
5 58+8*V(1) 4 0001 01013+V(1) (0101)E> 1000 1010
6 62+8*V(1) 8 0001 01014+V(1) (0101)B> 1010
7 70+8*V(1) 12 0001 01015+V(1) (1010)A>
8 77+8*V(1) 7 0001 01015+V(1) <D(0101) 0100
9 119+8*V(1) 3 0001 01014+V(1) <C(1010) 1000 0100
10 135+12*V(1) -13+-4*V(1) 0001 <C(1010) 10104+V(1) 1000 0100
11 165+12*V(1) -17+-4*V(1) <C(1010) 1000 10104+V(1) 1000 0100
12 170+12*V(1) -12+-4*V(1) 0001 (0101)E> 1000 10104+V(1) 1000 0100
13 174+12*V(1) -8+-4*V(1) 0001 0101 (0101)B> 10104+V(1) 1000 0100
<< Success! ==> defined new CTR 6 (PPA)
290 6100 -104 0001 0101 (0101)B> 101031 1000 0100
== Executing PA-CTR 4, V(1)=0, V(2)=27, repcount=10, factor=4/3
410 10180 16 0001 010141 (0101)B> 1010 1000 0100
411 10188 20 0001 010142 (1010)A> 1000 0100
412 10193 15 0001 010142 <B(0101) 0000 0100
413 10209 11 0001 010141 <A(1010) 1010 0000 0100
414 10373 -153 0001 <A(1010) 101042 0000 0100
415 10382 -148 0101 (0101)E> 101042 0000 0100
416 10550 20 010143 (0101)E> 0000 0100
417 10559 15 010143 <A(1010) 1010 0100
418 10731 -157 <A(1010) 101044 0100
419 10740 -152 0001 (1010)A> 101044 0100
420 10745 -157 0001 <B(0101) 0010 101043 0100
421 10766 -152 0101 (0101)E> 0010 101043 0100
422 10770 -148 01012 (0100)A> 101043 0100
423 10795 -153 01012 <C(1010) 1000 101042 0100
424 10803 -161 <C(1010) 10102 1000 101042 0100
425 10808 -156 0001 (0101)E> 10102 1000 101042 0100
426 10816 -148 0001 01012 (0101)E> 1000 101042 0100
427 10820 -144 0001 01013 (0101)B> 101042 0100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01013+V(1) (0101)B> 1010 1000 [*]*
1 8 4 0001 01014+V(1) (1010)A> 1000 [*]*
2 13 -1 0001 01014+V(1) <B(0101) 0000 [*]*
3 29 -5 0001 01013+V(1) <A(1010) 1010 0000 [*]*
4 41+4*V(1) -17+-4*V(1) 0001 <A(1010) 10104+V(1) 0000 [*]*
5 50+4*V(1) -12+-4*V(1) 0101 (0101)E> 10104+V(1) 0000 [*]*
6 66+8*V(1) 4 01015+V(1) (0101)E> 0000 [*]*
7 75+8*V(1) -1 01015+V(1) <A(1010) 1010 [*]*
8 95+12*V(1) -21+-4*V(1) <A(1010) 10106+V(1) [*]*
9 104+12*V(1) -16+-4*V(1) 0001 (1010)A> 10106+V(1) [*]*
10 109+12*V(1) -21+-4*V(1) 0001 <B(0101) 0010 10105+V(1) [*]*
11 130+12*V(1) -16+-4*V(1) 0101 (0101)E> 0010 10105+V(1) [*]*
12 134+12*V(1) -12+-4*V(1) 01012 (0100)A> 10105+V(1) [*]*
13 159+12*V(1) -17+-4*V(1) 01012 <C(1010) 1000 10104+V(1) [*]*
14 167+12*V(1) -25+-4*V(1) <C(1010) 10102 1000 10104+V(1) [*]*
15 172+12*V(1) -20+-4*V(1) 0001 (0101)E> 10102 1000 10104+V(1) [*]*
16 180+12*V(1) -12+-4*V(1) 0001 01012 (0101)E> 1000 10104+V(1) [*]*
17 184+12*V(1) -8+-4*V(1) 0001 01013 (0101)B> 10104+V(1) [*]*
<< Success! ==> defined new CTR 7 (PPA)
427 10820 -144 0001 01013 (0101)B> 101042 0100
== Executing PA-CTR 2, V(1)=2, V(2)=38, repcount=13, factor=4/3
583 17788 12 0001 010155 (0101)B> 10103 0100
584 17796 16 0001 010156 (1010)A> 10102 0100
585 17801 11 0001 010156 <B(0101) 0010 1010 0100
586 17817 7 0001 010155 <A(1010) 1010 0010 1010 0100
587 18037 -213 0001 <A(1010) 101056 0010 1010 0100
588 18046 -208 0101 (0101)E> 101056 0010 1010 0100
589 18270 16 010157 (0101)E> 0010 1010 0100
590 18274 20 010158 (0100)A> 1010 0100
591 18299 15 010158 <C(1010) 1000 0100
592 18531 -217 <C(1010) 101058 1000 0100
593 18536 -212 0001 (0101)E> 101058 1000 0100
594 18768 20 0001 010158 (0101)E> 1000 0100
595 18772 24 0001 010159 (0101)B> 0100
596 18777 19 0001 010159 <C(1010) 1100
597 19013 -217 0001 <C(1010) 101059 1100
598 19043 -221 <C(1010) 1000 101059 1100
599 19048 -216 0001 (0101)E> 1000 101059 1100
600 19052 -212 0001 0101 (0101)B> 101059 1100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10103 0100
1 8 4 0001 01012+V(1) (1010)A> 10102 0100
2 13 -1 0001 01012+V(1) <B(0101) 0010 1010 0100
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 1010 0100
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 1010 0100
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 1010 0100
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 1010 0100
7 54+8*V(1) 8 01014+V(1) (0100)A> 1010 0100
8 79+8*V(1) 3 01014+V(1) <C(1010) 1000 0100
9 95+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 1000 0100
10 100+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 1000 0100
11 116+16*V(1) 8 0001 01014+V(1) (0101)E> 1000 0100
12 120+16*V(1) 12 0001 01015+V(1) (0101)B> 0100
13 125+16*V(1) 7 0001 01015+V(1) <C(1010) 1100
14 145+20*V(1) -13+-4*V(1) 0001 <C(1010) 10105+V(1) 1100
15 175+20*V(1) -17+-4*V(1) <C(1010) 1000 10105+V(1) 1100
16 180+20*V(1) -12+-4*V(1) 0001 (0101)E> 1000 10105+V(1) 1100
17 184+20*V(1) -8+-4*V(1) 0001 0101 (0101)B> 10105+V(1) 1100
<< Success! ==> defined new CTR 8 (PPA)
600 19052 -212 0001 0101 (0101)B> 101059 1100
== Executing PA-CTR 2, V(1)=0, V(2)=55, repcount=19, factor=4/3
828 32276 16 0001 010177 (0101)B> 10102 1100
829 32284 20 0001 010178 (1010)A> 1010 1100
830 32289 15 0001 010178 <B(0101) 0010 1100
831 32305 11 0001 010177 <A(1010) 1010 0010 1100
832 32613 -297 0001 <A(1010) 101078 0010 1100
833 32622 -292 0101 (0101)E> 101078 0010 1100
834 32934 20 010179 (0101)E> 0010 1100
835 32938 24 010180 (0100)A> 1100
836 32946 28 010180 0110 (1010)A>
837 32953 23 010180 0110 <D(0101) 0100
838 32969 19 010180 <C(1010) 1001 0100
839 33289 -301 <C(1010) 101080 1001 0100
840 33294 -296 0001 (0101)E> 101080 1001 0100
841 33614 24 0001 010180 (0101)E> 1001 0100
842 33625 19 0001 010180 <A(1010) 1010 0100
843 33945 -301 0001 <A(1010) 101081 0100
844 33954 -296 0101 (0101)E> 101081 0100
845 34278 28 010182 (0101)E> 0100
846 34285 23 010182 <C(1010) 1000
847 34613 -305 <C(1010) 101082 1000
848 34618 -300 0001 (0101)E> 101082 1000
849 34946 28 0001 010182 (0101)E> 1000
850 34950 32 0001 010183 (0101)B>
851 34955 27 0001 010183 <C(1010) 1000
852 35287 -305 0001 <C(1010) 101083 1000
853 35317 -309 <C(1010) 1000 101083 1000
854 35322 -304 0001 (0101)E> 1000 101083 1000
855 35326 -300 0001 0101 (0101)B> 101083 1000
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10102 1100
1 8 4 0001 01012+V(1) (1010)A> 1010 1100
2 13 -1 0001 01012+V(1) <B(0101) 0010 1100
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 1100
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 1100
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 1100
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 1100
7 54+8*V(1) 8 01014+V(1) (0100)A> 1100
8 62+8*V(1) 12 01014+V(1) 0110 (1010)A>
9 69+8*V(1) 7 01014+V(1) 0110 <D(0101) 0100
10 85+8*V(1) 3 01014+V(1) <C(1010) 1001 0100
11 101+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 1001 0100
12 106+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 1001 0100
13 122+16*V(1) 8 0001 01014+V(1) (0101)E> 1001 0100
14 133+16*V(1) 3 0001 01014+V(1) <A(1010) 1010 0100
15 149+20*V(1) -13+-4*V(1) 0001 <A(1010) 10105+V(1) 0100
16 158+20*V(1) -8+-4*V(1) 0101 (0101)E> 10105+V(1) 0100
17 178+24*V(1) 12 01016+V(1) (0101)E> 0100
18 185+24*V(1) 7 01016+V(1) <C(1010) 1000
19 209+28*V(1) -17+-4*V(1) <C(1010) 10106+V(1) 1000
20 214+28*V(1) -12+-4*V(1) 0001 (0101)E> 10106+V(1) 1000
21 238+32*V(1) 12 0001 01016+V(1) (0101)E> 1000
22 242+32*V(1) 16 0001 01017+V(1) (0101)B>
23 247+32*V(1) 11 0001 01017+V(1) <C(1010) 1000
24 275+36*V(1) -17+-4*V(1) 0001 <C(1010) 10107+V(1) 1000
25 305+36*V(1) -21+-4*V(1) <C(1010) 1000 10107+V(1) 1000
26 310+36*V(1) -16+-4*V(1) 0001 (0101)E> 1000 10107+V(1) 1000
27 314+36*V(1) -12+-4*V(1) 0001 0101 (0101)B> 10107+V(1) 1000
<< Success! ==> defined new CTR 9 (PPA)
855 35326 -300 0001 0101 (0101)B> 101083 1000
== Executing PA-CTR 2, V(1)=0, V(2)=79, repcount=27, factor=4/3
1179 61030 24 0001 0101109 (0101)B> 10102 1000
1180 61038 28 0001 0101110 (1010)A> 1010 1000
1181 61043 23 0001 0101110 <B(0101) 0010 1000
1182 61059 19 0001 0101109 <A(1010) 1010 0010 1000
1183 61495 -417 0001 <A(1010) 1010110 0010 1000
1184 61504 -412 0101 (0101)E> 1010110 0010 1000
1185 61944 28 0101111 (0101)E> 0010 1000
1186 61948 32 0101112 (0100)A> 1000
1187 61989 27 0101112 <B(0101) 0001
1188 62005 23 0101111 <A(1010) 1010 0001
1189 62449 -421 <A(1010) 1010112 0001
1190 62458 -416 0001 (1010)A> 1010112 0001
1191 62463 -421 0001 <B(0101) 0010 1010111 0001
1192 62484 -416 0101 (0101)E> 0010 1010111 0001
1193 62488 -412 01012 (0100)A> 1010111 0001
1194 62513 -417 01012 <C(1010) 1000 1010110 0001
1195 62521 -425 <C(1010) 10102 1000 1010110 0001
1196 62526 -420 0001 (0101)E> 10102 1000 1010110 0001
1197 62534 -412 0001 01012 (0101)E> 1000 1010110 0001
1198 62538 -408 0001 01013 (0101)B> 1010110 0001
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01013+V(1) (0101)B> 10102 1000
1 8 4 0001 01014+V(1) (1010)A> 1010 1000
2 13 -1 0001 01014+V(1) <B(0101) 0010 1000
3 29 -5 0001 01013+V(1) <A(1010) 1010 0010 1000
4 41+4*V(1) -17+-4*V(1) 0001 <A(1010) 10104+V(1) 0010 1000
5 50+4*V(1) -12+-4*V(1) 0101 (0101)E> 10104+V(1) 0010 1000
6 66+8*V(1) 4 01015+V(1) (0101)E> 0010 1000
7 70+8*V(1) 8 01016+V(1) (0100)A> 1000
8 111+8*V(1) 3 01016+V(1) <B(0101) 0001
9 127+8*V(1) -1 01015+V(1) <A(1010) 1010 0001
10 147+12*V(1) -21+-4*V(1) <A(1010) 10106+V(1) 0001
11 156+12*V(1) -16+-4*V(1) 0001 (1010)A> 10106+V(1) 0001
12 161+12*V(1) -21+-4*V(1) 0001 <B(0101) 0010 10105+V(1) 0001
13 182+12*V(1) -16+-4*V(1) 0101 (0101)E> 0010 10105+V(1) 0001
14 186+12*V(1) -12+-4*V(1) 01012 (0100)A> 10105+V(1) 0001
15 211+12*V(1) -17+-4*V(1) 01012 <C(1010) 1000 10104+V(1) 0001
16 219+12*V(1) -25+-4*V(1) <C(1010) 10102 1000 10104+V(1) 0001
17 224+12*V(1) -20+-4*V(1) 0001 (0101)E> 10102 1000 10104+V(1) 0001
18 232+12*V(1) -12+-4*V(1) 0001 01012 (0101)E> 1000 10104+V(1) 0001
19 236+12*V(1) -8+-4*V(1) 0001 01013 (0101)B> 10104+V(1) 0001
<< Success! ==> defined new CTR 10 (PPA)
1198 62538 -408 0001 01013 (0101)B> 1010110 0001
== Executing PA-CTR 2, V(1)=2, V(2)=106, repcount=36, factor=4/3
1630 108330 24 0001 0101147 (0101)B> 10102 0001
1631 108338 28 0001 0101148 (1010)A> 1010 0001
1632 108343 23 0001 0101148 <B(0101) 0010 0001
1633 108359 19 0001 0101147 <A(1010) 1010 0010 0001
1634 108947 -569 0001 <A(1010) 1010148 0010 0001
1635 108956 -564 0101 (0101)E> 1010148 0010 0001
1636 109548 28 0101149 (0101)E> 0010 0001
1637 109552 32 0101150 (0100)A> 0001
1638 109597 27 0101150 <C(1010) 1000
1639 110197 -573 <C(1010) 1010150 1000
1640 110202 -568 0001 (0101)E> 1010150 1000
1641 110802 32 0001 0101150 (0101)E> 1000
1642 110806 36 0001 0101151 (0101)B>
1643 110811 31 0001 0101151 <C(1010) 1000
1644 111415 -573 0001 <C(1010) 1010151 1000
1645 111445 -577 <C(1010) 1000 1010151 1000
1646 111450 -572 0001 (0101)E> 1000 1010151 1000
1647 111454 -568 0001 0101 (0101)B> 1010151 1000
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10102 0001
1 8 4 0001 01012+V(1) (1010)A> 1010 0001
2 13 -1 0001 01012+V(1) <B(0101) 0010 0001
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 0001
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 0001
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 0001
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 0001
7 54+8*V(1) 8 01014+V(1) (0100)A> 0001
8 99+8*V(1) 3 01014+V(1) <C(1010) 1000
9 115+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 1000
10 120+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 1000
11 136+16*V(1) 8 0001 01014+V(1) (0101)E> 1000
12 140+16*V(1) 12 0001 01015+V(1) (0101)B>
13 145+16*V(1) 7 0001 01015+V(1) <C(1010) 1000
14 165+20*V(1) -13+-4*V(1) 0001 <C(1010) 10105+V(1) 1000
15 195+20*V(1) -17+-4*V(1) <C(1010) 1000 10105+V(1) 1000
16 200+20*V(1) -12+-4*V(1) 0001 (0101)E> 1000 10105+V(1) 1000
17 204+20*V(1) -8+-4*V(1) 0001 0101 (0101)B> 10105+V(1) 1000
<< Success! ==> defined new CTR 11 (PPA)
1647 111454 -568 0001 0101 (0101)B> 1010151 1000
== Executing PA-CTR 2, V(1)=0, V(2)=147, repcount=50, factor=4/3
2247 195854 32 0001 0101201 (0101)B> 1010 1000
== Executing PPA-CTR 3 (once), V(1)=199
2258 198360 -776 0101 (0101)E> 0010 1010203
== Executing PA-CTR 1, V(1)=0, V(2)=199, repcount=67, factor=4/3
3062 347904 28 0101269 (0101)E> 0010 10102
== Executing PPA-CTR 6 (once), V(1)=267
3075 351282 -1048 0001 0101 (0101)B> 1010271 1000 0100
== Executing PA-CTR 4, V(1)=0, V(2)=267, repcount=90, factor=4/3
4155 618402 32 0001 0101361 (0101)B> 1010 1000 0100
== Executing PPA-CTR 7 (once), V(1)=358
4172 622882 -1408 0001 01013 (0101)B> 1010362 0100
== Executing PA-CTR 2, V(1)=2, V(2)=358, repcount=120, factor=4/3
5612 1098082 32 0001 0101483 (0101)B> 10102 0100
5613 1098090 36 0001 0101484 (1010)A> 1010 0100
5614 1098095 31 0001 0101484 <B(0101) 0010 0100
5615 1098111 27 0001 0101483 <A(1010) 1010 0010 0100
5616 1100043 -1905 0001 <A(1010) 1010484 0010 0100
5617 1100052 -1900 0101 (0101)E> 1010484 0010 0100
5618 1101988 36 0101485 (0101)E> 0010 0100
5619 1101992 40 0101486 (0100)A> 0100
5620 1101996 44 0101486 0100 (1001)B>
5621 1102017 39 0101486 0100 <B(0101) 0101
5622 1102024 44 0101486 0110 (1010)F> 0101
5623 1102028 48 0101486 0110 1010 (1010)F>
5624 1102039 43 0101486 0110 1010 <B(0101) 0101
5625 1102043 39 0101486 0110 <B(0101) 01012
5626 1102073 35 0101486 <B(0101) 0001 01012
5627 1102089 31 0101485 <A(1010) 1010 0001 01012
5628 1104029 -1909 <A(1010) 1010486 0001 01012
5629 1104038 -1904 0001 (1010)A> 1010486 0001 01012
5630 1104043 -1909 0001 <B(0101) 0010 1010485 0001 01012
5631 1104064 -1904 0101 (0101)E> 0010 1010485 0001 01012
5632 1104068 -1900 01012 (0100)A> 1010485 0001 01012
5633 1104093 -1905 01012 <C(1010) 1000 1010484 0001 01012
5634 1104101 -1913 <C(1010) 10102 1000 1010484 0001 01012
5635 1104106 -1908 0001 (0101)E> 10102 1000 1010484 0001 01012
5636 1104114 -1900 0001 01012 (0101)E> 1000 1010484 0001 01012
5637 1104118 -1896 0001 01013 (0101)B> 1010484 0001 01012
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01013+V(1) (0101)B> 10102 0100
1 8 4 0001 01014+V(1) (1010)A> 1010 0100
2 13 -1 0001 01014+V(1) <B(0101) 0010 0100
3 29 -5 0001 01013+V(1) <A(1010) 1010 0010 0100
4 41+4*V(1) -17+-4*V(1) 0001 <A(1010) 10104+V(1) 0010 0100
5 50+4*V(1) -12+-4*V(1) 0101 (0101)E> 10104+V(1) 0010 0100
6 66+8*V(1) 4 01015+V(1) (0101)E> 0010 0100
7 70+8*V(1) 8 01016+V(1) (0100)A> 0100
8 74+8*V(1) 12 01016+V(1) 0100 (1001)B>
9 95+8*V(1) 7 01016+V(1) 0100 <B(0101) 0101
10 102+8*V(1) 12 01016+V(1) 0110 (1010)F> 0101
11 106+8*V(1) 16 01016+V(1) 0110 1010 (1010)F>
12 117+8*V(1) 11 01016+V(1) 0110 1010 <B(0101) 0101
13 121+8*V(1) 7 01016+V(1) 0110 <B(0101) 01012
14 151+8*V(1) 3 01016+V(1) <B(0101) 0001 01012
15 167+8*V(1) -1 01015+V(1) <A(1010) 1010 0001 01012
16 187+12*V(1) -21+-4*V(1) <A(1010) 10106+V(1) 0001 01012
17 196+12*V(1) -16+-4*V(1) 0001 (1010)A> 10106+V(1) 0001 01012
18 201+12*V(1) -21+-4*V(1) 0001 <B(0101) 0010 10105+V(1) 0001 01012
19 222+12*V(1) -16+-4*V(1) 0101 (0101)E> 0010 10105+V(1) 0001 01012
20 226+12*V(1) -12+-4*V(1) 01012 (0100)A> 10105+V(1) 0001 01012
21 251+12*V(1) -17+-4*V(1) 01012 <C(1010) 1000 10104+V(1) 0001 01012
22 259+12*V(1) -25+-4*V(1) <C(1010) 10102 1000 10104+V(1) 0001 01012
23 264+12*V(1) -20+-4*V(1) 0001 (0101)E> 10102 1000 10104+V(1) 0001 01012
24 272+12*V(1) -12+-4*V(1) 0001 01012 (0101)E> 1000 10104+V(1) 0001 01012
25 276+12*V(1) -8+-4*V(1) 0001 01013 (0101)B> 10104+V(1) 0001 01012
<< Success! ==> defined new CTR 12 (PPA)
5637 1104118 -1896 0001 01013 (0101)B> 1010484 0001 01012
== Executing PA-CTR 4, V(1)=2, V(2)=480, repcount=161, factor=4/3
7569 1952910 36 0001 0101647 (0101)B> 1010 0001 01012
7570 1952918 40 0001 0101648 (1010)A> 0001 01012
7571 1952925 35 0001 0101648 <D(0101) 01013
7572 1952967 31 0001 0101647 <C(1010) 1000 01013
7573 1955555 -2557 0001 <C(1010) 1010647 1000 01013
7574 1955585 -2561 <C(1010) 1000 1010647 1000 01013
7575 1955590 -2556 0001 (0101)E> 1000 1010647 1000 01013
7576 1955594 -2552 0001 0101 (0101)B> 1010647 1000 01013
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 0001 01014+V(1) (0101)B> 1010 0001 01011+V(2)
1 8 4 0001 01015+V(1) (1010)A> 0001 01011+V(2)
2 15 -1 0001 01015+V(1) <D(0101) 01012+V(2)
3 57 -5 0001 01014+V(1) <C(1010) 1000 01012+V(2)
4 73+4*V(1) -21+-4*V(1) 0001 <C(1010) 10104+V(1) 1000 01012+V(2)
5 103+4*V(1) -25+-4*V(1) <C(1010) 1000 10104+V(1) 1000 01012+V(2)
6 108+4*V(1) -20+-4*V(1) 0001 (0101)E> 1000 10104+V(1) 1000 01012+V(2)
7 112+4*V(1) -16+-4*V(1) 0001 0101 (0101)B> 10104+V(1) 1000 01012+V(2)
<< Success! ==> defined new CTR 13 (PPA)
7576 1955594 -2552 0001 0101 (0101)B> 1010647 1000 01013
== Executing PA-CTR 4, V(1)=0, V(2)=643, repcount=215, factor=4/3
10156 3453714 28 0001 0101861 (0101)B> 10102 1000 01013
10157 3453722 32 0001 0101862 (1010)A> 1010 1000 01013
10158 3453727 27 0001 0101862 <B(0101) 0010 1000 01013
10159 3453743 23 0001 0101861 <A(1010) 1010 0010 1000 01013
10160 3457187 -3421 0001 <A(1010) 1010862 0010 1000 01013
10161 3457196 -3416 0101 (0101)E> 1010862 0010 1000 01013
10162 3460644 32 0101863 (0101)E> 0010 1000 01013
10163 3460648 36 0101864 (0100)A> 1000 01013
10164 3460689 31 0101864 <B(0101) 0001 01013
10165 3460705 27 0101863 <A(1010) 1010 0001 01013
10166 3464157 -3425 <A(1010) 1010864 0001 01013
10167 3464166 -3420 0001 (1010)A> 1010864 0001 01013
10168 3464171 -3425 0001 <B(0101) 0010 1010863 0001 01013
10169 3464192 -3420 0101 (0101)E> 0010 1010863 0001 01013
10170 3464196 -3416 01012 (0100)A> 1010863 0001 01013
10171 3464221 -3421 01012 <C(1010) 1000 1010862 0001 01013
10172 3464229 -3429 <C(1010) 10102 1000 1010862 0001 01013
10173 3464234 -3424 0001 (0101)E> 10102 1000 1010862 0001 01013
10174 3464242 -3416 0001 01012 (0101)E> 1000 1010862 0001 01013
10175 3464246 -3412 0001 01013 (0101)B> 1010862 0001 01013
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01013+V(1) (0101)B> 10102 1000 [*]*
1 8 4 0001 01014+V(1) (1010)A> 1010 1000 [*]*
2 13 -1 0001 01014+V(1) <B(0101) 0010 1000 [*]*
3 29 -5 0001 01013+V(1) <A(1010) 1010 0010 1000 [*]*
4 41+4*V(1) -17+-4*V(1) 0001 <A(1010) 10104+V(1) 0010 1000 [*]*
5 50+4*V(1) -12+-4*V(1) 0101 (0101)E> 10104+V(1) 0010 1000 [*]*
6 66+8*V(1) 4 01015+V(1) (0101)E> 0010 1000 [*]*
7 70+8*V(1) 8 01016+V(1) (0100)A> 1000 [*]*
8 111+8*V(1) 3 01016+V(1) <B(0101) 0001 [*]*
9 127+8*V(1) -1 01015+V(1) <A(1010) 1010 0001 [*]*
10 147+12*V(1) -21+-4*V(1) <A(1010) 10106+V(1) 0001 [*]*
11 156+12*V(1) -16+-4*V(1) 0001 (1010)A> 10106+V(1) 0001 [*]*
12 161+12*V(1) -21+-4*V(1) 0001 <B(0101) 0010 10105+V(1) 0001 [*]*
13 182+12*V(1) -16+-4*V(1) 0101 (0101)E> 0010 10105+V(1) 0001 [*]*
14 186+12*V(1) -12+-4*V(1) 01012 (0100)A> 10105+V(1) 0001 [*]*
15 211+12*V(1) -17+-4*V(1) 01012 <C(1010) 1000 10104+V(1) 0001 [*]*
16 219+12*V(1) -25+-4*V(1) <C(1010) 10102 1000 10104+V(1) 0001 [*]*
17 224+12*V(1) -20+-4*V(1) 0001 (0101)E> 10102 1000 10104+V(1) 0001 [*]*
18 232+12*V(1) -12+-4*V(1) 0001 01012 (0101)E> 1000 10104+V(1) 0001 [*]*
19 236+12*V(1) -8+-4*V(1) 0001 01013 (0101)B> 10104+V(1) 0001 [*]*
<< Success! ==> defined new CTR 14 (PPA)
10175 3464246 -3412 0001 01013 (0101)B> 1010862 0001 01013
== Executing PA-CTR 4, V(1)=2, V(2)=858, repcount=287, factor=4/3
13619 6134494 32 0001 01011151 (0101)B> 1010 0001 01013
== Executing PPA-CTR 13 (once), V(1)=1147, V(2)=2
13626 6139194 -4572 0001 0101 (0101)B> 10101151 1000 01014
== Executing PA-CTR 4, V(1)=0, V(2)=1147, repcount=383, factor=4/3
18222 10866946 24 0001 01011533 (0101)B> 10102 1000 01014
== Executing PPA-CTR 14 (once), V(1)=1530
18241 10885542 -6104 0001 01013 (0101)B> 10101534 0001 01014
== Executing PA-CTR 4, V(1)=2, V(2)=1530, repcount=511, factor=4/3
24373 19302734 28 0001 01012047 (0101)B> 1010 0001 01014
== Executing PPA-CTR 13 (once), V(1)=2043, V(2)=3
24380 19311018 -8160 0001 0101 (0101)B> 10102047 1000 01015
== Executing PA-CTR 4, V(1)=0, V(2)=2043, repcount=682, factor=4/3
32564 34255002 24 0001 01012729 (0101)B> 1010 1000 01015
== Executing PPA-CTR 7 (once), V(1)=2726
32581 34287898 -10888 0001 01013 (0101)B> 10102730 01015
== Executing PA-CTR 2, V(1)=2, V(2)=2726, repcount=909, factor=4/3
43489 60837970 20 0001 01013639 (0101)B> 10103 01015
43490 60837978 24 0001 01013640 (1010)A> 10102 01015
43491 60837983 19 0001 01013640 <B(0101) 0010 1010 01015
43492 60837999 15 0001 01013639 <A(1010) 1010 0010 1010 01015
43493 60852555 -14541 0001 <A(1010) 10103640 0010 1010 01015
43494 60852564 -14536 0101 (0101)E> 10103640 0010 1010 01015
43495 60867124 24 01013641 (0101)E> 0010 1010 01015
43496 60867128 28 01013642 (0100)A> 1010 01015
43497 60867153 23 01013642 <C(1010) 1000 01015
43498 60881721 -14545 <C(1010) 10103642 1000 01015
43499 60881726 -14540 0001 (0101)E> 10103642 1000 01015
43500 60896294 28 0001 01013642 (0101)E> 1000 01015
43501 60896298 32 0001 01013643 (0101)B> 01015
43502 60896303 27 0001 01013643 <C(1010) 1101 01014
43503 60910875 -14545 0001 <C(1010) 10103643 1101 01014
43504 60910905 -14549 <C(1010) 1000 10103643 1101 01014
43505 60910910 -14544 0001 (0101)E> 1000 10103643 1101 01014
43506 60910914 -14540 0001 0101 (0101)B> 10103643 1101 01014
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10103 01012+V(2)
1 8 4 0001 01012+V(1) (1010)A> 10102 01012+V(2)
2 13 -1 0001 01012+V(1) <B(0101) 0010 1010 01012+V(2)
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 1010 01012+V(2)
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 1010 01012+V(2)
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 1010 01012+V(2)
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 1010 01012+V(2)
7 54+8*V(1) 8 01014+V(1) (0100)A> 1010 01012+V(2)
8 79+8*V(1) 3 01014+V(1) <C(1010) 1000 01012+V(2)
9 95+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 1000 01012+V(2)
10 100+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 1000 01012+V(2)
11 116+16*V(1) 8 0001 01014+V(1) (0101)E> 1000 01012+V(2)
12 120+16*V(1) 12 0001 01015+V(1) (0101)B> 01012+V(2)
13 125+16*V(1) 7 0001 01015+V(1) <C(1010) 1101 01011+V(2)
14 145+20*V(1) -13+-4*V(1) 0001 <C(1010) 10105+V(1) 1101 01011+V(2)
15 175+20*V(1) -17+-4*V(1) <C(1010) 1000 10105+V(1) 1101 01011+V(2)
16 180+20*V(1) -12+-4*V(1) 0001 (0101)E> 1000 10105+V(1) 1101 01011+V(2)
17 184+20*V(1) -8+-4*V(1) 0001 0101 (0101)B> 10105+V(1) 1101 01011+V(2)
<< Success! ==> defined new CTR 15 (PPA)
43506 60910914 -14540 0001 0101 (0101)B> 10103643 1101 01014
== Executing PA-CTR 4, V(1)=0, V(2)=3639, repcount=1214, factor=4/3
58074 108179218 28 0001 01014857 (0101)B> 1010 1101 01014
58075 108179226 32 0001 01014858 (1010)A> 1101 01014
58076 108179231 27 0001 01014858 <B(0101) 01015
58077 108179247 23 0001 01014857 <A(1010) 1010 01015
58078 108198675 -19405 0001 <A(1010) 10104858 01015
58079 108198684 -19400 0101 (0101)E> 10104858 01015
58080 108218116 32 01014859 (0101)E> 01015
58081 108218123 27 01014859 <C(1010) 1001 01014
58082 108237559 -19409 <C(1010) 10104859 1001 01014
58083 108237564 -19404 0001 (0101)E> 10104859 1001 01014
58084 108257000 32 0001 01014859 (0101)E> 1001 01014
58085 108257011 27 0001 01014859 <A(1010) 1010 01014
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 0001 01011+V(1) <A(1010) 1010 01012+V(2)
1 4+4*V(1) -4+-4*V(1) 0001 <A(1010) 10102+V(1) 01012+V(2)
2 13+4*V(1) 1+-4*V(1) 0101 (0101)E> 10102+V(1) 01012+V(2)
3 21+8*V(1) 9 01013+V(1) (0101)E> 01012+V(2)
4 28+8*V(1) 4 01013+V(1) <C(1010) 1001 01011+V(2)
5 40+12*V(1) -8+-4*V(1) <C(1010) 10103+V(1) 1001 01011+V(2)
6 45+12*V(1) -3+-4*V(1) 0001 (0101)E> 10103+V(1) 1001 01011+V(2)
7 57+16*V(1) 9 0001 01013+V(1) (0101)E> 1001 01011+V(2)
8 68+16*V(1) 4 0001 01013+V(1) <A(1010) 1010 01011+V(2)
<< Success! ==> defined new CTR 16 (PA)
58085 108257011 27 0001 01014859 <A(1010) 1010 01014
== Executing PA-CTR 16, V(1)=4858, V(2)=2, repcount=3, factor=2/1
58109 108490495 39 0001 01014865 <A(1010) 1010 0101
58110 108509955 -19421 0001 <A(1010) 10104866 0101
58111 108509964 -19416 0101 (0101)E> 10104866 0101
58112 108529428 48 01014867 (0101)E> 0101
58113 108529435 43 01014867 <C(1010) 1001
58114 108548903 -19425 <C(1010) 10104867 1001
58115 108548908 -19420 0001 (0101)E> 10104867 1001
58116 108568376 48 0001 01014867 (0101)E> 1001
58117 108568387 43 0001 01014867 <A(1010) 1010
58118 108587855 -19425 0001 <A(1010) 10104868
58119 108587864 -19420 0101 (0101)E> 10104868
58120 108607336 52 01014869 (0101)E>
58121 108607345 47 01014869 <A(1010) 1010
58122 108626821 -19429 <A(1010) 10104870
58123 108626830 -19424 0001 (1010)A> 10104870
58124 108626835 -19429 0001 <B(0101) 0010 10104869
58125 108626856 -19424 0101 (0101)E> 0010 10104869
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 0001 01011+V(1) <A(1010) 10101+V(2) 0101
1 4+4*V(1) -4+-4*V(1) 0001 <A(1010) 10102+V(1)+V(2) 0101
2 13+4*V(1) 1+-4*V(1) 0101 (0101)E> 10102+V(1)+V(2) 0101
3 21+8*V(1)+4*V(2) 9+4*V(2) 01013+V(1)+V(2) (0101)E> 0101
4 28+8*V(1)+4*V(2) 4+4*V(2) 01013+V(1)+V(2) <C(1010) 1001
5 40+12*V(1)+8*V(2) -8+-4*V(1) <C(1010) 10103+V(1)+V(2) 1001
6 45+12*V(1)+8*V(2) -3+-4*V(1) 0001 (0101)E> 10103+V(1)+V(2) 1001
7 57+16*V(1)+12*V(2) 9+4*V(2) 0001 01013+V(1)+V(2) (0101)E> 1001
8 68+16*V(1)+12*V(2) 4+4*V(2) 0001 01013+V(1)+V(2) <A(1010) 1010
9 80+20*V(1)+16*V(2) -8+-4*V(1) 0001 <A(1010) 10104+V(1)+V(2)
10 89+20*V(1)+16*V(2) -3+-4*V(1) 0101 (0101)E> 10104+V(1)+V(2)
11 105+24*V(1)+20*V(2) 13+4*V(2) 01015+V(1)+V(2) (0101)E>
12 114+24*V(1)+20*V(2) 8+4*V(2) 01015+V(1)+V(2) <A(1010) 1010
13 134+28*V(1)+24*V(2) -12+-4*V(1) <A(1010) 10106+V(1)+V(2)
14 143+28*V(1)+24*V(2) -7+-4*V(1) 0001 (1010)A> 10106+V(1)+V(2)
15 148+28*V(1)+24*V(2) -12+-4*V(1) 0001 <B(0101) 0010 10105+V(1)+V(2)
16 169+28*V(1)+24*V(2) -7+-4*V(1) 0101 (0101)E> 0010 10105+V(1)+V(2)
<< Success! ==> defined new CTR 17 (PPA)
58125 108626856 -19424 0101 (0101)E> 0010 10104869
== Executing PA-CTR 1, V(1)=0, V(2)=4865, repcount=1622, factor=4/3
77589 192957880 40 01016489 (0101)E> 0010 10103
77590 192957884 44 01016490 (0100)A> 10103
77591 192957909 39 01016490 <C(1010) 1000 10102
77592 192983869 -25921 <C(1010) 10106490 1000 10102
77593 192983874 -25916 0001 (0101)E> 10106490 1000 10102
77594 193009834 44 0001 01016490 (0101)E> 1000 10102
77595 193009838 48 0001 01016491 (0101)B> 10102
77596 193009846 52 0001 01016492 (1010)A> 1010
77597 193009851 47 0001 01016492 <B(0101) 0010
77598 193009867 43 0001 01016491 <A(1010) 1010 0010
77599 193035831 -25921 0001 <A(1010) 10106492 0010
77600 193035840 -25916 0101 (0101)E> 10106492 0010
77601 193061808 52 01016493 (0101)E> 0010
77602 193061812 56 01016494 (0100)A>
77603 193061826 60 01016494 0111 (0101)B>
77604 193061831 55 01016494 0111 <C(1010) 1000
77605 193061835 51 01016494 <C(1010) 1010 1000
77606 193087811 -25925 <C(1010) 10106495 1000
77607 193087816 -25920 0001 (0101)E> 10106495 1000
77608 193113796 60 0001 01016495 (0101)E> 1000
77609 193113800 64 0001 01016496 (0101)B>
77610 193113805 59 0001 01016496 <C(1010) 1000
77611 193139789 -25925 0001 <C(1010) 10106496 1000
77612 193139819 -25929 <C(1010) 1000 10106496 1000
77613 193139824 -25924 0001 (0101)E> 1000 10106496 1000
77614 193139828 -25920 0001 0101 (0101)B> 10106496 1000
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01011+V(1) (0101)E> 0010 10103
1 4 4 01012+V(1) (0100)A> 10103
2 29 -1 01012+V(1) <C(1010) 1000 10102
3 37+4*V(1) -9+-4*V(1) <C(1010) 10102+V(1) 1000 10102
4 42+4*V(1) -4+-4*V(1) 0001 (0101)E> 10102+V(1) 1000 10102
5 50+8*V(1) 4 0001 01012+V(1) (0101)E> 1000 10102
6 54+8*V(1) 8 0001 01013+V(1) (0101)B> 10102
7 62+8*V(1) 12 0001 01014+V(1) (1010)A> 1010
8 67+8*V(1) 7 0001 01014+V(1) <B(0101) 0010
9 83+8*V(1) 3 0001 01013+V(1) <A(1010) 1010 0010
10 95+12*V(1) -9+-4*V(1) 0001 <A(1010) 10104+V(1) 0010
11 104+12*V(1) -4+-4*V(1) 0101 (0101)E> 10104+V(1) 0010
12 120+16*V(1) 12 01015+V(1) (0101)E> 0010
13 124+16*V(1) 16 01016+V(1) (0100)A>
14 138+16*V(1) 20 01016+V(1) 0111 (0101)B>
15 143+16*V(1) 15 01016+V(1) 0111 <C(1010) 1000
16 147+16*V(1) 11 01016+V(1) <C(1010) 1010 1000
17 171+20*V(1) -13+-4*V(1) <C(1010) 10107+V(1) 1000
18 176+20*V(1) -8+-4*V(1) 0001 (0101)E> 10107+V(1) 1000
19 204+24*V(1) 20 0001 01017+V(1) (0101)E> 1000
20 208+24*V(1) 24 0001 01018+V(1) (0101)B>
21 213+24*V(1) 19 0001 01018+V(1) <C(1010) 1000
22 245+28*V(1) -13+-4*V(1) 0001 <C(1010) 10108+V(1) 1000
23 275+28*V(1) -17+-4*V(1) <C(1010) 1000 10108+V(1) 1000
24 280+28*V(1) -12+-4*V(1) 0001 (0101)E> 1000 10108+V(1) 1000
25 284+28*V(1) -8+-4*V(1) 0001 0101 (0101)B> 10108+V(1) 1000
<< Success! ==> defined new CTR 18 (PPA)
77614 193139828 -25920 0001 0101 (0101)B> 10106496 1000
== Executing PA-CTR 2, V(1)=0, V(2)=6492, repcount=2165, factor=4/3
103594 343321548 60 0001 01018661 (0101)B> 1010 1000
== Executing PPA-CTR 3 (once), V(1)=8659
103605 343425574 -34588 0101 (0101)E> 0010 10108663
== Executing PA-CTR 1, V(1)=0, V(2)=8659, repcount=2887, factor=4/3
138249 610392238 56 010111549 (0101)E> 0010 10102
== Executing PPA-CTR 6 (once), V(1)=11547
138262 610530976 -46140 0001 0101 (0101)B> 101011551 1000 0100
== Executing PA-CTR 4, V(1)=0, V(2)=11547, repcount=3850, factor=4/3
184462 1085189776 60 0001 010115401 (0101)B> 1010 1000 0100
== Executing PPA-CTR 7 (once), V(1)=15398
184479 1085374736 -61540 0001 01013 (0101)B> 101015402 0100
== Executing PA-CTR 2, V(1)=2, V(2)=15398, repcount=5133, factor=4/3
246075 1929116744 56 0001 010120535 (0101)B> 10103 0100
== Executing PPA-CTR 8 (once), V(1)=20534
246092 1929527608 -82088 0001 0101 (0101)B> 101020539 1100
== Executing PA-CTR 2, V(1)=0, V(2)=20535, repcount=6846, factor=4/3
328244 3429896968 64 0001 010127385 (0101)B> 1010 1100
328245 3429896976 68 0001 010127386 (1010)A> 1100
328246 3429896981 63 0001 010127386 <B(0101) 0100
328247 3429896997 59 0001 010127385 <A(1010) 1010 0100
328248 3430006537 -109481 0001 <A(1010) 101027386 0100
328249 3430006546 -109476 0101 (0101)E> 101027386 0100
328250 3430116090 68 010127387 (0101)E> 0100
328251 3430116097 63 010127387 <C(1010) 1000
328252 3430225645 -109485 <C(1010) 101027387 1000
328253 3430225650 -109480 0001 (0101)E> 101027387 1000
328254 3430335198 68 0001 010127387 (0101)E> 1000
328255 3430335202 72 0001 010127388 (0101)B>
328256 3430335207 67 0001 010127388 <C(1010) 1000
328257 3430444759 -109485 0001 <C(1010) 101027388 1000
328258 3430444789 -109489 <C(1010) 1000 101027388 1000
328259 3430444794 -109484 0001 (0101)E> 1000 101027388 1000
328260 3430444798 -109480 0001 0101 (0101)B> 101027388 1000
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01011+V(1) (0101)B> 1010 1100
1 8 4 0001 01012+V(1) (1010)A> 1100
2 13 -1 0001 01012+V(1) <B(0101) 0100
3 29 -5 0001 01011+V(1) <A(1010) 1010 0100
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0100
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0100
6 50+8*V(1) 4 01013+V(1) (0101)E> 0100
7 57+8*V(1) -1 01013+V(1) <C(1010) 1000
8 69+12*V(1) -13+-4*V(1) <C(1010) 10103+V(1) 1000
9 74+12*V(1) -8+-4*V(1) 0001 (0101)E> 10103+V(1) 1000
10 86+16*V(1) 4 0001 01013+V(1) (0101)E> 1000
11 90+16*V(1) 8 0001 01014+V(1) (0101)B>
12 95+16*V(1) 3 0001 01014+V(1) <C(1010) 1000
13 111+20*V(1) -13+-4*V(1) 0001 <C(1010) 10104+V(1) 1000
14 141+20*V(1) -17+-4*V(1) <C(1010) 1000 10104+V(1) 1000
15 146+20*V(1) -12+-4*V(1) 0001 (0101)E> 1000 10104+V(1) 1000
16 150+20*V(1) -8+-4*V(1) 0001 0101 (0101)B> 10104+V(1) 1000
<< Success! ==> defined new CTR 19 (PPA)
328260 3430444798 -109480 0001 0101 (0101)B> 101027388 1000
== Executing PA-CTR 2, V(1)=0, V(2)=27384, repcount=9129, factor=4/3
437808 6098084662 68 0001 010136517 (0101)B> 1010 1000
== Executing PPA-CTR 3 (once), V(1)=36515
437819 6098522960 -146004 0101 (0101)E> 0010 101036519
== Executing PA-CTR 1, V(1)=0, V(2)=36515, repcount=12172, factor=4/3
583883 10840636784 60 010148689 (0101)E> 0010 10103
== Executing PPA-CTR 18 (once), V(1)=48688
583908 10842000332 -194700 0001 0101 (0101)B> 101048696 1000
== Executing PA-CTR 2, V(1)=0, V(2)=48692, repcount=16231, factor=4/3
778680 19273680212 72 0001 010164925 (0101)B> 10103 1000
778681 19273680220 76 0001 010164926 (1010)A> 10102 1000
778682 19273680225 71 0001 010164926 <B(0101) 0010 1010 1000
778683 19273680241 67 0001 010164925 <A(1010) 1010 0010 1010 1000
778684 19273939941 -259633 0001 <A(1010) 101064926 0010 1010 1000
778685 19273939950 -259628 0101 (0101)E> 101064926 0010 1010 1000
778686 19274199654 76 010164927 (0101)E> 0010 1010 1000
778687 19274199658 80 010164928 (0100)A> 1010 1000
778688 19274199683 75 010164928 <C(1010) 10002
778689 19274459395 -259637 <C(1010) 101064928 10002
778690 19274459400 -259632 0001 (0101)E> 101064928 10002
778691 19274719112 80 0001 010164928 (0101)E> 10002
778692 19274719116 84 0001 010164929 (0101)B> 1000
778693 19274719130 88 0001 010164930 (1101)E>
778694 19274719139 83 0001 010164930 <A(1010) 1010
778695 19274978859 -259637 0001 <A(1010) 101064931
778696 19274978868 -259632 0101 (0101)E> 101064931
778697 19275238592 92 010164932 (0101)E>
778698 19275238601 87 010164932 <A(1010) 1010
778699 19275498329 -259641 <A(1010) 101064933
778700 19275498338 -259636 0001 (1010)A> 101064933
778701 19275498343 -259641 0001 <B(0101) 0010 101064932
778702 19275498364 -259636 0101 (0101)E> 0010 101064932
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10103 1000
1 8 4 0001 01012+V(1) (1010)A> 10102 1000
2 13 -1 0001 01012+V(1) <B(0101) 0010 1010 1000
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 1010 1000
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 1010 1000
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 1010 1000
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 1010 1000
7 54+8*V(1) 8 01014+V(1) (0100)A> 1010 1000
8 79+8*V(1) 3 01014+V(1) <C(1010) 10002
9 95+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 10002
10 100+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 10002
11 116+16*V(1) 8 0001 01014+V(1) (0101)E> 10002
12 120+16*V(1) 12 0001 01015+V(1) (0101)B> 1000
13 134+16*V(1) 16 0001 01016+V(1) (1101)E>
14 143+16*V(1) 11 0001 01016+V(1) <A(1010) 1010
15 167+20*V(1) -13+-4*V(1) 0001 <A(1010) 10107+V(1)
16 176+20*V(1) -8+-4*V(1) 0101 (0101)E> 10107+V(1)
17 204+24*V(1) 20 01018+V(1) (0101)E>
18 213+24*V(1) 15 01018+V(1) <A(1010) 1010
19 245+28*V(1) -17+-4*V(1) <A(1010) 10109+V(1)
20 254+28*V(1) -12+-4*V(1) 0001 (1010)A> 10109+V(1)
21 259+28*V(1) -17+-4*V(1) 0001 <B(0101) 0010 10108+V(1)
22 280+28*V(1) -12+-4*V(1) 0101 (0101)E> 0010 10108+V(1)
<< Success! ==> defined new CTR 20 (PPA)
778702 19275498364 -259636 0101 (0101)E> 0010 101064932
== Executing PA-CTR 1, V(1)=0, V(2)=64928, repcount=21643, factor=4/3
1038418 34266825316 80 010186573 (0101)E> 0010 10103
== Executing PPA-CTR 18 (once), V(1)=86572
1038443 34269249616 -346216 0001 0101 (0101)B> 101086580 1000
== Executing PA-CTR 2, V(1)=0, V(2)=86576, repcount=28859, factor=4/3
1384751 60922729400 92 0001 0101115437 (0101)B> 10103 1000
== Executing PPA-CTR 20 (once), V(1)=115436
1384773 60925961888 -461664 0101 (0101)E> 0010 1010115444
== Executing PA-CTR 1, V(1)=0, V(2)=115440, repcount=38481, factor=4/3
1846545 108314543768 108 0101153925 (0101)E> 0010 1010
1846546 108314543772 112 0101153926 (0100)A> 1010
1846547 108314543797 107 0101153926 <C(1010) 1000
1846548 108315159501 -615597 <C(1010) 1010153926 1000
1846549 108315159506 -615592 0001 (0101)E> 1010153926 1000
1846550 108315775210 112 0001 0101153926 (0101)E> 1000
1846551 108315775214 116 0001 0101153927 (0101)B>
1846552 108315775219 111 0001 0101153927 <C(1010) 1000
1846553 108316390927 -615597 0001 <C(1010) 1010153927 1000
1846554 108316390957 -615601 <C(1010) 1000 1010153927 1000
1846555 108316390962 -615596 0001 (0101)E> 1000 1010153927 1000
1846556 108316390966 -615592 0001 0101 (0101)B> 1010153927 1000
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01012+V(1) (0101)E> 0010 1010
1 4 4 01013+V(1) (0100)A> 1010
2 29 -1 01013+V(1) <C(1010) 1000
3 41+4*V(1) -13+-4*V(1) <C(1010) 10103+V(1) 1000
4 46+4*V(1) -8+-4*V(1) 0001 (0101)E> 10103+V(1) 1000
5 58+8*V(1) 4 0001 01013+V(1) (0101)E> 1000
6 62+8*V(1) 8 0001 01014+V(1) (0101)B>
7 67+8*V(1) 3 0001 01014+V(1) <C(1010) 1000
8 83+12*V(1) -13+-4*V(1) 0001 <C(1010) 10104+V(1) 1000
9 113+12*V(1) -17+-4*V(1) <C(1010) 1000 10104+V(1) 1000
10 118+12*V(1) -12+-4*V(1) 0001 (0101)E> 1000 10104+V(1) 1000
11 122+12*V(1) -8+-4*V(1) 0001 0101 (0101)B> 10104+V(1) 1000
<< Success! ==> defined new CTR 21 (PPA)
1846556 108316390966 -615592 0001 0101 (0101)B> 1010153927 1000
== Executing PA-CTR 2, V(1)=0, V(2)=153923, repcount=51308, factor=4/3
2462252 192561253718 104 0001 0101205233 (0101)B> 10103 1000
== Executing PPA-CTR 20 (once), V(1)=205232
2462274 192567000494 -820836 0101 (0101)E> 0010 1010205240
== Executing PA-CTR 1, V(1)=0, V(2)=205236, repcount=68413, factor=4/3
3283230 342343855046 120 0101273653 (0101)E> 0010 1010
== Executing PPA-CTR 21 (once), V(1)=273651
3283241 342347138980 -1094492 0001 0101 (0101)B> 1010273655 1000
== Executing PA-CTR 2, V(1)=0, V(2)=273651, repcount=91218, factor=4/3
4377857 608618318932 124 0001 0101364873 (0101)B> 1010 1000
== Executing PPA-CTR 3 (once), V(1)=364871
4377868 608622697502 -1459372 0101 (0101)E> 0010 1010364875
== Executing PA-CTR 1, V(1)=0, V(2)=364871, repcount=121624, factor=4/3
5837356 1081990116446 116 0101486497 (0101)E> 0010 10103
== Executing PPA-CTR 18 (once), V(1)=486496
5837381 1082003738618 -1945876 0001 0101 (0101)B> 1010486504 1000
== Executing PA-CTR 2, V(1)=0, V(2)=486500, repcount=162167, factor=4/3
7783385 1923558357762 128 0001 0101648669 (0101)B> 10103 1000
== Executing PPA-CTR 20 (once), V(1)=648668
7783407 1923576520746 -2594556 0101 (0101)E> 0010 1010648676
== Executing PA-CTR 1, V(1)=0, V(2)=648672, repcount=216225, factor=4/3
10378107 3419699568546 144 0101864901 (0101)E> 0010 1010
== Executing PPA-CTR 21 (once), V(1)=864899
10378118 3419709947456 -3459460 0001 0101 (0101)B> 1010864903 1000
== Executing PA-CTR 2, V(1)=0, V(2)=864899, repcount=288300, factor=4/3
13837718 6079475797856 140 0001 01011153201 (0101)B> 10103 1000
== Executing PPA-CTR 20 (once), V(1)=1153200
13837740 6079508087736 -4612672 0101 (0101)E> 0010 10101153208
== Executing PA-CTR 1, V(1)=0, V(2)=1153204, repcount=384402, factor=4/3
18450564 10808018638440 152 01011537609 (0101)E> 0010 10102
== Executing PPA-CTR 6 (once), V(1)=1537607
18450577 10808037089898 -6150284 0001 0101 (0101)B> 10101537611 1000 0100
== Executing PA-CTR 4, V(1)=0, V(2)=1537607, repcount=512536, factor=4/3
24601009 19214263034538 148 0001 01012050145 (0101)B> 10103 1000 0100
== Executing PPA-CTR 5 (once), V(1)=2050144
24601032 19214320438864 -8200440 0101 (0101)E> 0010 10102050151
== Executing PA-CTR 1, V(1)=0, V(2)=2050147, repcount=683383, factor=4/3
32801628 34158774966616 156 01012733533 (0101)E> 0010 10102
== Executing PPA-CTR 6 (once), V(1)=2733531
32801641 34158807769162 -10933976 0001 0101 (0101)B> 10102733535 1000 0100
== Executing PA-CTR 4, V(1)=0, V(2)=2733531, repcount=911178, factor=4/3
43735777 60726739078714 160 0001 01013644713 (0101)B> 1010 1000 0100
== Executing PPA-CTR 7 (once), V(1)=3644710
43735794 60726782815418 -14578688 0001 01013 (0101)B> 10103644714 0100
== Executing PA-CTR 2, V(1)=2, V(2)=3644710, repcount=1214904, factor=4/3
58314642 107958663938810 160 0001 01014859619 (0101)B> 10102 0100
== Executing PPA-CTR 12 (once), V(1)=4859616
58314667 107958722254478 -19438312 0001 01013 (0101)B> 10104859620 0001 01012
== Executing PA-CTR 4, V(1)=2, V(2)=4859616, repcount=1619873, factor=4/3
77753143 191926549795366 164 0001 01016479495 (0101)B> 1010 0001 01012
== Executing PPA-CTR 13 (once), V(1)=6479491, V(2)=1
77753150 191926575713442 -25917816 0001 0101 (0101)B> 10106479495 1000 01013
== Executing PA-CTR 4, V(1)=0, V(2)=6479491, repcount=2159831, factor=4/3
103671122 341202604132522 156 0001 01018639325 (0101)B> 10102 1000 01013
== Executing PPA-CTR 14 (once), V(1)=8639322
103671141 341202707804622 -34557140 0001 01013 (0101)B> 10108639326 0001 01013
== Executing PA-CTR 4, V(1)=2, V(2)=8639322, repcount=2879775, factor=4/3
138228441 606582382997622 160 0001 010111519103 (0101)B> 1010 0001 01013
== Executing PPA-CTR 13 (once), V(1)=11519099, V(2)=2
138228448 606582429074130 -46076252 0001 0101 (0101)B> 101011519103 1000 01014
== Executing PA-CTR 4, V(1)=0, V(2)=11519099, repcount=3839700, factor=4/3
184304848 1078368241847730 148 0001 010115358801 (0101)B> 10103 1000 01014
184304849 1078368241847738 152 0001 010115358802 (1010)A> 10102 1000 01014
184304850 1078368241847743 147 0001 010115358802 <B(0101) 0010 1010 1000 01014
184304851 1078368241847759 143 0001 010115358801 <A(1010) 1010 0010 1010 1000 01014
184304852 1078368303282963 -61435061 0001 <A(1010) 101015358802 0010 1010 1000 01014
184304853 1078368303282972 -61435056 0101 (0101)E> 101015358802 0010 1010 1000 01014
184304854 1078368364718180 152 010115358803 (0101)E> 0010 1010 1000 01014
184304855 1078368364718184 156 010115358804 (0100)A> 1010 1000 01014
184304856 1078368364718209 151 010115358804 <C(1010) 10002 01014
184304857 1078368426153425 -61435065 <C(1010) 101015358804 10002 01014
184304858 1078368426153430 -61435060 0001 (0101)E> 101015358804 10002 01014
184304859 1078368487588646 156 0001 010115358804 (0101)E> 10002 01014
184304860 1078368487588650 160 0001 010115358805 (0101)B> 1000 01014
184304861 1078368487588664 164 0001 010115358806 (1101)E> 01014
184304862 1078368487588683 159 0001 010115358806 <B(0101) 0001 01013
184304863 1078368487588699 155 0001 010115358805 <A(1010) 1010 0001 01013
184304864 1078368549023919 -61435065 0001 <A(1010) 101015358806 0001 01013
184304865 1078368549023928 -61435060 0101 (0101)E> 101015358806 0001 01013
184304866 1078368610459152 164 010115358807 (0101)E> 0001 01013
184304867 1078368610459161 159 010115358807 <A(1010) 1011 01013
184304868 1078368671894389 -61435069 <A(1010) 101015358807 1011 01013
184304869 1078368671894398 -61435064 0001 (1010)A> 101015358807 1011 01013
184304870 1078368671894403 -61435069 0001 <B(0101) 0010 101015358806 1011 01013
184304871 1078368671894424 -61435064 0101 (0101)E> 0010 101015358806 1011 01013
184304872 1078368671894428 -61435060 01012 (0100)A> 101015358806 1011 01013
184304873 1078368671894453 -61435065 01012 <C(1010) 1000 101015358805 1011 01013
184304874 1078368671894461 -61435073 <C(1010) 10102 1000 101015358805 1011 01013
184304875 1078368671894466 -61435068 0001 (0101)E> 10102 1000 101015358805 1011 01013
184304876 1078368671894474 -61435060 0001 01012 (0101)E> 1000 101015358805 1011 01013
184304877 1078368671894478 -61435056 0001 01013 (0101)B> 101015358805 1011 01013
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 0001 01011+V(1) (0101)B> 10103 1000 01012+V(2)
1 8 4 0001 01012+V(1) (1010)A> 10102 1000 01012+V(2)
2 13 -1 0001 01012+V(1) <B(0101) 0010 1010 1000 01012+V(2)
3 29 -5 0001 01011+V(1) <A(1010) 1010 0010 1010 1000 01012+V(2)
4 33+4*V(1) -9+-4*V(1) 0001 <A(1010) 10102+V(1) 0010 1010 1000 01012+V(2)
5 42+4*V(1) -4+-4*V(1) 0101 (0101)E> 10102+V(1) 0010 1010 1000 01012+V(2)
6 50+8*V(1) 4 01013+V(1) (0101)E> 0010 1010 1000 01012+V(2)
7 54+8*V(1) 8 01014+V(1) (0100)A> 1010 1000 01012+V(2)
8 79+8*V(1) 3 01014+V(1) <C(1010) 10002 01012+V(2)
9 95+12*V(1) -13+-4*V(1) <C(1010) 10104+V(1) 10002 01012+V(2)
10 100+12*V(1) -8+-4*V(1) 0001 (0101)E> 10104+V(1) 10002 01012+V(2)
11 116+16*V(1) 8 0001 01014+V(1) (0101)E> 10002 01012+V(2)
12 120+16*V(1) 12 0001 01015+V(1) (0101)B> 1000 01012+V(2)
13 134+16*V(1) 16 0001 01016+V(1) (1101)E> 01012+V(2)
14 153+16*V(1) 11 0001 01016+V(1) <B(0101) 0001 01011+V(2)
15 169+16*V(1) 7 0001 01015+V(1) <A(1010) 1010 0001 01011+V(2)
16 189+20*V(1) -13+-4*V(1) 0001 <A(1010) 10106+V(1) 0001 01011+V(2)
17 198+20*V(1) -8+-4*V(1) 0101 (0101)E> 10106+V(1) 0001 01011+V(2)
18 222+24*V(1) 16 01017+V(1) (0101)E> 0001 01011+V(2)
19 231+24*V(1) 11 01017+V(1) <A(1010) 1011 01011+V(2)
20 259+28*V(1) -17+-4*V(1) <A(1010) 10107+V(1) 1011 01011+V(2)
21 268+28*V(1) -12+-4*V(1) 0001 (1010)A> 10107+V(1) 1011 01011+V(2)
22 273+28*V(1) -17+-4*V(1) 0001 <B(0101) 0010 10106+V(1) 1011 01011+V(2)
23 294+28*V(1) -12+-4*V(1) 0101 (0101)E> 0010 10106+V(1) 1011 01011+V(2)
24 298+28*V(1) -8+-4*V(1) 01012 (0100)A> 10106+V(1) 1011 01011+V(2)
25 323+28*V(1) -13+-4*V(1) 01012 <C(1010) 1000 10105+V(1) 1011 01011+V(2)
26 331+28*V(1) -21+-4*V(1) <C(1010) 10102 1000 10105+V(1) 1011 01011+V(2)
27 336+28*V(1) -16+-4*V(1) 0001 (0101)E> 10102 1000 10105+V(1) 1011 01011+V(2)
28 344+28*V(1) -8+-4*V(1) 0001 01012 (0101)E> 1000 10105+V(1) 1011 01011+V(2)
29 348+28*V(1) -4+-4*V(1) 0001 01013 (0101)B> 10105+V(1) 1011 01011+V(2)
<< Success! ==> defined new CTR 22 (PPA)
184304877 1078368671894478 -61435056 0001 01013 (0101)B> 101015358805 1011 01013
== Executing PA-CTR 4, V(1)=2, V(2)=15358801, repcount=5119601, factor=4/3
245740089 1917099347021030 156 0001 010120478407 (0101)B> 10102 1011 01013
245740090 1917099347021038 160 0001 010120478408 (1010)A> 1010 1011 01013
245740091 1917099347021043 155 0001 010120478408 <B(0101) 0010 1011 01013
Lines: 501
Top steps: 500
Macro steps: 245740091
Basic steps: 1917099347021043
Tape index: 155
ones: 40956829
log10(ones ): 7.612
log10(steps ): 15.283
Input to awk program:
gohalt 1
L 16
5T B1R B0L C1L E0R E1R D0L A1L A1L A0R F0R E1R Z1R : >6.9*10^49 >5.5*10^99
T 6-state TM #p from MaBu-List
M 501
pref sim
machv mbL6_p just simple
machv mbL6_p-r with repetitions reduced
machv mbL6_p-1 with tape symbol exponents
machv mbL6_p-m as 4-bck-macro machine
machv mbL6_p-a as 4-bck-macro machine with pure additive config-TRs
iam mbL6_p-a
mtype 4 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:14 CEST 2010
edate Tue Jul 6 22:11:16 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:11:14 CEST 2010