Comment: This TM produces 2,950,149 nonzeros in 4,144,465,135,614 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | Z2L | C2L | 1 | right | B | 2 | left | Z | 2 | left | C |
| B | C1L | B2R | B1L | 1 | left | C | 2 | right | B | 1 | left | B |
| C | A1L | C2R | A2L | 1 | left | A | 2 | right | C | 2 | left | A |
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 4 2 (22)C>
2 7 -1 <A(22) 10
3 15 -3 <C(11) 11 10
4 20 0 12 (22)B> 11 10
5 22 2 12 22 (22)B> 10
6 27 -1 12 22 <A(22) 21
7 29 -3 12 <A(22) 22 21
8 33 -5 <C(22) 222 21
9 45 -7 <B(11) 11 222 21
10 47 -9 <A(11) 112 222 21
11 50 -6 01 (22)B> 112 222 21
12 54 -2 01 222 (22)B> 222 21
13 57 -5 01 222 <B(11) 12 22 21
14 61 -9 01 <B(11) 112 12 22 21
15 64 -6 02 (22)B> 112 12 22 21
16 68 -2 02 222 (22)B> 12 22 21
17 73 -5 02 222 <B(11) 11 22 21
18 77 -9 02 <B(11) 113 22 21
19 79 -11 <C(11) 114 22 21
20 84 -8 12 (22)B> 114 22 21
21 92 0 12 224 (22)B> 22 21
22 95 -3 12 224 <B(11) 12 21
23 103 -11 12 <B(11) 114 12 21
24 108 -8 22 (22)B> 114 12 21
25 116 0 225 (22)B> 12 21
26 121 -3 225 <B(11) 11 21
27 131 -13 <B(11) 116 21
28 133 -15 <A(11) 117 21
29 136 -12 01 (22)B> 117 21
30 150 2 01 227 (22)B> 21
31 153 -1 01 227 <B(11) 11
32 167 -15 01 <B(11) 118
33 170 -12 02 (22)B> 118
34 186 4 02 228 (22)B>
35 189 1 02 228 <C(22) 10
36 205 -15 02 <C(22) 228 10
37 213 -17 <B(11) 12 228 10
38 215 -19 <A(11) 11 12 228 10
39 218 -16 01 (22)B> 11 12 228 10
40 220 -14 01 22 (22)B> 12 228 10
41 225 -17 01 22 <B(11) 11 228 10
42 227 -19 01 <B(11) 112 228 10
43 230 -16 02 (22)B> 112 228 10
44 234 -12 02 222 (22)B> 228 10
45 237 -15 02 222 <B(11) 12 227 10
46 241 -19 02 <B(11) 112 12 227 10
47 243 -21 <C(11) 113 12 227 10
48 248 -18 12 (22)B> 113 12 227 10
49 254 -12 12 223 (22)B> 12 227 10
50 259 -15 12 223 <B(11) 11 227 10
51 265 -21 12 <B(11) 114 227 10
52 270 -18 22 (22)B> 114 227 10
53 278 -10 225 (22)B> 227 10
54 281 -13 225 <B(11) 12 226 10
55 291 -23 <B(11) 115 12 226 10
56 293 -25 <A(11) 116 12 226 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <A(11) 111+V(2) 12 223+V(1) [*]*
1 3 3 01 (22)B> 111+V(2) 12 223+V(1) [*]*
2 5+2*V(2) 5+2*V(2) 01 221+V(2) (22)B> 12 223+V(1) [*]*
3 10+2*V(2) 2+2*V(2) 01 221+V(2) <B(11) 11 223+V(1) [*]*
4 12+4*V(2) 0 01 <B(11) 112+V(2) 223+V(1) [*]*
5 15+4*V(2) 3 02 (22)B> 112+V(2) 223+V(1) [*]*
6 19+6*V(2) 7+2*V(2) 02 222+V(2) (22)B> 223+V(1) [*]*
7 22+6*V(2) 4+2*V(2) 02 222+V(2) <B(11) 12 222+V(1) [*]*
8 26+8*V(2) 0 02 <B(11) 112+V(2) 12 222+V(1) [*]*
9 28+8*V(2) -2 <C(11) 113+V(2) 12 222+V(1) [*]*
10 33+8*V(2) 1 12 (22)B> 113+V(2) 12 222+V(1) [*]*
11 39+10*V(2) 7+2*V(2) 12 223+V(2) (22)B> 12 222+V(1) [*]*
12 44+10*V(2) 4+2*V(2) 12 223+V(2) <B(11) 11 222+V(1) [*]*
13 50+12*V(2) -2 12 <B(11) 114+V(2) 222+V(1) [*]*
14 55+12*V(2) 1 22 (22)B> 114+V(2) 222+V(1) [*]*
15 63+14*V(2) 9+2*V(2) 225+V(2) (22)B> 222+V(1) [*]*
16 66+14*V(2) 6+2*V(2) 225+V(2) <B(11) 12 221+V(1) [*]*
17 76+16*V(2) -4 <B(11) 115+V(2) 12 221+V(1) [*]*
18 78+16*V(2) -6 <A(11) 116+V(2) 12 221+V(1) [*]*
<< Success! ==> defined new CTR 1 (PA)
56 293 -25 <A(11) 116 12 226 10
== Executing PA-CTR 1, V(1)=3, V(2)=5, repcount=2, factor=5/2
92 689 -37 <A(11) 1116 12 222 10
93 692 -34 01 (22)B> 1116 12 222 10
94 724 -2 01 2216 (22)B> 12 222 10
95 729 -5 01 2216 <B(11) 11 222 10
96 761 -37 01 <B(11) 1117 222 10
97 764 -34 02 (22)B> 1117 222 10
98 798 0 02 2217 (22)B> 222 10
99 801 -3 02 2217 <B(11) 12 22 10
100 835 -37 02 <B(11) 1117 12 22 10
101 837 -39 <C(11) 1118 12 22 10
102 842 -36 12 (22)B> 1118 12 22 10
103 878 0 12 2218 (22)B> 12 22 10
104 883 -3 12 2218 <B(11) 11 22 10
105 919 -39 12 <B(11) 1119 22 10
106 924 -36 22 (22)B> 1119 22 10
107 962 2 2220 (22)B> 22 10
108 965 -1 2220 <B(11) 12 10
109 1005 -41 <B(11) 1120 12 10
110 1007 -43 <A(11) 1121 12 10
111 1010 -40 01 (22)B> 1121 12 10
112 1052 2 01 2221 (22)B> 12 10
113 1057 -1 01 2221 <B(11) 11 10
114 1099 -43 01 <B(11) 1122 10
115 1102 -40 02 (22)B> 1122 10
116 1146 4 02 2222 (22)B> 10
117 1151 1 02 2222 <A(22) 21
118 1195 -43 02 <A(22) 2222 21
119 1197 -45 <A(12) 2223 21
120 1204 -42 02 (22)B> 2223 21
121 1207 -45 02 <B(11) 12 2222 21
122 1209 -47 <C(11) 11 12 2222 21
123 1214 -44 12 (22)B> 11 12 2222 21
124 1216 -42 12 22 (22)B> 12 2222 21
125 1221 -45 12 22 <B(11) 11 2222 21
126 1223 -47 12 <B(11) 112 2222 21
127 1228 -44 22 (22)B> 112 2222 21
128 1232 -40 223 (22)B> 2222 21
129 1235 -43 223 <B(11) 12 2221 21
130 1241 -49 <B(11) 113 12 2221 21
131 1243 -51 <A(11) 114 12 2221 21
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <A(11) 111+V(1) 12 222 10
1 3 3 01 (22)B> 111+V(1) 12 222 10
2 5+2*V(1) 5+2*V(1) 01 221+V(1) (22)B> 12 222 10
3 10+2*V(1) 2+2*V(1) 01 221+V(1) <B(11) 11 222 10
4 12+4*V(1) 0 01 <B(11) 112+V(1) 222 10
5 15+4*V(1) 3 02 (22)B> 112+V(1) 222 10
6 19+6*V(1) 7+2*V(1) 02 222+V(1) (22)B> 222 10
7 22+6*V(1) 4+2*V(1) 02 222+V(1) <B(11) 12 22 10
8 26+8*V(1) 0 02 <B(11) 112+V(1) 12 22 10
9 28+8*V(1) -2 <C(11) 113+V(1) 12 22 10
10 33+8*V(1) 1 12 (22)B> 113+V(1) 12 22 10
11 39+10*V(1) 7+2*V(1) 12 223+V(1) (22)B> 12 22 10
12 44+10*V(1) 4+2*V(1) 12 223+V(1) <B(11) 11 22 10
13 50+12*V(1) -2 12 <B(11) 114+V(1) 22 10
14 55+12*V(1) 1 22 (22)B> 114+V(1) 22 10
15 63+14*V(1) 9+2*V(1) 225+V(1) (22)B> 22 10
16 66+14*V(1) 6+2*V(1) 225+V(1) <B(11) 12 10
17 76+16*V(1) -4 <B(11) 115+V(1) 12 10
18 78+16*V(1) -6 <A(11) 116+V(1) 12 10
19 81+16*V(1) -3 01 (22)B> 116+V(1) 12 10
20 93+18*V(1) 9+2*V(1) 01 226+V(1) (22)B> 12 10
21 98+18*V(1) 6+2*V(1) 01 226+V(1) <B(11) 11 10
22 110+20*V(1) -6 01 <B(11) 117+V(1) 10
23 113+20*V(1) -3 02 (22)B> 117+V(1) 10
24 127+22*V(1) 11+2*V(1) 02 227+V(1) (22)B> 10
25 132+22*V(1) 8+2*V(1) 02 227+V(1) <A(22) 21
26 146+24*V(1) -6 02 <A(22) 227+V(1) 21
27 148+24*V(1) -8 <A(12) 228+V(1) 21
28 155+24*V(1) -5 02 (22)B> 228+V(1) 21
29 158+24*V(1) -8 02 <B(11) 12 227+V(1) 21
30 160+24*V(1) -10 <C(11) 11 12 227+V(1) 21
31 165+24*V(1) -7 12 (22)B> 11 12 227+V(1) 21
32 167+24*V(1) -5 12 22 (22)B> 12 227+V(1) 21
33 172+24*V(1) -8 12 22 <B(11) 11 227+V(1) 21
34 174+24*V(1) -10 12 <B(11) 112 227+V(1) 21
35 179+24*V(1) -7 22 (22)B> 112 227+V(1) 21
36 183+24*V(1) -3 223 (22)B> 227+V(1) 21
37 186+24*V(1) -6 223 <B(11) 12 226+V(1) 21
38 192+24*V(1) -12 <B(11) 113 12 226+V(1) 21
39 194+24*V(1) -14 <A(11) 114 12 226+V(1) 21
<< Success! ==> defined new CTR 2 (PPA)
131 1243 -51 <A(11) 114 12 2221 21
== Executing PA-CTR 1, V(1)=18, V(2)=3, repcount=10, factor=5/2
311 6103 -111 <A(11) 1154 12 22 21
312 6106 -108 01 (22)B> 1154 12 22 21
313 6214 0 01 2254 (22)B> 12 22 21
314 6219 -3 01 2254 <B(11) 11 22 21
315 6327 -111 01 <B(11) 1155 22 21
316 6330 -108 02 (22)B> 1155 22 21
317 6440 2 02 2255 (22)B> 22 21
318 6443 -1 02 2255 <B(11) 12 21
319 6553 -111 02 <B(11) 1155 12 21
320 6555 -113 <C(11) 1156 12 21
321 6560 -110 12 (22)B> 1156 12 21
322 6672 2 12 2256 (22)B> 12 21
323 6677 -1 12 2256 <B(11) 11 21
324 6789 -113 12 <B(11) 1157 21
325 6794 -110 22 (22)B> 1157 21
326 6908 4 2258 (22)B> 21
327 6911 1 2258 <B(11) 11
328 7027 -115 <B(11) 1159
329 7029 -117 <A(11) 1160
330 7032 -114 01 (22)B> 1160
331 7152 6 01 2260 (22)B>
332 7155 3 01 2260 <C(22) 10
333 7275 -117 01 <C(22) 2260 10
334 7279 -119 <A(12) 2261 10
335 7286 -116 02 (22)B> 2261 10
336 7289 -119 02 <B(11) 12 2260 10
337 7291 -121 <C(11) 11 12 2260 10
338 7296 -118 12 (22)B> 11 12 2260 10
339 7298 -116 12 22 (22)B> 12 2260 10
340 7303 -119 12 22 <B(11) 11 2260 10
341 7305 -121 12 <B(11) 112 2260 10
342 7310 -118 22 (22)B> 112 2260 10
343 7314 -114 223 (22)B> 2260 10
344 7317 -117 223 <B(11) 12 2259 10
345 7323 -123 <B(11) 113 12 2259 10
346 7325 -125 <A(11) 114 12 2259 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <A(11) 111+V(1) 12 22 21
1 3 3 01 (22)B> 111+V(1) 12 22 21
2 5+2*V(1) 5+2*V(1) 01 221+V(1) (22)B> 12 22 21
3 10+2*V(1) 2+2*V(1) 01 221+V(1) <B(11) 11 22 21
4 12+4*V(1) 0 01 <B(11) 112+V(1) 22 21
5 15+4*V(1) 3 02 (22)B> 112+V(1) 22 21
6 19+6*V(1) 7+2*V(1) 02 222+V(1) (22)B> 22 21
7 22+6*V(1) 4+2*V(1) 02 222+V(1) <B(11) 12 21
8 26+8*V(1) 0 02 <B(11) 112+V(1) 12 21
9 28+8*V(1) -2 <C(11) 113+V(1) 12 21
10 33+8*V(1) 1 12 (22)B> 113+V(1) 12 21
11 39+10*V(1) 7+2*V(1) 12 223+V(1) (22)B> 12 21
12 44+10*V(1) 4+2*V(1) 12 223+V(1) <B(11) 11 21
13 50+12*V(1) -2 12 <B(11) 114+V(1) 21
14 55+12*V(1) 1 22 (22)B> 114+V(1) 21
15 63+14*V(1) 9+2*V(1) 225+V(1) (22)B> 21
16 66+14*V(1) 6+2*V(1) 225+V(1) <B(11) 11
17 76+16*V(1) -4 <B(11) 116+V(1)
18 78+16*V(1) -6 <A(11) 117+V(1)
19 81+16*V(1) -3 01 (22)B> 117+V(1)
20 95+18*V(1) 11+2*V(1) 01 227+V(1) (22)B>
21 98+18*V(1) 8+2*V(1) 01 227+V(1) <C(22) 10
22 112+20*V(1) -6 01 <C(22) 227+V(1) 10
23 116+20*V(1) -8 <A(12) 228+V(1) 10
24 123+20*V(1) -5 02 (22)B> 228+V(1) 10
25 126+20*V(1) -8 02 <B(11) 12 227+V(1) 10
26 128+20*V(1) -10 <C(11) 11 12 227+V(1) 10
27 133+20*V(1) -7 12 (22)B> 11 12 227+V(1) 10
28 135+20*V(1) -5 12 22 (22)B> 12 227+V(1) 10
29 140+20*V(1) -8 12 22 <B(11) 11 227+V(1) 10
30 142+20*V(1) -10 12 <B(11) 112 227+V(1) 10
31 147+20*V(1) -7 22 (22)B> 112 227+V(1) 10
32 151+20*V(1) -3 223 (22)B> 227+V(1) 10
33 154+20*V(1) -6 223 <B(11) 12 226+V(1) 10
34 160+20*V(1) -12 <B(11) 113 12 226+V(1) 10
35 162+20*V(1) -14 <A(11) 114 12 226+V(1) 10
<< Success! ==> defined new CTR 3 (PPA)
346 7325 -125 <A(11) 114 12 2259 10
== Executing PA-CTR 1, V(1)=56, V(2)=3, repcount=29, factor=5/2
868 43459 -299 <A(11) 11149 12 22 10
869 43462 -296 01 (22)B> 11149 12 22 10
870 43760 2 01 22149 (22)B> 12 22 10
871 43765 -1 01 22149 <B(11) 11 22 10
872 44063 -299 01 <B(11) 11150 22 10
873 44066 -296 02 (22)B> 11150 22 10
874 44366 4 02 22150 (22)B> 22 10
875 44369 1 02 22150 <B(11) 12 10
876 44669 -299 02 <B(11) 11150 12 10
877 44671 -301 <C(11) 11151 12 10
878 44676 -298 12 (22)B> 11151 12 10
879 44978 4 12 22151 (22)B> 12 10
880 44983 1 12 22151 <B(11) 11 10
881 45285 -301 12 <B(11) 11152 10
882 45290 -298 22 (22)B> 11152 10
883 45594 6 22153 (22)B> 10
884 45599 3 22153 <A(22) 21
885 45905 -303 <A(22) 22153 21
886 45913 -305 <C(11) 11 22153 21
887 45918 -302 12 (22)B> 11 22153 21
888 45920 -300 12 22 (22)B> 22153 21
889 45923 -303 12 22 <B(11) 12 22152 21
890 45925 -305 12 <B(11) 11 12 22152 21
891 45930 -302 22 (22)B> 11 12 22152 21
892 45932 -300 222 (22)B> 12 22152 21
893 45937 -303 222 <B(11) 11 22152 21
894 45941 -307 <B(11) 113 22152 21
895 45943 -309 <A(11) 114 22152 21
896 45946 -306 01 (22)B> 114 22152 21
897 45954 -298 01 224 (22)B> 22152 21
898 45957 -301 01 224 <B(11) 12 22151 21
899 45965 -309 01 <B(11) 114 12 22151 21
900 45968 -306 02 (22)B> 114 12 22151 21
901 45976 -298 02 224 (22)B> 12 22151 21
902 45981 -301 02 224 <B(11) 11 22151 21
903 45989 -309 02 <B(11) 115 22151 21
904 45991 -311 <C(11) 116 22151 21
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <C(11) 111+V(2) 223+V(1) [*]*
1 5 3 12 (22)B> 111+V(2) 223+V(1) [*]*
2 7+2*V(2) 5+2*V(2) 12 221+V(2) (22)B> 223+V(1) [*]*
3 10+2*V(2) 2+2*V(2) 12 221+V(2) <B(11) 12 222+V(1) [*]*
4 12+4*V(2) 0 12 <B(11) 111+V(2) 12 222+V(1) [*]*
5 17+4*V(2) 3 22 (22)B> 111+V(2) 12 222+V(1) [*]*
6 19+6*V(2) 5+2*V(2) 222+V(2) (22)B> 12 222+V(1) [*]*
7 24+6*V(2) 2+2*V(2) 222+V(2) <B(11) 11 222+V(1) [*]*
8 28+8*V(2) -2 <B(11) 113+V(2) 222+V(1) [*]*
9 30+8*V(2) -4 <A(11) 114+V(2) 222+V(1) [*]*
10 33+8*V(2) -1 01 (22)B> 114+V(2) 222+V(1) [*]*
11 41+10*V(2) 7+2*V(2) 01 224+V(2) (22)B> 222+V(1) [*]*
12 44+10*V(2) 4+2*V(2) 01 224+V(2) <B(11) 12 221+V(1) [*]*
13 52+12*V(2) -4 01 <B(11) 114+V(2) 12 221+V(1) [*]*
14 55+12*V(2) -1 02 (22)B> 114+V(2) 12 221+V(1) [*]*
15 63+14*V(2) 7+2*V(2) 02 224+V(2) (22)B> 12 221+V(1) [*]*
16 68+14*V(2) 4+2*V(2) 02 224+V(2) <B(11) 11 221+V(1) [*]*
17 76+16*V(2) -4 02 <B(11) 115+V(2) 221+V(1) [*]*
18 78+16*V(2) -6 <C(11) 116+V(2) 221+V(1) [*]*
<< Success! ==> defined new CTR 4 (PA)
904 45991 -311 <C(11) 116 22151 21
== Executing PA-CTR 4, V(1)=148, V(2)=5, repcount=75, factor=5/2
2254 279841 -761 <C(11) 11381 22 21
2255 279846 -758 12 (22)B> 11381 22 21
2256 280608 4 12 22381 (22)B> 22 21
2257 280611 1 12 22381 <B(11) 12 21
2258 281373 -761 12 <B(11) 11381 12 21
2259 281378 -758 22 (22)B> 11381 12 21
2260 282140 4 22382 (22)B> 12 21
2261 282145 1 22382 <B(11) 11 21
2262 282909 -763 <B(11) 11383 21
2263 282911 -765 <A(11) 11384 21
2264 282914 -762 01 (22)B> 11384 21
2265 283682 6 01 22384 (22)B> 21
2266 283685 3 01 22384 <B(11) 11
2267 284453 -765 01 <B(11) 11385
2268 284456 -762 02 (22)B> 11385
2269 285226 8 02 22385 (22)B>
2270 285229 5 02 22385 <C(22) 10
2271 285999 -765 02 <C(22) 22385 10
2272 286007 -767 <B(11) 12 22385 10
2273 286009 -769 <A(11) 11 12 22385 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <C(11) 111+V(1) 22 21
1 5 3 12 (22)B> 111+V(1) 22 21
2 7+2*V(1) 5+2*V(1) 12 221+V(1) (22)B> 22 21
3 10+2*V(1) 2+2*V(1) 12 221+V(1) <B(11) 12 21
4 12+4*V(1) 0 12 <B(11) 111+V(1) 12 21
5 17+4*V(1) 3 22 (22)B> 111+V(1) 12 21
6 19+6*V(1) 5+2*V(1) 222+V(1) (22)B> 12 21
7 24+6*V(1) 2+2*V(1) 222+V(1) <B(11) 11 21
8 28+8*V(1) -2 <B(11) 113+V(1) 21
9 30+8*V(1) -4 <A(11) 114+V(1) 21
10 33+8*V(1) -1 01 (22)B> 114+V(1) 21
11 41+10*V(1) 7+2*V(1) 01 224+V(1) (22)B> 21
12 44+10*V(1) 4+2*V(1) 01 224+V(1) <B(11) 11
13 52+12*V(1) -4 01 <B(11) 115+V(1)
14 55+12*V(1) -1 02 (22)B> 115+V(1)
15 65+14*V(1) 9+2*V(1) 02 225+V(1) (22)B>
16 68+14*V(1) 6+2*V(1) 02 225+V(1) <C(22) 10
17 78+16*V(1) -4 02 <C(22) 225+V(1) 10
18 86+16*V(1) -6 <B(11) 12 225+V(1) 10
19 88+16*V(1) -8 <A(11) 11 12 225+V(1) 10
<< Success! ==> defined new CTR 5 (PPA)
2273 286009 -769 <A(11) 11 12 22385 10
== Executing PA-CTR 1, V(1)=382, V(2)=0, repcount=192, factor=5/2
5729 1767865 -1921 <A(11) 11961 12 22 10
5730 1767868 -1918 01 (22)B> 11961 12 22 10
5731 1769790 4 01 22961 (22)B> 12 22 10
5732 1769795 1 01 22961 <B(11) 11 22 10
5733 1771717 -1921 01 <B(11) 11962 22 10
5734 1771720 -1918 02 (22)B> 11962 22 10
5735 1773644 6 02 22962 (22)B> 22 10
5736 1773647 3 02 22962 <B(11) 12 10
5737 1775571 -1921 02 <B(11) 11962 12 10
5738 1775573 -1923 <C(11) 11963 12 10
5739 1775578 -1920 12 (22)B> 11963 12 10
5740 1777504 6 12 22963 (22)B> 12 10
5741 1777509 3 12 22963 <B(11) 11 10
5742 1779435 -1923 12 <B(11) 11964 10
5743 1779440 -1920 22 (22)B> 11964 10
5744 1781368 8 22965 (22)B> 10
5745 1781373 5 22965 <A(22) 21
5746 1783303 -1925 <A(22) 22965 21
5747 1783311 -1927 <C(11) 11 22965 21
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <A(11) 111+V(1) 12 22 10
1 3 3 01 (22)B> 111+V(1) 12 22 10
2 5+2*V(1) 5+2*V(1) 01 221+V(1) (22)B> 12 22 10
3 10+2*V(1) 2+2*V(1) 01 221+V(1) <B(11) 11 22 10
4 12+4*V(1) 0 01 <B(11) 112+V(1) 22 10
5 15+4*V(1) 3 02 (22)B> 112+V(1) 22 10
6 19+6*V(1) 7+2*V(1) 02 222+V(1) (22)B> 22 10
7 22+6*V(1) 4+2*V(1) 02 222+V(1) <B(11) 12 10
8 26+8*V(1) 0 02 <B(11) 112+V(1) 12 10
9 28+8*V(1) -2 <C(11) 113+V(1) 12 10
10 33+8*V(1) 1 12 (22)B> 113+V(1) 12 10
11 39+10*V(1) 7+2*V(1) 12 223+V(1) (22)B> 12 10
12 44+10*V(1) 4+2*V(1) 12 223+V(1) <B(11) 11 10
13 50+12*V(1) -2 12 <B(11) 114+V(1) 10
14 55+12*V(1) 1 22 (22)B> 114+V(1) 10
15 63+14*V(1) 9+2*V(1) 225+V(1) (22)B> 10
16 68+14*V(1) 6+2*V(1) 225+V(1) <A(22) 21
17 78+16*V(1) -4 <A(22) 225+V(1) 21
18 86+16*V(1) -6 <C(11) 11 225+V(1) 21
<< Success! ==> defined new CTR 6 (PPA)
5747 1783311 -1927 <C(11) 11 22965 21
== Executing PA-CTR 4, V(1)=962, V(2)=0, repcount=482, factor=5/2
14423 11094587 -4819 <C(11) 112411 22 21
== Executing PPA-CTR 5 (once), V(1)=2410
14442 11133235 -4827 <A(11) 11 12 222415 10
== Executing PA-CTR 1, V(1)=2412, V(2)=0, repcount=1207, factor=5/2
36168 69453061 -12069 <A(11) 116036 12 22 10
== Executing PPA-CTR 6 (once), V(1)=6035
36186 69549707 -12075 <C(11) 11 226040 21
== Executing PA-CTR 4, V(1)=6037, V(2)=0, repcount=3019, factor=5/2
90528 434238869 -30189 <C(11) 1115096 222 21
90529 434238874 -30186 12 (22)B> 1115096 222 21
90530 434269066 6 12 2215096 (22)B> 222 21
90531 434269069 3 12 2215096 <B(11) 12 22 21
90532 434299261 -30189 12 <B(11) 1115096 12 22 21
90533 434299266 -30186 22 (22)B> 1115096 12 22 21
90534 434329458 6 2215097 (22)B> 12 22 21
90535 434329463 3 2215097 <B(11) 11 22 21
90536 434359657 -30191 <B(11) 1115098 22 21
90537 434359659 -30193 <A(11) 1115099 22 21
90538 434359662 -30190 01 (22)B> 1115099 22 21
90539 434389860 8 01 2215099 (22)B> 22 21
90540 434389863 5 01 2215099 <B(11) 12 21
90541 434420061 -30193 01 <B(11) 1115099 12 21
90542 434420064 -30190 02 (22)B> 1115099 12 21
90543 434450262 8 02 2215099 (22)B> 12 21
90544 434450267 5 02 2215099 <B(11) 11 21
90545 434480465 -30193 02 <B(11) 1115100 21
90546 434480467 -30195 <C(11) 1115101 21
90547 434480472 -30192 12 (22)B> 1115101 21
90548 434510674 10 12 2215101 (22)B> 21
90549 434510677 7 12 2215101 <B(11) 11
90550 434540879 -30195 12 <B(11) 1115102
90551 434540884 -30192 22 (22)B> 1115102
90552 434571088 12 2215103 (22)B>
90553 434571091 9 2215103 <C(22) 10
90554 434601297 -30197 <C(22) 2215103 10
90555 434601309 -30199 <B(11) 11 2215103 10
90556 434601311 -30201 <A(11) 112 2215103 10
90557 434601314 -30198 01 (22)B> 112 2215103 10
90558 434601318 -30194 01 222 (22)B> 2215103 10
90559 434601321 -30197 01 222 <B(11) 12 2215102 10
90560 434601325 -30201 01 <B(11) 112 12 2215102 10
90561 434601328 -30198 02 (22)B> 112 12 2215102 10
90562 434601332 -30194 02 222 (22)B> 12 2215102 10
90563 434601337 -30197 02 222 <B(11) 11 2215102 10
90564 434601341 -30201 02 <B(11) 113 2215102 10
90565 434601343 -30203 <C(11) 114 2215102 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <C(11) 111+V(1) 222 21
1 5 3 12 (22)B> 111+V(1) 222 21
2 7+2*V(1) 5+2*V(1) 12 221+V(1) (22)B> 222 21
3 10+2*V(1) 2+2*V(1) 12 221+V(1) <B(11) 12 22 21
4 12+4*V(1) 0 12 <B(11) 111+V(1) 12 22 21
5 17+4*V(1) 3 22 (22)B> 111+V(1) 12 22 21
6 19+6*V(1) 5+2*V(1) 222+V(1) (22)B> 12 22 21
7 24+6*V(1) 2+2*V(1) 222+V(1) <B(11) 11 22 21
8 28+8*V(1) -2 <B(11) 113+V(1) 22 21
9 30+8*V(1) -4 <A(11) 114+V(1) 22 21
10 33+8*V(1) -1 01 (22)B> 114+V(1) 22 21
11 41+10*V(1) 7+2*V(1) 01 224+V(1) (22)B> 22 21
12 44+10*V(1) 4+2*V(1) 01 224+V(1) <B(11) 12 21
13 52+12*V(1) -4 01 <B(11) 114+V(1) 12 21
14 55+12*V(1) -1 02 (22)B> 114+V(1) 12 21
15 63+14*V(1) 7+2*V(1) 02 224+V(1) (22)B> 12 21
16 68+14*V(1) 4+2*V(1) 02 224+V(1) <B(11) 11 21
17 76+16*V(1) -4 02 <B(11) 115+V(1) 21
18 78+16*V(1) -6 <C(11) 116+V(1) 21
19 83+16*V(1) -3 12 (22)B> 116+V(1) 21
20 95+18*V(1) 9+2*V(1) 12 226+V(1) (22)B> 21
21 98+18*V(1) 6+2*V(1) 12 226+V(1) <B(11) 11
22 110+20*V(1) -6 12 <B(11) 117+V(1)
23 115+20*V(1) -3 22 (22)B> 117+V(1)
24 129+22*V(1) 11+2*V(1) 228+V(1) (22)B>
25 132+22*V(1) 8+2*V(1) 228+V(1) <C(22) 10
26 148+24*V(1) -8 <C(22) 228+V(1) 10
27 160+24*V(1) -10 <B(11) 11 228+V(1) 10
28 162+24*V(1) -12 <A(11) 112 228+V(1) 10
29 165+24*V(1) -9 01 (22)B> 112 228+V(1) 10
30 169+24*V(1) -5 01 222 (22)B> 228+V(1) 10
31 172+24*V(1) -8 01 222 <B(11) 12 227+V(1) 10
32 176+24*V(1) -12 01 <B(11) 112 12 227+V(1) 10
33 179+24*V(1) -9 02 (22)B> 112 12 227+V(1) 10
34 183+24*V(1) -5 02 222 (22)B> 12 227+V(1) 10
35 188+24*V(1) -8 02 222 <B(11) 11 227+V(1) 10
36 192+24*V(1) -12 02 <B(11) 113 227+V(1) 10
37 194+24*V(1) -14 <C(11) 114 227+V(1) 10
<< Success! ==> defined new CTR 7 (PPA)
90565 434601343 -30203 <C(11) 114 2215102 10
== Executing PA-CTR 4, V(1)=15099, V(2)=3, repcount=7550, factor=5/2
226465 2715350643 -75503 <C(11) 1137754 222 10
226466 2715350648 -75500 12 (22)B> 1137754 222 10
226467 2715426156 8 12 2237754 (22)B> 222 10
226468 2715426159 5 12 2237754 <B(11) 12 22 10
226469 2715501667 -75503 12 <B(11) 1137754 12 22 10
226470 2715501672 -75500 22 (22)B> 1137754 12 22 10
226471 2715577180 8 2237755 (22)B> 12 22 10
226472 2715577185 5 2237755 <B(11) 11 22 10
226473 2715652695 -75505 <B(11) 1137756 22 10
226474 2715652697 -75507 <A(11) 1137757 22 10
226475 2715652700 -75504 01 (22)B> 1137757 22 10
226476 2715728214 10 01 2237757 (22)B> 22 10
226477 2715728217 7 01 2237757 <B(11) 12 10
226478 2715803731 -75507 01 <B(11) 1137757 12 10
226479 2715803734 -75504 02 (22)B> 1137757 12 10
226480 2715879248 10 02 2237757 (22)B> 12 10
226481 2715879253 7 02 2237757 <B(11) 11 10
226482 2715954767 -75507 02 <B(11) 1137758 10
226483 2715954769 -75509 <C(11) 1137759 10
226484 2715954774 -75506 12 (22)B> 1137759 10
226485 2716030292 12 12 2237759 (22)B> 10
226486 2716030297 9 12 2237759 <A(22) 21
226487 2716105815 -75509 12 <A(22) 2237759 21
226488 2716105819 -75511 <C(22) 2237760 21
226489 2716105831 -75513 <B(11) 11 2237760 21
226490 2716105833 -75515 <A(11) 112 2237760 21
226491 2716105836 -75512 01 (22)B> 112 2237760 21
226492 2716105840 -75508 01 222 (22)B> 2237760 21
226493 2716105843 -75511 01 222 <B(11) 12 2237759 21
226494 2716105847 -75515 01 <B(11) 112 12 2237759 21
226495 2716105850 -75512 02 (22)B> 112 12 2237759 21
226496 2716105854 -75508 02 222 (22)B> 12 2237759 21
226497 2716105859 -75511 02 222 <B(11) 11 2237759 21
226498 2716105863 -75515 02 <B(11) 113 2237759 21
226499 2716105865 -75517 <C(11) 114 2237759 21
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <C(11) 111+V(1) 222 10
1 5 3 12 (22)B> 111+V(1) 222 10
2 7+2*V(1) 5+2*V(1) 12 221+V(1) (22)B> 222 10
3 10+2*V(1) 2+2*V(1) 12 221+V(1) <B(11) 12 22 10
4 12+4*V(1) 0 12 <B(11) 111+V(1) 12 22 10
5 17+4*V(1) 3 22 (22)B> 111+V(1) 12 22 10
6 19+6*V(1) 5+2*V(1) 222+V(1) (22)B> 12 22 10
7 24+6*V(1) 2+2*V(1) 222+V(1) <B(11) 11 22 10
8 28+8*V(1) -2 <B(11) 113+V(1) 22 10
9 30+8*V(1) -4 <A(11) 114+V(1) 22 10
10 33+8*V(1) -1 01 (22)B> 114+V(1) 22 10
11 41+10*V(1) 7+2*V(1) 01 224+V(1) (22)B> 22 10
12 44+10*V(1) 4+2*V(1) 01 224+V(1) <B(11) 12 10
13 52+12*V(1) -4 01 <B(11) 114+V(1) 12 10
14 55+12*V(1) -1 02 (22)B> 114+V(1) 12 10
15 63+14*V(1) 7+2*V(1) 02 224+V(1) (22)B> 12 10
16 68+14*V(1) 4+2*V(1) 02 224+V(1) <B(11) 11 10
17 76+16*V(1) -4 02 <B(11) 115+V(1) 10
18 78+16*V(1) -6 <C(11) 116+V(1) 10
19 83+16*V(1) -3 12 (22)B> 116+V(1) 10
20 95+18*V(1) 9+2*V(1) 12 226+V(1) (22)B> 10
21 100+18*V(1) 6+2*V(1) 12 226+V(1) <A(22) 21
22 112+20*V(1) -6 12 <A(22) 226+V(1) 21
23 116+20*V(1) -8 <C(22) 227+V(1) 21
24 128+20*V(1) -10 <B(11) 11 227+V(1) 21
25 130+20*V(1) -12 <A(11) 112 227+V(1) 21
26 133+20*V(1) -9 01 (22)B> 112 227+V(1) 21
27 137+20*V(1) -5 01 222 (22)B> 227+V(1) 21
28 140+20*V(1) -8 01 222 <B(11) 12 226+V(1) 21
29 144+20*V(1) -12 01 <B(11) 112 12 226+V(1) 21
30 147+20*V(1) -9 02 (22)B> 112 12 226+V(1) 21
31 151+20*V(1) -5 02 222 (22)B> 12 226+V(1) 21
32 156+20*V(1) -8 02 222 <B(11) 11 226+V(1) 21
33 160+20*V(1) -12 02 <B(11) 113 226+V(1) 21
34 162+20*V(1) -14 <C(11) 114 226+V(1) 21
<< Success! ==> defined new CTR 8 (PPA)
226499 2716105865 -75517 <C(11) 114 2237759 21
== Executing PA-CTR 4, V(1)=37756, V(2)=3, repcount=18879, factor=5/2
566321 16974395099 -188791 <C(11) 1194399 22 21
== Executing PPA-CTR 5 (once), V(1)=94398
566340 16975905555 -188799 <A(11) 11 12 2294403 10
== Executing PA-CTR 1, V(1)=94400, V(2)=0, repcount=47201, factor=5/2
1415958 106095075233 -472005 <A(11) 11236006 12 22 10
== Executing PPA-CTR 6 (once), V(1)=236005
1415976 106098851399 -472011 <C(11) 11 22236010 21
== Executing PA-CTR 4, V(1)=236007, V(2)=0, repcount=118004, factor=5/2
3540048 663101096191 -1180035 <C(11) 11590021 222 21
== Executing PPA-CTR 7 (once), V(1)=590020
3540085 663115256865 -1180049 <C(11) 114 22590027 10
== Executing PA-CTR 4, V(1)=590024, V(2)=3, repcount=295013, factor=5/2
8850319 4144447434743 -2950127 <C(11) 111475069 22 10
8850320 4144447434748 -2950124 12 (22)B> 111475069 22 10
8850321 4144450384886 14 12 221475069 (22)B> 22 10
8850322 4144450384889 11 12 221475069 <B(11) 12 10
8850323 4144453335027 -2950127 12 <B(11) 111475069 12 10
8850324 4144453335032 -2950124 22 (22)B> 111475069 12 10
8850325 4144456285170 14 221475070 (22)B> 12 10
8850326 4144456285175 11 221475070 <B(11) 11 10
8850327 4144459235315 -2950129 <B(11) 111475071 10
8850328 4144459235317 -2950131 <A(11) 111475072 10
8850329 4144459235320 -2950128 01 (22)B> 111475072 10
8850330 4144462185464 16 01 221475072 (22)B> 10
8850331 4144462185469 13 01 221475072 <A(22) 21
8850332 4144465135613 -2950131 01 <A(22) 221475072 21
8850333 4144465135614 -2950132 Z> 0222 221475072 21 [stop]
Lines: 307
Top steps: 306
Macro steps: 8850333
Basic steps: 4144465135614
Tape index: -2950132
nonzeros: 2950149
log10(nonzeros): 6.470
log10(steps ): 12.617
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #e of G. Lafitte & C. Papazian
5T B1R Z2L C2L C1L B2R B1L A1L C2R A2L
: 2,950,149 4,144,465,135,614
L 52
M 400
pref sim
machv Laf33_e just simple
machv Laf33_e-r with repetitions reduced
machv Laf33_e-1 with tape symbol exponents
machv Laf33_e-m as 2-bck-macro machine
machv Laf33_e-a as 2-bck-macro machine with pure additive config-TRs
iam Laf33_e-a
mtype 2 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:51 CEST 2010
edate Tue Jul 6 22:11:52 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:51 CEST 2010