Comment: This TM produces >1.29*10^865 ones in >3*10^1730 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | F0L | 1 | right | B | 0 | left | F |
| B | C0R | D0R | 0 | right | C | 0 | right | D |
| C | D1L | E1R | 1 | left | D | 1 | right | E |
| D | E0L | D0L | 0 | left | E | 0 | left | D |
| E | A0R | C1R | 0 | right | A | 1 | right | C |
| F | A1L | Z1R | 1 | left | A | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-macro machine.
Simulation is done as 2-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 2 2 (10)C>
2 7 -1 <D(01) 10
3 12 2 01 (01)E> 10
4 17 -1 01 <E(00) 01
5 21 -3 <E(00) 10 01
6 24 0 (10)C> 10 01
7 26 2 10 (10)A> 01
8 28 4 102 (10)D>
9 32 6 103 (10)C>
10 37 3 103 <D(01) 10
11 49 -3 <D(01) 013 10
12 54 0 01 (01)E> 013 10
13 59 -3 01 <A(10) 10 012 10
14 61 -5 <A(10) 102 012 10
15 66 -2 01 (01)B> 102 012 10
16 74 2 013 (01)B> 012 10
17 76 4 014 (01)E> 01 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 013+V(2) [*]*
1 5 -3 011+V(1) <A(10) 10 012+V(2) [*]*
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 012+V(2) [*]*
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 012+V(2) [*]*
4 20+6*V(1) 2 013+V(1) (01)B> 012+V(2) [*]*
5 22+6*V(1) 4 014+V(1) (01)E> 011+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
18 81 1 014 <A(10) 102
19 89 -7 <A(10) 106
20 94 -4 01 (01)B> 106
21 118 8 017 (01)B>
22 125 5 017 <E(00) 11
23 153 -9 <E(00) 107 11
24 156 -6 (10)C> 107 11
25 158 -4 10 (10)A> 106 11
26 161 -7 10 <F(01) 00 105 11
27 163 -9 <F(01) 01 00 105 11
28 170 -6 10 (10)D> 01 00 105 11
29 174 -4 102 (10)D> 00 105 11
30 178 -2 103 (10)C> 105 11
31 180 0 104 (10)A> 104 11
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (10)A> 103+V(2) [*]*
1 3 -3 101+V(1) <F(01) 00 102+V(2) [*]*
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 102+V(2) [*]*
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 102+V(2) [*]*
4 16+6*V(1) 0 102+V(1) (10)D> 00 102+V(2) [*]*
5 20+6*V(1) 2 103+V(1) (10)C> 102+V(2) [*]*
6 22+6*V(1) 4 104+V(1) (10)A> 101+V(2) [*]*
<< Success! ==> defined new CTR 2 (PA)
31 180 0 104 (10)A> 104 11
== Executing PA-CTR 2, V(1)=3, V(2)=1, repcount=1, factor=3/2
37 220 4 107 (10)A> 102 11
38 223 1 107 <F(01) 00 10 11
39 237 -13 <F(01) 017 00 10 11
40 244 -10 10 (10)D> 017 00 10 11
41 272 4 108 (10)D> 00 10 11
42 276 6 109 (10)C> 10 11
43 278 8 1010 (10)A> 11
44 281 5 1010 <F(01) 01
45 301 -15 <F(01) 0111
46 308 -12 10 (10)D> 0111
47 352 10 1012 (10)D>
48 356 12 1013 (10)C>
49 361 9 1013 <D(01) 10
50 413 -17 <D(01) 0113 10
51 418 -14 01 (01)E> 0113 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 102 11
1 3 -3 101+V(1) <F(01) 00 10 11
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 10 11
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 10 11
4 16+6*V(1) 0 102+V(1) (10)D> 00 10 11
5 20+6*V(1) 2 103+V(1) (10)C> 10 11
6 22+6*V(1) 4 104+V(1) (10)A> 11
7 25+6*V(1) 1 104+V(1) <F(01) 01
8 33+8*V(1) -7+-2*V(1) <F(01) 015+V(1)
9 40+8*V(1) -4+-2*V(1) 10 (10)D> 015+V(1)
10 60+12*V(1) 6 106+V(1) (10)D>
11 64+12*V(1) 8 107+V(1) (10)C>
12 69+12*V(1) 5 107+V(1) <D(01) 10
13 97+16*V(1) -9+-2*V(1) <D(01) 017+V(1) 10
14 102+16*V(1) -6+-2*V(1) 01 (01)E> 017+V(1) 10
<< Success! ==> defined new CTR 3 (PPA)
51 418 -14 01 (01)E> 0113 10
== Executing PA-CTR 1, V(1)=0, V(2)=10, repcount=6, factor=3/2
81 820 10 0119 (01)E> 01 10
82 825 7 0119 <A(10) 102
83 863 -31 <A(10) 1021
84 868 -28 01 (01)B> 1021
85 952 14 0122 (01)B>
86 959 11 0122 <E(00) 11
87 1047 -33 <E(00) 1022 11
88 1050 -30 (10)C> 1022 11
89 1052 -28 10 (10)A> 1021 11
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 01 101+V(2)
1 5 -3 011+V(1) <A(10) 102+V(2)
2 7+2*V(1) -5+-2*V(1) <A(10) 103+V(1)+V(2)
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 103+V(1)+V(2)
4 24+6*V(1)+4*V(2) 4+2*V(2) 014+V(1)+V(2) (01)B>
5 31+6*V(1)+4*V(2) 1+2*V(2) 014+V(1)+V(2) <E(00) 11
6 47+10*V(1)+8*V(2) -7+-2*V(1) <E(00) 104+V(1)+V(2) 11
7 50+10*V(1)+8*V(2) -4+-2*V(1) (10)C> 104+V(1)+V(2) 11
8 52+10*V(1)+8*V(2) -2+-2*V(1) 10 (10)A> 103+V(1)+V(2) 11
<< Success! ==> defined new CTR 4 (PPA)
89 1052 -28 10 (10)A> 1021 11
== Executing PA-CTR 2, V(1)=0, V(2)=18, repcount=10, factor=3/2
149 2082 12 1031 (10)A> 10 11
150 2085 9 1031 <F(01) 00 11
151 2147 -53 <F(01) 0131 00 11
152 2154 -50 10 (10)D> 0131 00 11
153 2278 12 1032 (10)D> 00 11
154 2282 14 1033 (10)C> 11
155 2284 16 1034 (11)C>
156 2287 13 1034 <D(00) 10
157 2291 11 1033 <D(01) 00 10
158 2423 -55 <D(01) 0133 00 10
159 2428 -52 01 (01)E> 0133 00 10
160 2433 -55 01 <A(10) 10 0132 00 10
161 2435 -57 <A(10) 102 0132 00 10
162 2440 -54 01 (01)B> 102 0132 00 10
163 2448 -50 013 (01)B> 0132 00 10
164 2450 -48 014 (01)E> 0131 00 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 013+V(2) [*]* [*]*
1 5 -3 011+V(1) <A(10) 10 012+V(2) [*]* [*]*
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 012+V(2) [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 012+V(2) [*]* [*]*
4 20+6*V(1) 2 013+V(1) (01)B> 012+V(2) [*]* [*]*
5 22+6*V(1) 4 014+V(1) (01)E> 011+V(2) [*]* [*]*
<< Success! ==> defined new CTR 5 (PA)
164 2450 -48 014 (01)E> 0131 00 10
== Executing PA-CTR 5, V(1)=3, V(2)=28, repcount=15, factor=3/2
239 4940 12 0149 (01)E> 01 00 10
240 4945 9 0149 <A(10) 10 00 10
241 5043 -89 <A(10) 1050 00 10
242 5048 -86 01 (01)B> 1050 00 10
243 5248 14 0151 (01)B> 00 10
244 5255 11 0151 <E(00) 11 10
245 5459 -91 <E(00) 1051 11 10
246 5462 -88 (10)C> 1051 11 10
247 5464 -86 10 (10)A> 1050 11 10
248 5467 -89 10 <F(01) 00 1049 11 10
249 5469 -91 <F(01) 01 00 1049 11 10
250 5476 -88 10 (10)D> 01 00 1049 11 10
251 5480 -86 102 (10)D> 00 1049 11 10
252 5484 -84 103 (10)C> 1049 11 10
253 5486 -82 104 (10)A> 1048 11 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (10)A> 103+V(2) [*]* [*]*
1 3 -3 101+V(1) <F(01) 00 102+V(2) [*]* [*]*
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 102+V(2) [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 102+V(2) [*]* [*]*
4 16+6*V(1) 0 102+V(1) (10)D> 00 102+V(2) [*]* [*]*
5 20+6*V(1) 2 103+V(1) (10)C> 102+V(2) [*]* [*]*
6 22+6*V(1) 4 104+V(1) (10)A> 101+V(2) [*]* [*]*
<< Success! ==> defined new CTR 6 (PA)
253 5486 -82 104 (10)A> 1048 11 10
== Executing PA-CTR 6, V(1)=3, V(2)=45, repcount=23, factor=3/2
391 10960 10 1073 (10)A> 102 11 10
392 10963 7 1073 <F(01) 00 10 11 10
393 11109 -139 <F(01) 0173 00 10 11 10
394 11116 -136 10 (10)D> 0173 00 10 11 10
395 11408 10 1074 (10)D> 00 10 11 10
396 11412 12 1075 (10)C> 10 11 10
397 11414 14 1076 (10)A> 11 10
398 11417 11 1076 <F(01) 01 10
399 11569 -141 <F(01) 0177 10
400 11576 -138 10 (10)D> 0177 10
401 11884 16 1078 (10)D> 10
402 11889 13 1078 <D(01)
403 12201 -143 <D(01) 0178
404 12206 -140 01 (01)E> 0178
405 12211 -143 01 <A(10) 10 0177
406 12213 -145 <A(10) 102 0177
407 12218 -142 01 (01)B> 102 0177
408 12226 -138 013 (01)B> 0177
409 12228 -136 014 (01)E> 0176
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 013+V(2)
1 5 -3 011+V(1) <A(10) 10 012+V(2)
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 012+V(2)
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 012+V(2)
4 20+6*V(1) 2 013+V(1) (01)B> 012+V(2)
5 22+6*V(1) 4 014+V(1) (01)E> 011+V(2)
<< Success! ==> defined new CTR 7 (PA)
409 12228 -136 014 (01)E> 0176
== Executing PA-CTR 7, V(1)=3, V(2)=73, repcount=37, factor=3/2
594 25696 12 01115 (01)E> 012
595 25701 9 01115 <A(10) 10 01
596 25931 -221 <A(10) 10116 01
597 25936 -218 01 (01)B> 10116 01
598 26400 14 01117 (01)B> 01
599 26402 16 01118 (01)E>
600 26404 18 01119 (01)B>
601 26411 15 01119 <E(00) 11
602 26887 -223 <E(00) 10119 11
603 26890 -220 (10)C> 10119 11
604 26892 -218 10 (10)A> 10118 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011+V(1) (01)E> 012
1 5 -3 011+V(1) <A(10) 10 01
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 01
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 01
4 20+6*V(1) 2 013+V(1) (01)B> 01
5 22+6*V(1) 4 014+V(1) (01)E>
6 24+6*V(1) 6 015+V(1) (01)B>
7 31+6*V(1) 3 015+V(1) <E(00) 11
8 51+10*V(1) -7+-2*V(1) <E(00) 105+V(1) 11
9 54+10*V(1) -4+-2*V(1) (10)C> 105+V(1) 11
10 56+10*V(1) -2+-2*V(1) 10 (10)A> 104+V(1) 11
<< Success! ==> defined new CTR 8 (PPA)
604 26892 -218 10 (10)A> 10118 11
== Executing PA-CTR 2, V(1)=0, V(2)=115, repcount=58, factor=3/2
952 57922 14 10175 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=174
966 60808 -340 01 (01)E> 01181 10
== Executing PA-CTR 1, V(1)=0, V(2)=178, repcount=90, factor=3/2
1416 134878 20 01271 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=270, V(2)=0
1424 137630 -522 10 (10)A> 10273 11
== Executing PA-CTR 2, V(1)=0, V(2)=270, repcount=136, factor=3/2
2240 305862 22 10409 (10)A> 10 11
2241 305865 19 10409 <F(01) 00 11
2242 306683 -799 <F(01) 01409 00 11
2243 306690 -796 10 (10)D> 01409 00 11
2244 308326 22 10410 (10)D> 00 11
2245 308330 24 10411 (10)C> 11
2246 308332 26 10412 (11)C>
2247 308335 23 10412 <D(00) 10
2248 308339 21 10411 <D(01) 00 10
2249 309983 -801 <D(01) 01411 00 10
2250 309988 -798 01 (01)E> 01411 00 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 10 11
1 3 -3 101+V(1) <F(01) 00 11
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 11
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 11
4 16+6*V(1) 0 102+V(1) (10)D> 00 11
5 20+6*V(1) 2 103+V(1) (10)C> 11
6 22+6*V(1) 4 104+V(1) (11)C>
7 25+6*V(1) 1 104+V(1) <D(00) 10
8 29+6*V(1) -1 103+V(1) <D(01) 00 10
9 41+10*V(1) -7+-2*V(1) <D(01) 013+V(1) 00 10
10 46+10*V(1) -4+-2*V(1) 01 (01)E> 013+V(1) 00 10
<< Success! ==> defined new CTR 9 (PPA)
2250 309988 -798 01 (01)E> 01411 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=408, repcount=205, factor=3/2
3275 690878 22 01616 (01)E> 01 00 10
3276 690883 19 01616 <A(10) 10 00 10
3277 692115 -1213 <A(10) 10617 00 10
3278 692120 -1210 01 (01)B> 10617 00 10
3279 694588 24 01618 (01)B> 00 10
3280 694595 21 01618 <E(00) 11 10
3281 697067 -1215 <E(00) 10618 11 10
3282 697070 -1212 (10)C> 10618 11 10
3283 697072 -1210 10 (10)A> 10617 11 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 012+V(1) (01)E> 01 00 [*]*
1 5 -3 012+V(1) <A(10) 10 00 [*]*
2 9+2*V(1) -7+-2*V(1) <A(10) 103+V(1) 00 [*]*
3 14+2*V(1) -4+-2*V(1) 01 (01)B> 103+V(1) 00 [*]*
4 26+6*V(1) 2 014+V(1) (01)B> 00 [*]*
5 33+6*V(1) -1 014+V(1) <E(00) 11 [*]*
6 49+10*V(1) -9+-2*V(1) <E(00) 104+V(1) 11 [*]*
7 52+10*V(1) -6+-2*V(1) (10)C> 104+V(1) 11 [*]*
8 54+10*V(1) -4+-2*V(1) 10 (10)A> 103+V(1) 11 [*]*
<< Success! ==> defined new CTR 10 (PPA)
3283 697072 -1210 10 (10)A> 10617 11 10
== Executing PA-CTR 6, V(1)=0, V(2)=614, repcount=308, factor=3/2
5131 1554852 22 10925 (10)A> 10 11 10
5132 1554855 19 10925 <F(01) 00 11 10
5133 1556705 -1831 <F(01) 01925 00 11 10
5134 1556712 -1828 10 (10)D> 01925 00 11 10
5135 1560412 22 10926 (10)D> 00 11 10
5136 1560416 24 10927 (10)C> 11 10
5137 1560418 26 10928 (11)C> 10
5138 1560420 28 10928 11 (10)A>
5139 1560422 30 10928 11 10 (10)C>
5140 1560427 27 10928 11 10 <D(01) 10
5141 1560431 25 10928 11 <D(01) 01 10
5142 1560433 23 10928 <D(00) 012 10
5143 1560437 21 10927 <D(01) 00 012 10
5144 1564145 -1833 <D(01) 01927 00 012 10
5145 1564150 -1830 01 (01)E> 01927 00 012 10
5146 1564155 -1833 01 <A(10) 10 01926 00 012 10
5147 1564157 -1835 <A(10) 102 01926 00 012 10
5148 1564162 -1832 01 (01)B> 102 01926 00 012 10
5149 1564170 -1828 013 (01)B> 01926 00 012 10
5150 1564172 -1826 014 (01)E> 01925 00 012 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 013+V(2) [*]* [*]* [*]*
1 5 -3 011+V(1) <A(10) 10 012+V(2) [*]* [*]* [*]*
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 012+V(2) [*]* [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 012+V(2) [*]* [*]* [*]*
4 20+6*V(1) 2 013+V(1) (01)B> 012+V(2) [*]* [*]* [*]*
5 22+6*V(1) 4 014+V(1) (01)E> 011+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 11 (PA)
5150 1564172 -1826 014 (01)E> 01925 00 012 10
== Executing PA-CTR 11, V(1)=3, V(2)=922, repcount=462, factor=3/2
7460 3499490 22 011390 (01)E> 01 00 012 10
7461 3499495 19 011390 <A(10) 10 00 012 10
7462 3502275 -2761 <A(10) 101391 00 012 10
7463 3502280 -2758 01 (01)B> 101391 00 012 10
7464 3507844 24 011392 (01)B> 00 012 10
7465 3507851 21 011392 <E(00) 11 012 10
7466 3513419 -2763 <E(00) 101392 11 012 10
7467 3513422 -2760 (10)C> 101392 11 012 10
7468 3513424 -2758 10 (10)A> 101391 11 012 10
7469 3513427 -2761 10 <F(01) 00 101390 11 012 10
7470 3513429 -2763 <F(01) 01 00 101390 11 012 10
7471 3513436 -2760 10 (10)D> 01 00 101390 11 012 10
7472 3513440 -2758 102 (10)D> 00 101390 11 012 10
7473 3513444 -2756 103 (10)C> 101390 11 012 10
7474 3513446 -2754 104 (10)A> 101389 11 012 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (10)A> 103+V(2) [*]* [*]* [*]*
1 3 -3 101+V(1) <F(01) 00 102+V(2) [*]* [*]* [*]*
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 102+V(2) [*]* [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 102+V(2) [*]* [*]* [*]*
4 16+6*V(1) 0 102+V(1) (10)D> 00 102+V(2) [*]* [*]* [*]*
5 20+6*V(1) 2 103+V(1) (10)C> 102+V(2) [*]* [*]* [*]*
6 22+6*V(1) 4 104+V(1) (10)A> 101+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 12 (PA)
7474 3513446 -2754 104 (10)A> 101389 11 012 10
== Executing PA-CTR 12, V(1)=3, V(2)=1386, repcount=694, factor=3/2
11638 7869684 22 102086 (10)A> 10 11 012 10
11639 7869687 19 102086 <F(01) 00 11 012 10
11640 7873859 -4153 <F(01) 012086 00 11 012 10
11641 7873866 -4150 10 (10)D> 012086 00 11 012 10
11642 7882210 22 102087 (10)D> 00 11 012 10
11643 7882214 24 102088 (10)C> 11 012 10
11644 7882216 26 102089 (11)C> 012 10
11645 7882219 23 102089 <D(00) 11 01 10
11646 7882223 21 102088 <D(01) 00 11 01 10
11647 7890575 -4155 <D(01) 012088 00 11 01 10
11648 7890580 -4152 01 (01)E> 012088 00 11 01 10
11649 7890585 -4155 01 <A(10) 10 012087 00 11 01 10
11650 7890587 -4157 <A(10) 102 012087 00 11 01 10
11651 7890592 -4154 01 (01)B> 102 012087 00 11 01 10
11652 7890600 -4150 013 (01)B> 012087 00 11 01 10
11653 7890602 -4148 014 (01)E> 012086 00 11 01 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 013+V(2) [*]* [*]* [*]* [*]*
1 5 -3 011+V(1) <A(10) 10 012+V(2) [*]* [*]* [*]* [*]*
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 012+V(2) [*]* [*]* [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 012+V(2) [*]* [*]* [*]* [*]*
4 20+6*V(1) 2 013+V(1) (01)B> 012+V(2) [*]* [*]* [*]* [*]*
5 22+6*V(1) 4 014+V(1) (01)E> 011+V(2) [*]* [*]* [*]* [*]*
<< Success! ==> defined new CTR 13 (PA)
11653 7890602 -4148 014 (01)E> 012086 00 11 01 10
== Executing PA-CTR 13, V(1)=3, V(2)=2083, repcount=1042, factor=3/2
16863 17694780 20 013130 (01)E> 012 00 11 01 10
16864 17694785 17 013130 <A(10) 10 01 00 11 01 10
16865 17701045 -6243 <A(10) 103131 01 00 11 01 10
16866 17701050 -6240 01 (01)B> 103131 01 00 11 01 10
16867 17713574 22 013132 (01)B> 01 00 11 01 10
16868 17713576 24 013133 (01)E> 00 11 01 10
16869 17713578 26 013134 (01)B> 11 01 10
16870 17713585 23 013134 <E(00) 10 01 10
16871 17726121 -6245 <E(00) 103135 01 10
16872 17726124 -6242 (10)C> 103135 01 10
16873 17726126 -6240 10 (10)A> 103134 01 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011+V(1) (01)E> 012 00 11 [*]* [*]*
1 5 -3 011+V(1) <A(10) 10 01 00 11 [*]* [*]*
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 01 00 11 [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 01 00 11 [*]* [*]*
4 20+6*V(1) 2 013+V(1) (01)B> 01 00 11 [*]* [*]*
5 22+6*V(1) 4 014+V(1) (01)E> 00 11 [*]* [*]*
6 24+6*V(1) 6 015+V(1) (01)B> 11 [*]* [*]*
7 31+6*V(1) 3 015+V(1) <E(00) 10 [*]* [*]*
8 51+10*V(1) -7+-2*V(1) <E(00) 106+V(1) [*]* [*]*
9 54+10*V(1) -4+-2*V(1) (10)C> 106+V(1) [*]* [*]*
10 56+10*V(1) -2+-2*V(1) 10 (10)A> 105+V(1) [*]* [*]*
<< Success! ==> defined new CTR 14 (PPA)
16873 17726126 -6240 10 (10)A> 103134 01 10
== Executing PA-CTR 6, V(1)=0, V(2)=3131, repcount=1566, factor=3/2
26269 39817688 24 104699 (10)A> 102 01 10
26270 39817691 21 104699 <F(01) 00 10 01 10
26271 39827089 -9377 <F(01) 014699 00 10 01 10
26272 39827096 -9374 10 (10)D> 014699 00 10 01 10
26273 39845892 24 104700 (10)D> 00 10 01 10
26274 39845896 26 104701 (10)C> 10 01 10
26275 39845898 28 104702 (10)A> 01 10
26276 39845900 30 104703 (10)D> 10
26277 39845905 27 104703 <D(01)
26278 39864717 -9379 <D(01) 014703
26279 39864722 -9376 01 (01)E> 014703
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 102 01 10
1 3 -3 101+V(1) <F(01) 00 10 01 10
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 10 01 10
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 10 01 10
4 16+6*V(1) 0 102+V(1) (10)D> 00 10 01 10
5 20+6*V(1) 2 103+V(1) (10)C> 10 01 10
6 22+6*V(1) 4 104+V(1) (10)A> 01 10
7 24+6*V(1) 6 105+V(1) (10)D> 10
8 29+6*V(1) 3 105+V(1) <D(01)
9 49+10*V(1) -7+-2*V(1) <D(01) 015+V(1)
10 54+10*V(1) -4+-2*V(1) 01 (01)E> 015+V(1)
<< Success! ==> defined new CTR 15 (PPA)
26279 39864722 -9376 01 (01)E> 014703
== Executing PA-CTR 7, V(1)=0, V(2)=4700, repcount=2351, factor=3/2
38034 89640094 28 017054 (01)E> 01
38035 89640099 25 017054 <A(10) 10
38036 89654207 -14083 <A(10) 107055
38037 89654212 -14080 01 (01)B> 107055
38038 89682432 30 017056 (01)B>
38039 89682439 27 017056 <E(00) 11
38040 89710663 -14085 <E(00) 107056 11
38041 89710666 -14082 (10)C> 107056 11
38042 89710668 -14080 10 (10)A> 107055 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 012+V(1) (01)E> 01
1 5 -3 012+V(1) <A(10) 10
2 9+2*V(1) -7+-2*V(1) <A(10) 103+V(1)
3 14+2*V(1) -4+-2*V(1) 01 (01)B> 103+V(1)
4 26+6*V(1) 2 014+V(1) (01)B>
5 33+6*V(1) -1 014+V(1) <E(00) 11
6 49+10*V(1) -9+-2*V(1) <E(00) 104+V(1) 11
7 52+10*V(1) -6+-2*V(1) (10)C> 104+V(1) 11
8 54+10*V(1) -4+-2*V(1) 10 (10)A> 103+V(1) 11
<< Success! ==> defined new CTR 16 (PPA)
38042 89710668 -14080 10 (10)A> 107055 11
== Executing PA-CTR 2, V(1)=0, V(2)=7052, repcount=3527, factor=3/2
59204 201714080 28 1010582 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=10581
59214 201819936 -21138 01 (01)E> 0110584 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=10581, repcount=5291, factor=3/2
85669 453840848 26 0115874 (01)E> 012 00 10
85670 453840853 23 0115874 <A(10) 10 01 00 10
85671 453872601 -31725 <A(10) 1015875 01 00 10
85672 453872606 -31722 01 (01)B> 1015875 01 00 10
85673 453936106 28 0115876 (01)B> 01 00 10
85674 453936108 30 0115877 (01)E> 00 10
85675 453936110 32 0115878 (01)B> 10
85676 453936114 34 0115879 (01)B>
85677 453936121 31 0115879 <E(00) 11
85678 453999637 -31727 <E(00) 1015879 11
85679 453999640 -31724 (10)C> 1015879 11
85680 453999642 -31722 10 (10)A> 1015878 11
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 012 00 101+V(2)
1 5 -3 011+V(1) <A(10) 10 01 00 101+V(2)
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 01 00 101+V(2)
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 01 00 101+V(2)
4 20+6*V(1) 2 013+V(1) (01)B> 01 00 101+V(2)
5 22+6*V(1) 4 014+V(1) (01)E> 00 101+V(2)
6 24+6*V(1) 6 015+V(1) (01)B> 101+V(2)
7 28+6*V(1)+4*V(2) 8+2*V(2) 016+V(1)+V(2) (01)B>
8 35+6*V(1)+4*V(2) 5+2*V(2) 016+V(1)+V(2) <E(00) 11
9 59+10*V(1)+8*V(2) -7+-2*V(1) <E(00) 106+V(1)+V(2) 11
10 62+10*V(1)+8*V(2) -4+-2*V(1) (10)C> 106+V(1)+V(2) 11
11 64+10*V(1)+8*V(2) -2+-2*V(1) 10 (10)A> 105+V(1)+V(2) 11
<< Success! ==> defined new CTR 17 (PPA)
85680 453999642 -31722 10 (10)A> 1015878 11
== Executing PA-CTR 2, V(1)=0, V(2)=15875, repcount=7938, factor=3/2
133308 1021209432 30 1023815 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=23814
133322 1021590558 -47604 01 (01)E> 0123821 10
== Executing PA-CTR 1, V(1)=0, V(2)=23818, repcount=11910, factor=3/2
192872 2298378288 36 0135731 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=35730, V(2)=0
192880 2298735640 -71426 10 (10)A> 1035733 11
== Executing PA-CTR 2, V(1)=0, V(2)=35730, repcount=17866, factor=3/2
300076 5171713502 38 1053599 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=53598
300086 5172249528 -107162 01 (01)E> 0153601 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=53598, repcount=26800, factor=3/2
434086 11636757928 38 0180401 (01)E> 01 00 10
== Executing PPA-CTR 10 (once), V(1)=80399
434094 11637561972 -160764 10 (10)A> 1080402 11 10
== Executing PA-CTR 6, V(1)=0, V(2)=80399, repcount=40200, factor=3/2
675294 26182444572 36 10120601 (10)A> 102 11 10
675295 26182444575 33 10120601 <F(01) 00 10 11 10
675296 26182685777 -241169 <F(01) 01120601 00 10 11 10
675297 26182685784 -241166 10 (10)D> 01120601 00 10 11 10
675298 26183168188 36 10120602 (10)D> 00 10 11 10
675299 26183168192 38 10120603 (10)C> 10 11 10
675300 26183168194 40 10120604 (10)A> 11 10
675301 26183168197 37 10120604 <F(01) 01 10
675302 26183409405 -241171 <F(01) 01120605 10
675303 26183409412 -241168 10 (10)D> 01120605 10
675304 26183891832 42 10120606 (10)D> 10
675305 26183891837 39 10120606 <D(01)
675306 26184374261 -241173 <D(01) 01120606
675307 26184374266 -241170 01 (01)E> 01120606
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 102 11 10
1 3 -3 101+V(1) <F(01) 00 10 11 10
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 10 11 10
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 10 11 10
4 16+6*V(1) 0 102+V(1) (10)D> 00 10 11 10
5 20+6*V(1) 2 103+V(1) (10)C> 10 11 10
6 22+6*V(1) 4 104+V(1) (10)A> 11 10
7 25+6*V(1) 1 104+V(1) <F(01) 01 10
8 33+8*V(1) -7+-2*V(1) <F(01) 015+V(1) 10
9 40+8*V(1) -4+-2*V(1) 10 (10)D> 015+V(1) 10
10 60+12*V(1) 6 106+V(1) (10)D> 10
11 65+12*V(1) 3 106+V(1) <D(01)
12 89+16*V(1) -9+-2*V(1) <D(01) 016+V(1)
13 94+16*V(1) -6+-2*V(1) 01 (01)E> 016+V(1)
<< Success! ==> defined new CTR 18 (PPA)
675307 26184374266 -241170 01 (01)E> 01120606
== Executing PA-CTR 7, V(1)=0, V(2)=120603, repcount=60302, factor=3/2
976817 58912139028 38 01180907 (01)E> 012
== Executing PPA-CTR 8 (once), V(1)=180906
976827 58913948144 -361776 10 (10)A> 10180910 11
== Executing PA-CTR 2, V(1)=0, V(2)=180907, repcount=90454, factor=3/2
1519551 132552459090 40 10271363 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=271362
1519565 132556800984 -542690 01 (01)E> 01271369 10
== Executing PA-CTR 1, V(1)=0, V(2)=271366, repcount=135684, factor=3/2
2197985 298249895580 46 01407053 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=407052, V(2)=0
2197993 298253966152 -814060 10 (10)A> 10407055 11
== Executing PA-CTR 2, V(1)=0, V(2)=407052, repcount=203527, factor=3/2
3419155 671065769564 48 10610582 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=610581
3419165 671071875420 -1221118 01 (01)E> 01610584 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=610581, repcount=305291, factor=3/2
4945620 1509899196332 46 01915874 (01)E> 012 00 10
== Executing PPA-CTR 17 (once), V(1)=915873, V(2)=0
4945631 1509908355126 -1831702 10 (10)A> 10915878 11
== Executing PA-CTR 2, V(1)=0, V(2)=915875, repcount=457938, factor=3/2
7693259 3397279214916 50 101373815 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=1373814
7693273 3397301196042 -2747584 01 (01)E> 011373821 10
== Executing PA-CTR 1, V(1)=0, V(2)=1373818, repcount=686910, factor=3/2
11127823 7643918258772 56 012060731 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=2060730, V(2)=0
11127831 7643938866124 -4121406 10 (10)A> 102060733 11
== Executing PA-CTR 2, V(1)=0, V(2)=2060730, repcount=1030366, factor=3/2
17310027 17198839106486 58 103091099 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=3091098
17310037 17198870017512 -6182142 01 (01)E> 013091101 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=3091098, repcount=1545550, factor=3/2
25037787 38697413332162 58 014636651 (01)E> 01 00 10
== Executing PPA-CTR 10 (once), V(1)=4636649
25037795 38697459698706 -9273244 10 (10)A> 104636652 11 10
== Executing PA-CTR 6, V(1)=0, V(2)=4636649, repcount=2318325, factor=3/2
38947745 87069167087556 56 106954976 (10)A> 102 11 10
== Executing PPA-CTR 18 (once), V(1)=6954975
38947758 87069278367250 -13909900 01 (01)E> 016954981
== Executing PA-CTR 7, V(1)=0, V(2)=6954978, repcount=3477490, factor=3/2
56335208 195905753875520 60 0110432471 (01)E> 01
== Executing PPA-CTR 16 (once), V(1)=10432469
56335216 195905858200264 -20864882 10 (10)A> 1010432472 11
== Executing PA-CTR 2, V(1)=0, V(2)=10432469, repcount=5216235, factor=3/2
87632626 440787894188344 58 1015648706 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=15648705
87632640 440788144567726 -31297358 01 (01)E> 0115648712 10
== Executing PA-CTR 1, V(1)=0, V(2)=15648709, repcount=7824355, factor=3/2
126754415 991773026778566 62 0123473066 (01)E> 012 10
126754416 991773026778571 59 0123473066 <A(10) 10 01 10
126754417 991773073724703 -46946073 <A(10) 1023473067 01 10
126754418 991773073724708 -46946070 01 (01)B> 1023473067 01 10
126754419 991773167616976 64 0123473068 (01)B> 01 10
126754420 991773167616978 66 0123473069 (01)E> 10
126754421 991773167616983 63 0123473069 <E(00) 01
126754422 991773261509259 -46946075 <E(00) 1023473069 01
126754423 991773261509262 -46946072 (10)C> 1023473069 01
126754424 991773261509264 -46946070 10 (10)A> 1023473068 01
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011+V(1) (01)E> 012 10
1 5 -3 011+V(1) <A(10) 10 01 10
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 01 10
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 01 10
4 20+6*V(1) 2 013+V(1) (01)B> 01 10
5 22+6*V(1) 4 014+V(1) (01)E> 10
6 27+6*V(1) 1 014+V(1) <E(00) 01
7 43+10*V(1) -7+-2*V(1) <E(00) 104+V(1) 01
8 46+10*V(1) -4+-2*V(1) (10)C> 104+V(1) 01
9 48+10*V(1) -2+-2*V(1) 10 (10)A> 103+V(1) 01
<< Success! ==> defined new CTR 19 (PPA)
126754424 991773261509264 -46946070 10 (10)A> 1023473068 01
== Executing PA-CTR 2, V(1)=0, V(2)=23473065, repcount=11736533, factor=3/2
197173622 2231489275824994 62 1035209600 (10)A> 102 01
197173623 2231489275824997 59 1035209600 <F(01) 00 10 01
197173624 2231489346244197 -70419141 <F(01) 0135209600 00 10 01
197173625 2231489346244204 -70419138 10 (10)D> 0135209600 00 10 01
197173626 2231489487082604 62 1035209601 (10)D> 00 10 01
197173627 2231489487082608 64 1035209602 (10)C> 10 01
197173628 2231489487082610 66 1035209603 (10)A> 01
197173629 2231489487082612 68 1035209604 (10)D>
197173630 2231489487082616 70 1035209605 (10)C>
197173631 2231489487082621 67 1035209605 <D(01) 10
197173632 2231489627921041 -70419143 <D(01) 0135209605 10
197173633 2231489627921046 -70419140 01 (01)E> 0135209605 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 102 01
1 3 -3 101+V(1) <F(01) 00 10 01
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 10 01
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 10 01
4 16+6*V(1) 0 102+V(1) (10)D> 00 10 01
5 20+6*V(1) 2 103+V(1) (10)C> 10 01
6 22+6*V(1) 4 104+V(1) (10)A> 01
7 24+6*V(1) 6 105+V(1) (10)D>
8 28+6*V(1) 8 106+V(1) (10)C>
9 33+6*V(1) 5 106+V(1) <D(01) 10
10 57+10*V(1) -7+-2*V(1) <D(01) 016+V(1) 10
11 62+10*V(1) -4+-2*V(1) 01 (01)E> 016+V(1) 10
<< Success! ==> defined new CTR 20 (PPA)
197173633 2231489627921046 -70419140 01 (01)E> 0135209605 10
== Executing PA-CTR 1, V(1)=0, V(2)=35209602, repcount=17604802, factor=3/2
285197643 5020851337916308 68 0152814407 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=52814406, V(2)=0
285197651 5020851866060420 -105628746 10 (10)A> 1052814409 11
== Executing PA-CTR 2, V(1)=0, V(2)=52814406, repcount=26407204, factor=3/2
443640875 11296916017232616 70 1079221613 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=79221612
443640885 11296916809448782 -158443158 01 (01)E> 0179221615 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=79221612, repcount=39610807, factor=3/2
641694920 25418061605110514 70 01118832422 (01)E> 01 00 10
== Executing PPA-CTR 10 (once), V(1)=118832420
641694928 25418062793434768 -237664774 10 (10)A> 10118832423 11 10
== Executing PA-CTR 6, V(1)=0, V(2)=118832420, repcount=59416211, factor=3/2
998192194 57190638732214200 70 10178248634 (10)A> 10 11 10
998192195 57190638732214203 67 10178248634 <F(01) 00 11 10
998192196 57190639088711471 -356497201 <F(01) 01178248634 00 11 10
998192197 57190639088711478 -356497198 10 (10)D> 01178248634 00 11 10
998192198 57190639801706014 70 10178248635 (10)D> 00 11 10
998192199 57190639801706018 72 10178248636 (10)C> 11 10
998192200 57190639801706020 74 10178248637 (11)C> 10
998192201 57190639801706022 76 10178248637 11 (10)A>
998192202 57190639801706024 78 10178248637 11 10 (10)C>
998192203 57190639801706029 75 10178248637 11 10 <D(01) 10
998192204 57190639801706033 73 10178248637 11 <D(01) 01 10
998192205 57190639801706035 71 10178248637 <D(00) 012 10
998192206 57190639801706039 69 10178248636 <D(01) 00 012 10
998192207 57190640514700583 -356497203 <D(01) 01178248636 00 012 10
998192208 57190640514700588 -356497200 01 (01)E> 01178248636 00 012 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 10 11 10
1 3 -3 101+V(1) <F(01) 00 11 10
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 11 10
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 11 10
4 16+6*V(1) 0 102+V(1) (10)D> 00 11 10
5 20+6*V(1) 2 103+V(1) (10)C> 11 10
6 22+6*V(1) 4 104+V(1) (11)C> 10
7 24+6*V(1) 6 104+V(1) 11 (10)A>
8 26+6*V(1) 8 104+V(1) 11 10 (10)C>
9 31+6*V(1) 5 104+V(1) 11 10 <D(01) 10
10 35+6*V(1) 3 104+V(1) 11 <D(01) 01 10
11 37+6*V(1) 1 104+V(1) <D(00) 012 10
12 41+6*V(1) -1 103+V(1) <D(01) 00 012 10
13 53+10*V(1) -7+-2*V(1) <D(01) 013+V(1) 00 012 10
14 58+10*V(1) -4+-2*V(1) 01 (01)E> 013+V(1) 00 012 10
<< Success! ==> defined new CTR 21 (PPA)
998192208 57190640514700588 -356497200 01 (01)E> 01178248636 00 012 10
== Executing PA-CTR 11, V(1)=0, V(2)=178248633, repcount=89124317, factor=3/2
1443813793 128678936599765110 68 01267372952 (01)E> 012 00 012 10
1443813794 128678936599765115 65 01267372952 <A(10) 10 01 00 012 10
1443813795 128678937134511019 -534745839 <A(10) 10267372953 01 00 012 10
1443813796 128678937134511024 -534745836 01 (01)B> 10267372953 01 00 012 10
1443813797 128678938204002836 70 01267372954 (01)B> 01 00 012 10
1443813798 128678938204002838 72 01267372955 (01)E> 00 012 10
1443813799 128678938204002840 74 01267372956 (01)B> 012 10
1443813800 128678938204002842 76 01267372957 (01)E> 01 10
1443813801 128678938204002847 73 01267372957 <A(10) 102
1443813802 128678938738748761 -534745841 <A(10) 10267372959
1443813803 128678938738748766 -534745838 01 (01)B> 10267372959
1443813804 128678939808240602 80 01267372960 (01)B>
1443813805 128678939808240609 77 01267372960 <E(00) 11
1443813806 128678940877732449 -534745843 <E(00) 10267372960 11
1443813807 128678940877732452 -534745840 (10)C> 10267372960 11
1443813808 128678940877732454 -534745838 10 (10)A> 10267372959 11
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (01)E> 012 00 012 101+V(2)
1 5 -3 011+V(1) <A(10) 10 01 00 012 101+V(2)
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 01 00 012 101+V(2)
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 01 00 012 101+V(2)
4 20+6*V(1) 2 013+V(1) (01)B> 01 00 012 101+V(2)
5 22+6*V(1) 4 014+V(1) (01)E> 00 012 101+V(2)
6 24+6*V(1) 6 015+V(1) (01)B> 012 101+V(2)
7 26+6*V(1) 8 016+V(1) (01)E> 01 101+V(2)
8 31+6*V(1) 5 016+V(1) <A(10) 102+V(2)
9 43+8*V(1) -7+-2*V(1) <A(10) 108+V(1)+V(2)
10 48+8*V(1) -4+-2*V(1) 01 (01)B> 108+V(1)+V(2)
11 80+12*V(1)+4*V(2) 12+2*V(2) 019+V(1)+V(2) (01)B>
12 87+12*V(1)+4*V(2) 9+2*V(2) 019+V(1)+V(2) <E(00) 11
13 123+16*V(1)+8*V(2) -9+-2*V(1) <E(00) 109+V(1)+V(2) 11
14 126+16*V(1)+8*V(2) -6+-2*V(1) (10)C> 109+V(1)+V(2) 11
15 128+16*V(1)+8*V(2) -4+-2*V(1) 10 (10)A> 108+V(1)+V(2) 11
<< Success! ==> defined new CTR 22 (PPA)
1443813808 128678940877732454 -534745838 10 (10)A> 10267372959 11
== Executing PA-CTR 2, V(1)=0, V(2)=267372956, repcount=133686479, factor=3/2
2245932682 289527614622413650 78 10401059438 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=401059437
2245932692 289527618633008066 -802118800 01 (01)E> 01401059440 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=401059437, repcount=200529719, factor=3/2
3248581287 651437135059865062 76 01601589158 (01)E> 012 00 10
== Executing PPA-CTR 17 (once), V(1)=601589157, V(2)=0
3248581298 651437141075756696 -1203178240 10 (10)A> 10601589162 11
== Executing PA-CTR 2, V(1)=0, V(2)=601589159, repcount=300794580, factor=3/2
5053348778 1465733559202473836 80 10902383741 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=902383740
5053348792 1465733573640613778 -1804767406 01 (01)E> 01902383747 10
== Executing PA-CTR 1, V(1)=0, V(2)=902383744, repcount=451191873, factor=3/2
7309308157 3297900535857341288 86 011353575620 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=1353575619, V(2)=0
7309308165 3297900549393097530 -2707151154 10 (10)A> 101353575622 11
== Executing PA-CTR 2, V(1)=0, V(2)=1353575619, repcount=676787810, factor=3/2
11370035025 7420276216072703960 86 102030363431 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=2030363430
11370035039 7420276248558518942 -4060726780 01 (01)E> 012030363437 10
== Executing PA-CTR 1, V(1)=0, V(2)=2030363434, repcount=1015181718, factor=3/2
16445943629 16695621546808764992 92 013045545155 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=3045545154, V(2)=0
16445943637 16695621577264216584 -6091090218 10 (10)A> 103045545157 11
== Executing PA-CTR 2, V(1)=0, V(2)=3045545154, repcount=1522772578, factor=3/2
25582579105 37565148515839154854 94 104568317735 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=4568317734
25582579115 37565148561522332240 -9136635378 01 (01)E> 014568317737 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=4568317734, repcount=2284158868, factor=3/2
37003373455 84521584199583770340 94 016852476605 (01)E> 01 00 10
== Executing PPA-CTR 10 (once), V(1)=6852476603
37003373463 84521584268108536424 -13704953116 10 (10)A> 106852476606 11 10
== Executing PA-CTR 6, V(1)=0, V(2)=6852476603, repcount=3426238302, factor=3/2
57560803275 190173564431476223186 92 1010278714907 (10)A> 102 11 10
== Executing PPA-CTR 18 (once), V(1)=10278714906
57560803288 190173564595935661776 -20557429726 01 (01)E> 0110278714912
== Executing PA-CTR 7, V(1)=0, V(2)=10278714909, repcount=5139357455, factor=3/2
83257590563 427890520115124001916 94 0115418072366 (01)E> 012
== Executing PPA-CTR 8 (once), V(1)=15418072365
83257590573 427890520269304725622 -30836144638 10 (10)A> 1015418072369 11
== Executing PA-CTR 2, V(1)=0, V(2)=15418072366, repcount=7709036184, factor=3/2
129511807677 962753670345513732718 98 1023127108553 (10)A> 10 11
== Executing PPA-CTR 9 (once), V(1)=23127108552
129511807687 962753670576784818284 -46254217010 01 (01)E> 0123127108555 00 10
== Executing PA-CTR 5, V(1)=0, V(2)=23127108552, repcount=11563554277, factor=3/2
187329579072 2166195758381235958446 98 0134690662832 (01)E> 01 00 10
== Executing PPA-CTR 10 (once), V(1)=34690662830
187329579080 2166195758728142586800 -69381325566 10 (10)A> 1034690662833 11 10
== Executing PA-CTR 6, V(1)=0, V(2)=34690662830, repcount=17345331416, factor=3/2
291401567576 4873940456331520980712 98 1052035994249 (10)A> 10 11 10
== Executing PPA-CTR 21 (once), V(1)=52035994248
291401567590 4873940456851880923250 -104071988402 01 (01)E> 0152035994251 00 012 10
== Executing PA-CTR 11, V(1)=0, V(2)=52035994248, repcount=26017997125, factor=3/2
421491553215 10966366026758689276500 98 0178053991376 (01)E> 01 00 012 10
421491553216 10966366026758689276505 95 0178053991376 <A(10) 10 00 012 10
421491553217 10966366026914797259257 -156107982657 <A(10) 1078053991377 00 012 10
421491553218 10966366026914797259262 -156107982654 01 (01)B> 1078053991377 00 012 10
421491553219 10966366027227013224770 100 0178053991378 (01)B> 00 012 10
421491553220 10966366027227013224777 97 0178053991378 <E(00) 11 012 10
421491553221 10966366027539229190289 -156107982659 <E(00) 1078053991378 11 012 10
421491553222 10966366027539229190292 -156107982656 (10)C> 1078053991378 11 012 10
421491553223 10966366027539229190294 -156107982654 10 (10)A> 1078053991377 11 012 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 012+V(1) (01)E> 01 00 [*]* [*]*
1 5 -3 012+V(1) <A(10) 10 00 [*]* [*]*
2 9+2*V(1) -7+-2*V(1) <A(10) 103+V(1) 00 [*]* [*]*
3 14+2*V(1) -4+-2*V(1) 01 (01)B> 103+V(1) 00 [*]* [*]*
4 26+6*V(1) 2 014+V(1) (01)B> 00 [*]* [*]*
5 33+6*V(1) -1 014+V(1) <E(00) 11 [*]* [*]*
6 49+10*V(1) -9+-2*V(1) <E(00) 104+V(1) 11 [*]* [*]*
7 52+10*V(1) -6+-2*V(1) (10)C> 104+V(1) 11 [*]* [*]*
8 54+10*V(1) -4+-2*V(1) 10 (10)A> 103+V(1) 11 [*]* [*]*
<< Success! ==> defined new CTR 23 (PPA)
421491553223 10966366027539229190294 -156107982654 10 (10)A> 1078053991377 11 012 10
== Executing PA-CTR 12, V(1)=0, V(2)=78053991374, repcount=39026995688, factor=3/2
655653527351 24674323559927115474334 98 10117080987065 (10)A> 10 11 012 10
655653527352 24674323559927115474337 95 10117080987065 <F(01) 00 11 012 10
655653527353 24674323560161277448467 -234161974035 <F(01) 01117080987065 00 11 012 10
655653527354 24674323560161277448474 -234161974032 10 (10)D> 01117080987065 00 11 012 10
655653527355 24674323560629601396734 98 10117080987066 (10)D> 00 11 012 10
655653527356 24674323560629601396738 100 10117080987067 (10)C> 11 012 10
655653527357 24674323560629601396740 102 10117080987068 (11)C> 012 10
655653527358 24674323560629601396743 99 10117080987068 <D(00) 11 01 10
655653527359 24674323560629601396747 97 10117080987067 <D(01) 00 11 01 10
655653527360 24674323561097925345015 -234161974037 <D(01) 01117080987067 00 11 01 10
655653527361 24674323561097925345020 -234161974034 01 (01)E> 01117080987067 00 11 01 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 101+V(1) (10)A> 10 11 012+V(2) [*]*
1 3 -3 101+V(1) <F(01) 00 11 012+V(2) [*]*
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 11 012+V(2) [*]*
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 11 012+V(2) [*]*
4 16+6*V(1) 0 102+V(1) (10)D> 00 11 012+V(2) [*]*
5 20+6*V(1) 2 103+V(1) (10)C> 11 012+V(2) [*]*
6 22+6*V(1) 4 104+V(1) (11)C> 012+V(2) [*]*
7 25+6*V(1) 1 104+V(1) <D(00) 11 011+V(2) [*]*
8 29+6*V(1) -1 103+V(1) <D(01) 00 11 011+V(2) [*]*
9 41+10*V(1) -7+-2*V(1) <D(01) 013+V(1) 00 11 011+V(2) [*]*
10 46+10*V(1) -4+-2*V(1) 01 (01)E> 013+V(1) 00 11 011+V(2) [*]*
<< Success! ==> defined new CTR 24 (PPA)
655653527361 24674323561097925345020 -234161974034 01 (01)E> 01117080987067 00 11 01 10
== Executing PA-CTR 13, V(1)=0, V(2)=117080987064, repcount=58540493533, factor=3/2
948355995026 55517228009643885159750 98 01175621480600 (01)E> 01 00 11 01 10
948355995027 55517228009643885159755 95 01175621480600 <A(10) 10 00 11 01 10
948355995028 55517228009995128120955 -351242961105 <A(10) 10175621480601 00 11 01 10
948355995029 55517228009995128120960 -351242961102 01 (01)B> 10175621480601 00 11 01 10
948355995030 55517228010697614043364 100 01175621480602 (01)B> 00 11 01 10
948355995031 55517228010697614043371 97 01175621480602 <E(00) 112 01 10
948355995032 55517228011400099965779 -351242961107 <E(00) 10175621480602 112 01 10
948355995033 55517228011400099965782 -351242961104 (10)C> 10175621480602 112 01 10
948355995034 55517228011400099965784 -351242961102 10 (10)A> 10175621480601 112 01 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 012+V(1) (01)E> 01 00 111+V(2) [*]* [*]*
1 5 -3 012+V(1) <A(10) 10 00 111+V(2) [*]* [*]*
2 9+2*V(1) -7+-2*V(1) <A(10) 103+V(1) 00 111+V(2) [*]* [*]*
3 14+2*V(1) -4+-2*V(1) 01 (01)B> 103+V(1) 00 111+V(2) [*]* [*]*
4 26+6*V(1) 2 014+V(1) (01)B> 00 111+V(2) [*]* [*]*
5 33+6*V(1) -1 014+V(1) <E(00) 112+V(2) [*]* [*]*
6 49+10*V(1) -9+-2*V(1) <E(00) 104+V(1) 112+V(2) [*]* [*]*
7 52+10*V(1) -6+-2*V(1) (10)C> 104+V(1) 112+V(2) [*]* [*]*
8 54+10*V(1) -4+-2*V(1) 10 (10)A> 103+V(1) 112+V(2) [*]* [*]*
<< Success! ==> defined new CTR 25 (PPA)
948355995034 55517228011400099965784 -351242961102 10 (10)A> 10175621480601 112 01 10
== Executing PA-CTR 12, V(1)=0, V(2)=175621480598, repcount=87810740300, factor=3/2
1475220436834 124913763020848036399684 98 10263432220901 (10)A> 10 112 01 10
1475220436835 124913763020848036399687 95 10263432220901 <F(01) 00 112 01 10
1475220436836 124913763021374900841489 -526864441707 <F(01) 01263432220901 00 112 01 10
1475220436837 124913763021374900841496 -526864441704 10 (10)D> 01263432220901 00 112 01 10
1475220436838 124913763022428629725100 98 10263432220902 (10)D> 00 112 01 10
1475220436839 124913763022428629725104 100 10263432220903 (10)C> 112 01 10
1475220436840 124913763022428629725106 102 10263432220904 (11)C> 11 01 10
1475220436841 124913763022428629725108 104 10263432220904 11 (11)C> 01 10
1475220436842 124913763022428629725111 101 10263432220904 11 <D(00) 11 10
1475220436843 124913763022428629725113 99 10263432220904 <D(00) 00 11 10
1475220436844 124913763022428629725117 97 10263432220903 <D(01) 002 11 10
1475220436845 124913763023482358608729 -526864441709 <D(01) 01263432220903 002 11 10
1475220436846 124913763023482358608734 -526864441706 01 (01)E> 01263432220903 002 11 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 101+V(1) (10)A> 10 112+V(2) 01 [*]*
1 3 -3 101+V(1) <F(01) 00 112+V(2) 01 [*]*
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 112+V(2) 01 [*]*
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 112+V(2) 01 [*]*
4 16+6*V(1) 0 102+V(1) (10)D> 00 112+V(2) 01 [*]*
5 20+6*V(1) 2 103+V(1) (10)C> 112+V(2) 01 [*]*
6 22+6*V(1) 4 104+V(1) (11)C> 111+V(2) 01 [*]*
7 24+6*V(1)+2*V(2) 6+2*V(2) 104+V(1) 111+V(2) (11)C> 01 [*]*
8 27+6*V(1)+2*V(2) 3+2*V(2) 104+V(1) 111+V(2) <D(00) 11 [*]*
9 29+6*V(1)+4*V(2) 1 104+V(1) <D(00) 001+V(2) 11 [*]*
10 33+6*V(1)+4*V(2) -1 103+V(1) <D(01) 002+V(2) 11 [*]*
11 45+10*V(1)+4*V(2) -7+-2*V(1) <D(01) 013+V(1) 002+V(2) 11 [*]*
12 50+10*V(1)+4*V(2) -4+-2*V(1) 01 (01)E> 013+V(1) 002+V(2) 11 [*]*
<< Success! ==> defined new CTR 26 (PPA)
1475220436846 124913763023482358608734 -526864441706 01 (01)E> 01263432220903 002 11 10
== Executing PA-CTR 11, V(1)=0, V(2)=263432220900, repcount=131716110451, factor=3/2
2133800989101 281055966796254950855206 98 01395148331354 (01)E> 01 002 11 10
2133800989102 281055966796254950855211 95 01395148331354 <A(10) 10 002 11 10
2133800989103 281055966797045247517919 -790296662613 <A(10) 10395148331355 002 11 10
2133800989104 281055966797045247517924 -790296662610 01 (01)B> 10395148331355 002 11 10
2133800989105 281055966798625840843344 100 01395148331356 (01)B> 002 11 10
2133800989106 281055966798625840843351 97 01395148331356 <E(00) 11 00 11 10
2133800989107 281055966800206434168775 -790296662615 <E(00) 10395148331356 11 00 11 10
2133800989108 281055966800206434168778 -790296662612 (10)C> 10395148331356 11 00 11 10
2133800989109 281055966800206434168780 -790296662610 10 (10)A> 10395148331355 11 00 11 10
2133800989110 281055966800206434168783 -790296662613 10 <F(01) 00 10395148331354 11 00 11 10
2133800989111 281055966800206434168785 -790296662615 <F(01) 01 00 10395148331354 11 00 11 10
2133800989112 281055966800206434168792 -790296662612 10 (10)D> 01 00 10395148331354 11 00 11 10
2133800989113 281055966800206434168796 -790296662610 102 (10)D> 00 10395148331354 11 00 11 10
2133800989114 281055966800206434168800 -790296662608 103 (10)C> 10395148331354 11 00 11 10
2133800989115 281055966800206434168802 -790296662606 104 (10)A> 10395148331353 11 00 11 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (10)A> 103+V(2) [*]* [*]* [*]* [*]*
1 3 -3 101+V(1) <F(01) 00 102+V(2) [*]* [*]* [*]* [*]*
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 102+V(2) [*]* [*]* [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 102+V(2) [*]* [*]* [*]* [*]*
4 16+6*V(1) 0 102+V(1) (10)D> 00 102+V(2) [*]* [*]* [*]* [*]*
5 20+6*V(1) 2 103+V(1) (10)C> 102+V(2) [*]* [*]* [*]* [*]*
6 22+6*V(1) 4 104+V(1) (10)A> 101+V(2) [*]* [*]* [*]* [*]*
<< Success! ==> defined new CTR 27 (PA)
2133800989115 281055966800206434168802 -790296662606 104 (10)A> 10395148331353 11 00 11 10
== Executing PA-CTR 27, V(1)=3, V(2)=395148331350, repcount=197574165676, factor=3/2
3319245983171 632375925289438702137542 98 10592722497032 (10)A> 10 11 00 11 10
3319245983172 632375925289438702137545 95 10592722497032 <F(01) 00 11 00 11 10
3319245983173 632375925290624147131609 -1185444993969 <F(01) 01592722497032 00 11 00 11 10
3319245983174 632375925290624147131616 -1185444993966 10 (10)D> 01592722497032 00 11 00 11 10
3319245983175 632375925292995037119744 98 10592722497033 (10)D> 00 11 00 11 10
3319245983176 632375925292995037119748 100 10592722497034 (10)C> 11 00 11 10
3319245983177 632375925292995037119750 102 10592722497035 (11)C> 00 11 10
3319245983178 632375925292995037119753 99 10592722497035 <D(00) 10 11 10
3319245983179 632375925292995037119757 97 10592722497034 <D(01) 00 10 11 10
3319245983180 632375925295365927107893 -1185444993971 <D(01) 01592722497034 00 10 11 10
3319245983181 632375925295365927107898 -1185444993968 01 (01)E> 01592722497034 00 10 11 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 10 11 00 [*]* [*]*
1 3 -3 101+V(1) <F(01) 00 11 00 [*]* [*]*
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 11 00 [*]* [*]*
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 11 00 [*]* [*]*
4 16+6*V(1) 0 102+V(1) (10)D> 00 11 00 [*]* [*]*
5 20+6*V(1) 2 103+V(1) (10)C> 11 00 [*]* [*]*
6 22+6*V(1) 4 104+V(1) (11)C> 00 [*]* [*]*
7 25+6*V(1) 1 104+V(1) <D(00) 10 [*]* [*]*
8 29+6*V(1) -1 103+V(1) <D(01) 00 10 [*]* [*]*
9 41+10*V(1) -7+-2*V(1) <D(01) 013+V(1) 00 10 [*]* [*]*
10 46+10*V(1) -4+-2*V(1) 01 (01)E> 013+V(1) 00 10 [*]* [*]*
<< Success! ==> defined new CTR 28 (PPA)
3319245983181 632375925295365927107898 -1185444993968 01 (01)E> 01592722497034 00 10 11 10
== Executing PA-CTR 13, V(1)=0, V(2)=592722497031, repcount=296361248516, factor=3/2
4801052225761 1422845831896879433158910 96 01889083745549 (01)E> 012 00 10 11 10
4801052225762 1422845831896879433158915 93 01889083745549 <A(10) 10 01 00 10 11 10
4801052225763 1422845831898657600650013 -1778167491005 <A(10) 10889083745550 01 00 10 11 10
4801052225764 1422845831898657600650018 -1778167491002 01 (01)B> 10889083745550 01 00 10 11 10
4801052225765 1422845831902213935632218 98 01889083745551 (01)B> 01 00 10 11 10
4801052225766 1422845831902213935632220 100 01889083745552 (01)E> 00 10 11 10
4801052225767 1422845831902213935632222 102 01889083745553 (01)B> 10 11 10
4801052225768 1422845831902213935632226 104 01889083745554 (01)B> 11 10
4801052225769 1422845831902213935632233 101 01889083745554 <E(00) 102
4801052225770 1422845831905770270614449 -1778167491007 <E(00) 10889083745556
4801052225771 1422845831905770270614452 -1778167491004 (10)C> 10889083745556
4801052225772 1422845831905770270614454 -1778167491002 10 (10)A> 10889083745555
4801052225773 1422845831905770270614457 -1778167491005 10 <F(01) 00 10889083745554
4801052225774 1422845831905770270614459 -1778167491007 <F(01) 01 00 10889083745554
4801052225775 1422845831905770270614466 -1778167491004 10 (10)D> 01 00 10889083745554
4801052225776 1422845831905770270614470 -1778167491002 102 (10)D> 00 10889083745554
4801052225777 1422845831905770270614474 -1778167491000 103 (10)C> 10889083745554
4801052225778 1422845831905770270614476 -1778167490998 104 (10)A> 10889083745553
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (10)A> 103+V(2)
1 3 -3 101+V(1) <F(01) 00 102+V(2)
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 102+V(2)
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 102+V(2)
4 16+6*V(1) 0 102+V(1) (10)D> 00 102+V(2)
5 20+6*V(1) 2 103+V(1) (10)C> 102+V(2)
6 22+6*V(1) 4 104+V(1) (10)A> 101+V(2)
<< Success! ==> defined new CTR 29 (PA)
4801052225778 1422845831905770270614476 -1778167490998 104 (10)A> 10889083745553
== Executing PA-CTR 29, V(1)=3, V(2)=889083745550, repcount=444541872776, factor=3/2
7468303462434 3201403121780291398186116 106 101333625618332 (10)A> 10
7468303462435 3201403121780291398186119 103 101333625618332 <F(01)
7468303462436 3201403121782958649422783 -2667251236561 <F(01) 011333625618332
7468303462437 3201403121782958649422790 -2667251236558 10 (10)D> 011333625618332
7468303462438 3201403121788293151896118 106 101333625618333 (10)D>
7468303462439 3201403121788293151896122 108 101333625618334 (10)C>
7468303462440 3201403121788293151896127 105 101333625618334 <D(01) 10
7468303462441 3201403121793627654369463 -2667251236563 <D(01) 011333625618334 10
7468303462442 3201403121793627654369468 -2667251236560 01 (01)E> 011333625618334 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 10
1 3 -3 101+V(1) <F(01)
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1)
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1)
4 16+6*V(1) 0 102+V(1) (10)D>
5 20+6*V(1) 2 103+V(1) (10)C>
6 25+6*V(1) -1 103+V(1) <D(01) 10
7 37+10*V(1) -7+-2*V(1) <D(01) 013+V(1) 10
8 42+10*V(1) -4+-2*V(1) 01 (01)E> 013+V(1) 10
<< Success! ==> defined new CTR 30 (PPA)
7468303462442 3201403121793627654369468 -2667251236560 01 (01)E> 011333625618334 10
== Executing PA-CTR 1, V(1)=0, V(2)=1333625618331, repcount=666812809166, factor=3/2
10802367508272 7203157024012967223428630 104 012000438427499 (01)E> 012 10
== Executing PPA-CTR 19 (once), V(1)=2000438427498
10802367508281 7203157024032971607703658 -4000876854894 10 (10)A> 102000438427501 01
== Executing PA-CTR 2, V(1)=0, V(2)=2000438427498, repcount=1000219213750, factor=3/2
16803682790781 16207103304037988159044908 106 103000657641251 (10)A> 10 01
16803682790782 16207103304037988159044911 103 103000657641251 <F(01) 00 01
16803682790783 16207103304043989474327413 -6001315282399 <F(01) 013000657641251 00 01
16803682790784 16207103304043989474327420 -6001315282396 10 (10)D> 013000657641251 00 01
16803682790785 16207103304055992104892424 106 103000657641252 (10)D> 00 01
16803682790786 16207103304055992104892428 108 103000657641253 (10)C> 01
16803682790787 16207103304055992104892433 105 103000657641253 <D(01) 11
16803682790788 16207103304067994735457445 -6001315282401 <D(01) 013000657641253 11
16803682790789 16207103304067994735457450 -6001315282398 01 (01)E> 013000657641253 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)A> 10 01
1 3 -3 101+V(1) <F(01) 00 01
2 5+2*V(1) -5+-2*V(1) <F(01) 011+V(1) 00 01
3 12+2*V(1) -2+-2*V(1) 10 (10)D> 011+V(1) 00 01
4 16+6*V(1) 0 102+V(1) (10)D> 00 01
5 20+6*V(1) 2 103+V(1) (10)C> 01
6 25+6*V(1) -1 103+V(1) <D(01) 11
7 37+10*V(1) -7+-2*V(1) <D(01) 013+V(1) 11
8 42+10*V(1) -4+-2*V(1) 01 (01)E> 013+V(1) 11
<< Success! ==> defined new CTR 31 (PPA)
16803682790789 16207103304067994735457450 -6001315282398 01 (01)E> 013000657641253 11
== Executing PA-CTR 1, V(1)=0, V(2)=3000657641250, repcount=1500328820626, factor=3/2
24305326893919 36465982434096535757412472 106 014500986461879 (01)E> 01 11
24305326893920 36465982434096535757412477 103 014500986461879 <A(10) 10 11
24305326893921 36465982434105537730336235 -9001972923655 <A(10) 104500986461880 11
24305326893922 36465982434105537730336240 -9001972923652 01 (01)B> 104500986461880 11
24305326893923 36465982434123541676183760 108 014500986461881 (01)B> 11
24305326893924 36465982434123541676183767 105 014500986461881 <E(00) 10
24305326893925 36465982434141545622031291 -9001972923657 <E(00) 104500986461882
24305326893926 36465982434141545622031294 -9001972923654 (10)C> 104500986461882
24305326893927 36465982434141545622031296 -9001972923652 10 (10)A> 104500986461881
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011+V(1) (01)E> 01 11
1 5 -3 011+V(1) <A(10) 10 11
2 7+2*V(1) -5+-2*V(1) <A(10) 102+V(1) 11
3 12+2*V(1) -2+-2*V(1) 01 (01)B> 102+V(1) 11
4 20+6*V(1) 2 013+V(1) (01)B> 11
5 27+6*V(1) -1 013+V(1) <E(00) 10
6 39+10*V(1) -7+-2*V(1) <E(00) 104+V(1)
7 42+10*V(1) -4+-2*V(1) (10)C> 104+V(1)
8 44+10*V(1) -2+-2*V(1) 10 (10)A> 103+V(1)
<< Success! ==> defined new CTR 32 (PPA)
24305326893927 36465982434141545622031296 -9001972923652 10 (10)A> 104500986461881
== Executing PA-CTR 29, V(1)=0, V(2)=4500986461878, repcount=2250493230940, factor=3/2
37808286279567 82048460476731643593585916 108 106751479692821 (10)A> 10
== Executing PPA-CTR 30 (once), V(1)=6751479692820
37808286279575 82048460476799158390514158 -13502959385536 01 (01)E> 016751479692823 10
== Executing PA-CTR 1, V(1)=0, V(2)=6751479692820, repcount=3375739846411, factor=3/2
54686985511630 184609036072665699834745790 108 0110127219539234 (01)E> 01 10
== Executing PPA-CTR 4 (once), V(1)=10127219539233, V(2)=0
54686985511638 184609036072766972030138172 -20254439078360 10 (10)A> 1010127219539236 11
== Executing PA-CTR 2, V(1)=0, V(2)=10127219539233, repcount=5063609769617, factor=3/2
85068644129340 415370331163479349304083394 108 1015190829308852 (10)A> 102 11
== Executing PPA-CTR 3 (once), V(1)=15190829308851
85068644129354 415370331163722402573025112 -30381658617600 01 (01)E> 0115190829308858 10
== Executing PA-CTR 1, V(1)=0, V(2)=15190829308855, repcount=7595414654428, factor=3/2
123045717401494 934583245118117674903597332 112 0122786243963285 (01)E> 012 10
== Executing PPA-CTR 19 (once), V(1)=22786243963284
123045717401503 934583245118345537343230220 -45572487926458 10 (10)A> 1022786243963287 01
== Executing PA-CTR 2, V(1)=0, V(2)=22786243963284, repcount=11393121981643, factor=3/2
191404449291361 2102812301515865920989806620 114 1034179365944930 (10)A> 10 01
== Executing PPA-CTR 31 (once), V(1)=34179365944929
191404449291369 2102812301516207714649255952 -68358731889748 01 (01)E> 0134179365944932 11
== Executing PA-CTR 1, V(1)=0, V(2)=34179365944929, repcount=17089682972465, factor=3/2
276852864153694 4731327678410671302061484022 112 0151269048917396 (01)E> 012 11
276852864153695 4731327678410671302061484027 109 0151269048917396 <A(10) 10 01 11
276852864153696 4731327678410773840159318819 -102538097834683 <A(10) 1051269048917397 01 11
276852864153697 4731327678410773840159318824 -102538097834680 01 (01)B> 1051269048917397 01 11
276852864153698 4731327678410978916354988412 114 0151269048917398 (01)B> 01 11
276852864153699 4731327678410978916354988414 116 0151269048917399 (01)E> 11
276852864153700 4731327678410978916354988416 118 0151269048917400 (11)E>
276852864153701 4731327678410978916354988418 120 0151269048917400 11 (01)B>
Lines: 501
Top steps: 500
Macro steps: 276852864153701
Basic steps: 4731327678410978916354988418
Tape index: 120
ones: 51269048917403
log10(ones ): 13.710
log10(steps ): 27.675
Input to awk program:
gohalt 1
5T B1R F0L C0R D0R D1L E1R E0L D0L A0R C1R A1L Z1R : >1.29*10^865 >3*10^1730
T 6-state TM #r from MaBu-List
M 501
pref sim
machv mbL6_r just simple
machv mbL6_r-r with repetitions reduced
machv mbL6_r-1 with tape symbol exponents
machv mbL6_r-m as 2-bck-macro machine
machv mbL6_r-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_r-a
mtype 2 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:21 CEST 2010
edate Tue Jul 6 22:11:23 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:11:21 CEST 2010