Comment: This TM produces 36109970 ones in 758650111948072 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 | E0R | 1 | left | A | 0 | right | E |
| C | D1L | F1L | 1 | left | D | 1 | left | F |
| D | B0L | C1L | 0 | left | B | 1 | left | C |
| E | B1R | A1R | 1 | right | B | 1 | right | A |
| F | C0L | Z1R | 0 | left | C | 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-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <C 01
2 5 -3 <B 012
3 8 -2 10 E> 012
4 12 2 103 E>
5 15 1 103 <C 01
6 21 -5 <C 113 01
7 23 -7 <B 01 113 01
8 26 -6 10 E> 01 113 01
9 28 -4 102 E> 113 01
10 31 -5 102 <F 10 112 01
11 35 -9 <F 103 112 01
12 37 -11 <D 104 112 01
13 39 -13 <A 105 112 01
14 40 -12 01 B> 105 112 01
15 50 -2 016 B> 112 01
16 52 0 017 A> 11 01
17 53 -1 017 <C 012
18 67 -15 <C 019
19 69 -17 <B 0110
20 72 -16 10 E> 0110
21 92 4 1011 E>
22 95 3 1011 <C 01
23 117 -19 <C 1111 01
24 119 -21 <B 01 1111 01
25 122 -20 10 E> 01 1111 01
26 124 -18 102 E> 1111 01
27 127 -19 102 <F 10 1110 01
28 131 -23 <F 103 1110 01
29 133 -25 <D 104 1110 01
30 135 -27 <A 105 1110 01
31 136 -26 01 B> 105 1110 01
32 146 -16 016 B> 1110 01
33 148 -14 017 A> 119 01
34 149 -15 017 <C 01 118 01
35 163 -29 <C 018 118 01
36 165 -31 <B 019 118 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <B 011+V(2) 114+V(1) [*]*
1 3 1 10 E> 011+V(2) 114+V(1) [*]*
2 5+2*V(2) 3+2*V(2) 102+V(2) E> 114+V(1) [*]*
3 8+2*V(2) 2+2*V(2) 102+V(2) <F 10 113+V(1) [*]*
4 12+4*V(2) -2 <F 103+V(2) 113+V(1) [*]*
5 14+4*V(2) -4 <D 104+V(2) 113+V(1) [*]*
6 16+4*V(2) -6 <A 105+V(2) 113+V(1) [*]*
7 17+4*V(2) -5 01 B> 105+V(2) 113+V(1) [*]*
8 27+6*V(2) 5+2*V(2) 016+V(2) B> 113+V(1) [*]*
9 29+6*V(2) 7+2*V(2) 017+V(2) A> 112+V(1) [*]*
10 30+6*V(2) 6+2*V(2) 017+V(2) <C 01 111+V(1) [*]*
11 44+8*V(2) -8 <C 018+V(2) 111+V(1) [*]*
12 46+8*V(2) -10 <B 019+V(2) 111+V(1) [*]*
<< Success! ==> defined new CTR 1 (PA)
36 165 -31 <B 019 118 01
== Executing PA-CTR 1, V(1)=4, V(2)=8, repcount=2, factor=8/3
60 449 -51 <B 0125 112 01
61 452 -50 10 E> 0125 112 01
62 502 0 1026 E> 112 01
63 505 -1 1026 <F 10 11 01
64 557 -53 <F 1027 11 01
65 559 -55 <D 1028 11 01
66 561 -57 <A 1029 11 01
67 562 -56 01 B> 1029 11 01
68 620 2 0130 B> 11 01
69 622 4 0131 A> 01
70 624 6 0131 10 E>
71 627 5 0131 10 <C 01
72 629 3 0131 <C 11 01
73 691 -59 <C 0131 11 01
74 693 -61 <B 0132 11 01
75 696 -60 10 E> 0132 11 01
76 760 4 1033 E> 11 01
77 763 3 1033 <F 10 01
78 829 -63 <F 1034 01
79 831 -65 <D 1035 01
80 833 -67 <A 1036 01
81 834 -66 01 B> 1036 01
82 906 6 0137 B> 01
83 907 5 0137 <A 11
84 909 3 0136 <D 10 11
85 981 -69 <D 1136 10 11
86 983 -71 <A 10 1136 10 11
87 984 -70 01 B> 10 1136 10 11
88 986 -68 012 B> 1136 10 11
89 988 -66 013 A> 1135 10 11
90 989 -67 013 <C 01 1134 10 11
91 995 -73 <C 014 1134 10 11
92 997 -75 <B 015 1134 10 11
93 1000 -74 10 E> 015 1134 10 11
94 1010 -64 106 E> 1134 10 11
95 1013 -65 106 <F 10 1133 10 11
96 1025 -77 <F 107 1133 10 11
97 1027 -79 <D 108 1133 10 11
98 1029 -81 <A 109 1133 10 11
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <A 101+V(2) 114+V(1) [*]* [*]*
1 1 1 01 B> 101+V(2) 114+V(1) [*]* [*]*
2 3+2*V(2) 3+2*V(2) 012+V(2) B> 114+V(1) [*]* [*]*
3 5+2*V(2) 5+2*V(2) 013+V(2) A> 113+V(1) [*]* [*]*
4 6+2*V(2) 4+2*V(2) 013+V(2) <C 01 112+V(1) [*]* [*]*
5 12+4*V(2) -2 <C 014+V(2) 112+V(1) [*]* [*]*
6 14+4*V(2) -4 <B 015+V(2) 112+V(1) [*]* [*]*
7 17+4*V(2) -3 10 E> 015+V(2) 112+V(1) [*]* [*]*
8 27+6*V(2) 7+2*V(2) 106+V(2) E> 112+V(1) [*]* [*]*
9 30+6*V(2) 6+2*V(2) 106+V(2) <F 10 111+V(1) [*]* [*]*
10 42+8*V(2) -6 <F 107+V(2) 111+V(1) [*]* [*]*
11 44+8*V(2) -8 <D 108+V(2) 111+V(1) [*]* [*]*
12 46+8*V(2) -10 <A 109+V(2) 111+V(1) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
98 1029 -81 <A 109 1133 10 11
== Executing PA-CTR 2, V(1)=29, V(2)=8, repcount=10, factor=8/3
218 5009 -181 <A 1089 113 10 11
219 5010 -180 01 B> 1089 113 10 11
220 5188 -2 0190 B> 113 10 11
221 5190 0 0191 A> 112 10 11
222 5191 -1 0191 <C 01 11 10 11
223 5373 -183 <C 0192 11 10 11
224 5375 -185 <B 0193 11 10 11
225 5378 -184 10 E> 0193 11 10 11
226 5564 2 1094 E> 11 10 11
227 5567 1 1094 <F 102 11
228 5755 -187 <F 1096 11
229 5757 -189 <D 1097 11
230 5759 -191 <A 1098 11
231 5760 -190 01 B> 1098 11
232 5956 6 0199 B> 11
233 5958 8 01100 A>
234 5961 7 01100 <C 01
235 6161 -193 <C 01101
236 6163 -195 <B 01102
237 6166 -194 10 E> 01102
238 6370 10 10103 E>
239 6373 9 10103 <C 01
240 6579 -197 <C 11103 01
241 6581 -199 <B 01 11103 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <A 101+V(2) 113 101+V(1) 11
1 1 1 01 B> 101+V(2) 113 101+V(1) 11
2 3+2*V(2) 3+2*V(2) 012+V(2) B> 113 101+V(1) 11
3 5+2*V(2) 5+2*V(2) 013+V(2) A> 112 101+V(1) 11
4 6+2*V(2) 4+2*V(2) 013+V(2) <C 01 11 101+V(1) 11
5 12+4*V(2) -2 <C 014+V(2) 11 101+V(1) 11
6 14+4*V(2) -4 <B 015+V(2) 11 101+V(1) 11
7 17+4*V(2) -3 10 E> 015+V(2) 11 101+V(1) 11
8 27+6*V(2) 7+2*V(2) 106+V(2) E> 11 101+V(1) 11
9 30+6*V(2) 6+2*V(2) 106+V(2) <F 102+V(1) 11
10 42+8*V(2) -6 <F 108+V(1)+V(2) 11
11 44+8*V(2) -8 <D 109+V(1)+V(2) 11
12 46+8*V(2) -10 <A 1010+V(1)+V(2) 11
13 47+8*V(2) -9 01 B> 1010+V(1)+V(2) 11
14 67+2*V(1)+10*V(2) 11+2*V(1)+2*V(2) 0111+V(1)+V(2) B> 11
15 69+2*V(1)+10*V(2) 13+2*V(1)+2*V(2) 0112+V(1)+V(2) A>
16 72+2*V(1)+10*V(2) 12+2*V(1)+2*V(2) 0112+V(1)+V(2) <C 01
17 96+4*V(1)+12*V(2) -12 <C 0113+V(1)+V(2)
18 98+4*V(1)+12*V(2) -14 <B 0114+V(1)+V(2)
19 101+4*V(1)+12*V(2) -13 10 E> 0114+V(1)+V(2)
20 129+6*V(1)+14*V(2) 15+2*V(1)+2*V(2) 1015+V(1)+V(2) E>
21 132+6*V(1)+14*V(2) 14+2*V(1)+2*V(2) 1015+V(1)+V(2) <C 01
22 162+8*V(1)+16*V(2) -16 <C 1115+V(1)+V(2) 01
23 164+8*V(1)+16*V(2) -18 <B 01 1115+V(1)+V(2) 01
<< Success! ==> defined new CTR 3 (PPA)
241 6581 -199 <B 01 11103 01
== Executing PA-CTR 1, V(1)=99, V(2)=0, repcount=34, factor=8/3
649 44049 -539 <B 01273 11 01
650 44052 -538 10 E> 01273 11 01
651 44598 8 10274 E> 11 01
652 44601 7 10274 <F 10 01
653 45149 -541 <F 10275 01
654 45151 -543 <D 10276 01
655 45153 -545 <A 10277 01
656 45154 -544 01 B> 10277 01
657 45708 10 01278 B> 01
658 45709 9 01278 <A 11
659 45711 7 01277 <D 10 11
660 46265 -547 <D 11277 10 11
661 46267 -549 <A 10 11277 10 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <B 011+V(1) 11 01
1 3 1 10 E> 011+V(1) 11 01
2 5+2*V(1) 3+2*V(1) 102+V(1) E> 11 01
3 8+2*V(1) 2+2*V(1) 102+V(1) <F 10 01
4 12+4*V(1) -2 <F 103+V(1) 01
5 14+4*V(1) -4 <D 104+V(1) 01
6 16+4*V(1) -6 <A 105+V(1) 01
7 17+4*V(1) -5 01 B> 105+V(1) 01
8 27+6*V(1) 5+2*V(1) 016+V(1) B> 01
9 28+6*V(1) 4+2*V(1) 016+V(1) <A 11
10 30+6*V(1) 2+2*V(1) 015+V(1) <D 10 11
11 40+8*V(1) -8 <D 115+V(1) 10 11
12 42+8*V(1) -10 <A 10 115+V(1) 10 11
<< Success! ==> defined new CTR 4 (PPA)
661 46267 -549 <A 10 11277 10 11
== Executing PA-CTR 2, V(1)=273, V(2)=0, repcount=92, factor=8/3
1765 318403 -1469 <A 10737 11 10 11
1766 318404 -1468 01 B> 10737 11 10 11
1767 319878 6 01738 B> 11 10 11
1768 319880 8 01739 A> 10 11
1769 319881 7 01739 <C 00 11
1770 321359 -1471 <C 01739 00 11
1771 321361 -1473 <B 01740 00 11
1772 321364 -1472 10 E> 01740 00 11
1773 322844 8 10741 E> 00 11
1774 322847 7 10741 <C 01 11
1775 324329 -1475 <C 11741 01 11
1776 324331 -1477 <B 01 11741 01 11
1777 324334 -1476 10 E> 01 11741 01 11
1778 324336 -1474 102 E> 11741 01 11
1779 324339 -1475 102 <F 10 11740 01 11
1780 324343 -1479 <F 103 11740 01 11
1781 324345 -1481 <D 104 11740 01 11
1782 324347 -1483 <A 105 11740 01 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <A 101+V(1) 11 10 [*]*
1 1 1 01 B> 101+V(1) 11 10 [*]*
2 3+2*V(1) 3+2*V(1) 012+V(1) B> 11 10 [*]*
3 5+2*V(1) 5+2*V(1) 013+V(1) A> 10 [*]*
4 6+2*V(1) 4+2*V(1) 013+V(1) <C 00 [*]*
5 12+4*V(1) -2 <C 013+V(1) 00 [*]*
6 14+4*V(1) -4 <B 014+V(1) 00 [*]*
7 17+4*V(1) -3 10 E> 014+V(1) 00 [*]*
8 25+6*V(1) 5+2*V(1) 105+V(1) E> 00 [*]*
9 28+6*V(1) 4+2*V(1) 105+V(1) <C 01 [*]*
10 38+8*V(1) -6 <C 115+V(1) 01 [*]*
11 40+8*V(1) -8 <B 01 115+V(1) 01 [*]*
12 43+8*V(1) -7 10 E> 01 115+V(1) 01 [*]*
13 45+8*V(1) -5 102 E> 115+V(1) 01 [*]*
14 48+8*V(1) -6 102 <F 10 114+V(1) 01 [*]*
15 52+8*V(1) -10 <F 103 114+V(1) 01 [*]*
16 54+8*V(1) -12 <D 104 114+V(1) 01 [*]*
17 56+8*V(1) -14 <A 105 114+V(1) 01 [*]*
<< Success! ==> defined new CTR 5 (PPA)
1782 324347 -1483 <A 105 11740 01 11
== Executing PA-CTR 2, V(1)=736, V(2)=4, repcount=246, factor=8/3
4734 2272175 -3943 <A 101973 112 01 11
4735 2272176 -3942 01 B> 101973 112 01 11
4736 2276122 4 011974 B> 112 01 11
4737 2276124 6 011975 A> 11 01 11
4738 2276125 5 011975 <C 012 11
4739 2280075 -3945 <C 011977 11
4740 2280077 -3947 <B 011978 11
4741 2280080 -3946 10 E> 011978 11
4742 2284036 10 101979 E> 11
4743 2284039 9 101979 <F 10
4744 2287997 -3949 <F 101980
4745 2287999 -3951 <D 101981
4746 2288001 -3953 <A 101982
4747 2288002 -3952 01 B> 101982
4748 2291966 12 011983 B>
4749 2291967 11 011983 <A 10
4750 2291969 9 011982 <D 102
4751 2295933 -3955 <D 111982 102
4752 2295935 -3957 <A 10 111982 102
4753 2295936 -3956 01 B> 10 111982 102
4754 2295938 -3954 012 B> 111982 102
4755 2295940 -3952 013 A> 111981 102
4756 2295941 -3953 013 <C 01 111980 102
4757 2295947 -3959 <C 014 111980 102
4758 2295949 -3961 <B 015 111980 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <A 101+V(2) 112 011+V(1) 11
1 1 1 01 B> 101+V(2) 112 011+V(1) 11
2 3+2*V(2) 3+2*V(2) 012+V(2) B> 112 011+V(1) 11
3 5+2*V(2) 5+2*V(2) 013+V(2) A> 11 011+V(1) 11
4 6+2*V(2) 4+2*V(2) 013+V(2) <C 012+V(1) 11
5 12+4*V(2) -2 <C 015+V(1)+V(2) 11
6 14+4*V(2) -4 <B 016+V(1)+V(2) 11
7 17+4*V(2) -3 10 E> 016+V(1)+V(2) 11
8 29+2*V(1)+6*V(2) 9+2*V(1)+2*V(2) 107+V(1)+V(2) E> 11
9 32+2*V(1)+6*V(2) 8+2*V(1)+2*V(2) 107+V(1)+V(2) <F 10
10 46+4*V(1)+8*V(2) -6 <F 108+V(1)+V(2)
11 48+4*V(1)+8*V(2) -8 <D 109+V(1)+V(2)
12 50+4*V(1)+8*V(2) -10 <A 1010+V(1)+V(2)
13 51+4*V(1)+8*V(2) -9 01 B> 1010+V(1)+V(2)
14 71+6*V(1)+10*V(2) 11+2*V(1)+2*V(2) 0111+V(1)+V(2) B>
15 72+6*V(1)+10*V(2) 10+2*V(1)+2*V(2) 0111+V(1)+V(2) <A 10
16 74+6*V(1)+10*V(2) 8+2*V(1)+2*V(2) 0110+V(1)+V(2) <D 102
17 94+8*V(1)+12*V(2) -12 <D 1110+V(1)+V(2) 102
18 96+8*V(1)+12*V(2) -14 <A 10 1110+V(1)+V(2) 102
19 97+8*V(1)+12*V(2) -13 01 B> 10 1110+V(1)+V(2) 102
20 99+8*V(1)+12*V(2) -11 012 B> 1110+V(1)+V(2) 102
21 101+8*V(1)+12*V(2) -9 013 A> 119+V(1)+V(2) 102
22 102+8*V(1)+12*V(2) -10 013 <C 01 118+V(1)+V(2) 102
23 108+8*V(1)+12*V(2) -16 <C 014 118+V(1)+V(2) 102
24 110+8*V(1)+12*V(2) -18 <B 015 118+V(1)+V(2) 102
<< Success! ==> defined new CTR 6 (PPA)
4758 2295949 -3961 <B 015 111980 102
== Executing PA-CTR 1, V(1)=1976, V(2)=4, repcount=659, factor=8/3
12666 16223255 -10551 <B 015277 113 102
12667 16223258 -10550 10 E> 015277 113 102
12668 16233812 4 105278 E> 113 102
12669 16233815 3 105278 <F 10 112 102
12670 16244371 -10553 <F 105279 112 102
12671 16244373 -10555 <D 105280 112 102
12672 16244375 -10557 <A 105281 112 102
12673 16244376 -10556 01 B> 105281 112 102
12674 16254938 6 015282 B> 112 102
12675 16254940 8 015283 A> 11 102
12676 16254941 7 015283 <C 01 102
12677 16265507 -10559 <C 015284 102
12678 16265509 -10561 <B 015285 102
12679 16265512 -10560 10 E> 015285 102
12680 16276082 10 105286 E> 102
12681 16276084 12 105286 11 B> 10
12682 16276086 14 105286 11 01 B>
12683 16276087 13 105286 11 01 <A 10
12684 16276089 11 105286 11 <D 102
12685 16276091 9 105286 <F 11 102
12686 16286663 -10563 <F 105286 11 102
12687 16286665 -10565 <D 105287 11 102
12688 16286667 -10567 <A 105288 11 102
12689 16286668 -10566 01 B> 105288 11 102
12690 16297244 10 015289 B> 11 102
12691 16297246 12 015290 A> 102
12692 16297247 11 015290 <C 00 10
12693 16307827 -10569 <C 015290 00 10
12694 16307829 -10571 <B 015291 00 10
12695 16307832 -10570 10 E> 015291 00 10
12696 16318414 12 105292 E> 00 10
12697 16318417 11 105292 <C 01 10
12698 16329001 -10573 <C 115292 01 10
12699 16329003 -10575 <B 01 115292 01 10
12700 16329006 -10574 10 E> 01 115292 01 10
12701 16329008 -10572 102 E> 115292 01 10
12702 16329011 -10573 102 <F 10 115291 01 10
12703 16329015 -10577 <F 103 115291 01 10
12704 16329017 -10579 <D 104 115291 01 10
12705 16329019 -10581 <A 105 115291 01 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <B 011+V(1) 113 102
1 3 1 10 E> 011+V(1) 113 102
2 5+2*V(1) 3+2*V(1) 102+V(1) E> 113 102
3 8+2*V(1) 2+2*V(1) 102+V(1) <F 10 112 102
4 12+4*V(1) -2 <F 103+V(1) 112 102
5 14+4*V(1) -4 <D 104+V(1) 112 102
6 16+4*V(1) -6 <A 105+V(1) 112 102
7 17+4*V(1) -5 01 B> 105+V(1) 112 102
8 27+6*V(1) 5+2*V(1) 016+V(1) B> 112 102
9 29+6*V(1) 7+2*V(1) 017+V(1) A> 11 102
10 30+6*V(1) 6+2*V(1) 017+V(1) <C 01 102
11 44+8*V(1) -8 <C 018+V(1) 102
12 46+8*V(1) -10 <B 019+V(1) 102
13 49+8*V(1) -9 10 E> 019+V(1) 102
14 67+10*V(1) 9+2*V(1) 1010+V(1) E> 102
15 69+10*V(1) 11+2*V(1) 1010+V(1) 11 B> 10
16 71+10*V(1) 13+2*V(1) 1010+V(1) 11 01 B>
17 72+10*V(1) 12+2*V(1) 1010+V(1) 11 01 <A 10
18 74+10*V(1) 10+2*V(1) 1010+V(1) 11 <D 102
19 76+10*V(1) 8+2*V(1) 1010+V(1) <F 11 102
20 96+12*V(1) -12 <F 1010+V(1) 11 102
21 98+12*V(1) -14 <D 1011+V(1) 11 102
22 100+12*V(1) -16 <A 1012+V(1) 11 102
23 101+12*V(1) -15 01 B> 1012+V(1) 11 102
24 125+14*V(1) 9+2*V(1) 0113+V(1) B> 11 102
25 127+14*V(1) 11+2*V(1) 0114+V(1) A> 102
26 128+14*V(1) 10+2*V(1) 0114+V(1) <C 00 10
27 156+16*V(1) -18 <C 0114+V(1) 00 10
28 158+16*V(1) -20 <B 0115+V(1) 00 10
29 161+16*V(1) -19 10 E> 0115+V(1) 00 10
30 191+18*V(1) 11+2*V(1) 1016+V(1) E> 00 10
31 194+18*V(1) 10+2*V(1) 1016+V(1) <C 01 10
32 226+20*V(1) -22 <C 1116+V(1) 01 10
33 228+20*V(1) -24 <B 01 1116+V(1) 01 10
34 231+20*V(1) -23 10 E> 01 1116+V(1) 01 10
35 233+20*V(1) -21 102 E> 1116+V(1) 01 10
36 236+20*V(1) -22 102 <F 10 1115+V(1) 01 10
37 240+20*V(1) -26 <F 103 1115+V(1) 01 10
38 242+20*V(1) -28 <D 104 1115+V(1) 01 10
39 244+20*V(1) -30 <A 105 1115+V(1) 01 10
<< Success! ==> defined new CTR 7 (PPA)
12705 16329019 -10581 <A 105 115291 01 10
== Executing PA-CTR 2, V(1)=5287, V(2)=4, repcount=1763, factor=8/3
33861 115871525 -28211 <A 1014109 112 01 10
33862 115871526 -28210 01 B> 1014109 112 01 10
33863 115899744 8 0114110 B> 112 01 10
33864 115899746 10 0114111 A> 11 01 10
33865 115899747 9 0114111 <C 012 10
33866 115927969 -28213 <C 0114113 10
33867 115927971 -28215 <B 0114114 10
33868 115927974 -28214 10 E> 0114114 10
33869 115956202 14 1014115 E> 10
33870 115956204 16 1014115 11 B>
33871 115956205 15 1014115 11 <A 10
33872 115956207 13 1014115 <F 102
33873 115984437 -28217 <F 1014117
33874 115984439 -28219 <D 1014118
33875 115984441 -28221 <A 1014119
33876 115984442 -28220 01 B> 1014119
33877 116012680 18 0114120 B>
33878 116012681 17 0114120 <A 10
33879 116012683 15 0114119 <D 102
33880 116040921 -28223 <D 1114119 102
33881 116040923 -28225 <A 10 1114119 102
33882 116040924 -28224 01 B> 10 1114119 102
33883 116040926 -28222 012 B> 1114119 102
33884 116040928 -28220 013 A> 1114118 102
33885 116040929 -28221 013 <C 01 1114117 102
33886 116040935 -28227 <C 014 1114117 102
33887 116040937 -28229 <B 015 1114117 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <A 101+V(2) 112 011+V(1) 10
1 1 1 01 B> 101+V(2) 112 011+V(1) 10
2 3+2*V(2) 3+2*V(2) 012+V(2) B> 112 011+V(1) 10
3 5+2*V(2) 5+2*V(2) 013+V(2) A> 11 011+V(1) 10
4 6+2*V(2) 4+2*V(2) 013+V(2) <C 012+V(1) 10
5 12+4*V(2) -2 <C 015+V(1)+V(2) 10
6 14+4*V(2) -4 <B 016+V(1)+V(2) 10
7 17+4*V(2) -3 10 E> 016+V(1)+V(2) 10
8 29+2*V(1)+6*V(2) 9+2*V(1)+2*V(2) 107+V(1)+V(2) E> 10
9 31+2*V(1)+6*V(2) 11+2*V(1)+2*V(2) 107+V(1)+V(2) 11 B>
10 32+2*V(1)+6*V(2) 10+2*V(1)+2*V(2) 107+V(1)+V(2) 11 <A 10
11 34+2*V(1)+6*V(2) 8+2*V(1)+2*V(2) 107+V(1)+V(2) <F 102
12 48+4*V(1)+8*V(2) -6 <F 109+V(1)+V(2)
13 50+4*V(1)+8*V(2) -8 <D 1010+V(1)+V(2)
14 52+4*V(1)+8*V(2) -10 <A 1011+V(1)+V(2)
15 53+4*V(1)+8*V(2) -9 01 B> 1011+V(1)+V(2)
16 75+6*V(1)+10*V(2) 13+2*V(1)+2*V(2) 0112+V(1)+V(2) B>
17 76+6*V(1)+10*V(2) 12+2*V(1)+2*V(2) 0112+V(1)+V(2) <A 10
18 78+6*V(1)+10*V(2) 10+2*V(1)+2*V(2) 0111+V(1)+V(2) <D 102
19 100+8*V(1)+12*V(2) -12 <D 1111+V(1)+V(2) 102
20 102+8*V(1)+12*V(2) -14 <A 10 1111+V(1)+V(2) 102
21 103+8*V(1)+12*V(2) -13 01 B> 10 1111+V(1)+V(2) 102
22 105+8*V(1)+12*V(2) -11 012 B> 1111+V(1)+V(2) 102
23 107+8*V(1)+12*V(2) -9 013 A> 1110+V(1)+V(2) 102
24 108+8*V(1)+12*V(2) -10 013 <C 01 119+V(1)+V(2) 102
25 114+8*V(1)+12*V(2) -16 <C 014 119+V(1)+V(2) 102
26 116+8*V(1)+12*V(2) -18 <B 015 119+V(1)+V(2) 102
<< Success! ==> defined new CTR 8 (PPA)
33887 116040937 -28229 <B 015 1114117 102
== Executing PA-CTR 1, V(1)=14113, V(2)=4, repcount=4705, factor=8/3
90347 824642167 -75279 <B 0137645 112 102
90348 824642170 -75278 10 E> 0137645 112 102
90349 824717460 12 1037646 E> 112 102
90350 824717463 11 1037646 <F 10 11 102
90351 824792755 -75281 <F 1037647 11 102
90352 824792757 -75283 <D 1037648 11 102
90353 824792759 -75285 <A 1037649 11 102
90354 824792760 -75284 01 B> 1037649 11 102
90355 824868058 14 0137650 B> 11 102
90356 824868060 16 0137651 A> 102
90357 824868061 15 0137651 <C 00 10
90358 824943363 -75287 <C 0137651 00 10
90359 824943365 -75289 <B 0137652 00 10
90360 824943368 -75288 10 E> 0137652 00 10
90361 825018672 16 1037653 E> 00 10
90362 825018675 15 1037653 <C 01 10
90363 825093981 -75291 <C 1137653 01 10
90364 825093983 -75293 <B 01 1137653 01 10
90365 825093986 -75292 10 E> 01 1137653 01 10
90366 825093988 -75290 102 E> 1137653 01 10
90367 825093991 -75291 102 <F 10 1137652 01 10
90368 825093995 -75295 <F 103 1137652 01 10
90369 825093997 -75297 <D 104 1137652 01 10
90370 825093999 -75299 <A 105 1137652 01 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <B 011+V(2) 112 102+V(1)
1 3 1 10 E> 011+V(2) 112 102+V(1)
2 5+2*V(2) 3+2*V(2) 102+V(2) E> 112 102+V(1)
3 8+2*V(2) 2+2*V(2) 102+V(2) <F 10 11 102+V(1)
4 12+4*V(2) -2 <F 103+V(2) 11 102+V(1)
5 14+4*V(2) -4 <D 104+V(2) 11 102+V(1)
6 16+4*V(2) -6 <A 105+V(2) 11 102+V(1)
7 17+4*V(2) -5 01 B> 105+V(2) 11 102+V(1)
8 27+6*V(2) 5+2*V(2) 016+V(2) B> 11 102+V(1)
9 29+6*V(2) 7+2*V(2) 017+V(2) A> 102+V(1)
10 30+6*V(2) 6+2*V(2) 017+V(2) <C 00 101+V(1)
11 44+8*V(2) -8 <C 017+V(2) 00 101+V(1)
12 46+8*V(2) -10 <B 018+V(2) 00 101+V(1)
13 49+8*V(2) -9 10 E> 018+V(2) 00 101+V(1)
14 65+10*V(2) 7+2*V(2) 109+V(2) E> 00 101+V(1)
15 68+10*V(2) 6+2*V(2) 109+V(2) <C 01 101+V(1)
16 86+12*V(2) -12 <C 119+V(2) 01 101+V(1)
17 88+12*V(2) -14 <B 01 119+V(2) 01 101+V(1)
18 91+12*V(2) -13 10 E> 01 119+V(2) 01 101+V(1)
19 93+12*V(2) -11 102 E> 119+V(2) 01 101+V(1)
20 96+12*V(2) -12 102 <F 10 118+V(2) 01 101+V(1)
21 100+12*V(2) -16 <F 103 118+V(2) 01 101+V(1)
22 102+12*V(2) -18 <D 104 118+V(2) 01 101+V(1)
23 104+12*V(2) -20 <A 105 118+V(2) 01 101+V(1)
<< Success! ==> defined new CTR 9 (PPA)
90370 825093999 -75299 <A 105 1137652 01 10
== Executing PA-CTR 2, V(1)=37648, V(2)=4, repcount=12550, factor=8/3
240970 5865751299 -200799 <A 10100405 112 01 10
== Executing PPA-CTR 8 (once), V(1)=0, V(2)=100404
240996 5866956263 -200817 <B 015 11100413 102
== Executing PA-CTR 1, V(1)=100409, V(2)=4, repcount=33470, factor=8/3
642636 41716204683 -535517 <B 01267765 113 102
== Executing PPA-CTR 7 (once), V(1)=267764
642675 41721560207 -535547 <A 105 11267779 01 10
== Executing PA-CTR 2, V(1)=267775, V(2)=4, repcount=89259, factor=8/3
1713783 296675076713 -1428137 <A 10714077 112 01 10
== Executing PPA-CTR 8 (once), V(1)=0, V(2)=714076
1713809 296683645741 -1428155 <B 015 11714085 102
== Executing PA-CTR 1, V(1)=714081, V(2)=4, repcount=238028, factor=8/3
4570145 2109729116117 -3808435 <B 011904229 11 102
4570146 2109729116120 -3808434 10 E> 011904229 11 102
4570147 2109732924578 24 101904230 E> 11 102
4570148 2109732924581 23 101904230 <F 103
4570149 2109736733041 -3808437 <F 101904233
4570150 2109736733043 -3808439 <D 101904234
4570151 2109736733045 -3808441 <A 101904235
4570152 2109736733046 -3808440 01 B> 101904235
4570153 2109740541516 30 011904236 B>
4570154 2109740541517 29 011904236 <A 10
4570155 2109740541519 27 011904235 <D 102
4570156 2109744349989 -3808443 <D 111904235 102
4570157 2109744349991 -3808445 <A 10 111904235 102
4570158 2109744349992 -3808444 01 B> 10 111904235 102
4570159 2109744349994 -3808442 012 B> 111904235 102
4570160 2109744349996 -3808440 013 A> 111904234 102
4570161 2109744349997 -3808441 013 <C 01 111904233 102
4570162 2109744350003 -3808447 <C 014 111904233 102
4570163 2109744350005 -3808449 <B 015 111904233 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <B 011+V(2) 11 101+V(1)
1 3 1 10 E> 011+V(2) 11 101+V(1)
2 5+2*V(2) 3+2*V(2) 102+V(2) E> 11 101+V(1)
3 8+2*V(2) 2+2*V(2) 102+V(2) <F 102+V(1)
4 12+4*V(2) -2 <F 104+V(1)+V(2)
5 14+4*V(2) -4 <D 105+V(1)+V(2)
6 16+4*V(2) -6 <A 106+V(1)+V(2)
7 17+4*V(2) -5 01 B> 106+V(1)+V(2)
8 29+2*V(1)+6*V(2) 7+2*V(1)+2*V(2) 017+V(1)+V(2) B>
9 30+2*V(1)+6*V(2) 6+2*V(1)+2*V(2) 017+V(1)+V(2) <A 10
10 32+2*V(1)+6*V(2) 4+2*V(1)+2*V(2) 016+V(1)+V(2) <D 102
11 44+4*V(1)+8*V(2) -8 <D 116+V(1)+V(2) 102
12 46+4*V(1)+8*V(2) -10 <A 10 116+V(1)+V(2) 102
13 47+4*V(1)+8*V(2) -9 01 B> 10 116+V(1)+V(2) 102
14 49+4*V(1)+8*V(2) -7 012 B> 116+V(1)+V(2) 102
15 51+4*V(1)+8*V(2) -5 013 A> 115+V(1)+V(2) 102
16 52+4*V(1)+8*V(2) -6 013 <C 01 114+V(1)+V(2) 102
17 58+4*V(1)+8*V(2) -12 <C 014 114+V(1)+V(2) 102
18 60+4*V(1)+8*V(2) -14 <B 015 114+V(1)+V(2) 102
<< Success! ==> defined new CTR 10 (PPA)
4570163 2109744350005 -3808449 <B 015 111904233 102
== Executing PA-CTR 1, V(1)=1904229, V(2)=4, repcount=634744, factor=8/3
12187091 15002571805381 -10155889 <B 015077957 11 102
== Executing PPA-CTR 10 (once), V(1)=1, V(2)=5077956
12187109 15002612429093 -10155903 <B 015 115077961 102
== Executing PA-CTR 1, V(1)=5077957, V(2)=4, repcount=1692653, factor=8/3
32498945 106685064000219 -27082433 <B 0113541229 112 102
== Executing PPA-CTR 9 (once), V(1)=0, V(2)=13541228
32498968 106685226495059 -27082453 <A 105 1113541236 01 10
== Executing PA-CTR 2, V(1)=13541232, V(2)=4, repcount=4513745, factor=8/3
86663908 758650039728129 -72219903 <A 1036109965 11 01 10
86663909 758650039728130 -72219902 01 B> 1036109965 11 01 10
86663910 758650111948060 28 0136109966 B> 11 01 10
86663911 758650111948062 30 0136109967 A> 01 10
86663912 758650111948064 32 0136109967 10 E> 10
86663913 758650111948066 34 0136109967 10 11 B>
86663914 758650111948067 33 0136109967 10 11 <A 10
86663915 758650111948069 31 0136109967 10 <F 102
86663916 758650111948071 29 0136109967 <F 103
86663917 758650111948072 30 0136109967 Z> 103
86663917 758650111948072 30 0136109967 Z> 103 [stop]
Lines: 287
Top steps: 285
Macro steps: 86663917
Basic steps: 758650111948072
Tape index: 30
ones: 36109970
log10(ones ): 7.558
log10(steps ): 14.880
Run state: stop
Input to awk program:
gohalt 1
L 42
5T B1R C0L A1L E0R D1L F1L B0L C1L B1R A1R C0L Z1R : 36109970 758650111948072
T 6-state TM #c from MaBu-List
M 450
pref sim
machv mbL6_c just simple
machv mbL6_c-r with repetitions reduced
machv mbL6_c-1 with tape symbol exponents
machv mbL6_c-m as 2-macro machine
machv mbL6_c-a as 2-macro machine with pure additive config-TRs
iam mbL6_c-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:42 CEST 2010
edate Tue Jul 6 22:10:43 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:42 CEST 2010