Comment: This TM produces >6.7*10^47 ones in >2.0*10^95 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C0L | 1 | right | B | 0 | left | C |
| B | A1L | D1R | 1 | left | A | 1 | right | D |
| C | A1R | E0L | 1 | right | A | 0 | left | E |
| D | A1R | B0R | 1 | right | A | 0 | right | B |
| E | F1L | C1L | 1 | left | F | 1 | left | C |
| F | D1R | Z1R | 1 | right | D | 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 2-bck-macro machine.
Simulation is done as 2-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 6 2 01 (11)D>
2 8 4 01 11 (11)B>
3 11 1 01 11 <E(00) 10
4 13 -1 01 <E(01) 00 10
5 17 -3 <E(00) 01 00 10
6 24 0 11 (11)A> 01 00 10
7 26 2 112 (11)D> 00 10
8 28 4 113 (11)B> 10
9 30 6 114 (11)A>
10 35 3 114 <C(10) 01
11 43 -5 <C(10) 104 01
12 47 -7 <F(10) 00 104 01
13 52 -4 01 (11)D> 00 104 01
14 54 -2 01 11 (11)B> 104 01
15 56 0 01 112 (11)A> 103 01
16 59 -3 01 112 <C(10) 00 102 01
17 63 -7 01 <C(10) 102 00 102 01
18 65 -9 <F(10) 103 00 102 01
19 70 -6 01 (11)D> 103 00 102 01
20 82 0 01 113 (11)D> 00 102 01
21 84 2 01 114 (11)B> 102 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 103+V(2) [*]*
1 2 2 01 112+V(1) (11)A> 102+V(2) [*]*
2 5 -1 01 112+V(1) <C(10) 00 101+V(2) [*]*
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 101+V(2) [*]*
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 101+V(2) [*]*
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 101+V(2) [*]*
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 101+V(2) [*]*
7 30+6*V(1) 4 01 114+V(1) (11)B> 101+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
22 86 4 01 115 (11)A> 10 01
23 89 1 01 115 <C(10) 00 01
24 99 -9 01 <C(10) 105 00 01
25 101 -11 <F(10) 106 00 01
26 106 -8 01 (11)D> 106 00 01
27 130 4 01 116 (11)D> 00 01
28 132 6 01 117 (11)B> 01
29 135 3 01 117 <E(00) 11
30 137 1 01 116 <E(01) 00 11
31 149 -11 01 <E(01) 016 00 11
32 153 -13 <E(00) 017 00 11
33 160 -10 11 (11)A> 017 00 11
34 162 -8 112 (11)D> 016 00 11
35 167 -11 112 <E(01) 00 015 00 11
36 171 -15 <E(01) 012 00 015 00 11
37 178 -12 11 (10)B> 012 00 015 00 11
38 186 -8 113 (10)B> 00 015 00 11
39 190 -6 114 (11)A> 015 00 11
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 013+V(2) [*]* [*]*
1 2 2 112+V(1) (11)D> 012+V(2) [*]* [*]*
2 7 -1 112+V(1) <E(01) 00 011+V(2) [*]* [*]*
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 011+V(2) [*]* [*]*
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 011+V(2) [*]* [*]*
5 26+6*V(1) 2 113+V(1) (10)B> 00 011+V(2) [*]* [*]*
6 30+6*V(1) 4 114+V(1) (11)A> 011+V(2) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
39 190 -6 114 (11)A> 015 00 11
== Executing PA-CTR 2, V(1)=3, V(2)=2, repcount=2, factor=3/2
51 304 2 1110 (11)A> 01 00 11
52 306 4 1111 (11)D> 00 11
53 308 6 1112 (11)B> 11
54 310 8 1113 (10)B>
55 314 10 1114 (11)A>
56 319 7 1114 <C(10) 01
57 347 -21 <C(10) 1014 01
58 351 -23 <F(10) 00 1014 01
59 356 -20 01 (11)D> 00 1014 01
60 358 -18 01 11 (11)B> 1014 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 01 00 11
1 2 2 112+V(1) (11)D> 00 11
2 4 4 113+V(1) (11)B> 11
3 6 6 114+V(1) (10)B>
4 10 8 115+V(1) (11)A>
5 15 5 115+V(1) <C(10) 01
6 25+2*V(1) -5+-2*V(1) <C(10) 105+V(1) 01
7 29+2*V(1) -7+-2*V(1) <F(10) 00 105+V(1) 01
8 34+2*V(1) -4+-2*V(1) 01 (11)D> 00 105+V(1) 01
9 36+2*V(1) -2+-2*V(1) 01 11 (11)B> 105+V(1) 01
<< Success! ==> defined new CTR 3 (PPA)
60 358 -18 01 11 (11)B> 1014 01
== Executing PA-CTR 1, V(1)=0, V(2)=11, repcount=6, factor=3/2
102 808 6 01 1119 (11)B> 102 01
103 810 8 01 1120 (11)A> 10 01
104 813 5 01 1120 <C(10) 00 01
105 853 -35 01 <C(10) 1020 00 01
106 855 -37 <F(10) 1021 00 01
107 860 -34 01 (11)D> 1021 00 01
108 944 8 01 1121 (11)D> 00 01
109 946 10 01 1122 (11)B> 01
110 949 7 01 1122 <E(00) 11
111 951 5 01 1121 <E(01) 00 11
112 993 -37 01 <E(01) 0121 00 11
113 997 -39 <E(00) 0122 00 11
114 1004 -36 11 (11)A> 0122 00 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 102 01
1 2 2 01 112+V(1) (11)A> 10 01
2 5 -1 01 112+V(1) <C(10) 00 01
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 01
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 01
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 01
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 01
7 30+6*V(1) 4 01 114+V(1) (11)B> 01
8 33+6*V(1) 1 01 114+V(1) <E(00) 11
9 35+6*V(1) -1 01 113+V(1) <E(01) 00 11
10 41+8*V(1) -7+-2*V(1) 01 <E(01) 013+V(1) 00 11
11 45+8*V(1) -9+-2*V(1) <E(00) 014+V(1) 00 11
12 52+8*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 11
<< Success! ==> defined new CTR 4 (PPA)
114 1004 -36 11 (11)A> 0122 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=19, repcount=10, factor=3/2
174 2114 4 1131 (11)A> 012 00 11
175 2116 6 1132 (11)D> 01 00 11
176 2121 3 1132 <E(01) 002 11
177 2185 -61 <E(01) 0132 002 11
178 2192 -58 11 (10)B> 0132 002 11
179 2320 6 1133 (10)B> 002 11
180 2324 8 1134 (11)A> 00 11
181 2329 5 1134 <C(10) 01 11
182 2397 -63 <C(10) 1034 01 11
183 2401 -65 <F(10) 00 1034 01 11
184 2406 -62 01 (11)D> 00 1034 01 11
185 2408 -60 01 11 (11)B> 1034 01 11
186 2410 -58 01 112 (11)A> 1033 01 11
187 2413 -61 01 112 <C(10) 00 1032 01 11
188 2417 -65 01 <C(10) 102 00 1032 01 11
189 2419 -67 <F(10) 103 00 1032 01 11
190 2424 -64 01 (11)D> 103 00 1032 01 11
191 2436 -58 01 113 (11)D> 00 1032 01 11
192 2438 -56 01 114 (11)B> 1032 01 11
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 103+V(2) [*]* [*]*
1 2 2 01 112+V(1) (11)A> 102+V(2) [*]* [*]*
2 5 -1 01 112+V(1) <C(10) 00 101+V(2) [*]* [*]*
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 101+V(2) [*]* [*]*
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 101+V(2) [*]* [*]*
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 101+V(2) [*]* [*]*
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 101+V(2) [*]* [*]*
7 30+6*V(1) 4 01 114+V(1) (11)B> 101+V(2) [*]* [*]*
<< Success! ==> defined new CTR 5 (PA)
192 2438 -56 01 114 (11)B> 1032 01 11
== Executing PA-CTR 5, V(1)=3, V(2)=29, repcount=15, factor=3/2
297 5048 4 01 1149 (11)B> 102 01 11
298 5050 6 01 1150 (11)A> 10 01 11
299 5053 3 01 1150 <C(10) 00 01 11
300 5153 -97 01 <C(10) 1050 00 01 11
301 5155 -99 <F(10) 1051 00 01 11
302 5160 -96 01 (11)D> 1051 00 01 11
303 5364 6 01 1151 (11)D> 00 01 11
304 5366 8 01 1152 (11)B> 01 11
305 5369 5 01 1152 <E(00) 112
306 5371 3 01 1151 <E(01) 00 112
307 5473 -99 01 <E(01) 0151 00 112
308 5477 -101 <E(00) 0152 00 112
309 5484 -98 11 (11)A> 0152 00 112
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 102 01 111+V(2)
1 2 2 01 112+V(1) (11)A> 10 01 111+V(2)
2 5 -1 01 112+V(1) <C(10) 00 01 111+V(2)
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 01 111+V(2)
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 01 111+V(2)
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 01 111+V(2)
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 01 111+V(2)
7 30+6*V(1) 4 01 114+V(1) (11)B> 01 111+V(2)
8 33+6*V(1) 1 01 114+V(1) <E(00) 112+V(2)
9 35+6*V(1) -1 01 113+V(1) <E(01) 00 112+V(2)
10 41+8*V(1) -7+-2*V(1) 01 <E(01) 013+V(1) 00 112+V(2)
11 45+8*V(1) -9+-2*V(1) <E(00) 014+V(1) 00 112+V(2)
12 52+8*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 112+V(2)
<< Success! ==> defined new CTR 6 (PPA)
309 5484 -98 11 (11)A> 0152 00 112
== Executing PA-CTR 2, V(1)=0, V(2)=49, repcount=25, factor=3/2
459 11634 2 1176 (11)A> 012 00 112
460 11636 4 1177 (11)D> 01 00 112
461 11641 1 1177 <E(01) 002 112
462 11795 -153 <E(01) 0177 002 112
463 11802 -150 11 (10)B> 0177 002 112
464 12110 4 1178 (10)B> 002 112
465 12114 6 1179 (11)A> 00 112
466 12119 3 1179 <C(10) 01 112
467 12277 -155 <C(10) 1079 01 112
468 12281 -157 <F(10) 00 1079 01 112
469 12286 -154 01 (11)D> 00 1079 01 112
470 12288 -152 01 11 (11)B> 1079 01 112
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 012 00 [*]*
1 2 2 112+V(1) (11)D> 01 00 [*]*
2 7 -1 112+V(1) <E(01) 002 [*]*
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 002 [*]*
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 002 [*]*
5 26+6*V(1) 2 113+V(1) (10)B> 002 [*]*
6 30+6*V(1) 4 114+V(1) (11)A> 00 [*]*
7 35+6*V(1) 1 114+V(1) <C(10) 01 [*]*
8 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 01 [*]*
9 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 01 [*]*
10 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 01 [*]*
11 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01 [*]*
<< Success! ==> defined new CTR 7 (PPA)
470 12288 -152 01 11 (11)B> 1079 01 112
== Executing PA-CTR 5, V(1)=0, V(2)=76, repcount=39, factor=3/2
743 26796 4 01 11118 (11)B> 10 01 112
744 26798 6 01 11119 (11)A> 01 112
745 26800 8 01 11120 (11)D> 112
746 26802 10 01 11121 (01)D> 11
747 26804 12 01 11121 01 (01)D>
748 26806 14 01 11121 012 (11)B>
749 26809 11 01 11121 012 <E(00) 10
750 26817 7 01 11121 <E(00) 002 10
751 26819 5 01 11120 <E(01) 003 10
752 27059 -235 01 <E(01) 01120 003 10
753 27063 -237 <E(00) 01121 003 10
754 27070 -234 11 (11)A> 01121 003 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 10 01 112+V(2)
1 2 2 01 112+V(1) (11)A> 01 112+V(2)
2 4 4 01 113+V(1) (11)D> 112+V(2)
3 6 6 01 114+V(1) (01)D> 111+V(2)
4 8+2*V(2) 8+2*V(2) 01 114+V(1) 011+V(2) (01)D>
5 10+2*V(2) 10+2*V(2) 01 114+V(1) 012+V(2) (11)B>
6 13+2*V(2) 7+2*V(2) 01 114+V(1) 012+V(2) <E(00) 10
7 21+6*V(2) 3 01 114+V(1) <E(00) 002+V(2) 10
8 23+6*V(2) 1 01 113+V(1) <E(01) 003+V(2) 10
9 29+2*V(1)+6*V(2) -5+-2*V(1) 01 <E(01) 013+V(1) 003+V(2) 10
10 33+2*V(1)+6*V(2) -7+-2*V(1) <E(00) 014+V(1) 003+V(2) 10
11 40+2*V(1)+6*V(2) -4+-2*V(1) 11 (11)A> 014+V(1) 003+V(2) 10
<< Success! ==> defined new CTR 8 (PPA)
754 27070 -234 11 (11)A> 01121 003 10
== Executing PA-CTR 2, V(1)=0, V(2)=118, repcount=60, factor=3/2
1114 60730 6 11181 (11)A> 01 003 10
1115 60732 8 11182 (11)D> 003 10
1116 60734 10 11183 (11)B> 002 10
1117 60737 7 11183 <E(00) 10 00 10
1118 60739 5 11182 <E(01) 00 10 00 10
1119 61103 -359 <E(01) 01182 00 10 00 10
1120 61110 -356 11 (10)B> 01182 00 10 00 10
1121 61838 8 11183 (10)B> 00 10 00 10
1122 61842 10 11184 (11)A> 10 00 10
1123 61845 7 11184 <C(10) 002 10
1124 62213 -361 <C(10) 10184 002 10
1125 62217 -363 <F(10) 00 10184 002 10
1126 62222 -360 01 (11)D> 00 10184 002 10
1127 62224 -358 01 11 (11)B> 10184 002 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 01 002+V(2) [*]*
1 2 2 112+V(1) (11)D> 002+V(2) [*]*
2 4 4 113+V(1) (11)B> 001+V(2) [*]*
3 7 1 113+V(1) <E(00) 10 000+V(2) [*]*
4 9 -1 112+V(1) <E(01) 00 10 000+V(2) [*]*
5 13+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 10 000+V(2) [*]*
6 20+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 10 000+V(2) [*]*
7 28+6*V(1) 2 113+V(1) (10)B> 00 10 000+V(2) [*]*
8 32+6*V(1) 4 114+V(1) (11)A> 10 000+V(2) [*]*
9 35+6*V(1) 1 114+V(1) <C(10) 001+V(2) [*]*
10 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 001+V(2) [*]*
11 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 001+V(2) [*]*
12 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 001+V(2) [*]*
13 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 001+V(2) [*]*
<< Success! ==> defined new CTR 9 (PPA)
1127 62224 -358 01 11 (11)B> 10184 002 10
== Executing PA-CTR 5, V(1)=0, V(2)=181, repcount=91, factor=3/2
1764 138664 6 01 11274 (11)B> 102 002 10
1765 138666 8 01 11275 (11)A> 10 002 10
1766 138669 5 01 11275 <C(10) 003 10
1767 139219 -545 01 <C(10) 10275 003 10
1768 139221 -547 <F(10) 10276 003 10
1769 139226 -544 01 (11)D> 10276 003 10
1770 140330 8 01 11276 (11)D> 003 10
1771 140332 10 01 11277 (11)B> 002 10
1772 140335 7 01 11277 <E(00) 10 00 10
1773 140337 5 01 11276 <E(01) 00 10 00 10
1774 140889 -547 01 <E(01) 01276 00 10 00 10
1775 140893 -549 <E(00) 01277 00 10 00 10
1776 140900 -546 11 (11)A> 01277 00 10 00 10
1777 140902 -544 112 (11)D> 01276 00 10 00 10
1778 140907 -547 112 <E(01) 00 01275 00 10 00 10
1779 140911 -551 <E(01) 012 00 01275 00 10 00 10
1780 140918 -548 11 (10)B> 012 00 01275 00 10 00 10
1781 140926 -544 113 (10)B> 00 01275 00 10 00 10
1782 140930 -542 114 (11)A> 01275 00 10 00 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 013+V(2) [*]* [*]* [*]* [*]*
1 2 2 112+V(1) (11)D> 012+V(2) [*]* [*]* [*]* [*]*
2 7 -1 112+V(1) <E(01) 00 011+V(2) [*]* [*]* [*]* [*]*
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 011+V(2) [*]* [*]* [*]* [*]*
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 011+V(2) [*]* [*]* [*]* [*]*
5 26+6*V(1) 2 113+V(1) (10)B> 00 011+V(2) [*]* [*]* [*]* [*]*
6 30+6*V(1) 4 114+V(1) (11)A> 011+V(2) [*]* [*]* [*]* [*]*
<< Success! ==> defined new CTR 10 (PA)
1782 140930 -542 114 (11)A> 01275 00 10 00 10
== Executing PA-CTR 10, V(1)=3, V(2)=272, repcount=137, factor=3/2
2604 315194 6 11415 (11)A> 01 00 10 00 10
2605 315196 8 11416 (11)D> 00 10 00 10
2606 315198 10 11417 (11)B> 10 00 10
2607 315200 12 11418 (11)A> 00 10
2608 315205 9 11418 <C(10) 01 10
2609 316041 -827 <C(10) 10418 01 10
2610 316045 -829 <F(10) 00 10418 01 10
2611 316050 -826 01 (11)D> 00 10418 01 10
2612 316052 -824 01 11 (11)B> 10418 01 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 01 00 10 00 [*]*
1 2 2 112+V(1) (11)D> 00 10 00 [*]*
2 4 4 113+V(1) (11)B> 10 00 [*]*
3 6 6 114+V(1) (11)A> 00 [*]*
4 11 3 114+V(1) <C(10) 01 [*]*
5 19+2*V(1) -5+-2*V(1) <C(10) 104+V(1) 01 [*]*
6 23+2*V(1) -7+-2*V(1) <F(10) 00 104+V(1) 01 [*]*
7 28+2*V(1) -4+-2*V(1) 01 (11)D> 00 104+V(1) 01 [*]*
8 30+2*V(1) -2+-2*V(1) 01 11 (11)B> 104+V(1) 01 [*]*
<< Success! ==> defined new CTR 11 (PPA)
2612 316052 -824 01 11 (11)B> 10418 01 10
== Executing PA-CTR 5, V(1)=0, V(2)=415, repcount=208, factor=3/2
4068 709796 8 01 11625 (11)B> 102 01 10
4069 709798 10 01 11626 (11)A> 10 01 10
4070 709801 7 01 11626 <C(10) 00 01 10
4071 711053 -1245 01 <C(10) 10626 00 01 10
4072 711055 -1247 <F(10) 10627 00 01 10
4073 711060 -1244 01 (11)D> 10627 00 01 10
4074 713568 10 01 11627 (11)D> 00 01 10
4075 713570 12 01 11628 (11)B> 01 10
4076 713573 9 01 11628 <E(00) 11 10
4077 713575 7 01 11627 <E(01) 00 11 10
4078 714829 -1247 01 <E(01) 01627 00 11 10
4079 714833 -1249 <E(00) 01628 00 11 10
4080 714840 -1246 11 (11)A> 01628 00 11 10
4081 714842 -1244 112 (11)D> 01627 00 11 10
4082 714847 -1247 112 <E(01) 00 01626 00 11 10
4083 714851 -1251 <E(01) 012 00 01626 00 11 10
4084 714858 -1248 11 (10)B> 012 00 01626 00 11 10
4085 714866 -1244 113 (10)B> 00 01626 00 11 10
4086 714870 -1242 114 (11)A> 01626 00 11 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 013+V(2) [*]* [*]* [*]*
1 2 2 112+V(1) (11)D> 012+V(2) [*]* [*]* [*]*
2 7 -1 112+V(1) <E(01) 00 011+V(2) [*]* [*]* [*]*
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 011+V(2) [*]* [*]* [*]*
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 011+V(2) [*]* [*]* [*]*
5 26+6*V(1) 2 113+V(1) (10)B> 00 011+V(2) [*]* [*]* [*]*
6 30+6*V(1) 4 114+V(1) (11)A> 011+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 12 (PA)
4086 714870 -1242 114 (11)A> 01626 00 11 10
== Executing PA-CTR 12, V(1)=3, V(2)=623, repcount=312, factor=3/2
5958 1603134 6 11940 (11)A> 012 00 11 10
5959 1603136 8 11941 (11)D> 01 00 11 10
5960 1603141 5 11941 <E(01) 002 11 10
5961 1605023 -1877 <E(01) 01941 002 11 10
5962 1605030 -1874 11 (10)B> 01941 002 11 10
5963 1608794 8 11942 (10)B> 002 11 10
5964 1608798 10 11943 (11)A> 00 11 10
5965 1608803 7 11943 <C(10) 01 11 10
5966 1610689 -1879 <C(10) 10943 01 11 10
5967 1610693 -1881 <F(10) 00 10943 01 11 10
5968 1610698 -1878 01 (11)D> 00 10943 01 11 10
5969 1610700 -1876 01 11 (11)B> 10943 01 11 10
5970 1610702 -1874 01 112 (11)A> 10942 01 11 10
5971 1610705 -1877 01 112 <C(10) 00 10941 01 11 10
5972 1610709 -1881 01 <C(10) 102 00 10941 01 11 10
5973 1610711 -1883 <F(10) 103 00 10941 01 11 10
5974 1610716 -1880 01 (11)D> 103 00 10941 01 11 10
5975 1610728 -1874 01 113 (11)D> 00 10941 01 11 10
5976 1610730 -1872 01 114 (11)B> 10941 01 11 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 103+V(2) [*]* [*]* [*]*
1 2 2 01 112+V(1) (11)A> 102+V(2) [*]* [*]* [*]*
2 5 -1 01 112+V(1) <C(10) 00 101+V(2) [*]* [*]* [*]*
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 101+V(2) [*]* [*]* [*]*
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 101+V(2) [*]* [*]* [*]*
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 101+V(2) [*]* [*]* [*]*
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 101+V(2) [*]* [*]* [*]*
7 30+6*V(1) 4 01 114+V(1) (11)B> 101+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 13 (PA)
5976 1610730 -1872 01 114 (11)B> 10941 01 11 10
== Executing PA-CTR 13, V(1)=3, V(2)=938, repcount=470, factor=3/2
9266 3617160 8 01 111414 (11)B> 10 01 11 10
9267 3617162 10 01 111415 (11)A> 01 11 10
9268 3617164 12 01 111416 (11)D> 11 10
9269 3617166 14 01 111417 (01)D> 10
9270 3617170 16 01 111417 01 (11)D>
9271 3617172 18 01 111417 01 11 (11)B>
9272 3617175 15 01 111417 01 11 <E(00) 10
9273 3617177 13 01 111417 01 <E(01) 00 10
9274 3617181 11 01 111417 <E(00) 01 00 10
9275 3617183 9 01 111416 <E(01) 00 01 00 10
9276 3620015 -2823 01 <E(01) 011416 00 01 00 10
9277 3620019 -2825 <E(00) 011417 00 01 00 10
9278 3620026 -2822 11 (11)A> 011417 00 01 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 10 01 11 10
1 2 2 01 112+V(1) (11)A> 01 11 10
2 4 4 01 113+V(1) (11)D> 11 10
3 6 6 01 114+V(1) (01)D> 10
4 10 8 01 114+V(1) 01 (11)D>
5 12 10 01 114+V(1) 01 11 (11)B>
6 15 7 01 114+V(1) 01 11 <E(00) 10
7 17 5 01 114+V(1) 01 <E(01) 00 10
8 21 3 01 114+V(1) <E(00) 01 00 10
9 23 1 01 113+V(1) <E(01) 00 01 00 10
10 29+2*V(1) -5+-2*V(1) 01 <E(01) 013+V(1) 00 01 00 10
11 33+2*V(1) -7+-2*V(1) <E(00) 014+V(1) 00 01 00 10
12 40+2*V(1) -4+-2*V(1) 11 (11)A> 014+V(1) 00 01 00 10
<< Success! ==> defined new CTR 14 (PPA)
9278 3620026 -2822 11 (11)A> 011417 00 01 00 10
== Executing PA-CTR 10, V(1)=0, V(2)=1414, repcount=708, factor=3/2
13526 8146270 10 112125 (11)A> 01 00 01 00 10
13527 8146272 12 112126 (11)D> 00 01 00 10
13528 8146274 14 112127 (11)B> 01 00 10
13529 8146277 11 112127 <E(00) 11 00 10
13530 8146279 9 112126 <E(01) 00 11 00 10
13531 8150531 -4243 <E(01) 012126 00 11 00 10
13532 8150538 -4240 11 (10)B> 012126 00 11 00 10
13533 8159042 12 112127 (10)B> 00 11 00 10
13534 8159046 14 112128 (11)A> 11 00 10
13535 8159049 11 112128 <C(10) 01 00 10
13536 8163305 -4245 <C(10) 102128 01 00 10
13537 8163309 -4247 <F(10) 00 102128 01 00 10
13538 8163314 -4244 01 (11)D> 00 102128 01 00 10
13539 8163316 -4242 01 11 (11)B> 102128 01 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 01 00 01 [*]* [*]*
1 2 2 112+V(1) (11)D> 00 01 [*]* [*]*
2 4 4 113+V(1) (11)B> 01 [*]* [*]*
3 7 1 113+V(1) <E(00) 11 [*]* [*]*
4 9 -1 112+V(1) <E(01) 00 11 [*]* [*]*
5 13+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 11 [*]* [*]*
6 20+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 11 [*]* [*]*
7 28+6*V(1) 2 113+V(1) (10)B> 00 11 [*]* [*]*
8 32+6*V(1) 4 114+V(1) (11)A> 11 [*]* [*]*
9 35+6*V(1) 1 114+V(1) <C(10) 01 [*]* [*]*
10 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 01 [*]* [*]*
11 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 01 [*]* [*]*
12 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 01 [*]* [*]*
13 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01 [*]* [*]*
<< Success! ==> defined new CTR 15 (PPA)
13539 8163316 -4242 01 11 (11)B> 102128 01 00 10
== Executing PA-CTR 13, V(1)=0, V(2)=2125, repcount=1063, factor=3/2
20980 18355360 10 01 113190 (11)B> 102 01 00 10
20981 18355362 12 01 113191 (11)A> 10 01 00 10
20982 18355365 9 01 113191 <C(10) 00 01 00 10
20983 18361747 -6373 01 <C(10) 103191 00 01 00 10
20984 18361749 -6375 <F(10) 103192 00 01 00 10
20985 18361754 -6372 01 (11)D> 103192 00 01 00 10
20986 18374522 12 01 113192 (11)D> 00 01 00 10
20987 18374524 14 01 113193 (11)B> 01 00 10
20988 18374527 11 01 113193 <E(00) 11 00 10
20989 18374529 9 01 113192 <E(01) 00 11 00 10
20990 18380913 -6375 01 <E(01) 013192 00 11 00 10
20991 18380917 -6377 <E(00) 013193 00 11 00 10
20992 18380924 -6374 11 (11)A> 013193 00 11 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 102 01 [*]* [*]*
1 2 2 01 112+V(1) (11)A> 10 01 [*]* [*]*
2 5 -1 01 112+V(1) <C(10) 00 01 [*]* [*]*
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 01 [*]* [*]*
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 01 [*]* [*]*
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 01 [*]* [*]*
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 01 [*]* [*]*
7 30+6*V(1) 4 01 114+V(1) (11)B> 01 [*]* [*]*
8 33+6*V(1) 1 01 114+V(1) <E(00) 11 [*]* [*]*
9 35+6*V(1) -1 01 113+V(1) <E(01) 00 11 [*]* [*]*
10 41+8*V(1) -7+-2*V(1) 01 <E(01) 013+V(1) 00 11 [*]* [*]*
11 45+8*V(1) -9+-2*V(1) <E(00) 014+V(1) 00 11 [*]* [*]*
12 52+8*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 11 [*]* [*]*
<< Success! ==> defined new CTR 16 (PPA)
20992 18380924 -6374 11 (11)A> 013193 00 11 00 10
== Executing PA-CTR 10, V(1)=0, V(2)=3190, repcount=1596, factor=3/2
30568 41339384 10 114789 (11)A> 01 00 11 00 10
30569 41339386 12 114790 (11)D> 00 11 00 10
30570 41339388 14 114791 (11)B> 11 00 10
30571 41339390 16 114792 (10)B> 00 10
30572 41339394 18 114793 (11)A> 10
30573 41339397 15 114793 <C(10)
30574 41348983 -9571 <C(10) 104793
30575 41348987 -9573 <F(10) 00 104793
30576 41348992 -9570 01 (11)D> 00 104793
30577 41348994 -9568 01 11 (11)B> 104793
30578 41348996 -9566 01 112 (11)A> 104792
30579 41348999 -9569 01 112 <C(10) 00 104791
30580 41349003 -9573 01 <C(10) 102 00 104791
30581 41349005 -9575 <F(10) 103 00 104791
30582 41349010 -9572 01 (11)D> 103 00 104791
30583 41349022 -9566 01 113 (11)D> 00 104791
30584 41349024 -9564 01 114 (11)B> 104791
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 103+V(2)
1 2 2 01 112+V(1) (11)A> 102+V(2)
2 5 -1 01 112+V(1) <C(10) 00 101+V(2)
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 101+V(2)
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 101+V(2)
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 101+V(2)
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 101+V(2)
7 30+6*V(1) 4 01 114+V(1) (11)B> 101+V(2)
<< Success! ==> defined new CTR 17 (PA)
30584 41349024 -9564 01 114 (11)B> 104791
== Executing PA-CTR 17, V(1)=3, V(2)=4788, repcount=2395, factor=3/2
47349 93066654 16 01 117189 (11)B> 10
47350 93066656 18 01 117190 (11)A>
47351 93066661 15 01 117190 <C(10) 01
47352 93081041 -14365 01 <C(10) 107190 01
47353 93081043 -14367 <F(10) 107191 01
47354 93081048 -14364 01 (11)D> 107191 01
47355 93109812 18 01 117191 (11)D> 01
47356 93109817 15 01 117191 <E(01)
47357 93124199 -14367 01 <E(01) 017191
47358 93124203 -14369 <E(00) 017192
47359 93124210 -14366 11 (11)A> 017192
47360 93124212 -14364 112 (11)D> 017191
47361 93124217 -14367 112 <E(01) 00 017190
47362 93124221 -14371 <E(01) 012 00 017190
47363 93124228 -14368 11 (10)B> 012 00 017190
47364 93124236 -14364 113 (10)B> 00 017190
47365 93124240 -14362 114 (11)A> 017190
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 013+V(2)
1 2 2 112+V(1) (11)D> 012+V(2)
2 7 -1 112+V(1) <E(01) 00 011+V(2)
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 011+V(2)
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 011+V(2)
5 26+6*V(1) 2 113+V(1) (10)B> 00 011+V(2)
6 30+6*V(1) 4 114+V(1) (11)A> 011+V(2)
<< Success! ==> defined new CTR 18 (PA)
47365 93124240 -14362 114 (11)A> 017190
== Executing PA-CTR 18, V(1)=3, V(2)=7187, repcount=3594, factor=3/2
68929 209515930 14 1110786 (11)A> 012
68930 209515932 16 1110787 (11)D> 01
68931 209515937 13 1110787 <E(01)
68932 209537511 -21561 <E(01) 0110787
68933 209537518 -21558 11 (10)B> 0110787
68934 209580666 16 1110788 (10)B>
68935 209580670 18 1110789 (11)A>
68936 209580675 15 1110789 <C(10) 01
68937 209602253 -21563 <C(10) 1010789 01
68938 209602257 -21565 <F(10) 00 1010789 01
68939 209602262 -21562 01 (11)D> 00 1010789 01
68940 209602264 -21560 01 11 (11)B> 1010789 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 012
1 2 2 112+V(1) (11)D> 01
2 7 -1 112+V(1) <E(01)
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1)
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1)
5 26+6*V(1) 2 113+V(1) (10)B>
6 30+6*V(1) 4 114+V(1) (11)A>
7 35+6*V(1) 1 114+V(1) <C(10) 01
8 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 01
9 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 01
10 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 01
11 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01
<< Success! ==> defined new CTR 19 (PPA)
68940 209602264 -21560 01 11 (11)B> 1010789 01
== Executing PA-CTR 1, V(1)=0, V(2)=10786, repcount=5394, factor=3/2
106698 471572662 16 01 1116183 (11)B> 10 01
106699 471572664 18 01 1116184 (11)A> 01
106700 471572666 20 01 1116185 (11)D>
106701 471572668 22 01 1116186 (11)B>
106702 471572671 19 01 1116186 <E(00) 10
106703 471572673 17 01 1116185 <E(01) 00 10
106704 471605043 -32353 01 <E(01) 0116185 00 10
106705 471605047 -32355 <E(00) 0116186 00 10
106706 471605054 -32352 11 (11)A> 0116186 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 10 01
1 2 2 01 112+V(1) (11)A> 01
2 4 4 01 113+V(1) (11)D>
3 6 6 01 114+V(1) (11)B>
4 9 3 01 114+V(1) <E(00) 10
5 11 1 01 113+V(1) <E(01) 00 10
6 17+2*V(1) -5+-2*V(1) 01 <E(01) 013+V(1) 00 10
7 21+2*V(1) -7+-2*V(1) <E(00) 014+V(1) 00 10
8 28+2*V(1) -4+-2*V(1) 11 (11)A> 014+V(1) 00 10
<< Success! ==> defined new CTR 20 (PPA)
106706 471605054 -32352 11 (11)A> 0116186 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=16183, repcount=8092, factor=3/2
155258 1061099162 16 1124277 (11)A> 012 00 10
== Executing PPA-CTR 7 (once), V(1)=24276
155269 1061293424 -48540 01 11 (11)B> 1024280 01 10
== Executing PA-CTR 5, V(1)=0, V(2)=24277, repcount=12139, factor=3/2
240242 2387746232 16 01 1136418 (11)B> 102 01 10
240243 2387746234 18 01 1136419 (11)A> 10 01 10
240244 2387746237 15 01 1136419 <C(10) 00 01 10
240245 2387819075 -72823 01 <C(10) 1036419 00 01 10
240246 2387819077 -72825 <F(10) 1036420 00 01 10
240247 2387819082 -72822 01 (11)D> 1036420 00 01 10
240248 2387964762 18 01 1136420 (11)D> 00 01 10
240249 2387964764 20 01 1136421 (11)B> 01 10
240250 2387964767 17 01 1136421 <E(00) 11 10
240251 2387964769 15 01 1136420 <E(01) 00 11 10
240252 2388037609 -72825 01 <E(01) 0136420 00 11 10
240253 2388037613 -72827 <E(00) 0136421 00 11 10
240254 2388037620 -72824 11 (11)A> 0136421 00 11 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 102 01 [*]*
1 2 2 01 112+V(1) (11)A> 10 01 [*]*
2 5 -1 01 112+V(1) <C(10) 00 01 [*]*
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 01 [*]*
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 01 [*]*
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 01 [*]*
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 01 [*]*
7 30+6*V(1) 4 01 114+V(1) (11)B> 01 [*]*
8 33+6*V(1) 1 01 114+V(1) <E(00) 11 [*]*
9 35+6*V(1) -1 01 113+V(1) <E(01) 00 11 [*]*
10 41+8*V(1) -7+-2*V(1) 01 <E(01) 013+V(1) 00 11 [*]*
11 45+8*V(1) -9+-2*V(1) <E(00) 014+V(1) 00 11 [*]*
12 52+8*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 11 [*]*
<< Success! ==> defined new CTR 21 (PPA)
240254 2388037620 -72824 11 (11)A> 0136421 00 11 10
== Executing PA-CTR 12, V(1)=0, V(2)=36418, repcount=18210, factor=3/2
349514 5372856930 16 1154631 (11)A> 01 00 11 10
349515 5372856932 18 1154632 (11)D> 00 11 10
349516 5372856934 20 1154633 (11)B> 11 10
349517 5372856936 22 1154634 (10)B> 10
349518 5372856938 24 1154634 10 (11)A>
349519 5372856943 21 1154634 10 <C(10) 01
349520 5372856947 19 1154634 <C(10) 00 01
349521 5372966215 -109249 <C(10) 1054634 00 01
349522 5372966219 -109251 <F(10) 00 1054634 00 01
349523 5372966224 -109248 01 (11)D> 00 1054634 00 01
349524 5372966226 -109246 01 11 (11)B> 1054634 00 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 01 00 11 10
1 2 2 112+V(1) (11)D> 00 11 10
2 4 4 113+V(1) (11)B> 11 10
3 6 6 114+V(1) (10)B> 10
4 8 8 114+V(1) 10 (11)A>
5 13 5 114+V(1) 10 <C(10) 01
6 17 3 114+V(1) <C(10) 00 01
7 25+2*V(1) -5+-2*V(1) <C(10) 104+V(1) 00 01
8 29+2*V(1) -7+-2*V(1) <F(10) 00 104+V(1) 00 01
9 34+2*V(1) -4+-2*V(1) 01 (11)D> 00 104+V(1) 00 01
10 36+2*V(1) -2+-2*V(1) 01 11 (11)B> 104+V(1) 00 01
<< Success! ==> defined new CTR 22 (PPA)
349524 5372966226 -109246 01 11 (11)B> 1054634 00 01
== Executing PA-CTR 5, V(1)=0, V(2)=54631, repcount=27316, factor=3/2
540736 12089014566 18 01 1181949 (11)B> 102 00 01
540737 12089014568 20 01 1181950 (11)A> 10 00 01
540738 12089014571 17 01 1181950 <C(10) 002 01
540739 12089178471 -163883 01 <C(10) 1081950 002 01
540740 12089178473 -163885 <F(10) 1081951 002 01
540741 12089178478 -163882 01 (11)D> 1081951 002 01
540742 12089506282 20 01 1181951 (11)D> 002 01
540743 12089506284 22 01 1181952 (11)B> 00 01
540744 12089506287 19 01 1181952 <E(00) 10 01
540745 12089506289 17 01 1181951 <E(01) 00 10 01
540746 12089670191 -163885 01 <E(01) 0181951 00 10 01
540747 12089670195 -163887 <E(00) 0181952 00 10 01
540748 12089670202 -163884 11 (11)A> 0181952 00 10 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 102 00 [*]*
1 2 2 01 112+V(1) (11)A> 10 00 [*]*
2 5 -1 01 112+V(1) <C(10) 002 [*]*
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 002 [*]*
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 002 [*]*
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 002 [*]*
6 28+6*V(1) 2 01 113+V(1) (11)D> 002 [*]*
7 30+6*V(1) 4 01 114+V(1) (11)B> 00 [*]*
8 33+6*V(1) 1 01 114+V(1) <E(00) 10 [*]*
9 35+6*V(1) -1 01 113+V(1) <E(01) 00 10 [*]*
10 41+8*V(1) -7+-2*V(1) 01 <E(01) 013+V(1) 00 10 [*]*
11 45+8*V(1) -9+-2*V(1) <E(00) 014+V(1) 00 10 [*]*
12 52+8*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 10 [*]*
<< Success! ==> defined new CTR 23 (PPA)
540748 12089670202 -163884 11 (11)A> 0181952 00 10 01
== Executing PA-CTR 12, V(1)=0, V(2)=81949, repcount=40975, factor=3/2
786598 27201086302 16 11122926 (11)A> 012 00 10 01
786599 27201086304 18 11122927 (11)D> 01 00 10 01
786600 27201086309 15 11122927 <E(01) 002 10 01
786601 27201332163 -245839 <E(01) 01122927 002 10 01
786602 27201332170 -245836 11 (10)B> 01122927 002 10 01
786603 27201823878 18 11122928 (10)B> 002 10 01
786604 27201823882 20 11122929 (11)A> 00 10 01
786605 27201823887 17 11122929 <C(10) 01 10 01
786606 27202069745 -245841 <C(10) 10122929 01 10 01
786607 27202069749 -245843 <F(10) 00 10122929 01 10 01
786608 27202069754 -245840 01 (11)D> 00 10122929 01 10 01
786609 27202069756 -245838 01 11 (11)B> 10122929 01 10 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 012 00 [*]* [*]*
1 2 2 112+V(1) (11)D> 01 00 [*]* [*]*
2 7 -1 112+V(1) <E(01) 002 [*]* [*]*
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 002 [*]* [*]*
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 002 [*]* [*]*
5 26+6*V(1) 2 113+V(1) (10)B> 002 [*]* [*]*
6 30+6*V(1) 4 114+V(1) (11)A> 00 [*]* [*]*
7 35+6*V(1) 1 114+V(1) <C(10) 01 [*]* [*]*
8 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 01 [*]* [*]*
9 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 01 [*]* [*]*
10 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 01 [*]* [*]*
11 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01 [*]* [*]*
<< Success! ==> defined new CTR 24 (PPA)
786609 27202069756 -245838 01 11 (11)B> 10122929 01 10 01
== Executing PA-CTR 13, V(1)=0, V(2)=122926, repcount=61464, factor=3/2
1216857 61203770164 18 01 11184393 (11)B> 10 01 10 01
1216858 61203770166 20 01 11184394 (11)A> 01 10 01
1216859 61203770168 22 01 11184395 (11)D> 10 01
1216860 61203770172 24 01 11184396 (11)D> 01
1216861 61203770177 21 01 11184396 <E(01)
1216862 61204138969 -368771 01 <E(01) 01184396
1216863 61204138973 -368773 <E(00) 01184397
1216864 61204138980 -368770 11 (11)A> 01184397
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 10 01 101+V(2) 01
1 2 2 01 112+V(1) (11)A> 01 101+V(2) 01
2 4 4 01 113+V(1) (11)D> 101+V(2) 01
3 8+4*V(2) 6+2*V(2) 01 114+V(1)+V(2) (11)D> 01
4 13+4*V(2) 3+2*V(2) 01 114+V(1)+V(2) <E(01)
5 21+2*V(1)+6*V(2) -5+-2*V(1) 01 <E(01) 014+V(1)+V(2)
6 25+2*V(1)+6*V(2) -7+-2*V(1) <E(00) 015+V(1)+V(2)
7 32+2*V(1)+6*V(2) -4+-2*V(1) 11 (11)A> 015+V(1)+V(2)
<< Success! ==> defined new CTR 25 (PPA)
1216864 61204138980 -368770 11 (11)A> 01184397
== Executing PA-CTR 18, V(1)=0, V(2)=184394, repcount=92198, factor=3/2
1770052 137710315974 22 11276595 (11)A> 01
1770053 137710315976 24 11276596 (11)D>
1770054 137710315978 26 11276597 (11)B>
1770055 137710315981 23 11276597 <E(00) 10
1770056 137710315983 21 11276596 <E(01) 00 10
1770057 137710869175 -553171 <E(01) 01276596 00 10
1770058 137710869182 -553168 11 (10)B> 01276596 00 10
1770059 137711975566 24 11276597 (10)B> 00 10
1770060 137711975570 26 11276598 (11)A> 10
1770061 137711975573 23 11276598 <C(10)
1770062 137712528769 -553173 <C(10) 10276598
1770063 137712528773 -553175 <F(10) 00 10276598
1770064 137712528778 -553172 01 (11)D> 00 10276598
1770065 137712528780 -553170 01 11 (11)B> 10276598
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 01
1 2 2 112+V(1) (11)D>
2 4 4 113+V(1) (11)B>
3 7 1 113+V(1) <E(00) 10
4 9 -1 112+V(1) <E(01) 00 10
5 13+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 10
6 20+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 10
7 28+6*V(1) 2 113+V(1) (10)B> 00 10
8 32+6*V(1) 4 114+V(1) (11)A> 10
9 35+6*V(1) 1 114+V(1) <C(10)
10 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1)
11 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1)
12 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1)
13 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1)
<< Success! ==> defined new CTR 26 (PPA)
1770065 137712528780 -553170 01 11 (11)B> 10276598
== Executing PA-CTR 17, V(1)=0, V(2)=276595, repcount=138298, factor=3/2
2738151 309852464274 22 01 11414895 (11)B> 102
2738152 309852464276 24 01 11414896 (11)A> 10
2738153 309852464279 21 01 11414896 <C(10)
2738154 309853294071 -829771 01 <C(10) 10414896
2738155 309853294073 -829773 <F(10) 10414897
2738156 309853294078 -829770 01 (11)D> 10414897
2738157 309854953666 24 01 11414897 (11)D>
2738158 309854953668 26 01 11414898 (11)B>
2738159 309854953671 23 01 11414898 <E(00) 10
2738160 309854953673 21 01 11414897 <E(01) 00 10
2738161 309855783467 -829773 01 <E(01) 01414897 00 10
2738162 309855783471 -829775 <E(00) 01414898 00 10
2738163 309855783478 -829772 11 (11)A> 01414898 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 102
1 2 2 01 112+V(1) (11)A> 10
2 5 -1 01 112+V(1) <C(10)
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1)
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1)
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1)
6 28+6*V(1) 2 01 113+V(1) (11)D>
7 30+6*V(1) 4 01 114+V(1) (11)B>
8 33+6*V(1) 1 01 114+V(1) <E(00) 10
9 35+6*V(1) -1 01 113+V(1) <E(01) 00 10
10 41+8*V(1) -7+-2*V(1) 01 <E(01) 013+V(1) 00 10
11 45+8*V(1) -9+-2*V(1) <E(00) 014+V(1) 00 10
12 52+8*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 10
<< Success! ==> defined new CTR 27 (PPA)
2738163 309855783478 -829772 11 (11)A> 01414898 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=414895, repcount=207448, factor=3/2
3982851 697172194222 20 11622345 (11)A> 012 00 10
== Executing PPA-CTR 7 (once), V(1)=622344
3982862 697177173028 -1244672 01 11 (11)B> 10622348 01 10
== Executing PA-CTR 5, V(1)=0, V(2)=622345, repcount=311173, factor=3/2
6161073 1568641431022 20 01 11933520 (11)B> 102 01 10
== Executing PPA-CTR 21 (once), V(1)=933519
6161085 1568648899226 -1867024 11 (11)A> 01933523 00 11 10
== Executing PA-CTR 12, V(1)=0, V(2)=933520, repcount=466761, factor=3/2
8961651 3529451181296 20 111400284 (11)A> 01 00 11 10
== Executing PPA-CTR 22 (once), V(1)=1400283
8961661 3529453981898 -2800548 01 11 (11)B> 101400287 00 01
== Executing PA-CTR 5, V(1)=0, V(2)=1400284, repcount=700143, factor=3/2
13862662 7941270668942 24 01 112100430 (11)B> 10 00 01
13862663 7941270668944 26 01 112100431 (11)A> 00 01
13862664 7941270668949 23 01 112100431 <C(10) 012
13862665 7941274869811 -4200839 01 <C(10) 102100431 012
13862666 7941274869813 -4200841 <F(10) 102100432 012
13862667 7941274869818 -4200838 01 (11)D> 102100432 012
13862668 7941283271546 26 01 112100432 (11)D> 012
13862669 7941283271551 23 01 112100432 <E(01) 00 01
13862670 7941287472415 -4200841 01 <E(01) 012100432 00 01
13862671 7941287472419 -4200843 <E(00) 012100433 00 01
13862672 7941287472426 -4200840 11 (11)A> 012100433 00 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 10 00 011+V(2)
1 2 2 01 112+V(1) (11)A> 00 011+V(2)
2 7 -1 01 112+V(1) <C(10) 012+V(2)
3 11+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 012+V(2)
4 13+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 012+V(2)
5 18+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 012+V(2)
6 30+6*V(1) 2 01 113+V(1) (11)D> 012+V(2)
7 35+6*V(1) -1 01 113+V(1) <E(01) 00 011+V(2)
8 41+8*V(1) -7+-2*V(1) 01 <E(01) 013+V(1) 00 011+V(2)
9 45+8*V(1) -9+-2*V(1) <E(00) 014+V(1) 00 011+V(2)
10 52+8*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 011+V(2)
<< Success! ==> defined new CTR 28 (PPA)
13862672 7941287472426 -4200840 11 (11)A> 012100433 00 01
== Executing PA-CTR 2, V(1)=0, V(2)=2100430, repcount=1050216, factor=3/2
20163968 17867892346866 24 113150649 (11)A> 01 00 01
20163969 17867892346868 26 113150650 (11)D> 00 01
20163970 17867892346870 28 113150651 (11)B> 01
20163971 17867892346873 25 113150651 <E(00) 11
20163972 17867892346875 23 113150650 <E(01) 00 11
20163973 17867898648175 -6301277 <E(01) 013150650 00 11
20163974 17867898648182 -6301274 11 (10)B> 013150650 00 11
20163975 17867911250782 26 113150651 (10)B> 00 11
20163976 17867911250786 28 113150652 (11)A> 11
20163977 17867911250789 25 113150652 <C(10) 01
20163978 17867917552093 -6301279 <C(10) 103150652 01
20163979 17867917552097 -6301281 <F(10) 00 103150652 01
20163980 17867917552102 -6301278 01 (11)D> 00 103150652 01
20163981 17867917552104 -6301276 01 11 (11)B> 103150652 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 01 00 01
1 2 2 112+V(1) (11)D> 00 01
2 4 4 113+V(1) (11)B> 01
3 7 1 113+V(1) <E(00) 11
4 9 -1 112+V(1) <E(01) 00 11
5 13+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 00 11
6 20+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 00 11
7 28+6*V(1) 2 113+V(1) (10)B> 00 11
8 32+6*V(1) 4 114+V(1) (11)A> 11
9 35+6*V(1) 1 114+V(1) <C(10) 01
10 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 01
11 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 01
12 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 01
13 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01
<< Success! ==> defined new CTR 29 (PPA)
20163981 17867917552104 -6301276 01 11 (11)B> 103150652 01
== Executing PA-CTR 1, V(1)=0, V(2)=3150649, repcount=1575325, factor=3/2
31191256 40202790334554 24 01 114725976 (11)B> 102 01
== Executing PPA-CTR 4 (once), V(1)=4725975
31191268 40202828142406 -9451932 11 (11)A> 014725979 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=4725976, repcount=2362989, factor=3/2
45369202 90456330892264 24 117088968 (11)A> 01 00 11
== Executing PPA-CTR 3 (once), V(1)=7088967
45369211 90456345070234 -14177912 01 11 (11)B> 107088972 01
== Executing PA-CTR 1, V(1)=0, V(2)=7088969, repcount=3544485, factor=3/2
70180606 203526784741444 28 01 1110633456 (11)B> 102 01
== Executing PPA-CTR 4 (once), V(1)=10633455
70180618 203526869809136 -21266888 11 (11)A> 0110633459 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=10633456, repcount=5316729, factor=3/2
102080992 457935446795414 28 1115950188 (11)A> 01 00 11
== Executing PPA-CTR 3 (once), V(1)=15950187
102081001 457935478695824 -31900348 01 11 (11)B> 1015950192 01
== Executing PA-CTR 1, V(1)=0, V(2)=15950189, repcount=7975095, factor=3/2
157906666 1030354908504044 32 01 1123925286 (11)B> 102 01
== Executing PPA-CTR 4 (once), V(1)=23925285
157906678 1030355099906376 -47850544 11 (11)A> 0123925289 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=23925286, repcount=11962644, factor=3/2
229682542 2318299014358524 32 1135887933 (11)A> 01 00 11
== Executing PPA-CTR 3 (once), V(1)=35887932
229682551 2318299086134424 -71775834 01 11 (11)B> 1035887937 01
== Executing PA-CTR 1, V(1)=0, V(2)=35887934, repcount=17943968, factor=3/2
355290327 5216173351222968 38 01 1153831905 (11)B> 10 01
== Executing PPA-CTR 20 (once), V(1)=53831904
355290335 5216173458886804 -107663774 11 (11)A> 0153831908 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=53831905, repcount=26915953, factor=3/2
516786053 11736390757205698 38 1180747860 (11)A> 012 00 10
== Executing PPA-CTR 7 (once), V(1)=80747859
516786064 11736391403188624 -161495684 01 11 (11)B> 1080747863 01 10
== Executing PA-CTR 5, V(1)=0, V(2)=80747860, repcount=40373931, factor=3/2
799403581 26406880990576024 40 01 11121121794 (11)B> 10 01 10
799403582 26406880990576026 42 01 11121121795 (11)A> 01 10
799403583 26406880990576028 44 01 11121121796 (11)D> 10
799403584 26406880990576032 46 01 11121121797 (11)D>
799403585 26406880990576034 48 01 11121121798 (11)B>
799403586 26406880990576037 45 01 11121121798 <E(00) 10
799403587 26406880990576039 43 01 11121121797 <E(01) 00 10
799403588 26406881232819633 -242243551 01 <E(01) 01121121797 00 10
799403589 26406881232819637 -242243553 <E(00) 01121121798 00 10
799403590 26406881232819644 -242243550 11 (11)A> 01121121798 00 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 10 01 101+V(2)
1 2 2 01 112+V(1) (11)A> 01 101+V(2)
2 4 4 01 113+V(1) (11)D> 101+V(2)
3 8+4*V(2) 6+2*V(2) 01 114+V(1)+V(2) (11)D>
4 10+4*V(2) 8+2*V(2) 01 115+V(1)+V(2) (11)B>
5 13+4*V(2) 5+2*V(2) 01 115+V(1)+V(2) <E(00) 10
6 15+4*V(2) 3+2*V(2) 01 114+V(1)+V(2) <E(01) 00 10
7 23+2*V(1)+6*V(2) -5+-2*V(1) 01 <E(01) 014+V(1)+V(2) 00 10
8 27+2*V(1)+6*V(2) -7+-2*V(1) <E(00) 015+V(1)+V(2) 00 10
9 34+2*V(1)+6*V(2) -4+-2*V(1) 11 (11)A> 015+V(1)+V(2) 00 10
<< Success! ==> defined new CTR 30 (PPA)
799403590 26406881232819644 -242243550 11 (11)A> 01121121798 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=121121795, repcount=60560898, factor=3/2
1162768978 59415483803696138 42 11181682695 (11)A> 012 00 10
== Executing PPA-CTR 7 (once), V(1)=181682694
1162768989 59415485257157744 -363365350 01 11 (11)B> 10181682698 01 10
== Executing PA-CTR 5, V(1)=0, V(2)=181682695, repcount=90841348, factor=3/2
1798658425 133684841722939988 42 01 11272524045 (11)B> 102 01 10
== Executing PPA-CTR 21 (once), V(1)=272524044
1798658437 133684843903132392 -545048052 11 (11)A> 01272524048 00 11 10
== Executing PA-CTR 12, V(1)=0, V(2)=272524045, repcount=136262023, factor=3/2
2616230575 300790896973107636 40 11408786070 (11)A> 012 00 11 10
== Executing PPA-CTR 24 (once), V(1)=408786069
2616230586 300790900243396242 -817572102 01 11 (11)B> 10408786073 01 11 10
== Executing PA-CTR 13, V(1)=0, V(2)=408786070, repcount=204393036, factor=3/2
4046981838 676779523023325662 42 01 11613179109 (11)B> 10 01 11 10
== Executing PPA-CTR 14 (once), V(1)=613179108
4046981850 676779524249683918 -1226358178 11 (11)A> 01613179112 00 01 00 10
== Executing PA-CTR 10, V(1)=0, V(2)=613179109, repcount=306589555, factor=3/2
5886519180 1522753927803946798 42 11919768666 (11)A> 012 00 01 00 10
5886519181 1522753927803946800 44 11919768667 (11)D> 01 00 01 00 10
5886519182 1522753927803946805 41 11919768667 <E(01) 002 01 00 10
5886519183 1522753929643484139 -1839537293 <E(01) 01919768667 002 01 00 10
5886519184 1522753929643484146 -1839537290 11 (10)B> 01919768667 002 01 00 10
5886519185 1522753933322558814 44 11919768668 (10)B> 002 01 00 10
5886519186 1522753933322558818 46 11919768669 (11)A> 00 01 00 10
5886519187 1522753933322558823 43 11919768669 <C(10) 012 00 10
5886519188 1522753935162096161 -1839537295 <C(10) 10919768669 012 00 10
5886519189 1522753935162096165 -1839537297 <F(10) 00 10919768669 012 00 10
5886519190 1522753935162096170 -1839537294 01 (11)D> 00 10919768669 012 00 10
5886519191 1522753935162096172 -1839537292 01 11 (11)B> 10919768669 012 00 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 012 00 011+V(2) [*]* [*]*
1 2 2 112+V(1) (11)D> 01 00 011+V(2) [*]* [*]*
2 7 -1 112+V(1) <E(01) 002 011+V(2) [*]* [*]*
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 002 011+V(2) [*]* [*]*
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 002 011+V(2) [*]* [*]*
5 26+6*V(1) 2 113+V(1) (10)B> 002 011+V(2) [*]* [*]*
6 30+6*V(1) 4 114+V(1) (11)A> 00 011+V(2) [*]* [*]*
7 35+6*V(1) 1 114+V(1) <C(10) 012+V(2) [*]* [*]*
8 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 012+V(2) [*]* [*]*
9 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 012+V(2) [*]* [*]*
10 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 012+V(2) [*]* [*]*
11 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 012+V(2) [*]* [*]*
<< Success! ==> defined new CTR 31 (PPA)
5886519191 1522753935162096172 -1839537292 01 11 (11)B> 10919768669 012 00 10
== Executing PA-CTR 13, V(1)=0, V(2)=919768666, repcount=459884334, factor=3/2
9105709529 3426196350747279190 44 01 111379653003 (11)B> 10 012 00 10
9105709530 3426196350747279192 46 01 111379653004 (11)A> 012 00 10
9105709531 3426196350747279194 48 01 111379653005 (11)D> 01 00 10
9105709532 3426196350747279199 45 01 111379653005 <E(01) 002 10
9105709533 3426196353506585209 -2759305965 01 <E(01) 011379653005 002 10
9105709534 3426196353506585213 -2759305967 <E(00) 011379653006 002 10
9105709535 3426196353506585220 -2759305964 11 (11)A> 011379653006 002 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 10 012 001+V(2) [*]*
1 2 2 01 112+V(1) (11)A> 012 001+V(2) [*]*
2 4 4 01 113+V(1) (11)D> 01 001+V(2) [*]*
3 9 1 01 113+V(1) <E(01) 002+V(2) [*]*
4 15+2*V(1) -5+-2*V(1) 01 <E(01) 013+V(1) 002+V(2) [*]*
5 19+2*V(1) -7+-2*V(1) <E(00) 014+V(1) 002+V(2) [*]*
6 26+2*V(1) -4+-2*V(1) 11 (11)A> 014+V(1) 002+V(2) [*]*
<< Success! ==> defined new CTR 32 (PPA)
9105709535 3426196353506585220 -2759305964 11 (11)A> 011379653006 002 10
== Executing PA-CTR 2, V(1)=0, V(2)=1379653003, repcount=689826502, factor=3/2
13244668547 7708941793746945798 44 112069479507 (11)A> 012 002 10
13244668548 7708941793746945800 46 112069479508 (11)D> 01 002 10
13244668549 7708941793746945805 43 112069479508 <E(01) 003 10
13244668550 7708941797885904821 -4138958973 <E(01) 012069479508 003 10
13244668551 7708941797885904828 -4138958970 11 (10)B> 012069479508 003 10
13244668552 7708941806163822860 46 112069479509 (10)B> 003 10
13244668553 7708941806163822864 48 112069479510 (11)A> 002 10
13244668554 7708941806163822869 45 112069479510 <C(10) 01 00 10
13244668555 7708941810302781889 -4138958975 <C(10) 102069479510 01 00 10
13244668556 7708941810302781893 -4138958977 <F(10) 00 102069479510 01 00 10
13244668557 7708941810302781898 -4138958974 01 (11)D> 00 102069479510 01 00 10
13244668558 7708941810302781900 -4138958972 01 11 (11)B> 102069479510 01 00 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 012 002+V(2) [*]*
1 2 2 112+V(1) (11)D> 01 002+V(2) [*]*
2 7 -1 112+V(1) <E(01) 003+V(2) [*]*
3 11+2*V(1) -5+-2*V(1) <E(01) 012+V(1) 003+V(2) [*]*
4 18+2*V(1) -2+-2*V(1) 11 (10)B> 012+V(1) 003+V(2) [*]*
5 26+6*V(1) 2 113+V(1) (10)B> 003+V(2) [*]*
6 30+6*V(1) 4 114+V(1) (11)A> 002+V(2) [*]*
7 35+6*V(1) 1 114+V(1) <C(10) 01 001+V(2) [*]*
8 43+8*V(1) -7+-2*V(1) <C(10) 104+V(1) 01 001+V(2) [*]*
9 47+8*V(1) -9+-2*V(1) <F(10) 00 104+V(1) 01 001+V(2) [*]*
10 52+8*V(1) -6+-2*V(1) 01 (11)D> 00 104+V(1) 01 001+V(2) [*]*
11 54+8*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01 001+V(2) [*]*
<< Success! ==> defined new CTR 33 (PPA)
13244668558 7708941810302781900 -4138958972 01 11 (11)B> 102069479510 01 00 10
== Executing PA-CTR 13, V(1)=0, V(2)=2069479507, repcount=1034739754, factor=3/2
20487846836 17345119058604141378 44 01 113104219263 (11)B> 102 01 00 10
== Executing PPA-CTR 16 (once), V(1)=3104219262
20487846848 17345119083437895526 -6208438486 11 (11)A> 013104219266 00 11 00 10
== Executing PA-CTR 10, V(1)=0, V(2)=3104219263, repcount=1552109632, factor=3/2
29800504640 39026517903756776614 42 114656328897 (11)A> 012 00 11 00 10
29800504641 39026517903756776616 44 114656328898 (11)D> 01 00 11 00 10
29800504642 39026517903756776621 41 114656328898 <E(01) 002 11 00 10
29800504643 39026517913069434417 -9312657755 <E(01) 014656328898 002 11 00 10
29800504644 39026517913069434424 -9312657752 11 (10)B> 014656328898 002 11 00 10
29800504645 39026517931694750016 44 114656328899 (10)B> 002 11 00 10
29800504646 39026517931694750020 46 114656328900 (11)A> 00 11 00 10
29800504647 39026517931694750025 43 114656328900 <C(10) 01 11 00 10
29800504648 39026517941007407825 -9312657757 <C(10) 104656328900 01 11 00 10
29800504649 39026517941007407829 -9312657759 <F(10) 00 104656328900 01 11 00 10
29800504650 39026517941007407834 -9312657756 01 (11)D> 00 104656328900 01 11 00 10
29800504651 39026517941007407836 -9312657754 01 11 (11)B> 104656328900 01 11 00 10
29800504652 39026517941007407838 -9312657752 01 112 (11)A> 104656328899 01 11 00 10
29800504653 39026517941007407841 -9312657755 01 112 <C(10) 00 104656328898 01 11 00 10
29800504654 39026517941007407845 -9312657759 01 <C(10) 102 00 104656328898 01 11 00 10
29800504655 39026517941007407847 -9312657761 <F(10) 103 00 104656328898 01 11 00 10
29800504656 39026517941007407852 -9312657758 01 (11)D> 103 00 104656328898 01 11 00 10
29800504657 39026517941007407864 -9312657752 01 113 (11)D> 00 104656328898 01 11 00 10
29800504658 39026517941007407866 -9312657750 01 114 (11)B> 104656328898 01 11 00 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (11)B> 103+V(2) [*]* [*]* [*]* [*]*
1 2 2 01 112+V(1) (11)A> 102+V(2) [*]* [*]* [*]* [*]*
2 5 -1 01 112+V(1) <C(10) 00 101+V(2) [*]* [*]* [*]* [*]*
3 9+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 00 101+V(2) [*]* [*]* [*]* [*]*
4 11+2*V(1) -7+-2*V(1) <F(10) 103+V(1) 00 101+V(2) [*]* [*]* [*]* [*]*
5 16+2*V(1) -4+-2*V(1) 01 (11)D> 103+V(1) 00 101+V(2) [*]* [*]* [*]* [*]*
6 28+6*V(1) 2 01 113+V(1) (11)D> 00 101+V(2) [*]* [*]* [*]* [*]*
7 30+6*V(1) 4 01 114+V(1) (11)B> 101+V(2) [*]* [*]* [*]* [*]*
<< Success! ==> defined new CTR 34 (PA)
29800504658 39026517941007407866 -9312657750 01 114 (11)B> 104656328898 01 11 00 10
== Executing PA-CTR 34, V(1)=3, V(2)=4656328895, repcount=2328164448, factor=3/2
46097655794 87809665304186123674 42 01 116984493348 (11)B> 102 01 11 00 10
46097655795 87809665304186123676 44 01 116984493349 (11)A> 10 01 11 00 10
46097655796 87809665304186123679 41 01 116984493349 <C(10) 00 01 11 00 10
46097655797 87809665318155110377 -13968986657 01 <C(10) 106984493349 00 01 11 00 10
Lines: 501
Top steps: 500
Macro steps: 46097655797
Basic steps: 87809665318155110377
Tape index: -13968986657
ones: 6984493355
log10(ones ): 9.844
log10(steps ): 19.944
Input to awk program:
gohalt 1
L 20
5T B1R C0L A1L D1R A1R E0L A1R B0R F1L C1L D1R Z1R : >6.7*10^47 >2.0*10^95
T 6-state TM #m from MaBu-List
M 501
pref sim
machv mbL6_m just simple
machv mbL6_m-r with repetitions reduced
machv mbL6_m-1 with tape symbol exponents
machv mbL6_m-m as 2-bck-macro machine
machv mbL6_m-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_m-a
mtype 2 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:05 CEST 2010
edate Tue Jul 6 22:11:07 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:05 CEST 2010