Comment: This TM produces 33299939444 ones in 645170016895723065091 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C1L | 1 | right | B | 1 | left | C |
| B | A0L | D0L | 0 | left | A | 0 | left | D |
| C | A1L | Z1R | 1 | left | A | 1 | right | Z |
| D | B1L | E1R | 1 | left | B | 1 | right | E |
| E | D0R | F0R | 0 | right | D | 0 | right | F |
| F | D0R | D0L | 0 | right | D | 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 4 -2 <A(1) 10
2 8 0 01 (0)D> 10
3 10 2 012 (0)D>
4 12 0 012 <A(0) 10
5 14 -2 01 <A(1) 102
6 16 -4 <A(1) 11 102
7 20 -2 01 (0)D> 11 102
8 22 0 012 (0)F> 102
9 24 -2 012 <B(1) 00 10
10 28 -6 <B(1) 012 00 10
11 32 -8 <C(1) 013 00 10
12 38 -6 10 (1)E> 013 00 10
13 44 0 104 (1)E> 00 10
14 48 -2 104 <C(1) 01 10
15 56 -10 <C(1) 114 01 10
16 62 -8 10 (1)E> 114 01 10
17 66 -10 10 <D(0) 10 113 01 10
18 68 -12 <D(0) 102 113 01 10
19 70 -14 <A(0) 103 113 01 10
20 74 -16 <A(1) 104 113 01 10
21 78 -14 01 (0)D> 104 113 01 10
22 86 -6 015 (0)D> 113 01 10
23 88 -4 016 (0)F> 112 01 10
24 90 -6 016 <B(1) 01 11 01 10
25 102 -18 <B(1) 017 11 01 10
26 106 -20 <C(1) 018 11 01 10
27 112 -18 10 (1)E> 018 11 01 10
28 128 -2 109 (1)E> 11 01 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (1)E> 114+V(2) [*]* [*]*
1 4 -2 101+V(1) <D(0) 10 113+V(2) [*]* [*]*
2 6+2*V(1) -4+-2*V(1) <D(0) 102+V(1) 113+V(2) [*]* [*]*
3 8+2*V(1) -6+-2*V(1) <A(0) 103+V(1) 113+V(2) [*]* [*]*
4 12+2*V(1) -8+-2*V(1) <A(1) 104+V(1) 113+V(2) [*]* [*]*
5 16+2*V(1) -6+-2*V(1) 01 (0)D> 104+V(1) 113+V(2) [*]* [*]*
6 24+4*V(1) 2 015+V(1) (0)D> 113+V(2) [*]* [*]*
7 26+4*V(1) 4 016+V(1) (0)F> 112+V(2) [*]* [*]*
8 28+4*V(1) 2 016+V(1) <B(1) 01 111+V(2) [*]* [*]*
9 40+6*V(1) -10+-2*V(1) <B(1) 017+V(1) 111+V(2) [*]* [*]*
10 44+6*V(1) -12+-2*V(1) <C(1) 018+V(1) 111+V(2) [*]* [*]*
11 50+6*V(1) -10+-2*V(1) 10 (1)E> 018+V(1) 111+V(2) [*]* [*]*
12 66+8*V(1) 6 109+V(1) (1)E> 111+V(2) [*]* [*]*
<< Success! ==> defined new CTR 1 (PA)
29 132 -4 109 <D(0) 10 01 10
30 150 -22 <D(0) 1010 01 10
31 152 -24 <A(0) 1011 01 10
32 156 -26 <A(1) 1012 01 10
33 160 -24 01 (0)D> 1012 01 10
34 184 0 0113 (0)D> 01 10
35 186 -2 0113 <A(0) 11 10
36 188 -4 0112 <A(1) 10 11 10
37 212 -28 <A(1) 1112 10 11 10
38 216 -26 01 (0)D> 1112 10 11 10
39 218 -24 012 (0)F> 1111 10 11 10
40 220 -26 012 <B(1) 01 1110 10 11 10
41 224 -30 <B(1) 013 1110 10 11 10
42 228 -32 <C(1) 014 1110 10 11 10
43 234 -30 10 (1)E> 014 1110 10 11 10
44 242 -22 105 (1)E> 1110 10 11 10
45 246 -24 105 <D(0) 10 119 10 11 10
46 256 -34 <D(0) 106 119 10 11 10
47 258 -36 <A(0) 107 119 10 11 10
48 262 -38 <A(1) 108 119 10 11 10
49 266 -36 01 (0)D> 108 119 10 11 10
50 282 -20 019 (0)D> 119 10 11 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (0)D> 114+V(2) [*]* [*]* [*]*
1 2 2 012+V(1) (0)F> 113+V(2) [*]* [*]* [*]*
2 4 0 012+V(1) <B(1) 01 112+V(2) [*]* [*]* [*]*
3 8+2*V(1) -4+-2*V(1) <B(1) 013+V(1) 112+V(2) [*]* [*]* [*]*
4 12+2*V(1) -6+-2*V(1) <C(1) 014+V(1) 112+V(2) [*]* [*]* [*]*
5 18+2*V(1) -4+-2*V(1) 10 (1)E> 014+V(1) 112+V(2) [*]* [*]* [*]*
6 26+4*V(1) 4 105+V(1) (1)E> 112+V(2) [*]* [*]* [*]*
7 30+4*V(1) 2 105+V(1) <D(0) 10 111+V(2) [*]* [*]* [*]*
8 40+6*V(1) -8+-2*V(1) <D(0) 106+V(1) 111+V(2) [*]* [*]* [*]*
9 42+6*V(1) -10+-2*V(1) <A(0) 107+V(1) 111+V(2) [*]* [*]* [*]*
10 46+6*V(1) -12+-2*V(1) <A(1) 108+V(1) 111+V(2) [*]* [*]* [*]*
11 50+6*V(1) -10+-2*V(1) 01 (0)D> 108+V(1) 111+V(2) [*]* [*]* [*]*
12 66+8*V(1) 6 019+V(1) (0)D> 111+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
50 282 -20 019 (0)D> 119 10 11 10
== Executing PA-CTR 2, V(1)=8, V(2)=5, repcount=2, factor=8/3
74 606 -8 0125 (0)D> 113 10 11 10
75 608 -6 0126 (0)F> 112 10 11 10
76 610 -8 0126 <B(1) 01 11 10 11 10
77 662 -60 <B(1) 0127 11 10 11 10
78 666 -62 <C(1) 0128 11 10 11 10
79 672 -60 10 (1)E> 0128 11 10 11 10
80 728 -4 1029 (1)E> 11 10 11 10
81 732 -6 1029 <D(0) 102 11 10
82 790 -64 <D(0) 1031 11 10
83 792 -66 <A(0) 1032 11 10
84 796 -68 <A(1) 1033 11 10
85 800 -66 01 (0)D> 1033 11 10
86 866 0 0134 (0)D> 11 10
87 868 2 0135 (0)F> 10
88 870 0 0135 <B(1)
89 940 -70 <B(1) 0135
90 944 -72 <C(1) 0136
91 950 -70 10 (1)E> 0136
92 1022 2 1037 (1)E>
93 1026 0 1037 <C(1) 01
94 1100 -74 <C(1) 1137 01
95 1106 -72 10 (1)E> 1137 01
96 1110 -74 10 <D(0) 10 1136 01
97 1112 -76 <D(0) 102 1136 01
98 1114 -78 <A(0) 103 1136 01
99 1118 -80 <A(1) 104 1136 01
100 1122 -78 01 (0)D> 104 1136 01
101 1130 -70 015 (0)D> 1136 01
102 1132 -68 016 (0)F> 1135 01
103 1134 -70 016 <B(1) 01 1134 01
104 1146 -82 <B(1) 017 1134 01
105 1150 -84 <C(1) 018 1134 01
106 1156 -82 10 (1)E> 018 1134 01
107 1172 -66 109 (1)E> 1134 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (1)E> 114+V(2) [*]*
1 4 -2 101+V(1) <D(0) 10 113+V(2) [*]*
2 6+2*V(1) -4+-2*V(1) <D(0) 102+V(1) 113+V(2) [*]*
3 8+2*V(1) -6+-2*V(1) <A(0) 103+V(1) 113+V(2) [*]*
4 12+2*V(1) -8+-2*V(1) <A(1) 104+V(1) 113+V(2) [*]*
5 16+2*V(1) -6+-2*V(1) 01 (0)D> 104+V(1) 113+V(2) [*]*
6 24+4*V(1) 2 015+V(1) (0)D> 113+V(2) [*]*
7 26+4*V(1) 4 016+V(1) (0)F> 112+V(2) [*]*
8 28+4*V(1) 2 016+V(1) <B(1) 01 111+V(2) [*]*
9 40+6*V(1) -10+-2*V(1) <B(1) 017+V(1) 111+V(2) [*]*
10 44+6*V(1) -12+-2*V(1) <C(1) 018+V(1) 111+V(2) [*]*
11 50+6*V(1) -10+-2*V(1) 10 (1)E> 018+V(1) 111+V(2) [*]*
12 66+8*V(1) 6 109+V(1) (1)E> 111+V(2) [*]*
<< Success! ==> defined new CTR 3 (PA)
107 1172 -66 109 (1)E> 1134 01
== Executing PA-CTR 3, V(1)=8, V(2)=30, repcount=11, factor=8/3
239 6122 0 1097 (1)E> 11 01
240 6126 -2 1097 <D(0) 10 01
241 6320 -196 <D(0) 1098 01
242 6322 -198 <A(0) 1099 01
243 6326 -200 <A(1) 10100 01
244 6330 -198 01 (0)D> 10100 01
245 6530 2 01101 (0)D> 01
246 6532 0 01101 <A(0) 11
247 6534 -2 01100 <A(1) 10 11
248 6734 -202 <A(1) 11100 10 11
249 6738 -200 01 (0)D> 11100 10 11
250 6740 -198 012 (0)F> 1199 10 11
251 6742 -200 012 <B(1) 01 1198 10 11
252 6746 -204 <B(1) 013 1198 10 11
253 6750 -206 <C(1) 014 1198 10 11
254 6756 -204 10 (1)E> 014 1198 10 11
255 6764 -196 105 (1)E> 1198 10 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 103+V(1) (1)E> 11 01
1 4 -2 103+V(1) <D(0) 10 01
2 10+2*V(1) -8+-2*V(1) <D(0) 104+V(1) 01
3 12+2*V(1) -10+-2*V(1) <A(0) 105+V(1) 01
4 16+2*V(1) -12+-2*V(1) <A(1) 106+V(1) 01
5 20+2*V(1) -10+-2*V(1) 01 (0)D> 106+V(1) 01
6 32+4*V(1) 2 017+V(1) (0)D> 01
7 34+4*V(1) 0 017+V(1) <A(0) 11
8 36+4*V(1) -2 016+V(1) <A(1) 10 11
9 48+6*V(1) -14+-2*V(1) <A(1) 116+V(1) 10 11
10 52+6*V(1) -12+-2*V(1) 01 (0)D> 116+V(1) 10 11
11 54+6*V(1) -10+-2*V(1) 012 (0)F> 115+V(1) 10 11
12 56+6*V(1) -12+-2*V(1) 012 <B(1) 01 114+V(1) 10 11
13 60+6*V(1) -16+-2*V(1) <B(1) 013 114+V(1) 10 11
14 64+6*V(1) -18+-2*V(1) <C(1) 014 114+V(1) 10 11
15 70+6*V(1) -16+-2*V(1) 10 (1)E> 014 114+V(1) 10 11
16 78+6*V(1) -8+-2*V(1) 105 (1)E> 114+V(1) 10 11
<< Success! ==> defined new CTR 4 (PPA)
255 6764 -196 105 (1)E> 1198 10 11
== Executing PA-CTR 1, V(1)=4, V(2)=94, repcount=32, factor=8/3
639 41644 -4 10261 (1)E> 112 10 11
640 41648 -6 10261 <D(0) 10 11 10 11
641 42170 -528 <D(0) 10262 11 10 11
642 42172 -530 <A(0) 10263 11 10 11
643 42176 -532 <A(1) 10264 11 10 11
644 42180 -530 01 (0)D> 10264 11 10 11
645 42708 -2 01265 (0)D> 11 10 11
646 42710 0 01266 (0)F> 10 11
647 42712 -2 01266 <B(1) 00 11
648 43244 -534 <B(1) 01266 00 11
649 43248 -536 <C(1) 01267 00 11
650 43254 -534 10 (1)E> 01267 00 11
651 43788 0 10268 (1)E> 00 11
652 43792 -2 10268 <C(1) 01 11
653 44328 -538 <C(1) 11268 01 11
654 44334 -536 10 (1)E> 11268 01 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (1)E> 112 10 [*]*
1 4 -2 101+V(1) <D(0) 10 11 10 [*]*
2 6+2*V(1) -4+-2*V(1) <D(0) 102+V(1) 11 10 [*]*
3 8+2*V(1) -6+-2*V(1) <A(0) 103+V(1) 11 10 [*]*
4 12+2*V(1) -8+-2*V(1) <A(1) 104+V(1) 11 10 [*]*
5 16+2*V(1) -6+-2*V(1) 01 (0)D> 104+V(1) 11 10 [*]*
6 24+4*V(1) 2 015+V(1) (0)D> 11 10 [*]*
7 26+4*V(1) 4 016+V(1) (0)F> 10 [*]*
8 28+4*V(1) 2 016+V(1) <B(1) 00 [*]*
9 40+6*V(1) -10+-2*V(1) <B(1) 016+V(1) 00 [*]*
10 44+6*V(1) -12+-2*V(1) <C(1) 017+V(1) 00 [*]*
11 50+6*V(1) -10+-2*V(1) 10 (1)E> 017+V(1) 00 [*]*
12 64+8*V(1) 4 108+V(1) (1)E> 00 [*]*
13 68+8*V(1) 2 108+V(1) <C(1) 01 [*]*
14 84+10*V(1) -14+-2*V(1) <C(1) 118+V(1) 01 [*]*
15 90+10*V(1) -12+-2*V(1) 10 (1)E> 118+V(1) 01 [*]*
<< Success! ==> defined new CTR 5 (PPA)
654 44334 -536 10 (1)E> 11268 01 11
== Executing PA-CTR 1, V(1)=0, V(2)=264, repcount=89, factor=8/3
1722 300832 -2 10713 (1)E> 11 01 11
1723 300836 -4 10713 <D(0) 10 01 11
1724 302262 -1430 <D(0) 10714 01 11
1725 302264 -1432 <A(0) 10715 01 11
1726 302268 -1434 <A(1) 10716 01 11
1727 302272 -1432 01 (0)D> 10716 01 11
1728 303704 0 01717 (0)D> 01 11
1729 303706 -2 01717 <A(0) 112
1730 303708 -4 01716 <A(1) 10 112
1731 305140 -1436 <A(1) 11716 10 112
1732 305144 -1434 01 (0)D> 11716 10 112
1733 305146 -1432 012 (0)F> 11715 10 112
1734 305148 -1434 012 <B(1) 01 11714 10 112
1735 305152 -1438 <B(1) 013 11714 10 112
1736 305156 -1440 <C(1) 014 11714 10 112
1737 305162 -1438 10 (1)E> 014 11714 10 112
1738 305170 -1430 105 (1)E> 11714 10 112
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 103+V(1) (1)E> 11 01 111+V(2)
1 4 -2 103+V(1) <D(0) 10 01 111+V(2)
2 10+2*V(1) -8+-2*V(1) <D(0) 104+V(1) 01 111+V(2)
3 12+2*V(1) -10+-2*V(1) <A(0) 105+V(1) 01 111+V(2)
4 16+2*V(1) -12+-2*V(1) <A(1) 106+V(1) 01 111+V(2)
5 20+2*V(1) -10+-2*V(1) 01 (0)D> 106+V(1) 01 111+V(2)
6 32+4*V(1) 2 017+V(1) (0)D> 01 111+V(2)
7 34+4*V(1) 0 017+V(1) <A(0) 112+V(2)
8 36+4*V(1) -2 016+V(1) <A(1) 10 112+V(2)
9 48+6*V(1) -14+-2*V(1) <A(1) 116+V(1) 10 112+V(2)
10 52+6*V(1) -12+-2*V(1) 01 (0)D> 116+V(1) 10 112+V(2)
11 54+6*V(1) -10+-2*V(1) 012 (0)F> 115+V(1) 10 112+V(2)
12 56+6*V(1) -12+-2*V(1) 012 <B(1) 01 114+V(1) 10 112+V(2)
13 60+6*V(1) -16+-2*V(1) <B(1) 013 114+V(1) 10 112+V(2)
14 64+6*V(1) -18+-2*V(1) <C(1) 014 114+V(1) 10 112+V(2)
15 70+6*V(1) -16+-2*V(1) 10 (1)E> 014 114+V(1) 10 112+V(2)
16 78+6*V(1) -8+-2*V(1) 105 (1)E> 114+V(1) 10 112+V(2)
<< Success! ==> defined new CTR 6 (PPA)
1738 305170 -1430 105 (1)E> 11714 10 112
== Executing PA-CTR 1, V(1)=4, V(2)=710, repcount=237, factor=8/3
4582 2118220 -8 101901 (1)E> 113 10 112
4583 2118224 -10 101901 <D(0) 10 112 10 112
4584 2122026 -3812 <D(0) 101902 112 10 112
4585 2122028 -3814 <A(0) 101903 112 10 112
4586 2122032 -3816 <A(1) 101904 112 10 112
4587 2122036 -3814 01 (0)D> 101904 112 10 112
4588 2125844 -6 011905 (0)D> 112 10 112
4589 2125846 -4 011906 (0)F> 11 10 112
4590 2125848 -6 011906 <B(1) 01 10 112
4591 2129660 -3818 <B(1) 011907 10 112
4592 2129664 -3820 <C(1) 011908 10 112
4593 2129670 -3818 10 (1)E> 011908 10 112
4594 2133486 -2 101909 (1)E> 10 112
4595 2133488 0 101910 (0)D> 112
4596 2133490 2 101910 01 (0)F> 11
4597 2133492 0 101910 01 <B(1) 01
4598 2133494 -2 101910 <B(1) 012
4599 2133496 -4 101909 <C(1) 013
4600 2137314 -3822 <C(1) 111909 013
4601 2137320 -3820 10 (1)E> 111909 013
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (1)E> 113 10 112
1 4 -2 101+V(1) <D(0) 10 112 10 112
2 6+2*V(1) -4+-2*V(1) <D(0) 102+V(1) 112 10 112
3 8+2*V(1) -6+-2*V(1) <A(0) 103+V(1) 112 10 112
4 12+2*V(1) -8+-2*V(1) <A(1) 104+V(1) 112 10 112
5 16+2*V(1) -6+-2*V(1) 01 (0)D> 104+V(1) 112 10 112
6 24+4*V(1) 2 015+V(1) (0)D> 112 10 112
7 26+4*V(1) 4 016+V(1) (0)F> 11 10 112
8 28+4*V(1) 2 016+V(1) <B(1) 01 10 112
9 40+6*V(1) -10+-2*V(1) <B(1) 017+V(1) 10 112
10 44+6*V(1) -12+-2*V(1) <C(1) 018+V(1) 10 112
11 50+6*V(1) -10+-2*V(1) 10 (1)E> 018+V(1) 10 112
12 66+8*V(1) 6 109+V(1) (1)E> 10 112
13 68+8*V(1) 8 1010+V(1) (0)D> 112
14 70+8*V(1) 10 1010+V(1) 01 (0)F> 11
15 72+8*V(1) 8 1010+V(1) 01 <B(1) 01
16 74+8*V(1) 6 1010+V(1) <B(1) 012
17 76+8*V(1) 4 109+V(1) <C(1) 013
18 94+10*V(1) -14+-2*V(1) <C(1) 119+V(1) 013
19 100+10*V(1) -12+-2*V(1) 10 (1)E> 119+V(1) 013
<< Success! ==> defined new CTR 7 (PPA)
4601 2137320 -3820 10 (1)E> 111909 013
== Executing PA-CTR 3, V(1)=0, V(2)=1905, repcount=636, factor=8/3
12233 15102816 -4 105089 (1)E> 11 013
12234 15102820 -6 105089 <D(0) 10 013
12235 15112998 -10184 <D(0) 105090 013
12236 15113000 -10186 <A(0) 105091 013
12237 15113004 -10188 <A(1) 105092 013
12238 15113008 -10186 01 (0)D> 105092 013
12239 15123192 -2 015093 (0)D> 013
12240 15123194 -4 015093 <A(0) 11 012
12241 15123196 -6 015092 <A(1) 10 11 012
12242 15133380 -10190 <A(1) 115092 10 11 012
12243 15133384 -10188 01 (0)D> 115092 10 11 012
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 101+V(1) (1)E> 11 012+V(2)
1 4 -2 101+V(1) <D(0) 10 012+V(2)
2 6+2*V(1) -4+-2*V(1) <D(0) 102+V(1) 012+V(2)
3 8+2*V(1) -6+-2*V(1) <A(0) 103+V(1) 012+V(2)
4 12+2*V(1) -8+-2*V(1) <A(1) 104+V(1) 012+V(2)
5 16+2*V(1) -6+-2*V(1) 01 (0)D> 104+V(1) 012+V(2)
6 24+4*V(1) 2 015+V(1) (0)D> 012+V(2)
7 26+4*V(1) 0 015+V(1) <A(0) 11 011+V(2)
8 28+4*V(1) -2 014+V(1) <A(1) 10 11 011+V(2)
9 36+6*V(1) -10+-2*V(1) <A(1) 114+V(1) 10 11 011+V(2)
10 40+6*V(1) -8+-2*V(1) 01 (0)D> 114+V(1) 10 11 011+V(2)
<< Success! ==> defined new CTR 8 (PPA)
12243 15133384 -10188 01 (0)D> 115092 10 11 012
== Executing PA-CTR 2, V(1)=0, V(2)=5088, repcount=1697, factor=8/3
32607 107344970 -6 0113577 (0)D> 11 10 11 012
32608 107344972 -4 0113578 (0)F> 10 11 012
32609 107344974 -6 0113578 <B(1) 00 11 012
32610 107372130 -27162 <B(1) 0113578 00 11 012
32611 107372134 -27164 <C(1) 0113579 00 11 012
32612 107372140 -27162 10 (1)E> 0113579 00 11 012
32613 107399298 -4 1013580 (1)E> 00 11 012
32614 107399302 -6 1013580 <C(1) 01 11 012
32615 107426462 -27166 <C(1) 1113580 01 11 012
32616 107426468 -27164 10 (1)E> 1113580 01 11 012
32617 107426472 -27166 10 <D(0) 10 1113579 01 11 012
32618 107426474 -27168 <D(0) 102 1113579 01 11 012
32619 107426476 -27170 <A(0) 103 1113579 01 11 012
32620 107426480 -27172 <A(1) 104 1113579 01 11 012
32621 107426484 -27170 01 (0)D> 104 1113579 01 11 012
32622 107426492 -27162 015 (0)D> 1113579 01 11 012
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 012+V(1) (0)D> 11 10 [*]* [*]*
1 2 2 013+V(1) (0)F> 10 [*]* [*]*
2 4 0 013+V(1) <B(1) 00 [*]* [*]*
3 10+2*V(1) -6+-2*V(1) <B(1) 013+V(1) 00 [*]* [*]*
4 14+2*V(1) -8+-2*V(1) <C(1) 014+V(1) 00 [*]* [*]*
5 20+2*V(1) -6+-2*V(1) 10 (1)E> 014+V(1) 00 [*]* [*]*
6 28+4*V(1) 2 105+V(1) (1)E> 00 [*]* [*]*
7 32+4*V(1) 0 105+V(1) <C(1) 01 [*]* [*]*
8 42+6*V(1) -10+-2*V(1) <C(1) 115+V(1) 01 [*]* [*]*
9 48+6*V(1) -8+-2*V(1) 10 (1)E> 115+V(1) 01 [*]* [*]*
10 52+6*V(1) -10+-2*V(1) 10 <D(0) 10 114+V(1) 01 [*]* [*]*
11 54+6*V(1) -12+-2*V(1) <D(0) 102 114+V(1) 01 [*]* [*]*
12 56+6*V(1) -14+-2*V(1) <A(0) 103 114+V(1) 01 [*]* [*]*
13 60+6*V(1) -16+-2*V(1) <A(1) 104 114+V(1) 01 [*]* [*]*
14 64+6*V(1) -14+-2*V(1) 01 (0)D> 104 114+V(1) 01 [*]* [*]*
15 72+6*V(1) -6+-2*V(1) 015 (0)D> 114+V(1) 01 [*]* [*]*
<< Success! ==> defined new CTR 9 (PPA)
32622 107426492 -27162 015 (0)D> 1113579 01 11 012
== Executing PA-CTR 2, V(1)=4, V(2)=13575, repcount=4526, factor=8/3
86934 763234840 -6 0136213 (0)D> 11 01 11 012
86935 763234842 -4 0136214 (0)F> 01 11 012
86936 763234844 -2 0136214 00 (1)E> 11 012
86937 763234848 -4 0136214 00 <D(0) 10 012
86938 763234850 -6 0136214 <A(0) 102 012
86939 763234852 -8 0136213 <A(1) 103 012
86940 763307278 -72434 <A(1) 1136213 103 012
86941 763307282 -72432 01 (0)D> 1136213 103 012
86942 763307284 -72430 012 (0)F> 1136212 103 012
86943 763307286 -72432 012 <B(1) 01 1136211 103 012
86944 763307290 -72436 <B(1) 013 1136211 103 012
86945 763307294 -72438 <C(1) 014 1136211 103 012
86946 763307300 -72436 10 (1)E> 014 1136211 103 012
86947 763307308 -72428 105 (1)E> 1136211 103 012
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 016+V(1) (0)D> 11 01 11 [*]*
1 2 2 017+V(1) (0)F> 01 11 [*]*
2 4 4 017+V(1) 00 (1)E> 11 [*]*
3 8 2 017+V(1) 00 <D(0) 10 [*]*
4 10 0 017+V(1) <A(0) 102 [*]*
5 12 -2 016+V(1) <A(1) 103 [*]*
6 24+2*V(1) -14+-2*V(1) <A(1) 116+V(1) 103 [*]*
7 28+2*V(1) -12+-2*V(1) 01 (0)D> 116+V(1) 103 [*]*
8 30+2*V(1) -10+-2*V(1) 012 (0)F> 115+V(1) 103 [*]*
9 32+2*V(1) -12+-2*V(1) 012 <B(1) 01 114+V(1) 103 [*]*
10 36+2*V(1) -16+-2*V(1) <B(1) 013 114+V(1) 103 [*]*
11 40+2*V(1) -18+-2*V(1) <C(1) 014 114+V(1) 103 [*]*
12 46+2*V(1) -16+-2*V(1) 10 (1)E> 014 114+V(1) 103 [*]*
13 54+2*V(1) -8+-2*V(1) 105 (1)E> 114+V(1) 103 [*]*
<< Success! ==> defined new CTR 10 (PPA)
86947 763307308 -72428 105 (1)E> 1136211 103 012
== Executing PA-CTR 1, V(1)=4, V(2)=36207, repcount=12070, factor=8/3
231787 5426020728 -8 1096565 (1)E> 11 103 012
231788 5426020732 -10 1096565 <D(0) 104 012
231789 5426213862 -193140 <D(0) 1096569 012
231790 5426213864 -193142 <A(0) 1096570 012
231791 5426213868 -193144 <A(1) 1096571 012
231792 5426213872 -193142 01 (0)D> 1096571 012
231793 5426407014 0 0196572 (0)D> 012
231794 5426407016 -2 0196572 <A(0) 11 01
231795 5426407018 -4 0196571 <A(1) 10 11 01
231796 5426600160 -193146 <A(1) 1196571 10 11 01
231797 5426600164 -193144 01 (0)D> 1196571 10 11 01
>> Try to prove a PPA-CTR with 3 Vars...
0 0 0 101+V(1) (1)E> 11 101+V(3) 012+V(2)
1 4 -2 101+V(1) <D(0) 102+V(3) 012+V(2)
2 6+2*V(1) -4+-2*V(1) <D(0) 103+V(1)+V(3) 012+V(2)
3 8+2*V(1) -6+-2*V(1) <A(0) 104+V(1)+V(3) 012+V(2)
4 12+2*V(1) -8+-2*V(1) <A(1) 105+V(1)+V(3) 012+V(2)
5 16+2*V(1) -6+-2*V(1) 01 (0)D> 105+V(1)+V(3) 012+V(2)
6 26+4*V(1)+2*V(3) 4+2*V(3) 016+V(1)+V(3) (0)D> 012+V(2)
7 28+4*V(1)+2*V(3) 2+2*V(3) 016+V(1)+V(3) <A(0) 11 011+V(2)
8 30+4*V(1)+2*V(3) 0+2*V(3) 015+V(1)+V(3) <A(1) 10 11 011+V(2)
9 40+6*V(1)+4*V(3) -10+-2*V(1) <A(1) 115+V(1)+V(3) 10 11 011+V(2)
10 44+6*V(1)+4*V(3) -8+-2*V(1) 01 (0)D> 115+V(1)+V(3) 10 11 011+V(2)
<< Success! ==> defined new CTR 11 (PPA)
231797 5426600164 -193144 01 (0)D> 1196571 10 11 01
== Executing PA-CTR 2, V(1)=0, V(2)=96567, repcount=32190, factor=8/3
618077 38585969824 -4 01257521 (0)D> 11 10 11 01
== Executing PPA-CTR 9 (once), V(1)=257519
618092 38587515010 -515048 015 (0)D> 11257523 01 11 01
== Executing PA-CTR 2, V(1)=4, V(2)=257519, repcount=85840, factor=8/3
1648172 274385359650 -8 01686725 (0)D> 113 01 11 01
1648173 274385359652 -6 01686726 (0)F> 112 01 11 01
1648174 274385359654 -8 01686726 <B(1) 01 11 01 11 01
1648175 274386733106 -1373460 <B(1) 01686727 11 01 11 01
1648176 274386733110 -1373462 <C(1) 01686728 11 01 11 01
1648177 274386733116 -1373460 10 (1)E> 01686728 11 01 11 01
1648178 274388106572 -4 10686729 (1)E> 11 01 11 01
1648179 274388106576 -6 10686729 <D(0) 10 01 11 01
1648180 274389480034 -1373464 <D(0) 10686730 01 11 01
1648181 274389480036 -1373466 <A(0) 10686731 01 11 01
1648182 274389480040 -1373468 <A(1) 10686732 01 11 01
1648183 274389480044 -1373466 01 (0)D> 10686732 01 11 01
1648184 274390853508 -2 01686733 (0)D> 01 11 01
1648185 274390853510 -4 01686733 <A(0) 112 01
1648186 274390853512 -6 01686732 <A(1) 10 112 01
1648187 274392226976 -1373470 <A(1) 11686732 10 112 01
1648188 274392226980 -1373468 01 (0)D> 11686732 10 112 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (0)D> 113 01 111+V(2) [*]*
1 2 2 012+V(1) (0)F> 112 01 111+V(2) [*]*
2 4 0 012+V(1) <B(1) 01 11 01 111+V(2) [*]*
3 8+2*V(1) -4+-2*V(1) <B(1) 013+V(1) 11 01 111+V(2) [*]*
4 12+2*V(1) -6+-2*V(1) <C(1) 014+V(1) 11 01 111+V(2) [*]*
5 18+2*V(1) -4+-2*V(1) 10 (1)E> 014+V(1) 11 01 111+V(2) [*]*
6 26+4*V(1) 4 105+V(1) (1)E> 11 01 111+V(2) [*]*
7 30+4*V(1) 2 105+V(1) <D(0) 10 01 111+V(2) [*]*
8 40+6*V(1) -8+-2*V(1) <D(0) 106+V(1) 01 111+V(2) [*]*
9 42+6*V(1) -10+-2*V(1) <A(0) 107+V(1) 01 111+V(2) [*]*
10 46+6*V(1) -12+-2*V(1) <A(1) 108+V(1) 01 111+V(2) [*]*
11 50+6*V(1) -10+-2*V(1) 01 (0)D> 108+V(1) 01 111+V(2) [*]*
12 66+8*V(1) 6 019+V(1) (0)D> 01 111+V(2) [*]*
13 68+8*V(1) 4 019+V(1) <A(0) 112+V(2) [*]*
14 70+8*V(1) 2 018+V(1) <A(1) 10 112+V(2) [*]*
15 86+10*V(1) -14+-2*V(1) <A(1) 118+V(1) 10 112+V(2) [*]*
16 90+10*V(1) -12+-2*V(1) 01 (0)D> 118+V(1) 10 112+V(2) [*]*
<< Success! ==> defined new CTR 12 (PPA)
1648188 274392226980 -1373468 01 (0)D> 11686732 10 112 01
== Executing PA-CTR 2, V(1)=0, V(2)=686728, repcount=228910, factor=8/3
4395108 1951193229120 -8 011831281 (0)D> 112 10 112 01
4395109 1951193229122 -6 011831282 (0)F> 11 10 112 01
4395110 1951193229124 -8 011831282 <B(1) 01 10 112 01
4395111 1951196891688 -3662572 <B(1) 011831283 10 112 01
4395112 1951196891692 -3662574 <C(1) 011831284 10 112 01
4395113 1951196891698 -3662572 10 (1)E> 011831284 10 112 01
4395114 1951200554266 -4 101831285 (1)E> 10 112 01
4395115 1951200554268 -2 101831286 (0)D> 112 01
4395116 1951200554270 0 101831286 01 (0)F> 11 01
4395117 1951200554272 -2 101831286 01 <B(1) 012
4395118 1951200554274 -4 101831286 <B(1) 013
4395119 1951200554276 -6 101831285 <C(1) 014
4395120 1951204216846 -3662576 <C(1) 111831285 014
4395121 1951204216852 -3662574 10 (1)E> 111831285 014
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (0)D> 112 10 112 011+V(2)
1 2 2 012+V(1) (0)F> 11 10 112 011+V(2)
2 4 0 012+V(1) <B(1) 01 10 112 011+V(2)
3 8+2*V(1) -4+-2*V(1) <B(1) 013+V(1) 10 112 011+V(2)
4 12+2*V(1) -6+-2*V(1) <C(1) 014+V(1) 10 112 011+V(2)
5 18+2*V(1) -4+-2*V(1) 10 (1)E> 014+V(1) 10 112 011+V(2)
6 26+4*V(1) 4 105+V(1) (1)E> 10 112 011+V(2)
7 28+4*V(1) 6 106+V(1) (0)D> 112 011+V(2)
8 30+4*V(1) 8 106+V(1) 01 (0)F> 11 011+V(2)
9 32+4*V(1) 6 106+V(1) 01 <B(1) 012+V(2)
10 34+4*V(1) 4 106+V(1) <B(1) 013+V(2)
11 36+4*V(1) 2 105+V(1) <C(1) 014+V(2)
12 46+6*V(1) -8+-2*V(1) <C(1) 115+V(1) 014+V(2)
13 52+6*V(1) -6+-2*V(1) 10 (1)E> 115+V(1) 014+V(2)
<< Success! ==> defined new CTR 13 (PPA)
4395121 1951204216852 -3662574 10 (1)E> 111831285 014
== Executing PA-CTR 3, V(1)=0, V(2)=1831281, repcount=610428, factor=8/3
11720257 13875139953292 -6 104883425 (1)E> 11 014
== Executing PPA-CTR 8 (once), V(1)=4883424, V(2)=2
11720267 13875169253876 -9766862 01 (0)D> 114883428 10 11 013
== Executing PA-CTR 2, V(1)=0, V(2)=4883424, repcount=1627809, factor=8/3
31253975 98667613094774 -8 0113022473 (0)D> 11 10 11 013
== Executing PPA-CTR 9 (once), V(1)=13022471
31253990 98667691229672 -26044956 015 (0)D> 1113022475 01 11 013
== Executing PA-CTR 2, V(1)=4, V(2)=13022471, repcount=4340824, factor=8/3
83343878 701636073691288 -12 0134726597 (0)D> 113 01 11 013
== Executing PPA-CTR 12 (once), V(1)=34726596, V(2)=0
83343894 701636420957338 -69453216 01 (0)D> 1134726604 10 112 013
== Executing PA-CTR 2, V(1)=0, V(2)=34726600, repcount=11575534, factor=8/3
222250302 4989412410850486 -12 0192604273 (0)D> 112 10 112 013
== Executing PPA-CTR 13 (once), V(1)=92604272, V(2)=2
222250315 4989412966476170 -185208562 10 (1)E> 1192604277 016
== Executing PA-CTR 3, V(1)=0, V(2)=92604273, repcount=30868092, factor=8/3
592667419 35480265335046146 -10 10246944737 (1)E> 11 016
== Executing PPA-CTR 8 (once), V(1)=246944736, V(2)=4
592667429 35480266816714602 -493889490 01 (0)D> 11246944740 10 11 015
== Executing PA-CTR 2, V(1)=0, V(2)=246944736, repcount=82314913, factor=8/3
1580446385 252304106485743852 -12 01658519305 (0)D> 11 10 11 015
== Executing PPA-CTR 9 (once), V(1)=658519303
1580446400 252304110436859742 -1317038624 015 (0)D> 11658519307 01 11 015
== Executing PA-CTR 2, V(1)=4, V(2)=658519303, repcount=219506435, factor=8/3
4214523620 1794162525129379652 -14 011756051485 (0)D> 112 01 11 015
4214523621 1794162525129379654 -12 011756051486 (0)F> 11 01 11 015
4214523622 1794162525129379656 -14 011756051486 <B(1) 012 11 015
4214523623 1794162528641482628 -3512102986 <B(1) 011756051488 11 015
4214523624 1794162528641482632 -3512102988 <C(1) 011756051489 11 015
4214523625 1794162528641482638 -3512102986 10 (1)E> 011756051489 11 015
4214523626 1794162532153585616 -8 101756051490 (1)E> 11 015
4214523627 1794162532153585620 -10 101756051490 <D(0) 10 015
4214523628 1794162535665688600 -3512102990 <D(0) 101756051491 015
4214523629 1794162535665688602 -3512102992 <A(0) 101756051492 015
4214523630 1794162535665688606 -3512102994 <A(1) 101756051493 015
4214523631 1794162535665688610 -3512102992 01 (0)D> 101756051493 015
4214523632 1794162539177791596 -6 011756051494 (0)D> 015
4214523633 1794162539177791598 -8 011756051494 <A(0) 11 014
4214523634 1794162539177791600 -10 011756051493 <A(1) 10 11 014
4214523635 1794162542689894586 -3512102996 <A(1) 111756051493 10 11 014
4214523636 1794162542689894590 -3512102994 01 (0)D> 111756051493 10 11 014
>> Try to prove a PPA-CTR with 3 Vars...
0 0 0 011+V(1) (0)D> 112 011+V(3) 11 012+V(2)
1 2 2 012+V(1) (0)F> 11 011+V(3) 11 012+V(2)
2 4 0 012+V(1) <B(1) 012+V(3) 11 012+V(2)
3 8+2*V(1) -4+-2*V(1) <B(1) 014+V(1)+V(3) 11 012+V(2)
4 12+2*V(1) -6+-2*V(1) <C(1) 015+V(1)+V(3) 11 012+V(2)
5 18+2*V(1) -4+-2*V(1) 10 (1)E> 015+V(1)+V(3) 11 012+V(2)
6 28+4*V(1)+2*V(3) 6+2*V(3) 106+V(1)+V(3) (1)E> 11 012+V(2)
7 32+4*V(1)+2*V(3) 4+2*V(3) 106+V(1)+V(3) <D(0) 10 012+V(2)
8 44+6*V(1)+4*V(3) -8+-2*V(1) <D(0) 107+V(1)+V(3) 012+V(2)
9 46+6*V(1)+4*V(3) -10+-2*V(1) <A(0) 108+V(1)+V(3) 012+V(2)
10 50+6*V(1)+4*V(3) -12+-2*V(1) <A(1) 109+V(1)+V(3) 012+V(2)
11 54+6*V(1)+4*V(3) -10+-2*V(1) 01 (0)D> 109+V(1)+V(3) 012+V(2)
12 72+8*V(1)+6*V(3) 8+2*V(3) 0110+V(1)+V(3) (0)D> 012+V(2)
13 74+8*V(1)+6*V(3) 6+2*V(3) 0110+V(1)+V(3) <A(0) 11 011+V(2)
14 76+8*V(1)+6*V(3) 4+2*V(3) 019+V(1)+V(3) <A(1) 10 11 011+V(2)
15 94+10*V(1)+8*V(3) -14+-2*V(1) <A(1) 119+V(1)+V(3) 10 11 011+V(2)
16 98+10*V(1)+8*V(3) -12+-2*V(1) 01 (0)D> 119+V(1)+V(3) 10 11 011+V(2)
<< Success! ==> defined new CTR 14 (PPA)
4214523636 1794162542689894590 -3512102994 01 (0)D> 111756051493 10 11 014
== Executing PA-CTR 2, V(1)=0, V(2)=1756051489, repcount=585350497, factor=8/3
11238729600 12758489101412515776 -12 014682803977 (0)D> 112 10 11 014
11238729601 12758489101412515778 -10 014682803978 (0)F> 11 10 11 014
11238729602 12758489101412515780 -12 014682803978 <B(1) 01 10 11 014
11238729603 12758489110778123736 -9365607968 <B(1) 014682803979 10 11 014
11238729604 12758489110778123740 -9365607970 <C(1) 014682803980 10 11 014
11238729605 12758489110778123746 -9365607968 10 (1)E> 014682803980 10 11 014
11238729606 12758489120143731706 -8 104682803981 (1)E> 10 11 014
11238729607 12758489120143731708 -6 104682803982 (0)D> 11 014
11238729608 12758489120143731710 -4 104682803982 01 (0)F> 014
11238729609 12758489120143731712 -2 104682803982 01 00 (1)E> 013
11238729610 12758489120143731718 4 104682803982 01 00 103 (1)E>
11238729611 12758489120143731722 2 104682803982 01 00 103 <C(1) 01
11238729612 12758489120143731728 -4 104682803982 01 00 <C(1) 113 01
11238729613 12758489120143731734 -2 104682803982 01 10 (1)E> 113 01
11238729614 12758489120143731738 -4 104682803982 01 10 <D(0) 10 112 01
11238729615 12758489120143731740 -6 104682803982 01 <D(0) 102 112 01
11238729616 12758489120143731742 -4 104682803982 01 (0)D> 102 112 01
11238729617 12758489120143731746 0 104682803982 013 (0)D> 112 01
11238729618 12758489120143731748 2 104682803982 014 (0)F> 11 01
11238729619 12758489120143731750 0 104682803982 014 <B(1) 012
11238729620 12758489120143731758 -8 104682803982 <B(1) 016
11238729621 12758489120143731760 -10 104682803981 <C(1) 017
11238729622 12758489129509339722 -9365607972 <C(1) 114682803981 017
11238729623 12758489129509339728 -9365607970 10 (1)E> 114682803981 017
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011+V(1) (0)D> 112 10 11 014
1 2 2 012+V(1) (0)F> 11 10 11 014
2 4 0 012+V(1) <B(1) 01 10 11 014
3 8+2*V(1) -4+-2*V(1) <B(1) 013+V(1) 10 11 014
4 12+2*V(1) -6+-2*V(1) <C(1) 014+V(1) 10 11 014
5 18+2*V(1) -4+-2*V(1) 10 (1)E> 014+V(1) 10 11 014
6 26+4*V(1) 4 105+V(1) (1)E> 10 11 014
7 28+4*V(1) 6 106+V(1) (0)D> 11 014
8 30+4*V(1) 8 106+V(1) 01 (0)F> 014
9 32+4*V(1) 10 106+V(1) 01 00 (1)E> 013
10 38+4*V(1) 16 106+V(1) 01 00 103 (1)E>
11 42+4*V(1) 14 106+V(1) 01 00 103 <C(1) 01
12 48+4*V(1) 8 106+V(1) 01 00 <C(1) 113 01
13 54+4*V(1) 10 106+V(1) 01 10 (1)E> 113 01
14 58+4*V(1) 8 106+V(1) 01 10 <D(0) 10 112 01
15 60+4*V(1) 6 106+V(1) 01 <D(0) 102 112 01
16 62+4*V(1) 8 106+V(1) 01 (0)D> 102 112 01
17 66+4*V(1) 12 106+V(1) 013 (0)D> 112 01
18 68+4*V(1) 14 106+V(1) 014 (0)F> 11 01
19 70+4*V(1) 12 106+V(1) 014 <B(1) 012
20 78+4*V(1) 4 106+V(1) <B(1) 016
21 80+4*V(1) 2 105+V(1) <C(1) 017
22 90+6*V(1) -8+-2*V(1) <C(1) 115+V(1) 017
23 96+6*V(1) -6+-2*V(1) 10 (1)E> 115+V(1) 017
<< Success! ==> defined new CTR 15 (PPA)
11238729623 12758489129509339728 -9365607970 10 (1)E> 114682803981 017
== Executing PA-CTR 3, V(1)=0, V(2)=4682803977, repcount=1560934660, factor=8/3
29969945543 90727033591839217368 -10 1012487477281 (1)E> 11 017
== Executing PPA-CTR 8 (once), V(1)=12487477280, V(2)=5
29969945553 90727033666764081088 -24974954578 01 (0)D> 1112487477284 10 11 016
== Executing PA-CTR 2, V(1)=0, V(2)=12487477280, repcount=4162492427, factor=8/3
79919854677 645170016362924034134 -16 0133299939417 (0)D> 113 10 11 016
79919854678 645170016362924034136 -14 0133299939418 (0)F> 112 10 11 016
79919854679 645170016362924034138 -16 0133299939418 <B(1) 01 11 10 11 016
79919854680 645170016429523912974 -66599878852 <B(1) 0133299939419 11 10 11 016
79919854681 645170016429523912978 -66599878854 <C(1) 0133299939420 11 10 11 016
79919854682 645170016429523912984 -66599878852 10 (1)E> 0133299939420 11 10 11 016
79919854683 645170016496123791824 -12 1033299939421 (1)E> 11 10 11 016
79919854684 645170016496123791828 -14 1033299939421 <D(0) 102 11 016
79919854685 645170016562723670670 -66599878856 <D(0) 1033299939423 11 016
79919854686 645170016562723670672 -66599878858 <A(0) 1033299939424 11 016
79919854687 645170016562723670676 -66599878860 <A(1) 1033299939425 11 016
79919854688 645170016562723670680 -66599878858 01 (0)D> 1033299939425 11 016
79919854689 645170016629323549530 -8 0133299939426 (0)D> 11 016
79919854690 645170016629323549532 -6 0133299939427 (0)F> 016
79919854691 645170016629323549534 -4 0133299939427 00 (1)E> 015
79919854692 645170016629323549544 6 0133299939427 00 105 (1)E>
79919854693 645170016629323549548 4 0133299939427 00 105 <C(1) 01
79919854694 645170016629323549558 -6 0133299939427 00 <C(1) 115 01
79919854695 645170016629323549564 -4 0133299939427 10 (1)E> 115 01
79919854696 645170016629323549568 -6 0133299939427 10 <D(0) 10 114 01
79919854697 645170016629323549570 -8 0133299939427 <D(0) 102 114 01
79919854698 645170016629323549572 -6 0133299939427 (0)D> 102 114 01
79919854699 645170016629323549576 -2 0133299939429 (0)D> 114 01
79919854700 645170016629323549578 0 0133299939430 (0)F> 113 01
79919854701 645170016629323549580 -2 0133299939430 <B(1) 01 112 01
79919854702 645170016695923428440 -66599878862 <B(1) 0133299939431 112 01
79919854703 645170016695923428444 -66599878864 <C(1) 0133299939432 112 01
79919854704 645170016695923428450 -66599878862 10 (1)E> 0133299939432 112 01
79919854705 645170016762523307314 2 1033299939433 (1)E> 112 01
79919854706 645170016762523307318 0 1033299939433 <D(0) 10 11 01
79919854707 645170016829123186184 -66599878866 <D(0) 1033299939434 11 01
79919854708 645170016829123186186 -66599878868 <A(0) 1033299939435 11 01
79919854709 645170016829123186190 -66599878870 <A(1) 1033299939436 11 01
79919854710 645170016829123186194 -66599878868 01 (0)D> 1033299939436 11 01
79919854711 645170016895723065066 4 0133299939437 (0)D> 11 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (0)D> 114+V(2) [*]*
1 2 2 012+V(1) (0)F> 113+V(2) [*]*
2 4 0 012+V(1) <B(1) 01 112+V(2) [*]*
3 8+2*V(1) -4+-2*V(1) <B(1) 013+V(1) 112+V(2) [*]*
4 12+2*V(1) -6+-2*V(1) <C(1) 014+V(1) 112+V(2) [*]*
5 18+2*V(1) -4+-2*V(1) 10 (1)E> 014+V(1) 112+V(2) [*]*
6 26+4*V(1) 4 105+V(1) (1)E> 112+V(2) [*]*
7 30+4*V(1) 2 105+V(1) <D(0) 10 111+V(2) [*]*
8 40+6*V(1) -8+-2*V(1) <D(0) 106+V(1) 111+V(2) [*]*
9 42+6*V(1) -10+-2*V(1) <A(0) 107+V(1) 111+V(2) [*]*
10 46+6*V(1) -12+-2*V(1) <A(1) 108+V(1) 111+V(2) [*]*
11 50+6*V(1) -10+-2*V(1) 01 (0)D> 108+V(1) 111+V(2) [*]*
12 66+8*V(1) 6 019+V(1) (0)D> 111+V(2) [*]*
<< Success! ==> defined new CTR 16 (PA)
79919854712 645170016895723065068 6 0133299939438 (0)F> 01
79919854713 645170016895723065070 8 0133299939438 00 (1)E>
79919854714 645170016895723065074 6 0133299939438 00 <C(1) 01
79919854715 645170016895723065080 8 0133299939438 10 (1)E> 01
79919854716 645170016895723065082 10 0133299939438 102 (1)E>
79919854717 645170016895723065086 8 0133299939438 102 <C(1) 01
79919854718 645170016895723065090 4 0133299939438 <C(1) 112 01
79919854719 645170016895723065091 5 0133299939437 01 Z> 1 112 01 [stop]
Lines: 338
Top steps: 337
Macro steps: 79919854719
Basic steps: 645170016895723065091
Tape index: 5
ones: 33299939444
log10(ones ): 10.522
log10(steps ): 20.810
Run state: stop
Input to awk program:
gohalt 1
L 38
5T B1R C1L A0L D0L A1L Z1R B1L E1R D0R F0R D0R D0L : 33299939444 645170016895723065091
T 6-state TM #e from MaBu-List
M 450
pref sim
machv mbL6_e just simple
machv mbL6_e-r with repetitions reduced
machv mbL6_e-1 with tape symbol exponents
machv mbL6_e-m as 1-bck-2-macro machine
machv mbL6_e-a as 1-bck-2-macro machine with pure additive config-TRs
iam mbL6_e-a
mtype 1 0 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:48 CEST 2010
edate Tue Jul 6 22:10:50 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:48 CEST 2010