Comment: This TM produces >1.4*10^60 ones in >6.1*10^119 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 | C1R | 1 | left | A | 1 | right | C |
| C | A1R | D0L | 1 | right | A | 0 | left | D |
| D | E1L | C1L | 1 | left | E | 1 | left | C |
| E | F1R | Z1R | 1 | right | F | 1 | right | Z |
| F | A1R | E1R | 1 | right | A | 1 | right | E |
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)C>
2 8 4 01 11 (11)B>
3 11 1 01 11 <D(00) 10
4 13 -1 01 <D(01) 00 10
5 17 -3 <D(00) 01 00 10
6 22 0 11 (11)A> 01 00 10
7 24 2 112 (11)C> 00 10
8 26 4 113 (11)B> 10
9 28 6 114 (11)A>
10 33 3 114 <C(10) 01
11 41 -5 <C(10) 104 01
12 45 -7 <E(10) 00 104 01
13 48 -4 01 (11)F> 00 104 01
14 50 -2 01 11 (11)B> 104 01
15 52 0 01 112 (11)A> 103 01
16 55 -3 01 112 <C(10) 00 102 01
17 59 -7 01 <C(10) 102 00 102 01
18 61 -9 <E(10) 103 00 102 01
19 64 -6 01 (11)F> 103 00 102 01
20 70 0 01 113 (11)F> 00 102 01
21 72 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) <E(10) 103+V(1) 00 101+V(2) [*]*
5 14+2*V(1) -4+-2*V(1) 01 (11)F> 103+V(1) 00 101+V(2) [*]*
6 20+4*V(1) 2 01 113+V(1) (11)F> 00 101+V(2) [*]*
7 22+4*V(1) 4 01 114+V(1) (11)B> 101+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
22 74 4 01 115 (11)A> 10 01
23 77 1 01 115 <C(10) 00 01
24 87 -9 01 <C(10) 105 00 01
25 89 -11 <E(10) 106 00 01
26 92 -8 01 (11)F> 106 00 01
27 104 4 01 116 (11)F> 00 01
28 106 6 01 117 (11)B> 01
29 109 3 01 117 <D(00) 11
30 111 1 01 116 <D(01) 00 11
31 123 -11 01 <D(01) 016 00 11
32 127 -13 <D(00) 017 00 11
33 132 -10 11 (11)A> 017 00 11
34 134 -8 112 (11)C> 016 00 11
35 139 -11 112 <D(01) 00 015 00 11
36 143 -15 <D(01) 012 00 015 00 11
37 148 -12 11 (11)E> 012 00 015 00 11
38 152 -8 113 (11)E> 00 015 00 11
39 154 -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)C> 012+V(2) [*]* [*]*
2 7 -1 112+V(1) <D(01) 00 011+V(2) [*]* [*]*
3 11+2*V(1) -5+-2*V(1) <D(01) 012+V(1) 00 011+V(2) [*]* [*]*
4 16+2*V(1) -2+-2*V(1) 11 (11)E> 012+V(1) 00 011+V(2) [*]* [*]*
5 20+4*V(1) 2 113+V(1) (11)E> 00 011+V(2) [*]* [*]*
6 22+4*V(1) 4 114+V(1) (11)A> 011+V(2) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
39 154 -6 114 (11)A> 015 00 11
== Executing PA-CTR 2, V(1)=3, V(2)=2, repcount=2, factor=3/2
51 234 2 1110 (11)A> 01 00 11
52 236 4 1111 (11)C> 00 11
53 238 6 1112 (11)B> 11
54 243 3 1112 <C(10) 10
55 267 -21 <C(10) 1013
56 271 -23 <E(10) 00 1013
57 274 -20 01 (11)F> 00 1013
58 276 -18 01 11 (11)B> 1013
59 278 -16 01 112 (11)A> 1012
60 281 -19 01 112 <C(10) 00 1011
61 285 -23 01 <C(10) 102 00 1011
62 287 -25 <E(10) 103 00 1011
63 290 -22 01 (11)F> 103 00 1011
64 296 -16 01 113 (11)F> 00 1011
65 298 -14 01 114 (11)B> 1011
>> 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) <E(10) 103+V(1) 00 101+V(2)
5 14+2*V(1) -4+-2*V(1) 01 (11)F> 103+V(1) 00 101+V(2)
6 20+4*V(1) 2 01 113+V(1) (11)F> 00 101+V(2)
7 22+4*V(1) 4 01 114+V(1) (11)B> 101+V(2)
<< Success! ==> defined new CTR 3 (PA)
65 298 -14 01 114 (11)B> 1011
== Executing PA-CTR 3, V(1)=3, V(2)=8, repcount=5, factor=3/2
100 588 6 01 1119 (11)B> 10
101 590 8 01 1120 (11)A>
102 595 5 01 1120 <C(10) 01
103 635 -35 01 <C(10) 1020 01
104 637 -37 <E(10) 1021 01
105 640 -34 01 (11)F> 1021 01
106 682 8 01 1121 (11)F> 01
107 687 5 01 1121 <D(01)
108 729 -37 01 <D(01) 0121
109 733 -39 <D(00) 0122
110 738 -36 11 (11)A> 0122
111 740 -34 112 (11)C> 0121
112 745 -37 112 <D(01) 00 0120
113 749 -41 <D(01) 012 00 0120
114 754 -38 11 (11)E> 012 00 0120
115 758 -34 113 (11)E> 00 0120
116 760 -32 114 (11)A> 0120
>> 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)C> 012+V(2)
2 7 -1 112+V(1) <D(01) 00 011+V(2)
3 11+2*V(1) -5+-2*V(1) <D(01) 012+V(1) 00 011+V(2)
4 16+2*V(1) -2+-2*V(1) 11 (11)E> 012+V(1) 00 011+V(2)
5 20+4*V(1) 2 113+V(1) (11)E> 00 011+V(2)
6 22+4*V(1) 4 114+V(1) (11)A> 011+V(2)
<< Success! ==> defined new CTR 4 (PA)
116 760 -32 114 (11)A> 0120
== Executing PA-CTR 4, V(1)=3, V(2)=17, repcount=9, factor=3/2
170 1498 4 1131 (11)A> 012
171 1500 6 1132 (11)C> 01
172 1505 3 1132 <D(01)
173 1569 -61 <D(01) 0132
174 1574 -58 11 (11)E> 0132
175 1638 6 1133 (11)E>
176 1640 8 1134 (11)A>
177 1645 5 1134 <C(10) 01
178 1713 -63 <C(10) 1034 01
179 1717 -65 <E(10) 00 1034 01
180 1720 -62 01 (11)F> 00 1034 01
181 1722 -60 01 11 (11)B> 1034 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)C> 01
2 7 -1 112+V(1) <D(01)
3 11+2*V(1) -5+-2*V(1) <D(01) 012+V(1)
4 16+2*V(1) -2+-2*V(1) 11 (11)E> 012+V(1)
5 20+4*V(1) 2 113+V(1) (11)E>
6 22+4*V(1) 4 114+V(1) (11)A>
7 27+4*V(1) 1 114+V(1) <C(10) 01
8 35+6*V(1) -7+-2*V(1) <C(10) 104+V(1) 01
9 39+6*V(1) -9+-2*V(1) <E(10) 00 104+V(1) 01
10 42+6*V(1) -6+-2*V(1) 01 (11)F> 00 104+V(1) 01
11 44+6*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01
<< Success! ==> defined new CTR 5 (PPA)
181 1722 -60 01 11 (11)B> 1034 01
== Executing PA-CTR 1, V(1)=0, V(2)=31, repcount=16, factor=3/2
293 3514 4 01 1149 (11)B> 102 01
294 3516 6 01 1150 (11)A> 10 01
295 3519 3 01 1150 <C(10) 00 01
296 3619 -97 01 <C(10) 1050 00 01
297 3621 -99 <E(10) 1051 00 01
298 3624 -96 01 (11)F> 1051 00 01
299 3726 6 01 1151 (11)F> 00 01
300 3728 8 01 1152 (11)B> 01
301 3731 5 01 1152 <D(00) 11
302 3733 3 01 1151 <D(01) 00 11
303 3835 -99 01 <D(01) 0151 00 11
304 3839 -101 <D(00) 0152 00 11
305 3844 -98 11 (11)A> 0152 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) <E(10) 103+V(1) 00 01
5 14+2*V(1) -4+-2*V(1) 01 (11)F> 103+V(1) 00 01
6 20+4*V(1) 2 01 113+V(1) (11)F> 00 01
7 22+4*V(1) 4 01 114+V(1) (11)B> 01
8 25+4*V(1) 1 01 114+V(1) <D(00) 11
9 27+4*V(1) -1 01 113+V(1) <D(01) 00 11
10 33+6*V(1) -7+-2*V(1) 01 <D(01) 013+V(1) 00 11
11 37+6*V(1) -9+-2*V(1) <D(00) 014+V(1) 00 11
12 42+6*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 11
<< Success! ==> defined new CTR 6 (PPA)
305 3844 -98 11 (11)A> 0152 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=49, repcount=25, factor=3/2
455 7994 2 1176 (11)A> 012 00 11
456 7996 4 1177 (11)C> 01 00 11
457 8001 1 1177 <D(01) 002 11
458 8155 -153 <D(01) 0177 002 11
459 8160 -150 11 (11)E> 0177 002 11
460 8314 4 1178 (11)E> 002 11
461 8316 6 1179 (11)A> 00 11
462 8321 3 1179 <C(10) 01 11
463 8479 -155 <C(10) 1079 01 11
464 8483 -157 <E(10) 00 1079 01 11
465 8486 -154 01 (11)F> 00 1079 01 11
466 8488 -152 01 11 (11)B> 1079 01 11
467 8490 -150 01 112 (11)A> 1078 01 11
468 8493 -153 01 112 <C(10) 00 1077 01 11
469 8497 -157 01 <C(10) 102 00 1077 01 11
470 8499 -159 <E(10) 103 00 1077 01 11
471 8502 -156 01 (11)F> 103 00 1077 01 11
472 8508 -150 01 113 (11)F> 00 1077 01 11
473 8510 -148 01 114 (11)B> 1077 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) <E(10) 103+V(1) 00 101+V(2) [*]* [*]*
5 14+2*V(1) -4+-2*V(1) 01 (11)F> 103+V(1) 00 101+V(2) [*]* [*]*
6 20+4*V(1) 2 01 113+V(1) (11)F> 00 101+V(2) [*]* [*]*
7 22+4*V(1) 4 01 114+V(1) (11)B> 101+V(2) [*]* [*]*
<< Success! ==> defined new CTR 7 (PA)
473 8510 -148 01 114 (11)B> 1077 01 11
== Executing PA-CTR 7, V(1)=3, V(2)=74, repcount=38, factor=3/2
739 18238 4 01 11118 (11)B> 10 01 11
740 18240 6 01 11119 (11)A> 01 11
741 18242 8 01 11120 (11)C> 11
742 18245 5 01 11120 <D(01) 01
743 18485 -235 01 <D(01) 01121
744 18489 -237 <D(00) 01122
745 18494 -234 11 (11)A> 01122
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 10 01 11
1 2 2 01 112+V(1) (11)A> 01 11
2 4 4 01 113+V(1) (11)C> 11
3 7 1 01 113+V(1) <D(01) 01
4 13+2*V(1) -5+-2*V(1) 01 <D(01) 014+V(1)
5 17+2*V(1) -7+-2*V(1) <D(00) 015+V(1)
6 22+2*V(1) -4+-2*V(1) 11 (11)A> 015+V(1)
<< Success! ==> defined new CTR 8 (PPA)
745 18494 -234 11 (11)A> 01122
== Executing PA-CTR 4, V(1)=0, V(2)=119, repcount=60, factor=3/2
1105 41054 6 11181 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=180
1116 42178 -358 01 11 (11)B> 10184 01
== Executing PA-CTR 1, V(1)=0, V(2)=181, repcount=91, factor=3/2
1753 93320 6 01 11274 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=273
1765 95000 -546 11 (11)A> 01277 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=274, repcount=138, factor=3/2
2593 211472 6 11415 (11)A> 01 00 11
2594 211474 8 11416 (11)C> 00 11
2595 211476 10 11417 (11)B> 11
2596 211481 7 11417 <C(10) 10
2597 212315 -827 <C(10) 10418
2598 212319 -829 <E(10) 00 10418
2599 212322 -826 01 (11)F> 00 10418
2600 212324 -824 01 11 (11)B> 10418
>> 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)C> 00 11
2 4 4 113+V(1) (11)B> 11
3 9 1 113+V(1) <C(10) 10
4 15+2*V(1) -5+-2*V(1) <C(10) 104+V(1)
5 19+2*V(1) -7+-2*V(1) <E(10) 00 104+V(1)
6 22+2*V(1) -4+-2*V(1) 01 (11)F> 00 104+V(1)
7 24+2*V(1) -2+-2*V(1) 01 11 (11)B> 104+V(1)
<< Success! ==> defined new CTR 9 (PPA)
2600 212324 -824 01 11 (11)B> 10418
== Executing PA-CTR 3, V(1)=0, V(2)=415, repcount=208, factor=3/2
4056 475236 8 01 11625 (11)B> 102
4057 475238 10 01 11626 (11)A> 10
4058 475241 7 01 11626 <C(10)
4059 476493 -1245 01 <C(10) 10626
4060 476495 -1247 <E(10) 10627
4061 476498 -1244 01 (11)F> 10627
4062 477752 10 01 11627 (11)F>
4063 477754 12 01 11628 (11)B>
4064 477757 9 01 11628 <D(00) 10
4065 477759 7 01 11627 <D(01) 00 10
4066 479013 -1247 01 <D(01) 01627 00 10
4067 479017 -1249 <D(00) 01628 00 10
4068 479022 -1246 11 (11)A> 01628 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) <E(10) 103+V(1)
5 14+2*V(1) -4+-2*V(1) 01 (11)F> 103+V(1)
6 20+4*V(1) 2 01 113+V(1) (11)F>
7 22+4*V(1) 4 01 114+V(1) (11)B>
8 25+4*V(1) 1 01 114+V(1) <D(00) 10
9 27+4*V(1) -1 01 113+V(1) <D(01) 00 10
10 33+6*V(1) -7+-2*V(1) 01 <D(01) 013+V(1) 00 10
11 37+6*V(1) -9+-2*V(1) <D(00) 014+V(1) 00 10
12 42+6*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 10
<< Success! ==> defined new CTR 10 (PPA)
4068 479022 -1246 11 (11)A> 01628 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=625, repcount=313, factor=3/2
5946 1071844 6 11940 (11)A> 012 00 10
5947 1071846 8 11941 (11)C> 01 00 10
5948 1071851 5 11941 <D(01) 002 10
5949 1073733 -1877 <D(01) 01941 002 10
5950 1073738 -1874 11 (11)E> 01941 002 10
5951 1075620 8 11942 (11)E> 002 10
5952 1075622 10 11943 (11)A> 00 10
5953 1075627 7 11943 <C(10) 01 10
5954 1077513 -1879 <C(10) 10943 01 10
5955 1077517 -1881 <E(10) 00 10943 01 10
5956 1077520 -1878 01 (11)F> 00 10943 01 10
5957 1077522 -1876 01 11 (11)B> 10943 01 10
>> 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)C> 01 00 [*]*
2 7 -1 112+V(1) <D(01) 002 [*]*
3 11+2*V(1) -5+-2*V(1) <D(01) 012+V(1) 002 [*]*
4 16+2*V(1) -2+-2*V(1) 11 (11)E> 012+V(1) 002 [*]*
5 20+4*V(1) 2 113+V(1) (11)E> 002 [*]*
6 22+4*V(1) 4 114+V(1) (11)A> 00 [*]*
7 27+4*V(1) 1 114+V(1) <C(10) 01 [*]*
8 35+6*V(1) -7+-2*V(1) <C(10) 104+V(1) 01 [*]*
9 39+6*V(1) -9+-2*V(1) <E(10) 00 104+V(1) 01 [*]*
10 42+6*V(1) -6+-2*V(1) 01 (11)F> 00 104+V(1) 01 [*]*
11 44+6*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1) 01 [*]*
<< Success! ==> defined new CTR 11 (PPA)
5957 1077522 -1876 01 11 (11)B> 10943 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=940, repcount=471, factor=3/2
9254 2416104 8 01 111414 (11)B> 10 01 10
9255 2416106 10 01 111415 (11)A> 01 10
9256 2416108 12 01 111416 (11)C> 10
9257 2416111 9 01 111416 <D(01)
9258 2418943 -2823 01 <D(01) 011416
9259 2418947 -2825 <D(00) 011417
9260 2418952 -2822 11 (11)A> 011417
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 10 01 10
1 2 2 01 112+V(1) (11)A> 01 10
2 4 4 01 113+V(1) (11)C> 10
3 7 1 01 113+V(1) <D(01)
4 13+2*V(1) -5+-2*V(1) 01 <D(01) 013+V(1)
5 17+2*V(1) -7+-2*V(1) <D(00) 014+V(1)
6 22+2*V(1) -4+-2*V(1) 11 (11)A> 014+V(1)
<< Success! ==> defined new CTR 12 (PPA)
9260 2418952 -2822 11 (11)A> 011417
== Executing PA-CTR 4, V(1)=0, V(2)=1414, repcount=708, factor=3/2
13508 5437864 10 112125 (11)A> 01
13509 5437866 12 112126 (11)C>
13510 5437868 14 112127 (11)B>
13511 5437871 11 112127 <D(00) 10
13512 5437873 9 112126 <D(01) 00 10
13513 5442125 -4243 <D(01) 012126 00 10
13514 5442130 -4240 11 (11)E> 012126 00 10
13515 5446382 12 112127 (11)E> 00 10
13516 5446384 14 112128 (11)A> 10
13517 5446387 11 112128 <C(10)
13518 5450643 -4245 <C(10) 102128
13519 5450647 -4247 <E(10) 00 102128
13520 5450650 -4244 01 (11)F> 00 102128
13521 5450652 -4242 01 11 (11)B> 102128
>> 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)C>
2 4 4 113+V(1) (11)B>
3 7 1 113+V(1) <D(00) 10
4 9 -1 112+V(1) <D(01) 00 10
5 13+2*V(1) -5+-2*V(1) <D(01) 012+V(1) 00 10
6 18+2*V(1) -2+-2*V(1) 11 (11)E> 012+V(1) 00 10
7 22+4*V(1) 2 113+V(1) (11)E> 00 10
8 24+4*V(1) 4 114+V(1) (11)A> 10
9 27+4*V(1) 1 114+V(1) <C(10)
10 35+6*V(1) -7+-2*V(1) <C(10) 104+V(1)
11 39+6*V(1) -9+-2*V(1) <E(10) 00 104+V(1)
12 42+6*V(1) -6+-2*V(1) 01 (11)F> 00 104+V(1)
13 44+6*V(1) -4+-2*V(1) 01 11 (11)B> 104+V(1)
<< Success! ==> defined new CTR 13 (PPA)
13521 5450652 -4242 01 11 (11)B> 102128
== Executing PA-CTR 3, V(1)=0, V(2)=2125, repcount=1063, factor=3/2
20962 12247474 10 01 113190 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=3189
20974 12266650 -6374 11 (11)A> 013193 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=3190, repcount=1596, factor=3/2
30550 27575482 10 114789 (11)A> 01 00 10
30551 27575484 12 114790 (11)C> 00 10
30552 27575486 14 114791 (11)B> 10
30553 27575488 16 114792 (11)A>
30554 27575493 13 114792 <C(10) 01
30555 27585077 -9571 <C(10) 104792 01
30556 27585081 -9573 <E(10) 00 104792 01
30557 27585084 -9570 01 (11)F> 00 104792 01
30558 27585086 -9568 01 11 (11)B> 104792 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 111+V(1) (11)A> 01 00 10
1 2 2 112+V(1) (11)C> 00 10
2 4 4 113+V(1) (11)B> 10
3 6 6 114+V(1) (11)A>
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) <E(10) 00 104+V(1) 01
7 26+2*V(1) -4+-2*V(1) 01 (11)F> 00 104+V(1) 01
8 28+2*V(1) -2+-2*V(1) 01 11 (11)B> 104+V(1) 01
<< Success! ==> defined new CTR 14 (PPA)
30558 27585086 -9568 01 11 (11)B> 104792 01
== Executing PA-CTR 1, V(1)=0, V(2)=4789, repcount=2395, factor=3/2
47323 62039556 12 01 117186 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=7185
47335 62082708 -14364 11 (11)A> 017189 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=7186, repcount=3594, factor=3/2
68899 139641228 12 1110783 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=10782
68906 139662816 -21554 01 11 (11)B> 1010786
== Executing PA-CTR 3, V(1)=0, V(2)=10783, repcount=5392, factor=3/2
106650 314191072 14 01 1116177 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=16176
106662 314288170 -32344 11 (11)A> 0116180 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=16177, repcount=8089, factor=3/2
155196 707009120 12 1124268 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=24267
155207 707154766 -48526 01 11 (11)B> 1024271 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=24268, repcount=12135, factor=3/2
240152 1590898276 14 01 1136406 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=36405
240158 1590971108 -72800 11 (11)A> 0136409
== Executing PA-CTR 4, V(1)=0, V(2)=36406, repcount=18204, factor=3/2
349382 3579576068 16 1154613 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=54612
349395 3579903784 -109212 01 11 (11)B> 1054616
== Executing PA-CTR 3, V(1)=0, V(2)=54613, repcount=27307, factor=3/2
540544 8054374190 16 01 1181922 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=81921
540556 8054865758 -163832 11 (11)A> 0181925 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=81922, repcount=40962, factor=3/2
786328 18122833814 16 11122887 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=122886
786336 18123079614 -245758 01 11 (11)B> 10122890 01
== Executing PA-CTR 1, V(1)=0, V(2)=122887, repcount=61444, factor=3/2
1216444 40776253534 18 01 11184333 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=184332
1216456 40777359568 -368652 11 (11)A> 01184336 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=184333, repcount=92167, factor=3/2
1769458 91747369574 16 11276502 (11)A> 012 00 11
== Executing PPA-CTR 11 (once), V(1)=276501
1769469 91749028624 -552990 01 11 (11)B> 10276505 01 11
== Executing PA-CTR 7, V(1)=0, V(2)=276502, repcount=138252, factor=3/2
2737233 206432933680 18 01 11414757 (11)B> 10 01 11
== Executing PPA-CTR 8 (once), V(1)=414756
2737239 206433763214 -829498 11 (11)A> 01414761
== Executing PA-CTR 4, V(1)=0, V(2)=414758, repcount=207380, factor=3/2
3981519 464475867694 22 11622141 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=622140
3981532 464479600578 -1244262 01 11 (11)B> 10622144
== Executing PA-CTR 3, V(1)=0, V(2)=622141, repcount=311071, factor=3/2
6159029 1045075579960 22 01 11933214 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=933213
6159041 1045081179280 -1866410 11 (11)A> 01933217 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=933214, repcount=466608, factor=3/2
8958689 2351426798992 22 111399825 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=1399824
8958697 2351429598668 -2799628 01 11 (11)B> 101399828 01
== Executing PA-CTR 1, V(1)=0, V(2)=1399825, repcount=699913, factor=3/2
13858088 5290710042690 24 01 112099740 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=2099739
13858100 5290722641166 -4199460 11 (11)A> 012099743 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=2099740, repcount=1049871, factor=3/2
20157326 11904114138948 24 113149614 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=3149613
20157333 11904120438198 -6299204 01 11 (11)B> 103149617
== Executing PA-CTR 3, V(1)=0, V(2)=3149614, repcount=1574808, factor=3/2
31180989 26784267056310 28 01 114724425 (11)B> 10
31180990 26784267056312 30 01 114724426 (11)A>
31180991 26784267056317 27 01 114724426 <C(10) 01
31180992 26784276505169 -9448825 01 <C(10) 104724426 01
31180993 26784276505171 -9448827 <E(10) 104724427 01
31180994 26784276505174 -9448824 01 (11)F> 104724427 01
31180995 26784285954028 30 01 114724427 (11)F> 01
31180996 26784285954033 27 01 114724427 <D(01)
31180997 26784295402887 -9448827 01 <D(01) 014724427
31180998 26784295402891 -9448829 <D(00) 014724428
31180999 26784295402896 -9448826 11 (11)A> 014724428
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (11)B> 10
1 2 2 01 112+V(1) (11)A>
2 7 -1 01 112+V(1) <C(10) 01
3 11+2*V(1) -5+-2*V(1) 01 <C(10) 102+V(1) 01
4 13+2*V(1) -7+-2*V(1) <E(10) 103+V(1) 01
5 16+2*V(1) -4+-2*V(1) 01 (11)F> 103+V(1) 01
6 22+4*V(1) 2 01 113+V(1) (11)F> 01
7 27+4*V(1) -1 01 113+V(1) <D(01)
8 33+6*V(1) -7+-2*V(1) 01 <D(01) 013+V(1)
9 37+6*V(1) -9+-2*V(1) <D(00) 014+V(1)
10 42+6*V(1) -6+-2*V(1) 11 (11)A> 014+V(1)
<< Success! ==> defined new CTR 15 (PPA)
31180999 26784295402896 -9448826 11 (11)A> 014724428
== Executing PA-CTR 4, V(1)=0, V(2)=4724425, repcount=2362213, factor=3/2
45354277 60264634742518 26 117086640 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=7086639
45354288 60264677262396 -14173256 01 11 (11)B> 107086643 01
== Executing PA-CTR 1, V(1)=0, V(2)=7086640, repcount=3543321, factor=3/2
70157535 135595476209778 28 01 1110629964 (11)B> 10 01
70157536 135595476209780 30 01 1110629965 (11)A> 01
70157537 135595476209782 32 01 1110629966 (11)C>
70157538 135595476209784 34 01 1110629967 (11)B>
70157539 135595476209787 31 01 1110629967 <D(00) 10
70157540 135595476209789 29 01 1110629966 <D(01) 00 10
70157541 135595497469721 -21259903 01 <D(01) 0110629966 00 10
70157542 135595497469725 -21259905 <D(00) 0110629967 00 10
70157543 135595497469730 -21259902 11 (11)A> 0110629967 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)C>
3 6 6 01 114+V(1) (11)B>
4 9 3 01 114+V(1) <D(00) 10
5 11 1 01 113+V(1) <D(01) 00 10
6 17+2*V(1) -5+-2*V(1) 01 <D(01) 013+V(1) 00 10
7 21+2*V(1) -7+-2*V(1) <D(00) 014+V(1) 00 10
8 26+2*V(1) -4+-2*V(1) 11 (11)A> 014+V(1) 00 10
<< Success! ==> defined new CTR 16 (PPA)
70157543 135595497469730 -21259902 11 (11)A> 0110629967 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=10629964, repcount=5314983, factor=3/2
102047441 305089848251192 30 1115944950 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=15944949
102047449 305089880141118 -31889870 01 11 (11)B> 1015944953 01
== Executing PA-CTR 1, V(1)=0, V(2)=15944950, repcount=7972476, factor=3/2
157854781 686452249124190 34 01 1123917429 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=23917428
157854789 686452296959072 -47834826 11 (11)A> 0123917432 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=23917429, repcount=11958715, factor=3/2
229607079 1544517675005862 34 1135876146 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=35876145
229607090 1544517890262776 -71752260 01 11 (11)B> 1035876149 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=35876146, repcount=17938074, factor=3/2
355173608 3475165170248816 36 01 1153814223 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=53814222
355173614 3475165277877282 -107628412 11 (11)A> 0153814226
== Executing PA-CTR 4, V(1)=0, V(2)=53814223, repcount=26907112, factor=3/2
516616286 7819121765474338 36 1180721337 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=80721336
516616297 7819122249802398 -161442640 01 11 (11)B> 1080721340 01
== Executing PA-CTR 1, V(1)=0, V(2)=80721337, repcount=40360669, factor=3/2
799140980 17593024508338468 36 01 11121082008 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=121082007
799140992 17593025234830552 -242163984 11 (11)A> 01121082011 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=121082008, repcount=60541005, factor=3/2
1162387022 39584305921946782 36 11181623016 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=181623015
1162387029 39584306285192836 -363245996 01 11 (11)B> 10181623019
== Executing PA-CTR 3, V(1)=0, V(2)=181623016, repcount=90811509, factor=3/2
1798067592 89064688739319466 40 01 11272434528 (11)B> 10
== Executing PPA-CTR 15 (once), V(1)=272434527
1798067602 89064690373926670 -544869020 11 (11)A> 01272434531
== Executing PA-CTR 4, V(1)=0, V(2)=272434528, repcount=136217265, factor=3/2
2615371192 2003955[4]7884260 40 11408651796 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=408651795
2615371205 2003955[4]9795074 -817303554 01 11 (11)B> 10408651799
== Executing PA-CTR 3, V(1)=0, V(2)=408651796, repcount=204325899, factor=3/2
4045652498 4508899[4]1958664 42 01 11612977698 (11)B> 10
== Executing PPA-CTR 15 (once), V(1)=612977697
4045652508 4508899[4]9824888 -1225955358 11 (11)A> 01612977701
== Executing PA-CTR 4, V(1)=0, V(2)=612977698, repcount=306488850, factor=3/2
5884585608 1014502[5]9581488 42 11919466551 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=919466550
5884585621 1014502[5]6380832 -1838933062 01 11 (11)B> 10919466554
== Executing PA-CTR 3, V(1)=0, V(2)=919466551, repcount=459733276, factor=3/2
9102718553 2282630[5]2266304 42 01 111379199829 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=1379199828
9102718565 2282630[5]7465314 -2758399620 11 (11)A> 011379199832 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1379199829, repcount=689599915, factor=3/2
13240318055 5135918[5]9107304 40 112068799746 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=2068799745
13240318066 5135918[5]1905818 -4137599454 01 11 (11)B> 102068799749 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=2068799746, repcount=1034399874, factor=3/2
20481117184 1155581[6]9599058 42 01 113103199623 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=3103199622
20481117190 1155581[6]5998324 -6206399206 11 (11)A> 013103199626
== Executing PA-CTR 4, V(1)=0, V(2)=3103199623, repcount=1551599812, factor=3/2
29790716062 2600058[6]2207380 42 114654799437 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=4654799436
29790716073 2600058[6]1004040 -9309598834 01 11 (11)B> 104654799440 01
== Executing PA-CTR 1, V(1)=0, V(2)=4654799437, repcount=2327399719, factor=3/2
46082514106 5850132[6]7073310 42 01 116982199158 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=6982199157
46082514118 5850132[6]0268294 -13964398278 11 (11)A> 016982199161 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=6982199158, repcount=3491099580, factor=3/2
67029111598 1316279[7]4919974 42 1110473298741 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=10473298740
67029111605 1316279[7]1517478 -20946597440 01 11 (11)B> 1010473298744
== Executing PA-CTR 3, V(1)=0, V(2)=10473298741, repcount=5236649371, factor=3/2
103685657202 2961629[7]6081260 44 01 1115709948114 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=15709948113
103685657214 2961629[7]5769980 -31419896188 11 (11)A> 0115709948117 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=15709948114, repcount=7854974058, factor=3/2
150815501562 6663666[7]3279092 44 1123564922175 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=23564922174
150815501570 6663666[7]3123468 -47129844306 01 11 (11)B> 1023564922178 01
== Executing PA-CTR 1, V(1)=0, V(2)=23564922175, repcount=11782461088, factor=3/2
233292729186 1499325[8]7363340 46 01 1135347383265 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=35347383264
233292729198 1499325[8]1662966 -70694766488 11 (11)A> 0135347383268 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=35347383265, repcount=17673691633, factor=3/2
339334878996 3373481[8]5969228 44 1153021074900 (11)A> 012 00 11
== Executing PPA-CTR 11 (once), V(1)=53021074899
339334879007 3373481[8]2418666 -106042149758 01 11 (11)B> 1053021074903 01 11
== Executing PA-CTR 7, V(1)=0, V(2)=53021074900, repcount=26510537451, factor=3/2
524908641164 7590332[8]2482288 46 01 1179531612354 (11)B> 10 01 11
== Executing PPA-CTR 8 (once), V(1)=79531612353
524908641170 7590332[8]5707016 -159063224664 11 (11)A> 0179531612358
== Executing PA-CTR 4, V(1)=0, V(2)=79531612355, repcount=39765806178, factor=3/2
763503478238 1707824[9]6411968 48 11119297418535 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=119297418534
763503478249 1707824[9]0923216 -238594837024 01 11 (11)B> 10119297418538 01
== Executing PA-CTR 1, V(1)=0, V(2)=119297418535, repcount=59648709268, factor=3/2
1181044443125 3842605[9]4846448 48 01 11178946127805 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=178946127804
1181044443137 3842605[9]1613314 -357892255566 11 (11)A> 01178946127808 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=178946127805, repcount=89473063903, factor=3/2
1717882826555 8645863[9]0196216 46 11268419191710 (11)A> 012 00 11
== Executing PPA-CTR 11 (once), V(1)=268419191709
1717882826566 8645863[9]5346514 -536838383376 01 11 (11)B> 10268419191713 01 11
== Executing PA-CTR 7, V(1)=0, V(2)=268419191710, repcount=134209595856, factor=3/2
2657349997558 1945319[10]3116626 48 01 11402628787569 (11)B> 10 01 11
== Executing PPA-CTR 8 (once), V(1)=402628787568
2657349997564 1945319[10]0691784 -805257575092 11 (11)A> 01402628787573
== Executing PA-CTR 4, V(1)=0, V(2)=402628787570, repcount=201314393786, factor=3/2
3865236360280 4376968[10]3475136 52 11603943181359 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=603943181358
3865236360293 4376968[10]2563328 -1207886362668 01 11 (11)B> 10603943181362
== Executing PA-CTR 3, V(1)=0, V(2)=603943181359, repcount=301971590680, factor=3/2
5979037495053 9848178[10]5188608 52 01 11905914772041 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=905914772040
5979037495065 9848178[10]3820890 -1811829544034 11 (11)A> 01905914772044 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=905914772041, repcount=452957386021, factor=3/2
8696781811191 2215840[11]9271872 50 111358872158064 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=1358872158063
8696781811202 2215840[11]2220294 -2717744316080 01 11 (11)B> 101358872158067 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=1358872158064, repcount=679436079033, factor=3/2
13452834364433 4985640[11]2775356 52 01 112038308237100 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=2038308237099
13452834364439 4985640[11]9249576 -4076616474150 11 (11)A> 012038308237103
== Executing PA-CTR 4, V(1)=0, V(2)=2038308237100, repcount=1019154118551, factor=3/2
19567759075745 1121769[12]9183998 54 113057462355654 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=3057462355653
19567759075758 1121769[12]3317960 -6114924711256 01 11 (11)B> 103057462355657
== Executing PA-CTR 3, V(1)=0, V(2)=3057462355654, repcount=1528731177828, factor=3/2
30268877320554 2523980[12]4948712 56 01 114586193533485 (11)B> 10
== Executing PPA-CTR 15 (once), V(1)=4586193533484
30268877320564 2523980[12]6149658 -9172387066918 11 (11)A> 014586193533488
== Executing PA-CTR 4, V(1)=0, V(2)=4586193533485, repcount=2293096766743, factor=3/2
44027457921022 5678956[12]9385840 54 116879290300230 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=6879290300229
44027457921033 5678956[12]1187258 -13758580600408 01 11 (11)B> 106879290300233 01
== Executing PA-CTR 1, V(1)=0, V(2)=6879290300230, repcount=3439645150116, factor=3/2
68104973971845 1277765[13]2469850 56 01 1110318935450349 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=10318935450348
68104973971853 1277765[13]3370572 -20637870900644 11 (11)A> 0110318935450352 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=10318935450349, repcount=5159467725175, factor=3/2
99061780322903 2874971[13]9657122 56 1115478403175526 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=15478403175525
99061780322914 2874971[13]8710316 -30956806350998 01 11 (11)B> 1015478403175529 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=15478403175526, repcount=7739201587764, factor=3/2
153236191437262 6468686[13]1232716 58 01 1123217604763293 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=23217604763292
153236191437268 6468686[13]0759322 -46435209526530 11 (11)A> 0123217604763296
== Executing PA-CTR 4, V(1)=0, V(2)=23217604763293, repcount=11608802381647, factor=3/2
222889005727150 1455454[14]3461328 58 1134826407144942 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=34826407144941
222889005727161 1455454[14]6331018 -69652814289828 01 11 (11)B> 1034826407144945 01
== Executing PA-CTR 1, V(1)=0, V(2)=34826407144942, repcount=17413203572472, factor=3/2
344781430734465 3274772[14]0635274 60 01 1152239610717417 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=52239610717416
344781430734473 3274772[14]2070132 -104479221434776 11 (11)A> 0152239610717420 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=52239610717417, repcount=26119805358709, factor=3/2
501500262886727 7368237[14]0689562 60 1178359416076128 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=78359416076127
501500262886738 7368237[14]7146368 -156718832152198 01 11 (11)B> 1078359416076131 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=78359416076128, repcount=39179708038065, factor=3/2
775758219153193 1657853[15]9420758 62 01 11117539124114196 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=117539124114195
775758219153199 1657853[15]7649170 -235078248228332 11 (11)A> 01117539124114199
== Executing PA-CTR 4, V(1)=0, V(2)=117539124114196, repcount=58769562057099, factor=3/2
1128375591495793 3730170[15]8337560 64 11176308686171298 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=176308686171297
1128375591495806 3730170[15]5365386 -352617372342534 01 11 (11)B> 10176308686171301
== Executing PA-CTR 3, V(1)=0, V(2)=176308686171298, repcount=88154343085650, factor=3/2
1745455993095356 8392883[15]0270786 66 01 11264463029256951 (11)B> 10
== Executing PPA-CTR 15 (once), V(1)=264463029256950
1745455993095366 8392883[15]5812528 -528926058513840 11 (11)A> 01264463029256954
== Executing PA-CTR 4, V(1)=0, V(2)=264463029256951, repcount=132231514628476, factor=3/2
2538845080866222 1888398[16]0363600 64 11396694543885429 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=396694543885428
2538845080866233 1888398[16]3676212 -793389087770796 01 11 (11)B> 10396694543885432 01
== Executing PA-CTR 1, V(1)=0, V(2)=396694543885429, repcount=198347271942715, factor=3/2
3927275984465238 4248897[16]4187002 64 01 11595041815828146 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=595041815828145
3927275984465250 4248897[16]9155914 -1190083631656232 11 (11)A> 01595041815828149 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=595041815828146, repcount=297520907914074, factor=3/2
5712401431949694 9560018[16]9445954 64 11892562723742223 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=892562723742222
5712401431949701 9560018[16]6930422 -1785125447484382 01 11 (11)B> 10892562723742226
== Executing PA-CTR 3, V(1)=0, V(2)=892562723742223, repcount=446281361871112, factor=3/2
8836370965047485 2151004[17]7567478 66 01 111338844085613337 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=1338844085613336
8836370965047497 2151004[17]1247536 -2677688171226612 11 (11)A> 011338844085613340 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1338844085613337, repcount=669422042806669, factor=3/2
12852903221887511 4839759[17]1407606 64 112008266128420008 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=2008266128420007
12852903221887522 4839759[17]1927692 -4016532256839954 01 11 (11)B> 102008266128420011 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=2008266128420008, repcount=1004133064210005, factor=3/2
19881834671357557 1088945[18]1887922 66 01 113012399192630016 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=3012399192630015
19881834671357563 1088945[18]7147974 -6024798385259968 11 (11)A> 013012399192630019
== Executing PA-CTR 4, V(1)=0, V(2)=3012399192630016, repcount=1506199596315009, factor=3/2
28919032249247617 2450128[18]0208604 68 114518598788945028 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=4518598788945027
28919032249247630 2450128[18]3878810 -9037197577889990 01 11 (11)B> 104518598788945031
== Executing PA-CTR 3, V(1)=0, V(2)=4518598788945028, repcount=2259299394472515, factor=3/2
44734128010555235 5512788[18]7990400 70 01 116777898183417546 (11)B> 10
== Executing PPA-CTR 15 (once), V(1)=6777898183417545
44734128010555245 5512788[18]8495712 -135557[4]6835026 11 (11)A> 016777898183417549
== Executing PA-CTR 4, V(1)=0, V(2)=6777898183417546, repcount=3388949091708774, factor=3/2
65067822560807889 1240377[19]7334552 70 1110166847275126323 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=10166847275126322
65067822560807902 1240377[19]8092528 -203336[4]0252578 01 11 (11)B> 1010166847275126326
== Executing PA-CTR 3, V(1)=0, V(2)=10166847275126323, repcount=5083423637563162, factor=3/2
1006517[4]3750036 2790849[19]5732584 70 01 1115250270912689487 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=15250270912689486
1006517[4]3750048 2790849[19]1869542 -305005[4]5378908 11 (11)A> 0115250270912689490 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=15250270912689487, repcount=7625135456344744, factor=3/2
1464026[4]1818512 6279410[19]1938662 68 1122875406369034233 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=22875406369034232
1464026[4]1818523 6279410[19]6144098 -457508[4]8068400 01 11 (11)B> 1022875406369034236 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=22875406369034233, repcount=11437703184517117, factor=3/2
2264665[4]3438342 1412867[20]4368104 68 01 1134313109553551352 (11)B> 102 01 10
2264665[4]3438343 1412867[20]4368106 70 01 1134313109553551353 (11)A> 10 01 10
2264665[4]3438344 1412867[20]4368109 67 01 1134313109553551353 <C(10) 00 01 10
2264665[4]3438345 1412867[20]1470815 -686262[4]7102639 01 <C(10) 1034313109553551353 00 01 10
2264665[4]3438346 1412867[20]1470817 -686262[4]7102641 <E(10) 1034313109553551354 00 01 10
2264665[4]3438347 1412867[20]1470820 -686262[4]7102638 01 (11)F> 1034313109553551354 00 01 10
2264665[4]3438348 1412867[20]8573528 70 01 1134313109553551354 (11)F> 00 01 10
2264665[4]3438349 1412867[20]8573530 72 01 1134313109553551355 (11)B> 01 10
2264665[4]3438350 1412867[20]8573533 69 01 1134313109553551355 <D(00) 11 10
2264665[4]3438351 1412867[20]8573535 67 01 1134313109553551354 <D(01) 00 11 10
2264665[4]3438352 1412867[20]5676243 -686262[4]7102641 01 <D(01) 0134313109553551354 00 11 10
2264665[4]3438353 1412867[20]5676247 -686262[4]7102643 <D(00) 0134313109553551355 00 11 10
2264665[4]3438354 1412867[20]5676252 -686262[4]7102640 11 (11)A> 0134313109553551355 00 11 10
2264665[4]3438355 1412867[20]5676254 -686262[4]7102638 112 (11)C> 0134313109553551354 00 11 10
2264665[4]3438356 1412867[20]5676259 -686262[4]7102641 112 <D(01) 00 0134313109553551353 00 11 10
2264665[4]3438357 1412867[20]5676263 -686262[4]7102645 <D(01) 012 00 0134313109553551353 00 11 10
2264665[4]3438358 1412867[20]5676268 -686262[4]7102642 11 (11)E> 012 00 0134313109553551353 00 11 10
2264665[4]3438359 1412867[20]5676272 -686262[4]7102638 113 (11)E> 00 0134313109553551353 00 11 10
2264665[4]3438360 1412867[20]5676274 -686262[4]7102636 114 (11)A> 0134313109553551353 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)C> 012+V(2) [*]* [*]* [*]*
2 7 -1 112+V(1) <D(01) 00 011+V(2) [*]* [*]* [*]*
3 11+2*V(1) -5+-2*V(1) <D(01) 012+V(1) 00 011+V(2) [*]* [*]* [*]*
4 16+2*V(1) -2+-2*V(1) 11 (11)E> 012+V(1) 00 011+V(2) [*]* [*]* [*]*
5 20+4*V(1) 2 113+V(1) (11)E> 00 011+V(2) [*]* [*]* [*]*
6 22+4*V(1) 4 114+V(1) (11)A> 011+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 17 (PA)
2264665[4]3438360 1412867[20]5676274 -686262[4]7102636 114 (11)A> 0134313109553551353 00 11 10
== Executing PA-CTR 17, V(1)=3, V(2)=34313109553551350, repcount=17156554776775676, factor=3/2
3294058[4]4092416 3178951[20]6937058 68 1151469664330327032 (11)A> 01 00 11 10
3294058[4]4092417 3178951[20]6937060 70 1151469664330327033 (11)C> 00 11 10
3294058[4]4092418 3178951[20]6937062 72 1151469664330327034 (11)B> 11 10
3294058[4]4092419 3178951[20]6937067 69 1151469664330327034 <C(10) 102
3294058[4]4092420 3178951[20]7591135 -102939[5]0653999 <C(10) 1051469664330327036
3294058[4]4092421 3178951[20]7591139 -102939[5]0654001 <E(10) 00 1051469664330327036
3294058[4]4092422 3178951[20]7591142 -102939[5]0653998 01 (11)F> 00 1051469664330327036
3294058[4]4092423 3178951[20]7591144 -102939[5]0653996 01 11 (11)B> 1051469664330327036
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) (11)A> 01 00 11 101+V(2)
1 2 2 112+V(1) (11)C> 00 11 101+V(2)
2 4 4 113+V(1) (11)B> 11 101+V(2)
3 9 1 113+V(1) <C(10) 102+V(2)
4 15+2*V(1) -5+-2*V(1) <C(10) 105+V(1)+V(2)
5 19+2*V(1) -7+-2*V(1) <E(10) 00 105+V(1)+V(2)
6 22+2*V(1) -4+-2*V(1) 01 (11)F> 00 105+V(1)+V(2)
7 24+2*V(1) -2+-2*V(1) 01 11 (11)B> 105+V(1)+V(2)
<< Success! ==> defined new CTR 18 (PPA)
3294058[4]4092423 3178951[20]7591144 -102939[5]0653996 01 11 (11)B> 1051469664330327036
== Executing PA-CTR 3, V(1)=0, V(2)=51469664330327033, repcount=25734832165163517, factor=3/2
5095496[4]0237042 7152641[20]7063150 72 01 1177204496495490552 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=77204496495490551
5095496[4]0237054 7152641[20]0006498 -154408[5]0981036 11 (11)A> 0177204496495490555 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=77204496495490552, repcount=38602248247745277, factor=3/2
7411631[4]6708716 1609344[21]8771304 72 111158067[4]3235832 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=1158067[4]3235831
7411631[4]6708724 1609344[21]5242994 -231613[5]6471592 01 11 (11)B> 101158067[4]3235835 01
== Executing PA-CTR 1, V(1)=0, V(2)=1158067[4]3235832, repcount=57903372371617917, factor=3/2
1146486[5]8034143 3621024[21]3643000 76 01 111737101[4]4853752 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=1737101[4]4853751
1146486[5]8034151 3621024[21]3350528 -347420[5]9707430 11 (11)A> 011737101[4]4853755 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1737101[4]4853752, repcount=86855058557426877, factor=3/2
1667617[5]2595413 8147305[21]4019334 78 112605651[4]2280632 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=2605651[4]2280631
1667617[5]2595421 8147305[21]8580624 -521130[5]4561186 01 11 (11)B> 102605651[4]2280635 01
== Executing PA-CTR 1, V(1)=0, V(2)=2605651[4]2280632, repcount=1302825[4]6140317, factor=3/2
2579595[5]5577640 1833143[22]3988630 82 01 113908477[4]8420952 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=3908477[4]8420951
2579595[5]5577648 1833143[22]0830558 -781695[5]6841824 11 (11)A> 013908477[4]8420955 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=3908477[4]8420952, repcount=1954238[4]4210477, factor=3/2
3752138[5]0840510 4124573[22]7603364 84 115862716[4]2631432 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=5862716[4]2631431
3752138[5]0840518 4124573[22]2866254 -117254[6]5262780 01 11 (11)B> 105862716[4]2631435 01
== Executing PA-CTR 1, V(1)=0, V(2)=5862716[4]2631432, repcount=2931358[4]1315717, factor=3/2
5804089[5]0050537 9280289[22]1262260 88 01 118794074[4]3947152 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=8794074[4]3947151
5804089[5]0050545 9280289[22]9156588 -175881[6]7894218 11 (11)A> 018794074[4]3947155 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=8794074[4]3947152, repcount=4397037[4]6973577, factor=3/2
8442311[5]1892007 2088065[23]7783394 90 111319111[5]0920732 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=1319111[5]0920731
8442311[5]1892015 2088065[23]9624884 -263822[6]1841374 01 11 (11)B> 101319111[5]0920735 01
== Executing PA-CTR 1, V(1)=0, V(2)=1319111[5]0920732, repcount=6595556[4]0460367, factor=3/2
1305920[6]5114584 4698146[23]3638890 94 01 111978666[5]1381102 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=1978666[5]1381101
1305920[6]5114592 4698146[23]6401118 -395733[6]2762112 11 (11)A> 011978666[5]1381105 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1978666[5]1381102, repcount=9893334[4]0690552, factor=3/2
1899520[6]9257904 1057083[24]9838174 96 112968000[5]2071657 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=2968000[5]2071656
1899520[6]9257912 1057083[24]3981514 -593600[6]4143218 01 11 (11)B> 102968000[5]2071660 01
== Executing PA-CTR 1, V(1)=0, V(2)=2968000[5]2071657, repcount=1484000[5]1035829, factor=3/2
2938320[6]6508715 2378436[24]0858224 98 01 114452000[5]3107488 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=4452000[5]3107487
2938320[6]6508727 2378436[24]9503188 -890400[6]6214882 11 (11)A> 014452000[5]3107491 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=4452000[5]3107488, repcount=2226000[5]6553745, factor=3/2
4273920[6]5831197 5351482[24]5513258 98 116678000[5]9661236 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=6678000[5]9661235
4273920[6]5831204 5351482[24]4835752 -133560[7]9322374 01 11 (11)B> 106678000[5]9661239
== Executing PA-CTR 3, V(1)=0, V(2)=6678000[5]9661236, repcount=3339000[5]9830619, factor=3/2
6611220[6]4645537 1204083[25]1664622 102 01 111001700[6]9491858 (11)B> 10
== Executing PPA-CTR 15 (once), V(1)=1001700[6]9491857
6611220[6]4645547 1204083[25]8615806 -200340[7]8983618 11 (11)A> 011001700[6]9491861
== Executing PA-CTR 4, V(1)=0, V(2)=1001700[6]9491858, repcount=5008500[5]9745930, factor=3/2
9616320[6]3121127 2709188[25]3940086 102 111502550[6]9237791 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=1502550[6]9237790
9616320[6]3121140 2709188[25]9366870 -300510[7]8475482 01 11 (11)B> 101502550[6]9237794
== Executing PA-CTR 3, V(1)=0, V(2)=1502550[6]9237791, repcount=7512750[5]4618896, factor=3/2
1487524[7]5453412 6095673[25]4822102 102 01 112253825[6]3856689 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=2253825[6]3856688
1487524[7]5453424 6095673[25]7962272 -450765[7]7713280 11 (11)A> 012253825[6]3856692 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=2253825[6]3856689, repcount=1126912[6]1928345, factor=3/2
2163672[7]7023494 1371526[26]5449942 100 113380737[6]5785036 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=3380737[6]5785035
2163672[7]7023505 1371526[26]0160196 -676147[7]1569974 01 11 (11)B> 103380737[6]5785039 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=3380737[6]5785036, repcount=1690368[6]2892519, factor=3/2
3346930[7]7271138 3085934[26]3432666 102 01 115071106[6]8677558 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=5071106[6]8677557
3346930[7]7271144 3085934[26]0787802 -101422[8]7355016 11 (11)A> 015071106[6]8677561
== Executing PA-CTR 4, V(1)=0, V(2)=5071106[6]8677558, repcount=2535553[6]9338780, factor=3/2
4868262[7]3303824 6943352[26]1538682 104 117606659[6]8016341 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=7606659[6]8016340
4868262[7]3303837 6943352[26]9636766 -152133[8]6032580 01 11 (11)B> 107606659[6]8016344
== Executing PA-CTR 3, V(1)=0, V(2)=7606659[6]8016341, repcount=3803329[6]9008171, factor=3/2
7530593[7]6361034 1562254[27]2358948 104 01 111140998[7]7024514 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=1140998[7]7024513
7530593[7]6361046 1562254[27]4506068 -228199[8]4048928 11 (11)A> 011140998[7]7024517 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1140998[7]7024514, repcount=5704994[6]3512258, factor=3/2
1095359[8]7434594 3515072[27]8253580 104 111711498[7]0536775 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=1711498[7]0536774
1095359[8]7434602 3515072[27]9327156 -342299[8]1073446 01 11 (11)B> 101711498[7]0536778 01
== Executing PA-CTR 1, V(1)=0, V(2)=1711498[7]0536775, repcount=8557492[6]0268388, factor=3/2
1694383[8]9313318 7908913[27]6332628 106 01 112567247[7]0805165 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=2567247[7]0805164
1694383[8]9313330 7908913[27]1163654 -513449[8]1610228 11 (11)A> 012567247[7]0805168 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=2567247[7]0805165, repcount=1283623[7]0402583, factor=3/2
2464557[8]1728828 1779505[28]6036316 104 113850871[7]1207750 (11)A> 012 00 11
== Executing PPA-CTR 11 (once), V(1)=3850871[7]1207749
2464557[8]1728839 1779505[28]3282854 -770174[8]2415398 01 11 (11)B> 103850871[7]1207753 01 11
== Executing PA-CTR 7, V(1)=0, V(2)=3850871[7]1207750, repcount=1925435[7]0603876, factor=3/2
3812362[8]5955971 4003887[28]0285126 106 01 115776307[7]1811629 (11)B> 10 01 11
== Executing PPA-CTR 8 (once), V(1)=5776307[7]1811628
3812362[8]5955977 4003887[28]3908404 -115526[9]3623154 11 (11)A> 015776307[7]1811633
== Executing PA-CTR 4, V(1)=0, V(2)=5776307[7]1811630, repcount=2888153[7]5905816, factor=3/2
5545255[8]1390873 9008746[28]4156596 110 118664461[7]7717449 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=8664461[7]7717448
5545255[8]1390886 9008746[28]0461328 -173289[9]5434790 01 11 (11)B> 108664461[7]7717452
== Executing PA-CTR 3, V(1)=0, V(2)=8664461[7]7717449, repcount=4332230[7]8858725, factor=3/2
8577816[8]3401961 2026967[29]3954678 110 01 111299669[8]6576176 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=1299669[8]6576175
8577816[8]3401973 2026967[29]3411770 -259933[9]3152246 11 (11)A> 011299669[8]6576179 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1299669[8]6576176, repcount=6498345[7]8288089, factor=3/2
1247682[9]3130507 4560677[29]1652720 110 111949503[8]4864268 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=1949503[8]4864267
1247682[9]3130515 4560677[29]1381282 -389900[9]9728426 01 11 (11)B> 101949503[8]4864271 01
== Executing PA-CTR 1, V(1)=0, V(2)=1949503[8]4864268, repcount=9747518[7]7432135, factor=3/2
1930008[9]5155460 1026152[30]4244792 114 01 112924255[8]2296406 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=2924255[8]2296405
1930008[9]5155468 1026152[30]8837628 -584851[9]4592700 11 (11)A> 012924255[8]2296409 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=2924255[8]2296406, repcount=1462127[8]6148204, factor=3/2
2807285[9]2044692 2308843[30]1762588 116 114386383[8]8444613 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=4386383[8]8444612
2807285[9]2044700 2308843[30]8651840 -877276[9]6889110 01 11 (11)B> 104386383[8]8444616 01
== Executing PA-CTR 1, V(1)=0, V(2)=4386383[8]8444613, repcount=2193191[8]9222307, factor=3/2
4342519[9]6600849 5194897[30]4622246 118 01 116579575[8]7666922 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=6579575[8]7666921
4342519[9]6600861 5194897[30]0623814 -131591[10]5333730 11 (11)A> 016579575[8]7666925 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=6579575[8]7666922, repcount=3289787[8]3833462, factor=3/2
6316392[9]9601633 1168851[31]7391870 118 119869362[8]1500387 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=9869362[8]1500386
6316392[9]9601640 1168851[31]0392666 -197387[10]3000656 01 11 (11)B> 109869362[8]1500390
== Executing PA-CTR 3, V(1)=0, V(2)=9869362[8]1500387, repcount=4934681[8]0750194, factor=3/2
9770669[9]4852998 2629916[31]8621586 120 01 111480404[9]2250583 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=1480404[9]2250582
9770669[9]4853010 2629916[31]2125120 -296080[10]4501050 11 (11)A> 011480404[9]2250586 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1480404[9]2250583, repcount=7402021[8]1125292, factor=3/2
1421188[10]1604762 5917312[31]2641376 118 112220606[9]3375877 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=2220606[9]3375876
1421188[10]1604773 5917312[31]2896676 -444121[10]6751638 01 11 (11)B> 102220606[9]3375880 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=2220606[9]3375877, repcount=1110303[9]1687939, factor=3/2
2198400[10]3420346 1331395[32]8310026 118 01 113330909[9]5063818 (11)B> 102 01 10
2198400[10]3420347 1331395[32]8310028 120 01 113330909[9]5063819 (11)A> 10 01 10
2198400[10]3420348 1331395[32]8310031 117 01 113330909[9]5063819 <C(10) 00 01 10
2198400[10]3420349 1331395[32]8437669 -666181[10]0127521 01 <C(10) 103330909[9]5063819 00 01 10
2198400[10]3420350 1331395[32]8437671 -666181[10]0127523 <E(10) 103330909[9]5063820 00 01 10
2198400[10]3420351 1331395[32]8437674 -666181[10]0127520 01 (11)F> 103330909[9]5063820 00 01 10
2198400[10]3420352 1331395[32]8565314 120 01 113330909[9]5063820 (11)F> 00 01 10
2198400[10]3420353 1331395[32]8565316 122 01 113330909[9]5063821 (11)B> 01 10
2198400[10]3420354 1331395[32]8565319 119 01 113330909[9]5063821 <D(00) 11 10
2198400[10]3420355 1331395[32]8565321 117 01 113330909[9]5063820 <D(01) 00 11 10
2198400[10]3420356 1331395[32]8692961 -666181[10]0127523 01 <D(01) 013330909[9]5063820 00 11 10
2198400[10]3420357 1331395[32]8692965 -666181[10]0127525 <D(00) 013330909[9]5063821 00 11 10
2198400[10]3420358 1331395[32]8692970 -666181[10]0127522 11 (11)A> 013330909[9]5063821 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) <E(10) 103+V(1) 00 01 [*]*
5 14+2*V(1) -4+-2*V(1) 01 (11)F> 103+V(1) 00 01 [*]*
6 20+4*V(1) 2 01 113+V(1) (11)F> 00 01 [*]*
7 22+4*V(1) 4 01 114+V(1) (11)B> 01 [*]*
8 25+4*V(1) 1 01 114+V(1) <D(00) 11 [*]*
9 27+4*V(1) -1 01 113+V(1) <D(01) 00 11 [*]*
10 33+6*V(1) -7+-2*V(1) 01 <D(01) 013+V(1) 00 11 [*]*
11 37+6*V(1) -9+-2*V(1) <D(00) 014+V(1) 00 11 [*]*
12 42+6*V(1) -6+-2*V(1) 11 (11)A> 014+V(1) 00 11 [*]*
<< Success! ==> defined new CTR 19 (PPA)
2198400[10]3420358 1331395[32]8692970 -666181[10]0127522 11 (11)A> 013330909[9]5063821 00 11 10
== Executing PA-CTR 17, V(1)=0, V(2)=3330909[9]5063818, repcount=1665454[9]7531910, factor=3/2
3197673[10]8611818 2995639[32]8692130 118 114996364[9]2595731 (11)A> 01 00 11 10
== Executing PPA-CTR 18 (once), V(1)=4996364[9]2595730, V(2)=0
3197673[10]8611825 2995639[32]3883614 -999272[10]5191344 01 11 (11)B> 104996364[9]2595735
== Executing PA-CTR 3, V(1)=0, V(2)=4996364[9]2595732, repcount=2498182[9]6297867, factor=3/2
4946401[10]2696894 6740188[32]7147620 124 01 117494547[9]8893602 (11)B> 10
== Executing PPA-CTR 15 (once), V(1)=7494547[9]8893601
4946401[10]2696904 6740188[32]0509268 -149890[11]7787084 11 (11)A> 017494547[9]8893605
== Executing PA-CTR 4, V(1)=0, V(2)=7494547[9]8893602, repcount=3747273[9]9446802, factor=3/2
7194765[10]9377716 1516542[33]9821324 124 111124182[10]8340407 (11)A> 01
== Executing PPA-CTR 13 (once), V(1)=1124182[10]8340406
7194765[10]9377729 1516542[33]9863804 -224836[11]6680692 01 11 (11)B> 101124182[10]8340410
== Executing PA-CTR 3, V(1)=0, V(2)=1124182[10]8340407, repcount=5620910[9]4170204, factor=3/2
1112940[11]8569157 3412220[33]4996764 124 01 111686273[10]2510613 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=1686273[10]2510612
1112940[11]8569169 3412220[33]0060478 -337254[11]5021106 11 (11)A> 011686273[10]2510616 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1686273[10]2510613, repcount=8431365[9]6255307, factor=3/2
1618822[11]6101011 7677496[33]4130884 122 112529409[10]8765922 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=2529409[10]8765921
1618822[11]6101022 7677496[33]6726454 -505881[11]7531724 01 11 (11)B> 102529409[10]8765925 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=2529409[10]8765922, repcount=1264704[10]4382962, factor=3/2
2504115[11]6781756 1727436[34]2214510 124 01 113794114[10]3148887 (11)B> 10 01 10
== Executing PPA-CTR 12 (once), V(1)=3794114[10]3148886
2504115[11]6781762 1727436[34]8512304 -758822[11]6297652 11 (11)A> 013794114[10]3148890
== Executing PA-CTR 4, V(1)=0, V(2)=3794114[10]3148887, repcount=1897057[10]1574444, factor=3/2
3642349[11]6228426 3886732[34]7158224 124 115691171[10]4723333 (11)A> 012
== Executing PPA-CTR 5 (once), V(1)=5691171[10]4723332
3642349[11]6228437 3886732[34]5498260 -113823[12]9446544 01 11 (11)B> 105691171[10]4723336 01
== Executing PA-CTR 1, V(1)=0, V(2)=5691171[10]4723333, repcount=2845585[10]2361667, factor=3/2
5634260[11]2760106 8745147[34]9398266 124 01 118536757[10]7085002 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=8536757[10]7085001
5634260[11]2760118 8745147[34]1908314 -170735[12]4169884 11 (11)A> 018536757[10]7085005 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=8536757[10]7085002, repcount=4268378[10]3542502, factor=3/2
8195287[11]4015130 1967658[35]1108370 124 111280513[11]0627507 (11)A> 01 00 11
== Executing PPA-CTR 9 (once), V(1)=1280513[11]0627506
8195287[11]4015137 1967658[35]2363406 -256102[12]1254890 01 11 (11)B> 101280513[11]0627510
== Executing PA-CTR 3, V(1)=0, V(2)=1280513[11]0627507, repcount=6402568[10]0313754, factor=3/2
1267708[12]6211415 4427231[35]6818566 126 01 111920770[11]0941263 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=1920770[11]0941262
1267708[12]6211427 4427231[35]2466180 -384154[12]1882404 11 (11)A> 011920770[11]0941266 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1920770[11]0941263, repcount=9603852[10]5470632, factor=3/2
1843939[12]9035219 9961270[35]6872836 124 112881155[11]6411897 (11)A> 012 00 10
== Executing PPA-CTR 11 (once), V(1)=2881155[11]6411896
1843939[12]9035230 9961270[35]5344256 -576231[12]2823672 01 11 (11)B> 102881155[11]6411900 01 10
== Executing PA-CTR 7, V(1)=0, V(2)=2881155[11]6411897, repcount=1440577[11]8205949, factor=3/2
2852344[12]6476873 2241285[36]0583046 124 01 114321733[11]4617848 (11)B> 102 01 10
== Executing PPA-CTR 19 (once), V(1)=4321733[11]4617847
2852344[12]6476885 2241285[36]8290170 -864346[12]9235576 11 (11)A> 014321733[11]4617851 00 11 10
== Executing PA-CTR 17, V(1)=0, V(2)=4321733[11]4617848, repcount=2160866[11]7308925, factor=3/2
4148864[12]0330435 5042892[36]3166720 124 116482600[11]1926776 (11)A> 01 00 11 10
== Executing PPA-CTR 18 (once), V(1)=6482600[11]1926775, V(2)=0
4148864[12]0330442 5042892[36]7020294 -129652[13]3853428 01 11 (11)B> 106482600[11]1926780
== Executing PA-CTR 3, V(1)=0, V(2)=6482600[11]1926777, repcount=3241300[11]5963389, factor=3/2
6417774[12]2074165 1134650[37]2626444 128 01 119723900[11]7890168 (11)B> 102
== Executing PPA-CTR 10 (once), V(1)=9723900[11]7890167
6417774[12]2074177 1134650[37]9967488 -194478[13]5780212 11 (11)A> 019723900[11]7890171 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=9723900[11]7890168, repcount=4861950[11]8945085, factor=3/2
9334944[12]5744687 2552964[37]7032198 128 111458585[12]6835256 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=1458585[12]6835255
9334944[12]5744695 2552964[37]0702736 -291717[13]3670384 01 11 (11)B> 101458585[12]6835259 01
== Executing PA-CTR 1, V(1)=0, V(2)=1458585[12]6835256, repcount=7292925[11]8417629, factor=3/2
1443999[13]4668098 5744170[37]3274646 132 01 112187877[12]5252888 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=2187877[12]5252887
1443999[13]4668106 5744170[37]3780446 -437575[13]0505646 11 (11)A> 012187877[12]5252891 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=2187877[12]5252888, repcount=1093938[12]2626445, factor=3/2
2100362[13]0426776 1292438[38]5831716 134 113281816[12]7879336 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=3281816[12]7879335
2100362[13]0426784 1292438[38]1590414 -656363[13]5758538 01 11 (11)B> 103281816[12]7879339 01
== Executing PA-CTR 1, V(1)=0, V(2)=3281816[12]7879336, repcount=1640908[12]3939669, factor=3/2
3248998[13]8004467 2907986[38]5602484 138 01 114922724[12]1819008 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=4922724[12]1819007
3248998[13]8004475 2907986[38]9240524 -984544[13]3637880 11 (11)A> 014922724[12]1819011 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=4922724[12]1819008, repcount=2461362[12]0909505, factor=3/2
4725815[13]3461505 6542968[38]9862754 140 117384087[12]2728516 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=7384087[12]2728515
4725815[13]3461513 6542968[38]5319812 -147681[14]5456892 01 11 (11)B> 107384087[12]2728519 01
== Executing PA-CTR 1, V(1)=0, V(2)=7384087[12]2728516, repcount=3692043[12]6364259, factor=3/2
7310246[13]8011326 1472168[39]2862442 144 01 111107613[13]9092778 (11)B> 10 01
== Executing PPA-CTR 16 (once), V(1)=1107613[13]9092777
7310246[13]8011334 1472168[39]1048022 -221522[14]8185414 11 (11)A> 011107613[13]9092781 00 10
== Executing PA-CTR 2, V(1)=0, V(2)=1107613[13]9092778, repcount=5538065[12]4546390, factor=3/2
1063308[14]5289674 3312378[39]5982862 146 111661419[13]3639171 (11)A> 01 00 10
== Executing PPA-CTR 14 (once), V(1)=1661419[13]3639170
1063308[14]5289682 3312378[39]3261230 -332283[14]7278196 01 11 (11)B> 101661419[13]3639174 01
== Executing PA-CTR 1, V(1)=0, V(2)=1661419[13]3639171, repcount=8307097[12]6819586, factor=3/2
1644805[14]3026784 7452850[39]1642982 148 01 112492129[13]0458759 (11)B> 102 01
== Executing PPA-CTR 6 (once), V(1)=2492129[13]0458758
1644805[14]3026796 7452850[39]4395572 -498425[14]0917374 11 (11)A> 012492129[13]0458762 00 11
== Executing PA-CTR 2, V(1)=0, V(2)=2492129[13]0458759, repcount=1246064[13]5229380, factor=3/2
2392444[14]4403076 1676891[40]9172052 146 113738194[13]5688141 (11)A> 012 00 11
Lines: 501
Top steps: 500
Macro steps: 2392444198306036198564403076
Basic steps: 167689137949459343535950019005974065209229710349172052
Tape index: 146
ones: 747638811970636312051376288
log10(ones ): 26.874
log10(steps ): 53.225
Some long numbers above are shortened: #(omitted digits) shown in "[]".
Input to awk program:
gohalt 1
L 26
5T B1R C0L A1L C1R A1R D0L E1L C1L F1R Z1R A1R E1R : >1.4*10^60 >6.1*10^119
T 6-state TM #o from MaBu-List
M 501
pref sim
machv mbL6_o just simple
machv mbL6_o-r with repetitions reduced
machv mbL6_o-1 with tape symbol exponents
machv mbL6_o-m as 2-bck-macro machine
machv mbL6_o-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_o-a
mtype 2 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:11 CEST 2010
edate Tue Jul 6 22:11:13 CEST 2010
bnspeed 1
short 7
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:11 CEST 2010