Comment: This TM produces 40740206640846 ones in 5690620927332136555840780353 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 | D1R | C1L | 1 | right | D | 1 | left | C |
| D | E1R | F1L | 1 | right | E | 1 | left | F |
| E | A0R | B1R | 0 | right | A | 1 | right | B |
| F | Z1R | D0L | 1 | right | Z | 0 | left | D |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-2-macro machine.
Simulation is done as 1-bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 6 2 11 (1)B>
2 8 0 11 <C(0) 10
3 10 -2 <C(1) 102
4 18 0 11 (1)E> 102
5 22 -2 11 <C(1) 01 10
6 24 -4 <C(1) 11 01 10
7 32 -2 11 (1)E> 11 01 10
8 34 0 112 (1)D> 01 10
9 36 2 113 (1)B> 10
10 38 4 114 (1)E>
11 40 6 114 10 (1)B>
12 42 4 114 10 <C(0) 10
13 44 6 115 (1)E> 10
14 48 4 115 <C(1) 01
15 58 -6 <C(1) 115 01
16 66 -4 11 (1)E> 115 01
17 68 -2 112 (1)D> 114 01
18 70 -4 112 <D(0) 114 01
19 74 -8 <D(0) 102 114 01
20 76 -6 01 (0)A> 102 114 01
21 84 -2 01 112 (0)A> 114 01
22 88 0 01 113 (1)B> 113 01
23 92 -2 01 113 <F(1) 01 112 01
24 98 -8 01 <F(1) 014 112 01
25 104 -6 11 (1)E> 014 112 01
26 120 2 115 (1)E> 112 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 111+V(1) (1)E> 114+V(2) [*]*
1 2 2 112+V(1) (1)D> 113+V(2) [*]*
2 4 0 112+V(1) <D(0) 113+V(2) [*]*
3 8+2*V(1) -4+-2*V(1) <D(0) 102+V(1) 113+V(2) [*]*
4 10+2*V(1) -2+-2*V(1) 01 (0)A> 102+V(1) 113+V(2) [*]*
5 18+6*V(1) 2 01 112+V(1) (0)A> 113+V(2) [*]*
6 22+6*V(1) 4 01 113+V(1) (1)B> 112+V(2) [*]*
7 26+6*V(1) 2 01 113+V(1) <F(1) 01 111+V(2) [*]*
8 32+8*V(1) -4+-2*V(1) 01 <F(1) 014+V(1) 111+V(2) [*]*
9 38+8*V(1) -2+-2*V(1) 11 (1)E> 014+V(1) 111+V(2) [*]*
10 54+12*V(1) 6 115+V(1) (1)E> 111+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
27 122 4 116 (1)D> 11 01
28 124 2 116 <D(0) 11 01
29 136 -10 <D(0) 106 11 01
30 138 -8 01 (0)A> 106 11 01
31 162 4 01 116 (0)A> 11 01
32 166 6 01 117 (1)B> 01
33 168 4 01 117 <C(0) 11
34 170 2 01 116 <C(1) 10 11
35 182 -10 01 <C(1) 116 10 11
36 186 -12 <D(0) 117 10 11
37 188 -10 01 (0)A> 117 10 11
38 192 -8 01 11 (1)B> 116 10 11
39 196 -10 01 11 <F(1) 01 115 10 11
40 198 -12 01 <F(1) 012 115 10 11
41 204 -10 11 (1)E> 012 115 10 11
42 212 -6 113 (1)E> 115 10 11
43 214 -4 114 (1)D> 114 10 11
44 216 -6 114 <D(0) 114 10 11
45 224 -14 <D(0) 104 114 10 11
46 226 -12 01 (0)A> 104 114 10 11
47 242 -4 01 114 (0)A> 114 10 11
48 246 -2 01 115 (1)B> 113 10 11
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 114+V(2) [*]* [*]*
1 4 -2 01 111+V(1) <F(1) 01 113+V(2) [*]* [*]*
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 113+V(2) [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 113+V(2) [*]* [*]*
4 20+6*V(1) 2 113+V(1) (1)E> 113+V(2) [*]* [*]*
5 22+6*V(1) 4 114+V(1) (1)D> 112+V(2) [*]* [*]*
6 24+6*V(1) 2 114+V(1) <D(0) 112+V(2) [*]* [*]*
7 32+8*V(1) -6+-2*V(1) <D(0) 104+V(1) 112+V(2) [*]* [*]*
8 34+8*V(1) -4+-2*V(1) 01 (0)A> 104+V(1) 112+V(2) [*]* [*]*
9 50+12*V(1) 4 01 114+V(1) (0)A> 112+V(2) [*]* [*]*
10 54+12*V(1) 6 01 115+V(1) (1)B> 111+V(2) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
49 250 -4 01 115 <F(1) 01 112 10 11
50 260 -14 01 <F(1) 016 112 10 11
51 266 -12 11 (1)E> 016 112 10 11
52 290 0 117 (1)E> 112 10 11
53 292 2 118 (1)D> 11 10 11
54 294 0 118 <D(0) 11 10 11
55 310 -16 <D(0) 108 11 10 11
56 312 -14 01 (0)A> 108 11 10 11
57 344 2 01 118 (0)A> 11 10 11
58 348 4 01 119 (1)B> 10 11
59 350 6 01 1110 (1)E> 11
60 352 8 01 1111 (1)D>
61 354 10 01 1112 (0)A>
62 360 12 01 1113 (1)B>
63 362 10 01 1113 <C(0) 10
64 364 8 01 1112 <C(1) 102
65 388 -16 01 <C(1) 1112 102
66 392 -18 <D(0) 1113 102
67 394 -16 01 (0)A> 1113 102
68 398 -14 01 11 (1)B> 1112 102
69 402 -16 01 11 <F(1) 01 1111 102
70 404 -18 01 <F(1) 012 1111 102
71 410 -16 11 (1)E> 012 1111 102
72 418 -12 113 (1)E> 1111 102
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (1)B> 113 10 11
1 4 -2 01 111+V(1) <F(1) 01 112 10 11
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 112 10 11
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 112 10 11
4 20+6*V(1) 2 113+V(1) (1)E> 112 10 11
5 22+6*V(1) 4 114+V(1) (1)D> 11 10 11
6 24+6*V(1) 2 114+V(1) <D(0) 11 10 11
7 32+8*V(1) -6+-2*V(1) <D(0) 104+V(1) 11 10 11
8 34+8*V(1) -4+-2*V(1) 01 (0)A> 104+V(1) 11 10 11
9 50+12*V(1) 4 01 114+V(1) (0)A> 11 10 11
10 54+12*V(1) 6 01 115+V(1) (1)B> 10 11
11 56+12*V(1) 8 01 116+V(1) (1)E> 11
12 58+12*V(1) 10 01 117+V(1) (1)D>
13 60+12*V(1) 12 01 118+V(1) (0)A>
14 66+12*V(1) 14 01 119+V(1) (1)B>
15 68+12*V(1) 12 01 119+V(1) <C(0) 10
16 70+12*V(1) 10 01 118+V(1) <C(1) 102
17 86+14*V(1) -6+-2*V(1) 01 <C(1) 118+V(1) 102
18 90+14*V(1) -8+-2*V(1) <D(0) 119+V(1) 102
19 92+14*V(1) -6+-2*V(1) 01 (0)A> 119+V(1) 102
20 96+14*V(1) -4+-2*V(1) 01 11 (1)B> 118+V(1) 102
21 100+14*V(1) -6+-2*V(1) 01 11 <F(1) 01 117+V(1) 102
22 102+14*V(1) -8+-2*V(1) 01 <F(1) 012 117+V(1) 102
23 108+14*V(1) -6+-2*V(1) 11 (1)E> 012 117+V(1) 102
24 116+14*V(1) -2+-2*V(1) 113 (1)E> 117+V(1) 102
<< Success! ==> defined new CTR 3 (PPA)
72 418 -12 113 (1)E> 1111 102
== Executing PA-CTR 1, V(1)=2, V(2)=7, repcount=3, factor=4/3
102 796 6 1115 (1)E> 112 102
103 798 8 1116 (1)D> 11 102
104 800 6 1116 <D(0) 11 102
105 832 -26 <D(0) 1016 11 102
106 834 -24 01 (0)A> 1016 11 102
107 898 8 01 1116 (0)A> 11 102
108 902 10 01 1117 (1)B> 102
109 904 12 01 1118 (1)E> 10
110 908 10 01 1118 <C(1) 01
111 944 -26 01 <C(1) 1118 01
112 948 -28 <D(0) 1119 01
113 950 -26 01 (0)A> 1119 01
114 954 -24 01 11 (1)B> 1118 01
115 958 -26 01 11 <F(1) 01 1117 01
116 960 -28 01 <F(1) 012 1117 01
117 966 -26 11 (1)E> 012 1117 01
118 974 -22 113 (1)E> 1117 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 112+V(1) (1)E> 112 102
1 2 2 113+V(1) (1)D> 11 102
2 4 0 113+V(1) <D(0) 11 102
3 10+2*V(1) -6+-2*V(1) <D(0) 103+V(1) 11 102
4 12+2*V(1) -4+-2*V(1) 01 (0)A> 103+V(1) 11 102
5 24+6*V(1) 2 01 113+V(1) (0)A> 11 102
6 28+6*V(1) 4 01 114+V(1) (1)B> 102
7 30+6*V(1) 6 01 115+V(1) (1)E> 10
8 34+6*V(1) 4 01 115+V(1) <C(1) 01
9 44+8*V(1) -6+-2*V(1) 01 <C(1) 115+V(1) 01
10 48+8*V(1) -8+-2*V(1) <D(0) 116+V(1) 01
11 50+8*V(1) -6+-2*V(1) 01 (0)A> 116+V(1) 01
12 54+8*V(1) -4+-2*V(1) 01 11 (1)B> 115+V(1) 01
13 58+8*V(1) -6+-2*V(1) 01 11 <F(1) 01 114+V(1) 01
14 60+8*V(1) -8+-2*V(1) 01 <F(1) 012 114+V(1) 01
15 66+8*V(1) -6+-2*V(1) 11 (1)E> 012 114+V(1) 01
16 74+8*V(1) -2+-2*V(1) 113 (1)E> 114+V(1) 01
<< Success! ==> defined new CTR 4 (PPA)
118 974 -22 113 (1)E> 1117 01
== Executing PA-CTR 1, V(1)=2, V(2)=13, repcount=5, factor=4/3
168 1844 8 1123 (1)E> 112 01
169 1846 10 1124 (1)D> 11 01
170 1848 8 1124 <D(0) 11 01
171 1896 -40 <D(0) 1024 11 01
172 1898 -38 01 (0)A> 1024 11 01
173 1994 10 01 1124 (0)A> 11 01
174 1998 12 01 1125 (1)B> 01
175 2000 10 01 1125 <C(0) 11
176 2002 8 01 1124 <C(1) 10 11
177 2050 -40 01 <C(1) 1124 10 11
178 2054 -42 <D(0) 1125 10 11
179 2056 -40 01 (0)A> 1125 10 11
180 2060 -38 01 11 (1)B> 1124 10 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 113+V(1) (1)E> 112 01
1 2 2 114+V(1) (1)D> 11 01
2 4 0 114+V(1) <D(0) 11 01
3 12+2*V(1) -8+-2*V(1) <D(0) 104+V(1) 11 01
4 14+2*V(1) -6+-2*V(1) 01 (0)A> 104+V(1) 11 01
5 30+6*V(1) 2 01 114+V(1) (0)A> 11 01
6 34+6*V(1) 4 01 115+V(1) (1)B> 01
7 36+6*V(1) 2 01 115+V(1) <C(0) 11
8 38+6*V(1) 0 01 114+V(1) <C(1) 10 11
9 46+8*V(1) -8+-2*V(1) 01 <C(1) 114+V(1) 10 11
10 50+8*V(1) -10+-2*V(1) <D(0) 115+V(1) 10 11
11 52+8*V(1) -8+-2*V(1) 01 (0)A> 115+V(1) 10 11
12 56+8*V(1) -6+-2*V(1) 01 11 (1)B> 114+V(1) 10 11
<< Success! ==> defined new CTR 5 (PPA)
180 2060 -38 01 11 (1)B> 1124 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=20, repcount=7, factor=4/3
250 3446 4 01 1129 (1)B> 113 10 11
== Executing PPA-CTR 3 (once), V(1)=28
274 3954 -54 113 (1)E> 1135 102
== Executing PA-CTR 1, V(1)=2, V(2)=31, repcount=11, factor=4/3
384 7452 12 1147 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=45
400 7886 -80 113 (1)E> 1149 01
== Executing PA-CTR 1, V(1)=2, V(2)=45, repcount=16, factor=4/3
560 14894 16 1167 (1)E> 11 01
561 14896 18 1168 (1)D> 01
562 14898 20 1169 (1)B>
563 14900 18 1169 <C(0) 10
564 14902 16 1168 <C(1) 102
565 15038 -120 <C(1) 1168 102
566 15046 -118 11 (1)E> 1168 102
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 113+V(1) (1)E> 11 01
1 2 2 114+V(1) (1)D> 01
2 4 4 115+V(1) (1)B>
3 6 2 115+V(1) <C(0) 10
4 8 0 114+V(1) <C(1) 102
5 16+2*V(1) -8+-2*V(1) <C(1) 114+V(1) 102
6 24+2*V(1) -6+-2*V(1) 11 (1)E> 114+V(1) 102
<< Success! ==> defined new CTR 6 (PPA)
566 15046 -118 11 (1)E> 1168 102
== Executing PA-CTR 1, V(1)=0, V(2)=64, repcount=22, factor=4/3
786 27322 14 1189 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=87
802 28092 -162 113 (1)E> 1191 01
== Executing PA-CTR 1, V(1)=2, V(2)=87, repcount=30, factor=4/3
1102 51312 18 11123 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=120
1108 51576 -228 11 (1)E> 11124 102
== Executing PA-CTR 1, V(1)=0, V(2)=120, repcount=41, factor=4/3
1518 93150 18 11165 (1)E> 11 102
1519 93152 20 11166 (1)D> 102
1520 93154 18 11166 <D(0) 102
1521 93486 -314 <D(0) 10168
1522 93488 -312 01 (0)A> 10168
1523 94160 24 01 11168 (0)A>
1524 94166 26 01 11169 (1)B>
1525 94168 24 01 11169 <C(0) 10
1526 94170 22 01 11168 <C(1) 102
1527 94506 -314 01 <C(1) 11168 102
1528 94510 -316 <D(0) 11169 102
1529 94512 -314 01 (0)A> 11169 102
1530 94516 -312 01 11 (1)B> 11168 102
1531 94520 -314 01 11 <F(1) 01 11167 102
1532 94522 -316 01 <F(1) 012 11167 102
1533 94528 -314 11 (1)E> 012 11167 102
1534 94536 -310 113 (1)E> 11167 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 112+V(1) (1)E> 11 102+V(2)
1 2 2 113+V(1) (1)D> 102+V(2)
2 4 0 113+V(1) <D(0) 102+V(2)
3 10+2*V(1) -6+-2*V(1) <D(0) 105+V(1)+V(2)
4 12+2*V(1) -4+-2*V(1) 01 (0)A> 105+V(1)+V(2)
5 32+6*V(1)+4*V(2) 6+2*V(2) 01 115+V(1)+V(2) (0)A>
6 38+6*V(1)+4*V(2) 8+2*V(2) 01 116+V(1)+V(2) (1)B>
7 40+6*V(1)+4*V(2) 6+2*V(2) 01 116+V(1)+V(2) <C(0) 10
8 42+6*V(1)+4*V(2) 4+2*V(2) 01 115+V(1)+V(2) <C(1) 102
9 52+8*V(1)+6*V(2) -6+-2*V(1) 01 <C(1) 115+V(1)+V(2) 102
10 56+8*V(1)+6*V(2) -8+-2*V(1) <D(0) 116+V(1)+V(2) 102
11 58+8*V(1)+6*V(2) -6+-2*V(1) 01 (0)A> 116+V(1)+V(2) 102
12 62+8*V(1)+6*V(2) -4+-2*V(1) 01 11 (1)B> 115+V(1)+V(2) 102
13 66+8*V(1)+6*V(2) -6+-2*V(1) 01 11 <F(1) 01 114+V(1)+V(2) 102
14 68+8*V(1)+6*V(2) -8+-2*V(1) 01 <F(1) 012 114+V(1)+V(2) 102
15 74+8*V(1)+6*V(2) -6+-2*V(1) 11 (1)E> 012 114+V(1)+V(2) 102
16 82+8*V(1)+6*V(2) -2+-2*V(1) 113 (1)E> 114+V(1)+V(2) 102
<< Success! ==> defined new CTR 7 (PPA)
1534 94536 -310 113 (1)E> 11167 102
== Executing PA-CTR 1, V(1)=2, V(2)=163, repcount=55, factor=4/3
2084 170106 20 11223 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=221
2100 171948 -424 113 (1)E> 11225 01
== Executing PA-CTR 1, V(1)=2, V(2)=221, repcount=74, factor=4/3
2840 307368 20 11299 (1)E> 113 01
2841 307370 22 11300 (1)D> 112 01
2842 307372 20 11300 <D(0) 112 01
2843 307972 -580 <D(0) 10300 112 01
2844 307974 -578 01 (0)A> 10300 112 01
2845 309174 22 01 11300 (0)A> 112 01
2846 309178 24 01 11301 (1)B> 11 01
2847 309182 22 01 11301 <F(1) 012
2848 309784 -580 01 <F(1) 01303
2849 309790 -578 11 (1)E> 01303
2850 311002 28 11304 (1)E>
2851 311004 30 11304 10 (1)B>
2852 311006 28 11304 10 <C(0) 10
2853 311008 30 11305 (1)E> 10
2854 311012 28 11305 <C(1) 01
2855 311622 -582 <C(1) 11305 01
2856 311630 -580 11 (1)E> 11305 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) (1)E> 113 011+V(2)
1 2 2 112+V(1) (1)D> 112 011+V(2)
2 4 0 112+V(1) <D(0) 112 011+V(2)
3 8+2*V(1) -4+-2*V(1) <D(0) 102+V(1) 112 011+V(2)
4 10+2*V(1) -2+-2*V(1) 01 (0)A> 102+V(1) 112 011+V(2)
5 18+6*V(1) 2 01 112+V(1) (0)A> 112 011+V(2)
6 22+6*V(1) 4 01 113+V(1) (1)B> 11 011+V(2)
7 26+6*V(1) 2 01 113+V(1) <F(1) 012+V(2)
8 32+8*V(1) -4+-2*V(1) 01 <F(1) 015+V(1)+V(2)
9 38+8*V(1) -2+-2*V(1) 11 (1)E> 015+V(1)+V(2)
10 58+12*V(1)+4*V(2) 8+2*V(2) 116+V(1)+V(2) (1)E>
11 60+12*V(1)+4*V(2) 10+2*V(2) 116+V(1)+V(2) 10 (1)B>
12 62+12*V(1)+4*V(2) 8+2*V(2) 116+V(1)+V(2) 10 <C(0) 10
13 64+12*V(1)+4*V(2) 10+2*V(2) 117+V(1)+V(2) (1)E> 10
14 68+12*V(1)+4*V(2) 8+2*V(2) 117+V(1)+V(2) <C(1) 01
15 82+14*V(1)+6*V(2) -6+-2*V(1) <C(1) 117+V(1)+V(2) 01
16 90+14*V(1)+6*V(2) -4+-2*V(1) 11 (1)E> 117+V(1)+V(2) 01
<< Success! ==> defined new CTR 8 (PPA)
2856 311630 -580 11 (1)E> 11305 01
== Executing PA-CTR 1, V(1)=0, V(2)=301, repcount=101, factor=4/3
3866 559484 26 11405 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=402
3878 562756 -784 01 11 (1)B> 11406 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=402, repcount=135, factor=4/3
5228 1004206 26 01 11541 (1)B> 11 10 11
5229 1004210 24 01 11541 <F(1) 01 10 11
5230 1005292 -1058 01 <F(1) 01542 10 11
5231 1005298 -1056 11 (1)E> 01542 10 11
5232 1007466 28 11543 (1)E> 10 11
5233 1007470 26 11543 <C(1) 01 11
5234 1008556 -1060 <C(1) 11543 01 11
5235 1008564 -1058 11 (1)E> 11543 01 11
5236 1008566 -1056 112 (1)D> 11542 01 11
5237 1008568 -1058 112 <D(0) 11542 01 11
5238 1008572 -1062 <D(0) 102 11542 01 11
5239 1008574 -1060 01 (0)A> 102 11542 01 11
5240 1008582 -1056 01 112 (0)A> 11542 01 11
5241 1008586 -1054 01 113 (1)B> 11541 01 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 114+V(1) (1)B> 11 10 [*]*
1 4 -2 01 114+V(1) <F(1) 01 10 [*]*
2 12+2*V(1) -10+-2*V(1) 01 <F(1) 015+V(1) 10 [*]*
3 18+2*V(1) -8+-2*V(1) 11 (1)E> 015+V(1) 10 [*]*
4 38+6*V(1) 2 116+V(1) (1)E> 10 [*]*
5 42+6*V(1) 0 116+V(1) <C(1) 01 [*]*
6 54+8*V(1) -12+-2*V(1) <C(1) 116+V(1) 01 [*]*
7 62+8*V(1) -10+-2*V(1) 11 (1)E> 116+V(1) 01 [*]*
8 64+8*V(1) -8+-2*V(1) 112 (1)D> 115+V(1) 01 [*]*
9 66+8*V(1) -10+-2*V(1) 112 <D(0) 115+V(1) 01 [*]*
10 70+8*V(1) -14+-2*V(1) <D(0) 102 115+V(1) 01 [*]*
11 72+8*V(1) -12+-2*V(1) 01 (0)A> 102 115+V(1) 01 [*]*
12 80+8*V(1) -8+-2*V(1) 01 112 (0)A> 115+V(1) 01 [*]*
13 84+8*V(1) -6+-2*V(1) 01 113 (1)B> 114+V(1) 01 [*]*
<< Success! ==> defined new CTR 9 (PPA)
5241 1008586 -1054 01 113 (1)B> 11541 01 11
== Executing PA-CTR 2, V(1)=2, V(2)=537, repcount=180, factor=4/3
7041 1795906 26 01 11723 (1)B> 11 01 11
7042 1795910 24 01 11723 <F(1) 012 11
7043 1797356 -1422 01 <F(1) 01725 11
7044 1797362 -1420 11 (1)E> 01725 11
7045 1800262 30 11726 (1)E> 11
7046 1800264 32 11727 (1)D>
7047 1800266 34 11728 (0)A>
7048 1800272 36 11729 (1)B>
7049 1800274 34 11729 <C(0) 10
7050 1800276 32 11728 <C(1) 102
7051 1801732 -1424 <C(1) 11728 102
7052 1801740 -1422 11 (1)E> 11728 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 11 011+V(2) 11
1 4 -2 01 111+V(1) <F(1) 012+V(2) 11
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 013+V(1)+V(2) 11
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 013+V(1)+V(2) 11
4 24+6*V(1)+4*V(2) 4+2*V(2) 114+V(1)+V(2) (1)E> 11
5 26+6*V(1)+4*V(2) 6+2*V(2) 115+V(1)+V(2) (1)D>
6 28+6*V(1)+4*V(2) 8+2*V(2) 116+V(1)+V(2) (0)A>
7 34+6*V(1)+4*V(2) 10+2*V(2) 117+V(1)+V(2) (1)B>
8 36+6*V(1)+4*V(2) 8+2*V(2) 117+V(1)+V(2) <C(0) 10
9 38+6*V(1)+4*V(2) 6+2*V(2) 116+V(1)+V(2) <C(1) 102
10 50+8*V(1)+6*V(2) -6+-2*V(1) <C(1) 116+V(1)+V(2) 102
11 58+8*V(1)+6*V(2) -4+-2*V(1) 11 (1)E> 116+V(1)+V(2) 102
<< Success! ==> defined new CTR 10 (PPA)
7052 1801740 -1422 11 (1)E> 11728 102
== Executing PA-CTR 1, V(1)=0, V(2)=724, repcount=242, factor=4/3
9472 3214536 30 11969 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=967
9488 3222346 -1906 113 (1)E> 11971 01
== Executing PA-CTR 1, V(1)=2, V(2)=967, repcount=323, factor=4/3
12718 5743684 32 111295 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=1292
12730 5754076 -2558 01 11 (1)B> 111296 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=1292, repcount=431, factor=4/3
17040 10225270 28 01 111725 (1)B> 113 10 11
== Executing PPA-CTR 3 (once), V(1)=1724
17064 10249522 -3422 113 (1)E> 111731 102
== Executing PA-CTR 1, V(1)=2, V(2)=1727, repcount=576, factor=4/3
22824 18243250 34 112307 (1)E> 113 102
22825 18243252 36 112308 (1)D> 112 102
22826 18243254 34 112308 <D(0) 112 102
22827 18247870 -4582 <D(0) 102308 112 102
22828 18247872 -4580 01 (0)A> 102308 112 102
22829 18257104 36 01 112308 (0)A> 112 102
22830 18257108 38 01 112309 (1)B> 11 102
22831 18257112 36 01 112309 <F(1) 01 102
22832 18261730 -4582 01 <F(1) 012310 102
22833 18261736 -4580 11 (1)E> 012310 102
22834 18270976 40 112311 (1)E> 102
22835 18270980 38 112311 <C(1) 01 10
22836 18275602 -4584 <C(1) 112311 01 10
22837 18275610 -4582 11 (1)E> 112311 01 10
22838 18275612 -4580 112 (1)D> 112310 01 10
22839 18275614 -4582 112 <D(0) 112310 01 10
22840 18275618 -4586 <D(0) 102 112310 01 10
22841 18275620 -4584 01 (0)A> 102 112310 01 10
22842 18275628 -4580 01 112 (0)A> 112310 01 10
22843 18275632 -4578 01 113 (1)B> 112309 01 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 112+V(1) (1)E> 113 102+V(2)
1 2 2 113+V(1) (1)D> 112 102+V(2)
2 4 0 113+V(1) <D(0) 112 102+V(2)
3 10+2*V(1) -6+-2*V(1) <D(0) 103+V(1) 112 102+V(2)
4 12+2*V(1) -4+-2*V(1) 01 (0)A> 103+V(1) 112 102+V(2)
5 24+6*V(1) 2 01 113+V(1) (0)A> 112 102+V(2)
6 28+6*V(1) 4 01 114+V(1) (1)B> 11 102+V(2)
7 32+6*V(1) 2 01 114+V(1) <F(1) 01 102+V(2)
8 40+8*V(1) -6+-2*V(1) 01 <F(1) 015+V(1) 102+V(2)
9 46+8*V(1) -4+-2*V(1) 11 (1)E> 015+V(1) 102+V(2)
10 66+12*V(1) 6 116+V(1) (1)E> 102+V(2)
11 70+12*V(1) 4 116+V(1) <C(1) 01 101+V(2)
12 82+14*V(1) -8+-2*V(1) <C(1) 116+V(1) 01 101+V(2)
13 90+14*V(1) -6+-2*V(1) 11 (1)E> 116+V(1) 01 101+V(2)
14 92+14*V(1) -4+-2*V(1) 112 (1)D> 115+V(1) 01 101+V(2)
15 94+14*V(1) -6+-2*V(1) 112 <D(0) 115+V(1) 01 101+V(2)
16 98+14*V(1) -10+-2*V(1) <D(0) 102 115+V(1) 01 101+V(2)
17 100+14*V(1) -8+-2*V(1) 01 (0)A> 102 115+V(1) 01 101+V(2)
18 108+14*V(1) -4+-2*V(1) 01 112 (0)A> 115+V(1) 01 101+V(2)
19 112+14*V(1) -2+-2*V(1) 01 113 (1)B> 114+V(1) 01 101+V(2)
<< Success! ==> defined new CTR 11 (PPA)
22843 18275632 -4578 01 113 (1)B> 112309 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=2305, repcount=769, factor=4/3
30533 32509822 36 01 113079 (1)B> 112 01 10
30534 32509826 34 01 113079 <F(1) 01 11 01 10
30535 32515984 -6124 01 <F(1) 013080 11 01 10
30536 32515990 -6122 11 (1)E> 013080 11 01 10
30537 32528310 38 113081 (1)E> 11 01 10
30538 32528312 40 113082 (1)D> 01 10
30539 32528314 42 113083 (1)B> 10
30540 32528316 44 113084 (1)E>
30541 32528318 46 113084 10 (1)B>
30542 32528320 44 113084 10 <C(0) 10
30543 32528322 46 113085 (1)E> 10
30544 32528326 44 113085 <C(1) 01
30545 32534496 -6126 <C(1) 113085 01
30546 32534504 -6124 11 (1)E> 113085 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 111+V(1) (1)B> 112 01 10
1 4 -2 01 111+V(1) <F(1) 01 11 01 10
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 11 01 10
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 11 01 10
4 20+6*V(1) 2 113+V(1) (1)E> 11 01 10
5 22+6*V(1) 4 114+V(1) (1)D> 01 10
6 24+6*V(1) 6 115+V(1) (1)B> 10
7 26+6*V(1) 8 116+V(1) (1)E>
8 28+6*V(1) 10 116+V(1) 10 (1)B>
9 30+6*V(1) 8 116+V(1) 10 <C(0) 10
10 32+6*V(1) 10 117+V(1) (1)E> 10
11 36+6*V(1) 8 117+V(1) <C(1) 01
12 50+8*V(1) -6+-2*V(1) <C(1) 117+V(1) 01
13 58+8*V(1) -4+-2*V(1) 11 (1)E> 117+V(1) 01
<< Success! ==> defined new CTR 12 (PPA)
30546 32534504 -6124 11 (1)E> 113085 01
== Executing PA-CTR 1, V(1)=0, V(2)=3081, repcount=1028, factor=4/3
40826 57928160 44 114113 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=4110
40832 57936404 -8182 11 (1)E> 114114 102
== Executing PA-CTR 1, V(1)=0, V(2)=4110, repcount=1371, factor=4/3
54542 103088918 44 115485 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=5483, V(2)=0
54558 103132864 -10924 113 (1)E> 115487 102
== Executing PA-CTR 1, V(1)=2, V(2)=5483, repcount=1828, factor=4/3
72838 183429592 44 117315 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=7313, V(2)=0
72857 183532086 -14584 01 113 (1)B> 117317 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=7313, repcount=2438, factor=4/3
97237 326315994 44 01 119755 (1)B> 113 01 10
97238 326315998 42 01 119755 <F(1) 01 112 01 10
97239 326335508 -19468 01 <F(1) 019756 112 01 10
97240 326335514 -19466 11 (1)E> 019756 112 01 10
97241 326374538 46 119757 (1)E> 112 01 10
97242 326374540 48 119758 (1)D> 11 01 10
97243 326374542 46 119758 <D(0) 11 01 10
97244 326394058 -19470 <D(0) 109758 11 01 10
97245 326394060 -19468 01 (0)A> 109758 11 01 10
97246 326433092 48 01 119758 (0)A> 11 01 10
97247 326433096 50 01 119759 (1)B> 01 10
97248 326433098 48 01 119759 <C(0) 11 10
97249 326433100 46 01 119758 <C(1) 10 11 10
97250 326452616 -19470 01 <C(1) 119758 10 11 10
97251 326452620 -19472 <D(0) 119759 10 11 10
97252 326452622 -19470 01 (0)A> 119759 10 11 10
97253 326452626 -19468 01 11 (1)B> 119758 10 11 10
97254 326452630 -19470 01 11 <F(1) 01 119757 10 11 10
97255 326452632 -19472 01 <F(1) 012 119757 10 11 10
97256 326452638 -19470 11 (1)E> 012 119757 10 11 10
97257 326452646 -19466 113 (1)E> 119757 10 11 10
97258 326452648 -19464 114 (1)D> 119756 10 11 10
97259 326452650 -19466 114 <D(0) 119756 10 11 10
97260 326452658 -19474 <D(0) 104 119756 10 11 10
97261 326452660 -19472 01 (0)A> 104 119756 10 11 10
97262 326452676 -19464 01 114 (0)A> 119756 10 11 10
97263 326452680 -19462 01 115 (1)B> 119755 10 11 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 114+V(2) [*]* [*]* [*]*
1 4 -2 01 111+V(1) <F(1) 01 113+V(2) [*]* [*]* [*]*
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 113+V(2) [*]* [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 113+V(2) [*]* [*]* [*]*
4 20+6*V(1) 2 113+V(1) (1)E> 113+V(2) [*]* [*]* [*]*
5 22+6*V(1) 4 114+V(1) (1)D> 112+V(2) [*]* [*]* [*]*
6 24+6*V(1) 2 114+V(1) <D(0) 112+V(2) [*]* [*]* [*]*
7 32+8*V(1) -6+-2*V(1) <D(0) 104+V(1) 112+V(2) [*]* [*]* [*]*
8 34+8*V(1) -4+-2*V(1) 01 (0)A> 104+V(1) 112+V(2) [*]* [*]* [*]*
9 50+12*V(1) 4 01 114+V(1) (0)A> 112+V(2) [*]* [*]* [*]*
10 54+12*V(1) 6 01 115+V(1) (1)B> 111+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 13 (PA)
97263 326452680 -19462 01 115 (1)B> 119755 10 11 10
== Executing PA-CTR 13, V(1)=4, V(2)=9751, repcount=3251, factor=4/3
129773 580362282 44 01 1113009 (1)B> 112 10 11 10
129774 580362286 42 01 1113009 <F(1) 01 11 10 11 10
129775 580388304 -25976 01 <F(1) 0113010 11 10 11 10
129776 580388310 -25974 11 (1)E> 0113010 11 10 11 10
129777 580440350 46 1113011 (1)E> 11 10 11 10
129778 580440352 48 1113012 (1)D> 10 11 10
129779 580440354 46 1113012 <D(0) 10 11 10
129780 580466378 -25978 <D(0) 1013013 11 10
129781 580466380 -25976 01 (0)A> 1013013 11 10
129782 580518432 50 01 1113013 (0)A> 11 10
129783 580518436 52 01 1113014 (1)B> 10
129784 580518438 54 01 1113015 (1)E>
129785 580518440 56 01 1113015 10 (1)B>
129786 580518442 54 01 1113015 10 <C(0) 10
129787 580518444 56 01 1113016 (1)E> 10
129788 580518448 54 01 1113016 <C(1) 01
129789 580544480 -25978 01 <C(1) 1113016 01
129790 580544484 -25980 <D(0) 1113017 01
129791 580544486 -25978 01 (0)A> 1113017 01
129792 580544490 -25976 01 11 (1)B> 1113016 01
129793 580544494 -25978 01 11 <F(1) 01 1113015 01
129794 580544496 -25980 01 <F(1) 012 1113015 01
129795 580544502 -25978 11 (1)E> 012 1113015 01
129796 580544510 -25974 113 (1)E> 1113015 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 112 101+V(2) 11 10
1 4 -2 01 111+V(1) <F(1) 01 11 101+V(2) 11 10
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 11 101+V(2) 11 10
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 11 101+V(2) 11 10
4 20+6*V(1) 2 113+V(1) (1)E> 11 101+V(2) 11 10
5 22+6*V(1) 4 114+V(1) (1)D> 101+V(2) 11 10
6 24+6*V(1) 2 114+V(1) <D(0) 101+V(2) 11 10
7 32+8*V(1) -6+-2*V(1) <D(0) 105+V(1)+V(2) 11 10
8 34+8*V(1) -4+-2*V(1) 01 (0)A> 105+V(1)+V(2) 11 10
9 54+12*V(1)+4*V(2) 6+2*V(2) 01 115+V(1)+V(2) (0)A> 11 10
10 58+12*V(1)+4*V(2) 8+2*V(2) 01 116+V(1)+V(2) (1)B> 10
11 60+12*V(1)+4*V(2) 10+2*V(2) 01 117+V(1)+V(2) (1)E>
12 62+12*V(1)+4*V(2) 12+2*V(2) 01 117+V(1)+V(2) 10 (1)B>
13 64+12*V(1)+4*V(2) 10+2*V(2) 01 117+V(1)+V(2) 10 <C(0) 10
14 66+12*V(1)+4*V(2) 12+2*V(2) 01 118+V(1)+V(2) (1)E> 10
15 70+12*V(1)+4*V(2) 10+2*V(2) 01 118+V(1)+V(2) <C(1) 01
16 86+14*V(1)+6*V(2) -6+-2*V(1) 01 <C(1) 118+V(1)+V(2) 01
17 90+14*V(1)+6*V(2) -8+-2*V(1) <D(0) 119+V(1)+V(2) 01
18 92+14*V(1)+6*V(2) -6+-2*V(1) 01 (0)A> 119+V(1)+V(2) 01
19 96+14*V(1)+6*V(2) -4+-2*V(1) 01 11 (1)B> 118+V(1)+V(2) 01
20 100+14*V(1)+6*V(2) -6+-2*V(1) 01 11 <F(1) 01 117+V(1)+V(2) 01
21 102+14*V(1)+6*V(2) -8+-2*V(1) 01 <F(1) 012 117+V(1)+V(2) 01
22 108+14*V(1)+6*V(2) -6+-2*V(1) 11 (1)E> 012 117+V(1)+V(2) 01
23 116+14*V(1)+6*V(2) -2+-2*V(1) 113 (1)E> 117+V(1)+V(2) 01
<< Success! ==> defined new CTR 14 (PPA)
129796 580544510 -25974 113 (1)E> 1113015 01
== Executing PA-CTR 1, V(1)=2, V(2)=13011, repcount=4338, factor=4/3
173176 1032416618 54 1117355 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=17352
173182 1032451346 -34656 11 (1)E> 1117356 102
== Executing PA-CTR 1, V(1)=0, V(2)=17352, repcount=5785, factor=4/3
231032 1835814296 54 1123141 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=23139, V(2)=0
231048 1835999490 -46226 113 (1)E> 1123143 102
== Executing PA-CTR 1, V(1)=2, V(2)=23139, repcount=7714, factor=4/3
308188 3264555150 58 1130859 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=30857, V(2)=0
308204 3264802088 -61658 113 (1)E> 1130861 102
== Executing PA-CTR 1, V(1)=2, V(2)=30857, repcount=10286, factor=4/3
411064 5804600636 58 1141147 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=41145, V(2)=0
411083 5805176778 -82234 01 113 (1)B> 1141149 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=41145, repcount=13716, factor=4/3
548243 10321005186 62 01 1154867 (1)B> 11 01 10
548244 10321005190 60 01 1154867 <F(1) 012 10
548245 10321114924 -109674 01 <F(1) 0154869 10
548246 10321114930 -109672 11 (1)E> 0154869 10
548247 10321334406 66 1154870 (1)E> 10
548248 10321334410 64 1154870 <C(1) 01
548249 10321444150 -109676 <C(1) 1154870 01
548250 10321444158 -109674 11 (1)E> 1154870 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 11 011+V(2) 10
1 4 -2 01 111+V(1) <F(1) 012+V(2) 10
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 013+V(1)+V(2) 10
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 013+V(1)+V(2) 10
4 24+6*V(1)+4*V(2) 4+2*V(2) 114+V(1)+V(2) (1)E> 10
5 28+6*V(1)+4*V(2) 2+2*V(2) 114+V(1)+V(2) <C(1) 01
6 36+8*V(1)+6*V(2) -6+-2*V(1) <C(1) 114+V(1)+V(2) 01
7 44+8*V(1)+6*V(2) -4+-2*V(1) 11 (1)E> 114+V(1)+V(2) 01
<< Success! ==> defined new CTR 15 (PPA)
548250 10321444158 -109674 11 (1)E> 1154870 01
== Executing PA-CTR 1, V(1)=0, V(2)=54866, repcount=18289, factor=4/3
731140 18349693332 60 1173157 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=73156, V(2)=0
731156 18350717606 -146256 11 (1)E> 1173163 01
== Executing PA-CTR 1, V(1)=0, V(2)=73159, repcount=24387, factor=4/3
975026 32624867672 66 1197549 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=97546
975038 32625648096 -195032 01 11 (1)B> 1197550 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=97546, repcount=32516, factor=4/3
1300198 58001589720 64 01 11130065 (1)B> 112 10 11
1300199 58001589724 62 01 11130065 <F(1) 01 11 10 11
1300200 58001849854 -260068 01 <F(1) 01130066 11 10 11
1300201 58001849860 -260066 11 (1)E> 01130066 11 10 11
1300202 58002370124 66 11130067 (1)E> 11 10 11
1300203 58002370126 68 11130068 (1)D> 10 11
1300204 58002370128 66 11130068 <D(0) 10 11
1300205 58002630264 -260070 <D(0) 10130069 11
1300206 58002630266 -260068 01 (0)A> 10130069 11
1300207 58003150542 70 01 11130069 (0)A> 11
1300208 58003150546 72 01 11130070 (1)B>
1300209 58003150548 70 01 11130070 <C(0) 10
1300210 58003150550 68 01 11130069 <C(1) 102
1300211 58003410688 -260070 01 <C(1) 11130069 102
1300212 58003410692 -260072 <D(0) 11130070 102
1300213 58003410694 -260070 01 (0)A> 11130070 102
1300214 58003410698 -260068 01 11 (1)B> 11130069 102
1300215 58003410702 -260070 01 11 <F(1) 01 11130068 102
1300216 58003410704 -260072 01 <F(1) 012 11130068 102
1300217 58003410710 -260070 11 (1)E> 012 11130068 102
1300218 58003410718 -260066 113 (1)E> 11130068 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 112 101+V(2) 11
1 4 -2 01 111+V(1) <F(1) 01 11 101+V(2) 11
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 11 101+V(2) 11
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 11 101+V(2) 11
4 20+6*V(1) 2 113+V(1) (1)E> 11 101+V(2) 11
5 22+6*V(1) 4 114+V(1) (1)D> 101+V(2) 11
6 24+6*V(1) 2 114+V(1) <D(0) 101+V(2) 11
7 32+8*V(1) -6+-2*V(1) <D(0) 105+V(1)+V(2) 11
8 34+8*V(1) -4+-2*V(1) 01 (0)A> 105+V(1)+V(2) 11
9 54+12*V(1)+4*V(2) 6+2*V(2) 01 115+V(1)+V(2) (0)A> 11
10 58+12*V(1)+4*V(2) 8+2*V(2) 01 116+V(1)+V(2) (1)B>
11 60+12*V(1)+4*V(2) 6+2*V(2) 01 116+V(1)+V(2) <C(0) 10
12 62+12*V(1)+4*V(2) 4+2*V(2) 01 115+V(1)+V(2) <C(1) 102
13 72+14*V(1)+6*V(2) -6+-2*V(1) 01 <C(1) 115+V(1)+V(2) 102
14 76+14*V(1)+6*V(2) -8+-2*V(1) <D(0) 116+V(1)+V(2) 102
15 78+14*V(1)+6*V(2) -6+-2*V(1) 01 (0)A> 116+V(1)+V(2) 102
16 82+14*V(1)+6*V(2) -4+-2*V(1) 01 11 (1)B> 115+V(1)+V(2) 102
17 86+14*V(1)+6*V(2) -6+-2*V(1) 01 11 <F(1) 01 114+V(1)+V(2) 102
18 88+14*V(1)+6*V(2) -8+-2*V(1) 01 <F(1) 012 114+V(1)+V(2) 102
19 94+14*V(1)+6*V(2) -6+-2*V(1) 11 (1)E> 012 114+V(1)+V(2) 102
20 102+14*V(1)+6*V(2) -2+-2*V(1) 113 (1)E> 114+V(1)+V(2) 102
<< Success! ==> defined new CTR 16 (PPA)
1300218 58003410718 -260066 113 (1)E> 11130068 102
== Executing PA-CTR 1, V(1)=2, V(2)=130064, repcount=43355, factor=4/3
1733768 103117496488 64 11173423 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=173421, V(2)=0
1733787 103119924494 -346780 01 113 (1)B> 11173425 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=173421, repcount=57808, factor=4/3
2311867 183325402862 68 01 11231235 (1)B> 11 01 10
== Executing PPA-CTR 15 (once), V(1)=231234, V(2)=0
2311874 183327252778 -462404 11 (1)E> 11231238 01
== Executing PA-CTR 1, V(1)=0, V(2)=231234, repcount=77079, factor=4/3
3082664 325917698932 70 11308317 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=308314
3082670 325918315584 -616564 11 (1)E> 11308318 102
== Executing PA-CTR 1, V(1)=0, V(2)=308314, repcount=102772, factor=4/3
4110390 579411414360 68 11411089 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=411087
4110406 579414703130 -822108 113 (1)E> 11411091 01
== Executing PA-CTR 1, V(1)=2, V(2)=411087, repcount=137030, factor=4/3
5480706 1030075404350 72 11548123 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=548120
5480712 1030076500614 -1096174 11 (1)E> 11548124 102
== Executing PA-CTR 1, V(1)=0, V(2)=548120, repcount=182707, factor=4/3
7307782 1831246330200 68 11730829 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=730827, V(2)=0
7307801 1831256561890 -1461588 01 113 (1)B> 11730831 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=730827, repcount=243610, factor=4/3
9743901 3255569687230 72 01 11974443 (1)B> 11 01 10
== Executing PPA-CTR 15 (once), V(1)=974442, V(2)=0
9743908 3255577482810 -1948816 11 (1)E> 11974446 01
== Executing PA-CTR 1, V(1)=0, V(2)=974442, repcount=324815, factor=4/3
12992058 5787702048660 74 111299261 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=1299258
12992064 5787704647200 -2598448 11 (1)E> 111299262 102
== Executing PA-CTR 1, V(1)=0, V(2)=1299258, repcount=433087, factor=4/3
17322934 10289262029466 74 111732349 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=1732347, V(2)=0
17322950 10289275888324 -3464622 113 (1)E> 111732351 102
== Executing PA-CTR 1, V(1)=2, V(2)=1732347, repcount=577450, factor=4/3
23097450 18292071130624 78 112309803 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=2309801, V(2)=0
23097466 18292089609114 -4619526 113 (1)E> 112309805 102
== Executing PA-CTR 1, V(1)=2, V(2)=2309801, repcount=769934, factor=4/3
30796806 32519291930094 78 113079739 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=3079737, V(2)=0
30796825 32519335046524 -6159398 01 113 (1)B> 113079741 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=3079737, repcount=1026580, factor=4/3
41062625 57812186395444 82 01 114106323 (1)B> 11 01 10
== Executing PPA-CTR 15 (once), V(1)=4106322, V(2)=0
41062632 57812219246064 -8212566 11 (1)E> 114106326 01
== Executing PA-CTR 1, V(1)=0, V(2)=4106322, repcount=1368775, factor=4/3
54750382 102777340324314 84 115475101 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=5475098
54750388 102777351274534 -10950118 11 (1)E> 115475102 102
== Executing PA-CTR 1, V(1)=0, V(2)=5475098, repcount=1825033, factor=4/3
73000718 182715296851660 80 117300133 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=7300131, V(2)=0
73000737 182715399053606 -14600184 01 113 (1)B> 117300135 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=7300131, repcount=2433378, factor=4/3
97334517 324827414237234 84 01 119733515 (1)B> 11 01 10
== Executing PPA-CTR 15 (once), V(1)=9733514, V(2)=0
97334524 324827492105390 -19466948 11 (1)E> 119733518 01
== Executing PA-CTR 1, V(1)=0, V(2)=9733514, repcount=3244505, factor=4/3
129779574 577471094121140 82 1112978021 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=12978020, V(2)=0
129779590 577471275813510 -25955962 11 (1)E> 1112978027 01
== Executing PA-CTR 1, V(1)=0, V(2)=12978023, repcount=4326008, factor=4/3
173039670 1026615690779286 86 1117304033 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=17304032, V(2)=0
173039686 1026615933035824 -34607982 11 (1)E> 1117304039 01
== Executing PA-CTR 1, V(1)=0, V(2)=17304035, repcount=5768012, factor=4/3
230719806 1825095204447640 90 1123072049 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=23072048, V(2)=0
230719822 1825095527456402 -46144010 11 (1)E> 1123072055 01
== Executing PA-CTR 1, V(1)=0, V(2)=23072051, repcount=7690684, factor=4/3
307626662 3244614647485466 94 1130762737 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=30762736, V(2)=0
307626678 3244615078163860 -61525382 11 (1)E> 1130762743 01
== Executing PA-CTR 1, V(1)=0, V(2)=30762739, repcount=10254247, factor=4/3
410169148 5768205342679486 100 1141016989 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=41016986
410169160 5768205670815430 -82033878 01 11 (1)B> 1141016990 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=41016986, repcount=13672329, factor=4/3
546892450 10254588007807084 96 01 1154689317 (1)B> 113 10 11
== Executing PPA-CTR 3 (once), V(1)=54689316
546892474 10254588773457624 -109378538 113 (1)E> 1154689323 102
== Executing PA-CTR 1, V(1)=2, V(2)=54689319, repcount=18229774, factor=4/3
729190214 18230381600051244 106 1172919099 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=72919097, V(2)=0
729190230 18230382183404102 -145838090 113 (1)E> 1172919101 102
== Executing PA-CTR 1, V(1)=2, V(2)=72919097, repcount=24306366, factor=4/3
972253890 32409569770970810 106 1197225467 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=97225465, V(2)=0
972253909 32409571132127432 -194450826 01 113 (1)B> 1197225469 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=97225465, repcount=32408489, factor=4/3
1296338799 57617016704500742 108 01 11129633959 (1)B> 112 01 10
== Executing PPA-CTR 12 (once), V(1)=129633958
1296338812 57617017741572464 -259267812 11 (1)E> 11129633965 01
== Executing PA-CTR 1, V(1)=0, V(2)=129633961, repcount=43211321, factor=4/3
1728452022 102430257339473078 114 11172845285 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=172845282
1728452034 102430258722235390 -345690456 01 11 (1)B> 11172845286 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=172845282, repcount=57615095, factor=4/3
2304602984 182098240575304840 114 01 11230460381 (1)B> 11 10 11
== Executing PPA-CTR 9 (once), V(1)=230460377
2304602997 182098242418987940 -460920646 01 113 (1)B> 11230460381 01 11
== Executing PA-CTR 2, V(1)=2, V(2)=230460377, repcount=76820126, factor=4/3
3072804257 323730208775015768 110 01 11307280507 (1)B> 113 01 11
3072804258 323730208775015772 108 01 11307280507 <F(1) 01 112 01 11
3072804259 323730209389576786 -614560906 01 <F(1) 01307280508 112 01 11
3072804260 323730209389576792 -614560904 11 (1)E> 01307280508 112 01 11
3072804261 323730210618698824 112 11307280509 (1)E> 112 01 11
3072804262 323730210618698826 114 11307280510 (1)D> 11 01 11
3072804263 323730210618698828 112 11307280510 <D(0) 11 01 11
3072804264 323730211233259848 -614560908 <D(0) 10307280510 11 01 11
3072804265 323730211233259850 -614560906 01 (0)A> 10307280510 11 01 11
3072804266 323730212462381890 114 01 11307280510 (0)A> 11 01 11
3072804267 323730212462381894 116 01 11307280511 (1)B> 01 11
3072804268 323730212462381896 114 01 11307280511 <C(0) 112
3072804269 323730212462381898 112 01 11307280510 <C(1) 10 112
3072804270 323730213076942918 -614560908 01 <C(1) 11307280510 10 112
3072804271 323730213076942922 -614560910 <D(0) 11307280511 10 112
3072804272 323730213076942924 -614560908 01 (0)A> 11307280511 10 112
3072804273 323730213076942928 -614560906 01 11 (1)B> 11307280510 10 112
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 113 01 111+V(2)
1 4 -2 01 111+V(1) <F(1) 01 112 01 111+V(2)
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 112 01 111+V(2)
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 112 01 111+V(2)
4 20+6*V(1) 2 113+V(1) (1)E> 112 01 111+V(2)
5 22+6*V(1) 4 114+V(1) (1)D> 11 01 111+V(2)
6 24+6*V(1) 2 114+V(1) <D(0) 11 01 111+V(2)
7 32+8*V(1) -6+-2*V(1) <D(0) 104+V(1) 11 01 111+V(2)
8 34+8*V(1) -4+-2*V(1) 01 (0)A> 104+V(1) 11 01 111+V(2)
9 50+12*V(1) 4 01 114+V(1) (0)A> 11 01 111+V(2)
10 54+12*V(1) 6 01 115+V(1) (1)B> 01 111+V(2)
11 56+12*V(1) 4 01 115+V(1) <C(0) 112+V(2)
12 58+12*V(1) 2 01 114+V(1) <C(1) 10 112+V(2)
13 66+14*V(1) -6+-2*V(1) 01 <C(1) 114+V(1) 10 112+V(2)
14 70+14*V(1) -8+-2*V(1) <D(0) 115+V(1) 10 112+V(2)
15 72+14*V(1) -6+-2*V(1) 01 (0)A> 115+V(1) 10 112+V(2)
16 76+14*V(1) -4+-2*V(1) 01 11 (1)B> 114+V(1) 10 112+V(2)
<< Success! ==> defined new CTR 17 (PPA)
3072804273 323730213076942928 -614560906 01 11 (1)B> 11307280510 10 112
== Executing PA-CTR 2, V(1)=0, V(2)=307280506, repcount=102426836, factor=4/3
4097072633 575520377741049512 110 01 11409707345 (1)B> 112 10 112
4097072634 575520377741049516 108 01 11409707345 <F(1) 01 11 10 112
4097072635 575520378560464206 -819414582 01 <F(1) 01409707346 11 10 112
4097072636 575520378560464212 -819414580 11 (1)E> 01409707346 11 10 112
4097072637 575520380199293596 112 11409707347 (1)E> 11 10 112
4097072638 575520380199293598 114 11409707348 (1)D> 10 112
4097072639 575520380199293600 112 11409707348 <D(0) 10 112
4097072640 575520381018708296 -819414584 <D(0) 10409707349 112
4097072641 575520381018708298 -819414582 01 (0)A> 10409707349 112
4097072642 575520382657537694 116 01 11409707349 (0)A> 112
4097072643 575520382657537698 118 01 11409707350 (1)B> 11
4097072644 575520382657537702 116 01 11409707350 <F(1) 01
4097072645 575520383476952402 -819414584 01 <F(1) 01409707351
4097072646 575520383476952408 -819414582 11 (1)E> 01409707351
4097072647 575520385115781812 120 11409707352 (1)E>
4097072648 575520385115781814 122 11409707352 10 (1)B>
4097072649 575520385115781816 120 11409707352 10 <C(0) 10
4097072650 575520385115781818 122 11409707353 (1)E> 10
4097072651 575520385115781822 120 11409707353 <C(1) 01
4097072652 575520385935196528 -819414586 <C(1) 11409707353 01
4097072653 575520385935196536 -819414584 11 (1)E> 11409707353 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 01 111+V(1) (1)B> 112 101+V(2) 112
1 4 -2 01 111+V(1) <F(1) 01 11 101+V(2) 112
2 6+2*V(1) -4+-2*V(1) 01 <F(1) 012+V(1) 11 101+V(2) 112
3 12+2*V(1) -2+-2*V(1) 11 (1)E> 012+V(1) 11 101+V(2) 112
4 20+6*V(1) 2 113+V(1) (1)E> 11 101+V(2) 112
5 22+6*V(1) 4 114+V(1) (1)D> 101+V(2) 112
6 24+6*V(1) 2 114+V(1) <D(0) 101+V(2) 112
7 32+8*V(1) -6+-2*V(1) <D(0) 105+V(1)+V(2) 112
8 34+8*V(1) -4+-2*V(1) 01 (0)A> 105+V(1)+V(2) 112
9 54+12*V(1)+4*V(2) 6+2*V(2) 01 115+V(1)+V(2) (0)A> 112
10 58+12*V(1)+4*V(2) 8+2*V(2) 01 116+V(1)+V(2) (1)B> 11
11 62+12*V(1)+4*V(2) 6+2*V(2) 01 116+V(1)+V(2) <F(1) 01
12 74+14*V(1)+6*V(2) -6+-2*V(1) 01 <F(1) 017+V(1)+V(2)
13 80+14*V(1)+6*V(2) -4+-2*V(1) 11 (1)E> 017+V(1)+V(2)
14 108+18*V(1)+10*V(2) 10+2*V(2) 118+V(1)+V(2) (1)E>
15 110+18*V(1)+10*V(2) 12+2*V(2) 118+V(1)+V(2) 10 (1)B>
16 112+18*V(1)+10*V(2) 10+2*V(2) 118+V(1)+V(2) 10 <C(0) 10
17 114+18*V(1)+10*V(2) 12+2*V(2) 119+V(1)+V(2) (1)E> 10
18 118+18*V(1)+10*V(2) 10+2*V(2) 119+V(1)+V(2) <C(1) 01
19 136+20*V(1)+12*V(2) -8+-2*V(1) <C(1) 119+V(1)+V(2) 01
20 144+20*V(1)+12*V(2) -6+-2*V(1) 11 (1)E> 119+V(1)+V(2) 01
<< Success! ==> defined new CTR 18 (PPA)
4097072653 575520385935196536 -819414584 11 (1)E> 11409707353 01
== Executing PA-CTR 1, V(1)=0, V(2)=409707349, repcount=136569117, factor=4/3
5462763823 1023147359268102582 118 11546276469 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=546276466
5462763835 1023147363638314366 -1092552820 01 11 (1)B> 11546276470 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=546276466, repcount=182092156, factor=4/3
7283685395 1818928647742559110 116 01 11728368625 (1)B> 112 10 11
== Executing PPA-CTR 16 (once), V(1)=728368624, V(2)=0
7283685415 1818928657939719948 -1456737134 113 (1)E> 11728368628 102
== Executing PA-CTR 1, V(1)=2, V(2)=728368624, repcount=242789542, factor=4/3
9711580835 3233650951960029552 118 11971158171 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=971158169
9711580851 3233650959729294978 -1942316222 113 (1)E> 11971158173 01
== Executing PA-CTR 1, V(1)=2, V(2)=971158169, repcount=323719390, factor=4/3
12948774751 5748712820297472438 118 111294877563 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=1294877562, V(2)=0
12948774767 5748712838425758396 -2589755010 11 (1)E> 111294877569 01
== Executing PA-CTR 1, V(1)=0, V(2)=1294877565, repcount=431625856, factor=4/3
17265033327 10219933961000119740 126 111726503425 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=1726503422
17265033333 10219933964453126608 -3453006724 11 (1)E> 111726503426 102
== Executing PA-CTR 1, V(1)=0, V(2)=1726503422, repcount=575501141, factor=4/3
23020044743 18168771500733405982 122 112302004565 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=2302004563, V(2)=0
23020044762 18168771532961469976 -4604009006 01 113 (1)B> 112302004567 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=2302004563, repcount=767334855, factor=4/3
30693393312 32300038287146456746 124 01 113069339423 (1)B> 112 01 10
== Executing PPA-CTR 12 (once), V(1)=3069339422
30693393325 32300038311701172180 -6138678724 11 (1)E> 113069339429 01
== Executing PA-CTR 1, V(1)=0, V(2)=3069339425, repcount=1023113142, factor=4/3
40924524745 57422290374389258376 128 114092452569 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=4092452568, V(2)=0
40924524761 57422290431683594418 -8184905012 11 (1)E> 114092452575 01
== Executing PA-CTR 1, V(1)=0, V(2)=4092452571, repcount=1364150858, factor=4/3
54566033341 102084071993779388094 136 115456603433 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=5456603430
54566033347 102084072004692594978 -10913206730 11 (1)E> 115456603434 102
== Executing PA-CTR 1, V(1)=0, V(2)=5456603430, repcount=1818867811, factor=4/3
72754711457 181482794792664990612 136 117275471245 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=7275471243, V(2)=0
72754711473 181482794850868760638 -14550942352 113 (1)E> 117275471247 102
== Executing PA-CTR 1, V(1)=2, V(2)=7275471243, repcount=2425157082, factor=4/3
97006282293 322636079918821356442 140 119700628331 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=9700628329, V(2)=0
97006282309 322636079996426383156 -19401256520 113 (1)E> 119700628333 102
== Executing PA-CTR 1, V(1)=2, V(2)=9700628329, repcount=3233542777, factor=4/3
129341710079 573575253547570614610 142 1112934171111 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=12934171109
129341710095 573575253651043983556 -25868342078 113 (1)E> 1112934171113 01
== Executing PA-CTR 1, V(1)=2, V(2)=12934171109, repcount=4311390370, factor=4/3
172455613795 1019689340024548749136 142 1117245561483 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=17245561482, V(2)=0
172455613811 1019689340265986609974 -34491122826 11 (1)E> 1117245561489 01
== Executing PA-CTR 1, V(1)=0, V(2)=17245561485, repcount=5748520496, factor=4/3
229940818771 1812781049868812289238 150 1122994081985 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=22994081982
229940818777 1812781049914800453226 -45988163820 11 (1)E> 1122994081986 102
== Executing PA-CTR 1, V(1)=0, V(2)=22994081982, repcount=7664693995, factor=4/3
306587758727 3222721867032478713676 150 1130658775981 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=30658775979, V(2)=0
306587758743 3222721867277748921590 -61317551810 113 (1)E> 1130658775983 102
== Executing PA-CTR 1, V(1)=2, V(2)=30658775979, repcount=10219591994, factor=4/3
408783678683 5729283320401500394130 154 1140878367979 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=40878367977, V(2)=0
408783678699 5729283320728527338028 -81756735802 113 (1)E> 1140878367981 102
== Executing PA-CTR 1, V(1)=2, V(2)=40878367977, repcount=13626122660, factor=4/3
545044905299 10185392571353109376068 158 1154504490643 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=54504490641, V(2)=0
545044905315 10185392571789145301278 -109008981126 113 (1)E> 1154504490645 102
== Executing PA-CTR 1, V(1)=2, V(2)=54504490641, repcount=18168163548, factor=4/3
726726540795 18107364573735248892166 162 1172672654195 (1)E> 11 102
== Executing PPA-CTR 7 (once), V(1)=72672654193, V(2)=0
726726540811 18107364574316630125792 -145345308226 113 (1)E> 1172672654197 102
== Executing PA-CTR 1, V(1)=2, V(2)=72672654193, repcount=24224218065, factor=4/3
968968721461 32190870356280874162702 164 1196896872263 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=96896872261
968968721477 32190870357056049140864 -193793744360 113 (1)E> 1196896872265 01
== Executing PA-CTR 1, V(1)=2, V(2)=96896872261, repcount=32298957421, factor=4/3
1291958295687 57228213970405896151382 166 11129195829687 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=129195829684
1291958295699 57228213971439462788910 -258391659208 01 11 (1)B> 11129195829688 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=129195829684, repcount=43065276562, factor=4/3
1722611061319 101739047061408538042026 164 01 11172261106249 (1)B> 112 10 11
== Executing PPA-CTR 16 (once), V(1)=172261106248, V(2)=0
1722611061339 101739047063820193529600 -344522212334 113 (1)E> 11172261106252 102
== Executing PA-CTR 1, V(1)=2, V(2)=172261106248, repcount=57420368750, factor=4/3
2296814748839 180869417004184330942100 166 11229681475003 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=229681475001
2296814748855 180869417006021782742182 -459362949838 113 (1)E> 11229681475005 01
== Executing PA-CTR 1, V(1)=2, V(2)=229681475001, repcount=76560491668, factor=4/3
3062419665535 321545630236857587425630 170 11306241966675 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=306241966672
3062419665541 321545630237470071358998 -612483933180 11 (1)E> 11306241966676 102
== Executing PA-CTR 1, V(1)=0, V(2)=306241966672, repcount=102080655558, factor=4/3
4083226221121 571636675980157362018474 168 11408322622233 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=408322622231
4083226221137 571636675983423942996396 -816645244296 113 (1)E> 11408322622235 01
== Executing PA-CTR 1, V(1)=2, V(2)=408322622231, repcount=136107540744, factor=4/3
5444301628577 1016242979527884631961436 168 11544430162979 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=544430162978, V(2)=0
5444301628593 1016242979535506654243218 -1088860325792 11 (1)E> 11544430162985 01
== Executing PA-CTR 1, V(1)=0, V(2)=544430162981, repcount=181476720994, factor=4/3
7259068838533 1806654185846569844225902 172 11725906883977 (1)E> 113 01
== Executing PPA-CTR 8 (once), V(1)=725906883976, V(2)=0
7259068838549 1806654185856732540601656 -1451813767784 11 (1)E> 11725906883983 01
== Executing PA-CTR 1, V(1)=0, V(2)=725906883979, repcount=241968961327, factor=4/3
9678758451819 3211829663760004927863762 178 11967875845309 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=967875845306
9678758451831 3211829663767747934626266 -1935751690440 01 11 (1)B> 11967875845310 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=967875845306, repcount=322625281769, factor=4/3
12905011269521 5709919402254066143544000 174 01 111290501127077 (1)B> 113 10 11
== Executing PPA-CTR 3 (once), V(1)=1290501127076
12905011269545 5709919402272133159323180 -2581002253980 113 (1)E> 111290501127083 102
== Executing PA-CTR 1, V(1)=2, V(2)=1290501127079, repcount=430167042360, factor=4/3
17206681693145 10150967826281363004481020 180 111720668169443 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=1720668169441, V(2)=0
17206681693164 10150967826305452358853306 -3441336338704 01 113 (1)B> 111720668169445 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=1720668169441, repcount=573556056481, factor=4/3
22942242257974 18046165024561289876383944 182 01 112294224225927 (1)B> 112 01 10
== Executing PPA-CTR 12 (once), V(1)=2294224225926
22942242257987 18046165024579643670191410 -4588448451674 11 (1)E> 112294224225933 01
== Executing PA-CTR 1, V(1)=0, V(2)=2294224225929, repcount=764741408644, factor=4/3
30589656344427 32082071154878011462500394 190 113058965634577 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=3058965634574
30589656344433 32082071154884129393769566 -6117931268964 11 (1)E> 113058965634578 102
== Executing PA-CTR 1, V(1)=0, V(2)=3058965634574, repcount=1019655211525, factor=4/3
40786208459683 57034793164276938877930316 186 114078620846101 (1)E> 113 102
== Executing PPA-CTR 11 (once), V(1)=4078620846099, V(2)=0
40786208459702 57034793164334039569775814 -8157241692014 01 113 (1)B> 114078620846103 01 10
== Executing PA-CTR 2, V(1)=2, V(2)=4078620846099, repcount=1359540282034, factor=4/3
54381611280042 101395187847761573061257394 190 01 115438161128139 (1)B> 11 01 10
== Executing PPA-CTR 15 (once), V(1)=5438161128138, V(2)=0
54381611280049 101395187847805078350282542 -10876322256090 11 (1)E> 115438161128142 01
== Executing PA-CTR 1, V(1)=0, V(2)=5438161128138, repcount=1812720376047, factor=4/3
72508815040519 180258111729522910153872968 192 117250881504189 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=7250881504186
72508815040525 180258111729537411916881364 -14501763008186 11 (1)E> 117250881504190 102
== Executing PA-CTR 1, V(1)=0, V(2)=7250881504186, repcount=2416960501396, factor=4/3
96678420054485 320458865297011609962694828 190 119667842005585 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=9667842005583
96678420054501 320458865297088952698739566 -19335684010978 113 (1)E> 119667842005587 01
== Executing PA-CTR 1, V(1)=2, V(2)=9667842005583, repcount=3222614001862, factor=4/3
128904560073121 569704649417191322802049170 194 1112890456007451 (1)E> 11 01
== Executing PPA-CTR 6 (once), V(1)=12890456007448
128904560073127 569704649417217103714064090 -25780912014708 11 (1)E> 1112890456007452 102
== Executing PA-CTR 1, V(1)=0, V(2)=12890456007448, repcount=4296818669150, factor=4/3
171872746764627 1012808265630689460155478590 192 1117187274676601 (1)E> 112 102
== Executing PPA-CTR 4 (once), V(1)=17187274676599
171872746764643 1012808265630826958352891456 -34374549353008 113 (1)E> 1117187274676603 01
== Executing PA-CTR 1, V(1)=2, V(2)=17187274676599, repcount=5729091558867, factor=4/3
229163662353313 1800548027788283020328838810 194 1122916366235471 (1)E> 112 01
== Executing PPA-CTR 5 (once), V(1)=22916366235468
229163662353325 1800548027788466351258722610 -45832732470748 01 11 (1)B> 1122916366235472 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=22916366235468, repcount=7638788745157, factor=4/3
305551549804895 3200974271623989627503988896 194 01 1130555154980629 (1)B> 11 10 11
== Executing PPA-CTR 9 (once), V(1)=30555154980625
305551549804908 3200974271624234068743833980 -61110309961062 01 113 (1)B> 1130555154980629 01 11
== Executing PA-CTR 2, V(1)=2, V(2)=30555154980625, repcount=10185051660209, factor=4/3
407402066406998 5690620927331810634187653610 192 01 1140740206640839 (1)B> 112 01 11
407402066406999 5690620927331810634187653614 190 01 1140740206640839 <F(1) 01 11 01 11
407402066407000 5690620927331892114600935292 -81480413281488 01 <F(1) 0140740206640840 11 01 11
407402066407001 5690620927331892114600935298 -81480413281486 11 (1)E> 0140740206640840 11 01 11
407402066407002 5690620927332055075427498658 194 1140740206640841 (1)E> 11 01 11
407402066407003 5690620927332055075427498660 196 1140740206640842 (1)D> 01 11
407402066407004 5690620927332055075427498662 198 1140740206640843 (1)B> 11
407402066407005 5690620927332055075427498666 196 1140740206640843 <F(1) 01
407402066407006 5690620927332136555840780352 -81480413281490 <F(1) 0140740206640844
407402066407007 5690620927332136555840780353 -81480413281489 01 Z> 1 0140740206640844 [stop]
Lines: 498
Top steps: 497
Macro steps: 407402066407007
Basic steps: 5690620927332136555840780353
Tape index: -81480413281489
ones: 40740206640846
log10(ones ): 13.610
log10(steps ): 27.755
Run state: stop
Input to awk program:
gohalt 1
L 16
5T B1R C0L A1L D1R D1R C1L E1R F1L A0R B1R Z1R D0L : 40740206640846 5690620927332136555840780353
T 6-state TM #i from MaBu-List
M 501
pref sim
machv mbL6_i just simple
machv mbL6_i-r with repetitions reduced
machv mbL6_i-1 with tape symbol exponents
machv mbL6_i-m as 1-bck-2-macro machine
machv mbL6_i-a as 1-bck-2-macro machine with pure additive config-TRs
iam mbL6_i-a
mtype 1 0 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:55 CEST 2010
edate Tue Jul 6 22:10:57 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:10:55 CEST 2010