Comment: This TM produces 36109969 ones in 1137975066814256 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 | F0L | 1 | left | D | 0 | left | F |
| D | B0L | C1L | 0 | left | B | 1 | left | C |
| E | B1R | A1R | 1 | right | B | 1 | right | A |
| F | B1R | Z1R | 1 | right | B | 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 5 -3 <B(01) 01
2 10 0 10 (10)E> 01
3 12 2 102 (10)E>
4 17 -1 102 <C(11) 01
5 21 -5 <C(11) 112 01
6 23 -7 <B(01) 113 01
7 28 -4 10 (10)E> 113 01
8 35 -7 10 <F(00) 10 112 01
9 39 -9 <F(00) 102 112 01
10 43 -11 <D(10) 103 112 01
11 45 -13 <A(10) 104 112 01
12 48 -10 01 (01)B> 104 112 01
13 56 -2 015 (01)B> 112 01
14 58 0 016 (01)A> 11 01
15 63 -3 016 <C(01) 012
16 87 -15 <C(01) 018
17 89 -17 <B(01) 019
18 94 -14 10 (10)E> 019
19 112 4 1010 (10)E>
20 117 1 1010 <C(11) 01
21 137 -19 <C(11) 1110 01
22 139 -21 <B(01) 1111 01
23 144 -18 10 (10)E> 1111 01
24 151 -21 10 <F(00) 10 1110 01
25 155 -23 <F(00) 102 1110 01
26 159 -25 <D(10) 103 1110 01
27 161 -27 <A(10) 104 1110 01
28 164 -24 01 (01)B> 104 1110 01
29 172 -16 015 (01)B> 1110 01
30 174 -14 016 (01)A> 119 01
31 179 -17 016 <C(01) 01 118 01
32 203 -29 <C(01) 017 118 01
33 205 -31 <B(01) 018 118 01
34 210 -28 10 (10)E> 018 118 01
35 226 -12 109 (10)E> 118 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) (10)E> 114+V(2) [*]*
1 7 -3 101+V(1) <F(00) 10 113+V(2) [*]*
2 11+4*V(1) -5+-2*V(1) <F(00) 102+V(1) 113+V(2) [*]*
3 15+4*V(1) -7+-2*V(1) <D(10) 103+V(1) 113+V(2) [*]*
4 17+4*V(1) -9+-2*V(1) <A(10) 104+V(1) 113+V(2) [*]*
5 20+4*V(1) -6+-2*V(1) 01 (01)B> 104+V(1) 113+V(2) [*]*
6 28+6*V(1) 2 015+V(1) (01)B> 113+V(2) [*]*
7 30+6*V(1) 4 016+V(1) (01)A> 112+V(2) [*]*
8 35+6*V(1) 1 016+V(1) <C(01) 01 111+V(2) [*]*
9 59+10*V(1) -11+-2*V(1) <C(01) 017+V(1) 111+V(2) [*]*
10 61+10*V(1) -13+-2*V(1) <B(01) 018+V(1) 111+V(2) [*]*
11 66+10*V(1) -10+-2*V(1) 10 (10)E> 018+V(1) 111+V(2) [*]*
12 82+12*V(1) 6 109+V(1) (10)E> 111+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
35 226 -12 109 (10)E> 118 01
== Executing PA-CTR 1, V(1)=8, V(2)=4, repcount=2, factor=8/3
59 678 0 1025 (10)E> 112 01
60 685 -3 1025 <F(00) 10 11 01
61 785 -53 <F(00) 1026 11 01
62 789 -55 <D(10) 1027 11 01
63 791 -57 <A(10) 1028 11 01
64 794 -54 01 (01)B> 1028 11 01
65 850 2 0129 (01)B> 11 01
66 852 4 0130 (01)A> 01
67 854 6 0131 (10)E>
68 859 3 0131 <C(11) 01
69 863 1 0130 <C(01) 11 01
70 983 -59 <C(01) 0130 11 01
71 985 -61 <B(01) 0131 11 01
72 990 -58 10 (10)E> 0131 11 01
73 1052 4 1032 (10)E> 11 01
74 1059 1 1032 <F(00) 10 01
75 1187 -63 <F(00) 1033 01
76 1191 -65 <D(10) 1034 01
77 1193 -67 <A(10) 1035 01
78 1196 -64 01 (01)B> 1035 01
79 1266 6 0136 (01)B> 01
80 1269 3 0136 <D(10) 11
81 1271 1 0135 <D(11) 10 11
82 1341 -69 <D(11) 1135 10 11
83 1343 -71 <A(10) 1136 10 11
84 1346 -68 01 (01)B> 1136 10 11
85 1348 -66 012 (01)A> 1135 10 11
86 1353 -69 012 <C(01) 01 1134 10 11
87 1361 -73 <C(01) 013 1134 10 11
88 1363 -75 <B(01) 014 1134 10 11
89 1368 -72 10 (10)E> 014 1134 10 11
90 1376 -64 105 (10)E> 1134 10 11
91 1383 -67 105 <F(00) 10 1133 10 11
92 1403 -77 <F(00) 106 1133 10 11
93 1407 -79 <D(10) 107 1133 10 11
94 1409 -81 <A(10) 108 1133 10 11
95 1412 -78 01 (01)B> 108 1133 10 11
96 1428 -62 019 (01)B> 1133 10 11
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011+V(1) (01)B> 114+V(2) [*]* [*]*
1 2 2 012+V(1) (01)A> 113+V(2) [*]* [*]*
2 7 -1 012+V(1) <C(01) 01 112+V(2) [*]* [*]*
3 15+4*V(1) -5+-2*V(1) <C(01) 013+V(1) 112+V(2) [*]* [*]*
4 17+4*V(1) -7+-2*V(1) <B(01) 014+V(1) 112+V(2) [*]* [*]*
5 22+4*V(1) -4+-2*V(1) 10 (10)E> 014+V(1) 112+V(2) [*]* [*]*
6 30+6*V(1) 4 105+V(1) (10)E> 112+V(2) [*]* [*]*
7 37+6*V(1) 1 105+V(1) <F(00) 10 111+V(2) [*]* [*]*
8 57+10*V(1) -9+-2*V(1) <F(00) 106+V(1) 111+V(2) [*]* [*]*
9 61+10*V(1) -11+-2*V(1) <D(10) 107+V(1) 111+V(2) [*]* [*]*
10 63+10*V(1) -13+-2*V(1) <A(10) 108+V(1) 111+V(2) [*]* [*]*
11 66+10*V(1) -10+-2*V(1) 01 (01)B> 108+V(1) 111+V(2) [*]* [*]*
12 82+12*V(1) 6 019+V(1) (01)B> 111+V(2) [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
96 1428 -62 019 (01)B> 1133 10 11
== Executing PA-CTR 2, V(1)=8, V(2)=29, repcount=10, factor=8/3
216 7528 -2 0189 (01)B> 113 10 11
217 7530 0 0190 (01)A> 112 10 11
218 7535 -3 0190 <C(01) 01 11 10 11
219 7895 -183 <C(01) 0191 11 10 11
220 7897 -185 <B(01) 0192 11 10 11
221 7902 -182 10 (10)E> 0192 11 10 11
222 8086 2 1093 (10)E> 11 10 11
223 8093 -1 1093 <F(00) 102 11
224 8465 -187 <F(00) 1095 11
225 8469 -189 <D(10) 1096 11
226 8471 -191 <A(10) 1097 11
227 8474 -188 01 (01)B> 1097 11
228 8668 6 0198 (01)B> 11
229 8670 8 0199 (01)A>
230 8677 5 0199 <C(01) 01
231 9073 -193 <C(01) 01100
232 9075 -195 <B(01) 01101
233 9080 -192 10 (10)E> 01101
234 9282 10 10102 (10)E>
235 9287 7 10102 <C(11) 01
236 9491 -197 <C(11) 11102 01
237 9493 -199 <B(01) 11103 01
238 9498 -196 10 (10)E> 11103 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (01)B> 113 101+V(2) 11
1 2 2 012+V(1) (01)A> 112 101+V(2) 11
2 7 -1 012+V(1) <C(01) 01 11 101+V(2) 11
3 15+4*V(1) -5+-2*V(1) <C(01) 013+V(1) 11 101+V(2) 11
4 17+4*V(1) -7+-2*V(1) <B(01) 014+V(1) 11 101+V(2) 11
5 22+4*V(1) -4+-2*V(1) 10 (10)E> 014+V(1) 11 101+V(2) 11
6 30+6*V(1) 4 105+V(1) (10)E> 11 101+V(2) 11
7 37+6*V(1) 1 105+V(1) <F(00) 102+V(2) 11
8 57+10*V(1) -9+-2*V(1) <F(00) 107+V(1)+V(2) 11
9 61+10*V(1) -11+-2*V(1) <D(10) 108+V(1)+V(2) 11
10 63+10*V(1) -13+-2*V(1) <A(10) 109+V(1)+V(2) 11
11 66+10*V(1) -10+-2*V(1) 01 (01)B> 109+V(1)+V(2) 11
12 84+12*V(1)+2*V(2) 8+2*V(2) 0110+V(1)+V(2) (01)B> 11
13 86+12*V(1)+2*V(2) 10+2*V(2) 0111+V(1)+V(2) (01)A>
14 93+12*V(1)+2*V(2) 7+2*V(2) 0111+V(1)+V(2) <C(01) 01
15 137+16*V(1)+6*V(2) -15+-2*V(1) <C(01) 0112+V(1)+V(2)
16 139+16*V(1)+6*V(2) -17+-2*V(1) <B(01) 0113+V(1)+V(2)
17 144+16*V(1)+6*V(2) -14+-2*V(1) 10 (10)E> 0113+V(1)+V(2)
18 170+18*V(1)+8*V(2) 12+2*V(2) 1014+V(1)+V(2) (10)E>
19 175+18*V(1)+8*V(2) 9+2*V(2) 1014+V(1)+V(2) <C(11) 01
20 203+20*V(1)+10*V(2) -19+-2*V(1) <C(11) 1114+V(1)+V(2) 01
21 205+20*V(1)+10*V(2) -21+-2*V(1) <B(01) 1115+V(1)+V(2) 01
22 210+20*V(1)+10*V(2) -18+-2*V(1) 10 (10)E> 1115+V(1)+V(2) 01
<< Success! ==> defined new CTR 3 (PPA)
238 9498 -196 10 (10)E> 11103 01
== Executing PA-CTR 1, V(1)=0, V(2)=99, repcount=34, factor=8/3
646 66142 8 10273 (10)E> 11 01
647 66149 5 10273 <F(00) 10 01
648 67241 -541 <F(00) 10274 01
649 67245 -543 <D(10) 10275 01
650 67247 -545 <A(10) 10276 01
651 67250 -542 01 (01)B> 10276 01
652 67802 10 01277 (01)B> 01
653 67805 7 01277 <D(10) 11
654 67807 5 01276 <D(11) 10 11
655 68359 -547 <D(11) 11276 10 11
656 68361 -549 <A(10) 11277 10 11
657 68364 -546 01 (01)B> 11277 10 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)E> 11 01
1 7 -3 101+V(1) <F(00) 10 01
2 11+4*V(1) -5+-2*V(1) <F(00) 102+V(1) 01
3 15+4*V(1) -7+-2*V(1) <D(10) 103+V(1) 01
4 17+4*V(1) -9+-2*V(1) <A(10) 104+V(1) 01
5 20+4*V(1) -6+-2*V(1) 01 (01)B> 104+V(1) 01
6 28+6*V(1) 2 015+V(1) (01)B> 01
7 31+6*V(1) -1 015+V(1) <D(10) 11
8 33+6*V(1) -3 014+V(1) <D(11) 10 11
9 41+8*V(1) -11+-2*V(1) <D(11) 114+V(1) 10 11
10 43+8*V(1) -13+-2*V(1) <A(10) 115+V(1) 10 11
11 46+8*V(1) -10+-2*V(1) 01 (01)B> 115+V(1) 10 11
<< Success! ==> defined new CTR 4 (PPA)
657 68364 -546 01 (01)B> 11277 10 11
== Executing PA-CTR 2, V(1)=0, V(2)=273, repcount=92, factor=8/3
1761 477764 6 01737 (01)B> 11 10 11
1762 477766 8 01738 (01)A> 10 11
1763 477771 5 01738 <C(01) 00 11
1764 480723 -1471 <C(01) 01738 00 11
1765 480725 -1473 <B(01) 01739 00 11
1766 480730 -1470 10 (10)E> 01739 00 11
1767 482208 8 10740 (10)E> 00 11
1768 482213 5 10740 <C(11) 01 11
1769 483693 -1475 <C(11) 11740 01 11
1770 483695 -1477 <B(01) 11741 01 11
1771 483700 -1474 10 (10)E> 11741 01 11
1772 483707 -1477 10 <F(00) 10 11740 01 11
1773 483711 -1479 <F(00) 102 11740 01 11
1774 483715 -1481 <D(10) 103 11740 01 11
1775 483717 -1483 <A(10) 104 11740 01 11
1776 483720 -1480 01 (01)B> 104 11740 01 11
1777 483728 -1472 015 (01)B> 11740 01 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011+V(1) (01)B> 11 10 [*]*
1 2 2 012+V(1) (01)A> 10 [*]*
2 7 -1 012+V(1) <C(01) 00 [*]*
3 15+4*V(1) -5+-2*V(1) <C(01) 012+V(1) 00 [*]*
4 17+4*V(1) -7+-2*V(1) <B(01) 013+V(1) 00 [*]*
5 22+4*V(1) -4+-2*V(1) 10 (10)E> 013+V(1) 00 [*]*
6 28+6*V(1) 2 104+V(1) (10)E> 00 [*]*
7 33+6*V(1) -1 104+V(1) <C(11) 01 [*]*
8 41+8*V(1) -9+-2*V(1) <C(11) 114+V(1) 01 [*]*
9 43+8*V(1) -11+-2*V(1) <B(01) 115+V(1) 01 [*]*
10 48+8*V(1) -8+-2*V(1) 10 (10)E> 115+V(1) 01 [*]*
11 55+8*V(1) -11+-2*V(1) 10 <F(00) 10 114+V(1) 01 [*]*
12 59+8*V(1) -13+-2*V(1) <F(00) 102 114+V(1) 01 [*]*
13 63+8*V(1) -15+-2*V(1) <D(10) 103 114+V(1) 01 [*]*
14 65+8*V(1) -17+-2*V(1) <A(10) 104 114+V(1) 01 [*]*
15 68+8*V(1) -14+-2*V(1) 01 (01)B> 104 114+V(1) 01 [*]*
16 76+8*V(1) -6+-2*V(1) 015 (01)B> 114+V(1) 01 [*]*
<< Success! ==> defined new CTR 5 (PPA)
1777 483728 -1472 015 (01)B> 11740 01 11
== Executing PA-CTR 2, V(1)=4, V(2)=736, repcount=246, factor=8/3
4729 3408668 4 011973 (01)B> 112 01 11
4730 3408670 6 011974 (01)A> 11 01 11
4731 3408675 3 011974 <C(01) 012 11
4732 3416571 -3945 <C(01) 011976 11
4733 3416573 -3947 <B(01) 011977 11
4734 3416578 -3944 10 (10)E> 011977 11
4735 3420532 10 101978 (10)E> 11
4736 3420539 7 101978 <F(00) 10
4737 3428451 -3949 <F(00) 101979
4738 3428455 -3951 <D(10) 101980
4739 3428457 -3953 <A(10) 101981
4740 3428460 -3950 01 (01)B> 101981
4741 3432422 12 011982 (01)B>
4742 3432425 9 011982 <D(10) 10
4743 3432427 7 011981 <D(11) 102
4744 3436389 -3955 <D(11) 111981 102
4745 3436391 -3957 <A(10) 111982 102
4746 3436394 -3954 01 (01)B> 111982 102
4747 3436396 -3952 012 (01)A> 111981 102
4748 3436401 -3955 012 <C(01) 01 111980 102
4749 3436409 -3959 <C(01) 013 111980 102
4750 3436411 -3961 <B(01) 014 111980 102
4751 3436416 -3958 10 (10)E> 014 111980 102
4752 3436424 -3950 105 (10)E> 111980 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (01)B> 112 011+V(2) 11
1 2 2 012+V(1) (01)A> 11 011+V(2) 11
2 7 -1 012+V(1) <C(01) 012+V(2) 11
3 15+4*V(1) -5+-2*V(1) <C(01) 014+V(1)+V(2) 11
4 17+4*V(1) -7+-2*V(1) <B(01) 015+V(1)+V(2) 11
5 22+4*V(1) -4+-2*V(1) 10 (10)E> 015+V(1)+V(2) 11
6 32+6*V(1)+2*V(2) 6+2*V(2) 106+V(1)+V(2) (10)E> 11
7 39+6*V(1)+2*V(2) 3+2*V(2) 106+V(1)+V(2) <F(00) 10
8 63+10*V(1)+6*V(2) -9+-2*V(1) <F(00) 107+V(1)+V(2)
9 67+10*V(1)+6*V(2) -11+-2*V(1) <D(10) 108+V(1)+V(2)
10 69+10*V(1)+6*V(2) -13+-2*V(1) <A(10) 109+V(1)+V(2)
11 72+10*V(1)+6*V(2) -10+-2*V(1) 01 (01)B> 109+V(1)+V(2)
12 90+12*V(1)+8*V(2) 8+2*V(2) 0110+V(1)+V(2) (01)B>
13 93+12*V(1)+8*V(2) 5+2*V(2) 0110+V(1)+V(2) <D(10) 10
14 95+12*V(1)+8*V(2) 3+2*V(2) 019+V(1)+V(2) <D(11) 102
15 113+14*V(1)+10*V(2) -15+-2*V(1) <D(11) 119+V(1)+V(2) 102
16 115+14*V(1)+10*V(2) -17+-2*V(1) <A(10) 1110+V(1)+V(2) 102
17 118+14*V(1)+10*V(2) -14+-2*V(1) 01 (01)B> 1110+V(1)+V(2) 102
18 120+14*V(1)+10*V(2) -12+-2*V(1) 012 (01)A> 119+V(1)+V(2) 102
19 125+14*V(1)+10*V(2) -15+-2*V(1) 012 <C(01) 01 118+V(1)+V(2) 102
20 133+14*V(1)+10*V(2) -19+-2*V(1) <C(01) 013 118+V(1)+V(2) 102
21 135+14*V(1)+10*V(2) -21+-2*V(1) <B(01) 014 118+V(1)+V(2) 102
22 140+14*V(1)+10*V(2) -18+-2*V(1) 10 (10)E> 014 118+V(1)+V(2) 102
23 148+14*V(1)+10*V(2) -10+-2*V(1) 105 (10)E> 118+V(1)+V(2) 102
<< Success! ==> defined new CTR 6 (PPA)
4752 3436424 -3950 105 (10)E> 111980 102
== Executing PA-CTR 1, V(1)=4, V(2)=1976, repcount=659, factor=8/3
12660 24335950 4 105277 (10)E> 113 102
12661 24335957 1 105277 <F(00) 10 112 102
12662 24357065 -10553 <F(00) 105278 112 102
12663 24357069 -10555 <D(10) 105279 112 102
12664 24357071 -10557 <A(10) 105280 112 102
12665 24357074 -10554 01 (01)B> 105280 112 102
12666 24367634 6 015281 (01)B> 112 102
12667 24367636 8 015282 (01)A> 11 102
12668 24367641 5 015282 <C(01) 01 102
12669 24388769 -10559 <C(01) 015283 102
12670 24388771 -10561 <B(01) 015284 102
12671 24388776 -10558 10 (10)E> 015284 102
12672 24399344 10 105285 (10)E> 102
12673 24399346 12 105286 (11)B> 10
12674 24399348 14 105286 11 (01)B>
12675 24399351 11 105286 11 <D(10) 10
12676 24399353 9 105286 <F(01) 102
12677 24399357 7 105285 <F(00) 11 102
12678 24420497 -10563 <F(00) 105285 11 102
12679 24420501 -10565 <D(10) 105286 11 102
12680 24420503 -10567 <A(10) 105287 11 102
12681 24420506 -10564 01 (01)B> 105287 11 102
12682 24431080 10 015288 (01)B> 11 102
12683 24431082 12 015289 (01)A> 102
12684 24431087 9 015289 <C(01) 00 10
12685 24452243 -10569 <C(01) 015289 00 10
12686 24452245 -10571 <B(01) 015290 00 10
12687 24452250 -10568 10 (10)E> 015290 00 10
12688 24462830 12 105291 (10)E> 00 10
12689 24462835 9 105291 <C(11) 01 10
12690 24473417 -10573 <C(11) 115291 01 10
12691 24473419 -10575 <B(01) 115292 01 10
12692 24473424 -10572 10 (10)E> 115292 01 10
12693 24473431 -10575 10 <F(00) 10 115291 01 10
12694 24473435 -10577 <F(00) 102 115291 01 10
12695 24473439 -10579 <D(10) 103 115291 01 10
12696 24473441 -10581 <A(10) 104 115291 01 10
12697 24473444 -10578 01 (01)B> 104 115291 01 10
12698 24473452 -10570 015 (01)B> 115291 01 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 101+V(1) (10)E> 113 102
1 7 -3 101+V(1) <F(00) 10 112 102
2 11+4*V(1) -5+-2*V(1) <F(00) 102+V(1) 112 102
3 15+4*V(1) -7+-2*V(1) <D(10) 103+V(1) 112 102
4 17+4*V(1) -9+-2*V(1) <A(10) 104+V(1) 112 102
5 20+4*V(1) -6+-2*V(1) 01 (01)B> 104+V(1) 112 102
6 28+6*V(1) 2 015+V(1) (01)B> 112 102
7 30+6*V(1) 4 016+V(1) (01)A> 11 102
8 35+6*V(1) 1 016+V(1) <C(01) 01 102
9 59+10*V(1) -11+-2*V(1) <C(01) 017+V(1) 102
10 61+10*V(1) -13+-2*V(1) <B(01) 018+V(1) 102
11 66+10*V(1) -10+-2*V(1) 10 (10)E> 018+V(1) 102
12 82+12*V(1) 6 109+V(1) (10)E> 102
13 84+12*V(1) 8 1010+V(1) (11)B> 10
14 86+12*V(1) 10 1010+V(1) 11 (01)B>
15 89+12*V(1) 7 1010+V(1) 11 <D(10) 10
16 91+12*V(1) 5 1010+V(1) <F(01) 102
17 95+12*V(1) 3 109+V(1) <F(00) 11 102
18 131+16*V(1) -15+-2*V(1) <F(00) 109+V(1) 11 102
19 135+16*V(1) -17+-2*V(1) <D(10) 1010+V(1) 11 102
20 137+16*V(1) -19+-2*V(1) <A(10) 1011+V(1) 11 102
21 140+16*V(1) -16+-2*V(1) 01 (01)B> 1011+V(1) 11 102
22 162+18*V(1) 6 0112+V(1) (01)B> 11 102
23 164+18*V(1) 8 0113+V(1) (01)A> 102
24 169+18*V(1) 5 0113+V(1) <C(01) 00 10
25 221+22*V(1) -21+-2*V(1) <C(01) 0113+V(1) 00 10
26 223+22*V(1) -23+-2*V(1) <B(01) 0114+V(1) 00 10
27 228+22*V(1) -20+-2*V(1) 10 (10)E> 0114+V(1) 00 10
28 256+24*V(1) 8 1015+V(1) (10)E> 00 10
29 261+24*V(1) 5 1015+V(1) <C(11) 01 10
30 291+26*V(1) -25+-2*V(1) <C(11) 1115+V(1) 01 10
31 293+26*V(1) -27+-2*V(1) <B(01) 1116+V(1) 01 10
32 298+26*V(1) -24+-2*V(1) 10 (10)E> 1116+V(1) 01 10
33 305+26*V(1) -27+-2*V(1) 10 <F(00) 10 1115+V(1) 01 10
34 309+26*V(1) -29+-2*V(1) <F(00) 102 1115+V(1) 01 10
35 313+26*V(1) -31+-2*V(1) <D(10) 103 1115+V(1) 01 10
36 315+26*V(1) -33+-2*V(1) <A(10) 104 1115+V(1) 01 10
37 318+26*V(1) -30+-2*V(1) 01 (01)B> 104 1115+V(1) 01 10
38 326+26*V(1) -22+-2*V(1) 015 (01)B> 1115+V(1) 01 10
<< Success! ==> defined new CTR 7 (PPA)
12698 24473452 -10570 015 (01)B> 115291 01 10
== Executing PA-CTR 2, V(1)=4, V(2)=5287, repcount=1763, factor=8/3
33854 173810130 8 0114109 (01)B> 112 01 10
33855 173810132 10 0114110 (01)A> 11 01 10
33856 173810137 7 0114110 <C(01) 012 10
33857 173866577 -28213 <C(01) 0114112 10
33858 173866579 -28215 <B(01) 0114113 10
33859 173866584 -28212 10 (10)E> 0114113 10
33860 173894810 14 1014114 (10)E> 10
33861 173894812 16 1014115 (11)B>
33862 173894815 13 1014115 <F(00) 10
33863 173951275 -28217 <F(00) 1014116
33864 173951279 -28219 <D(10) 1014117
33865 173951281 -28221 <A(10) 1014118
33866 173951284 -28218 01 (01)B> 1014118
33867 173979520 18 0114119 (01)B>
33868 173979523 15 0114119 <D(10) 10
33869 173979525 13 0114118 <D(11) 102
33870 174007761 -28223 <D(11) 1114118 102
33871 174007763 -28225 <A(10) 1114119 102
33872 174007766 -28222 01 (01)B> 1114119 102
33873 174007768 -28220 012 (01)A> 1114118 102
33874 174007773 -28223 012 <C(01) 01 1114117 102
33875 174007781 -28227 <C(01) 013 1114117 102
33876 174007783 -28229 <B(01) 014 1114117 102
33877 174007788 -28226 10 (10)E> 014 1114117 102
33878 174007796 -28218 105 (10)E> 1114117 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 011+V(1) (01)B> 112 011+V(2) 10
1 2 2 012+V(1) (01)A> 11 011+V(2) 10
2 7 -1 012+V(1) <C(01) 012+V(2) 10
3 15+4*V(1) -5+-2*V(1) <C(01) 014+V(1)+V(2) 10
4 17+4*V(1) -7+-2*V(1) <B(01) 015+V(1)+V(2) 10
5 22+4*V(1) -4+-2*V(1) 10 (10)E> 015+V(1)+V(2) 10
6 32+6*V(1)+2*V(2) 6+2*V(2) 106+V(1)+V(2) (10)E> 10
7 34+6*V(1)+2*V(2) 8+2*V(2) 107+V(1)+V(2) (11)B>
8 37+6*V(1)+2*V(2) 5+2*V(2) 107+V(1)+V(2) <F(00) 10
9 65+10*V(1)+6*V(2) -9+-2*V(1) <F(00) 108+V(1)+V(2)
10 69+10*V(1)+6*V(2) -11+-2*V(1) <D(10) 109+V(1)+V(2)
11 71+10*V(1)+6*V(2) -13+-2*V(1) <A(10) 1010+V(1)+V(2)
12 74+10*V(1)+6*V(2) -10+-2*V(1) 01 (01)B> 1010+V(1)+V(2)
13 94+12*V(1)+8*V(2) 10+2*V(2) 0111+V(1)+V(2) (01)B>
14 97+12*V(1)+8*V(2) 7+2*V(2) 0111+V(1)+V(2) <D(10) 10
15 99+12*V(1)+8*V(2) 5+2*V(2) 0110+V(1)+V(2) <D(11) 102
16 119+14*V(1)+10*V(2) -15+-2*V(1) <D(11) 1110+V(1)+V(2) 102
17 121+14*V(1)+10*V(2) -17+-2*V(1) <A(10) 1111+V(1)+V(2) 102
18 124+14*V(1)+10*V(2) -14+-2*V(1) 01 (01)B> 1111+V(1)+V(2) 102
19 126+14*V(1)+10*V(2) -12+-2*V(1) 012 (01)A> 1110+V(1)+V(2) 102
20 131+14*V(1)+10*V(2) -15+-2*V(1) 012 <C(01) 01 119+V(1)+V(2) 102
21 139+14*V(1)+10*V(2) -19+-2*V(1) <C(01) 013 119+V(1)+V(2) 102
22 141+14*V(1)+10*V(2) -21+-2*V(1) <B(01) 014 119+V(1)+V(2) 102
23 146+14*V(1)+10*V(2) -18+-2*V(1) 10 (10)E> 014 119+V(1)+V(2) 102
24 154+14*V(1)+10*V(2) -10+-2*V(1) 105 (10)E> 119+V(1)+V(2) 102
<< Success! ==> defined new CTR 8 (PPA)
33878 174007796 -28218 105 (10)E> 1114117 102
== Executing PA-CTR 1, V(1)=4, V(2)=14113, repcount=4705, factor=8/3
90338 1236970806 12 1037645 (10)E> 112 102
90339 1236970813 9 1037645 <F(00) 10 11 102
90340 1237121393 -75281 <F(00) 1037646 11 102
90341 1237121397 -75283 <D(10) 1037647 11 102
90342 1237121399 -75285 <A(10) 1037648 11 102
90343 1237121402 -75282 01 (01)B> 1037648 11 102
90344 1237196698 14 0137649 (01)B> 11 102
90345 1237196700 16 0137650 (01)A> 102
90346 1237196705 13 0137650 <C(01) 00 10
90347 1237347305 -75287 <C(01) 0137650 00 10
90348 1237347307 -75289 <B(01) 0137651 00 10
90349 1237347312 -75286 10 (10)E> 0137651 00 10
90350 1237422614 16 1037652 (10)E> 00 10
90351 1237422619 13 1037652 <C(11) 01 10
90352 1237497923 -75291 <C(11) 1137652 01 10
90353 1237497925 -75293 <B(01) 1137653 01 10
90354 1237497930 -75290 10 (10)E> 1137653 01 10
90355 1237497937 -75293 10 <F(00) 10 1137652 01 10
90356 1237497941 -75295 <F(00) 102 1137652 01 10
90357 1237497945 -75297 <D(10) 103 1137652 01 10
90358 1237497947 -75299 <A(10) 104 1137652 01 10
90359 1237497950 -75296 01 (01)B> 104 1137652 01 10
90360 1237497958 -75288 015 (01)B> 1137652 01 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 101+V(1) (10)E> 112 102+V(2)
1 7 -3 101+V(1) <F(00) 10 11 102+V(2)
2 11+4*V(1) -5+-2*V(1) <F(00) 102+V(1) 11 102+V(2)
3 15+4*V(1) -7+-2*V(1) <D(10) 103+V(1) 11 102+V(2)
4 17+4*V(1) -9+-2*V(1) <A(10) 104+V(1) 11 102+V(2)
5 20+4*V(1) -6+-2*V(1) 01 (01)B> 104+V(1) 11 102+V(2)
6 28+6*V(1) 2 015+V(1) (01)B> 11 102+V(2)
7 30+6*V(1) 4 016+V(1) (01)A> 102+V(2)
8 35+6*V(1) 1 016+V(1) <C(01) 00 101+V(2)
9 59+10*V(1) -11+-2*V(1) <C(01) 016+V(1) 00 101+V(2)
10 61+10*V(1) -13+-2*V(1) <B(01) 017+V(1) 00 101+V(2)
11 66+10*V(1) -10+-2*V(1) 10 (10)E> 017+V(1) 00 101+V(2)
12 80+12*V(1) 4 108+V(1) (10)E> 00 101+V(2)
13 85+12*V(1) 1 108+V(1) <C(11) 01 101+V(2)
14 101+14*V(1) -15+-2*V(1) <C(11) 118+V(1) 01 101+V(2)
15 103+14*V(1) -17+-2*V(1) <B(01) 119+V(1) 01 101+V(2)
16 108+14*V(1) -14+-2*V(1) 10 (10)E> 119+V(1) 01 101+V(2)
17 115+14*V(1) -17+-2*V(1) 10 <F(00) 10 118+V(1) 01 101+V(2)
18 119+14*V(1) -19+-2*V(1) <F(00) 102 118+V(1) 01 101+V(2)
19 123+14*V(1) -21+-2*V(1) <D(10) 103 118+V(1) 01 101+V(2)
20 125+14*V(1) -23+-2*V(1) <A(10) 104 118+V(1) 01 101+V(2)
21 128+14*V(1) -20+-2*V(1) 01 (01)B> 104 118+V(1) 01 101+V(2)
22 136+14*V(1) -12+-2*V(1) 015 (01)B> 118+V(1) 01 101+V(2)
<< Success! ==> defined new CTR 9 (PPA)
90360 1237497958 -75288 015 (01)B> 1137652 01 10
== Executing PA-CTR 2, V(1)=4, V(2)=37648, repcount=12550, factor=8/3
240960 8798647058 12 01100405 (01)B> 112 01 10
== Executing PPA-CTR 8 (once), V(1)=100404, V(2)=0
240984 8800052868 -200806 105 (10)E> 11100413 102
== Executing PA-CTR 1, V(1)=4, V(2)=100409, repcount=33470, factor=8/3
642624 62574360608 14 10267765 (10)E> 113 102
== Executing PPA-CTR 7 (once), V(1)=267764
642662 62581322798 -535536 015 (01)B> 11267779 01 10
== Executing PA-CTR 2, V(1)=4, V(2)=267775, repcount=89259, factor=8/3
1713770 445012757924 18 01714077 (01)B> 112 01 10
== Executing PPA-CTR 8 (once), V(1)=714076, V(2)=0
1713794 445022755142 -1428144 105 (10)E> 11714085 102
== Executing PA-CTR 1, V(1)=4, V(2)=714081, repcount=238028, factor=8/3
4570130 3164594055070 24 101904229 (10)E> 11 102
4570131 3164594055077 21 101904229 <F(00) 103
4570132 3164601671993 -3808437 <F(00) 101904232
4570133 3164601671997 -3808439 <D(10) 101904233
4570134 3164601671999 -3808441 <A(10) 101904234
4570135 3164601672002 -3808438 01 (01)B> 101904234
4570136 3164605480470 30 011904235 (01)B>
4570137 3164605480473 27 011904235 <D(10) 10
4570138 3164605480475 25 011904234 <D(11) 102
4570139 3164609288943 -3808443 <D(11) 111904234 102
4570140 3164609288945 -3808445 <A(10) 111904235 102
4570141 3164609288948 -3808442 01 (01)B> 111904235 102
4570142 3164609288950 -3808440 012 (01)A> 111904234 102
4570143 3164609288955 -3808443 012 <C(01) 01 111904233 102
4570144 3164609288963 -3808447 <C(01) 013 111904233 102
4570145 3164609288965 -3808449 <B(01) 014 111904233 102
4570146 3164609288970 -3808446 10 (10)E> 014 111904233 102
4570147 3164609288978 -3808438 105 (10)E> 111904233 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 101+V(1) (10)E> 11 101+V(2)
1 7 -3 101+V(1) <F(00) 102+V(2)
2 11+4*V(1) -5+-2*V(1) <F(00) 103+V(1)+V(2)
3 15+4*V(1) -7+-2*V(1) <D(10) 104+V(1)+V(2)
4 17+4*V(1) -9+-2*V(1) <A(10) 105+V(1)+V(2)
5 20+4*V(1) -6+-2*V(1) 01 (01)B> 105+V(1)+V(2)
6 30+6*V(1)+2*V(2) 4+2*V(2) 016+V(1)+V(2) (01)B>
7 33+6*V(1)+2*V(2) 1+2*V(2) 016+V(1)+V(2) <D(10) 10
8 35+6*V(1)+2*V(2) -1+2*V(2) 015+V(1)+V(2) <D(11) 102
9 45+8*V(1)+4*V(2) -11+-2*V(1) <D(11) 115+V(1)+V(2) 102
10 47+8*V(1)+4*V(2) -13+-2*V(1) <A(10) 116+V(1)+V(2) 102
11 50+8*V(1)+4*V(2) -10+-2*V(1) 01 (01)B> 116+V(1)+V(2) 102
12 52+8*V(1)+4*V(2) -8+-2*V(1) 012 (01)A> 115+V(1)+V(2) 102
13 57+8*V(1)+4*V(2) -11+-2*V(1) 012 <C(01) 01 114+V(1)+V(2) 102
14 65+8*V(1)+4*V(2) -15+-2*V(1) <C(01) 013 114+V(1)+V(2) 102
15 67+8*V(1)+4*V(2) -17+-2*V(1) <B(01) 014 114+V(1)+V(2) 102
16 72+8*V(1)+4*V(2) -14+-2*V(1) 10 (10)E> 014 114+V(1)+V(2) 102
17 80+8*V(1)+4*V(2) -6+-2*V(1) 105 (10)E> 114+V(1)+V(2) 102
<< Success! ==> defined new CTR 10 (PPA)
4570147 3164609288978 -3808438 105 (10)E> 111904233 102
== Executing PA-CTR 1, V(1)=4, V(2)=1904229, repcount=634744, factor=8/3
12187075 22503858723714 26 105077957 (10)E> 11 102
== Executing PPA-CTR 10 (once), V(1)=5077956, V(2)=1
12187092 22503899347446 -10155892 105 (10)E> 115077961 102
== Executing PA-CTR 1, V(1)=4, V(2)=5077957, repcount=1692653, factor=8/3
32498928 160027598708624 26 1013541229 (10)E> 112 102
== Executing PPA-CTR 9 (once), V(1)=13541228, V(2)=0
32498950 160027788285952 -27082442 015 (01)B> 1113541236 01 10
== Executing PA-CTR 2, V(1)=4, V(2)=13541232, repcount=4513745, factor=8/3
86663890 1137975066814242 28 0136109965 (01)B> 11 01 10
86663891 1137975066814244 30 0136109966 (01)A> 01 10
86663892 1137975066814246 32 0136109967 (10)E> 10
86663893 1137975066814248 34 0136109967 10 (11)B>
86663894 1137975066814251 31 0136109967 10 <F(00) 10
86663895 1137975066814255 29 0136109967 <F(00) 102
86663896 1137975066814256 30 0136109966 01 Z> 00 102 [stop]
Lines: 272
Top steps: 271
Macro steps: 86663896
Basic steps: 1137975066814256
Tape index: 30
ones: 36109969
log10(ones ): 7.558
log10(steps ): 15.056
Run state: stop
Input to awk program:
gohalt 1
L 38
5T B1R C0L A1L E0R D1L F0L B0L C1L B1R A1R B1R Z1R : 36109969 1137975066814256
T 6-state TM #b from MaBu-List
M 400
pref sim
machv mbL6_b just simple
machv mbL6_b-r with repetitions reduced
machv mbL6_b-1 with tape symbol exponents
machv mbL6_b-m as 2-bck-macro machine
machv mbL6_b-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_b-a
mtype 2 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:40 CEST 2010
edate Tue Jul 6 22:10:41 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:40 CEST 2010