Comment: This TM produces 95524079 ones in 8690333381690951 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | A1R | 1 | right | B | 1 | right | A |
| B | C1L | B1L | 1 | left | C | 1 | left | B |
| C | F0R | D1L | 0 | right | F | 1 | left | D |
| D | A1R | E0L | 1 | right | A | 0 | left | E |
| E | H1L | F1L | 1 | left | H | 1 | left | F |
| F | A0L | C0L | 0 | left | A | 0 | left | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-2-macro machine.
Simulation is done as 2-bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 17 -3 <D(11) 1011
2 20 0 0001 (11)A> 1011
3 27 -3 0001 <B(11) 1111
4 42 0 1111 (11)A> 1111
5 46 4 11112 (11)A>
6 51 1 11112 <F(10) 1100
7 59 -7 <F(10) 10102 1100
8 68 -4 0111 (11)B> 10102 1100
9 71 -7 0111 <B(11) 10102 1100
10 75 -11 <C(11) 1111 10102 1100
11 86 -8 0011 (11)A> 1111 10102 1100
12 90 -4 0011 1111 (11)A> 10102 1100
13 97 -7 0011 1111 <B(11) 1110 1010 1100
14 101 -11 0011 <B(11) 1111 1110 1010 1100
15 111 -15 <D(11) 11112 1110 1010 1100
16 114 -12 0001 (11)A> 11112 1110 1010 1100
17 122 -4 0001 11112 (11)A> 1110 1010 1100
18 126 0 0001 11113 (11)B> 1010 1100
19 129 -3 0001 11113 <B(11) 1010 1100
20 141 -15 0001 <B(11) 11113 1010 1100
21 156 -12 1111 (11)A> 11113 1010 1100
22 168 0 11114 (11)A> 1010 1100
23 175 -3 11114 <B(11) 1110 1100
24 191 -19 <B(11) 11114 1110 1100
25 204 -16 0111 (11)A> 11114 1110 1100
26 220 0 0111 11114 (11)A> 1110 1100
27 224 4 0111 11115 (11)B> 1100
28 227 1 0111 11115 <B(11) 1100
29 247 -19 0111 <B(11) 11115 1100
30 251 -23 <C(11) 11116 1100
31 262 -20 0011 (11)A> 11116 1100
32 286 4 0011 11116 (11)A> 1100
33 295 1 0011 11116 <D(10) 1011
34 319 -23 0011 <D(10) 10106 1011
35 325 -27 <D(11) 10107 1011
36 328 -24 0001 (11)A> 10107 1011
37 335 -27 0001 <B(11) 1110 10106 1011
38 350 -24 1111 (11)A> 1110 10106 1011
39 354 -20 11112 (11)B> 10106 1011
40 357 -23 11112 <B(11) 10106 1011
41 365 -31 <B(11) 11112 10106 1011
42 378 -28 0111 (11)A> 11112 10106 1011
43 386 -20 0111 11112 (11)A> 10106 1011
44 393 -23 0111 11112 <B(11) 1110 10105 1011
45 401 -31 0111 <B(11) 11112 1110 10105 1011
46 405 -35 <C(11) 11113 1110 10105 1011
47 416 -32 0011 (11)A> 11113 1110 10105 1011
48 428 -20 0011 11113 (11)A> 1110 10105 1011
49 432 -16 0011 11114 (11)B> 10105 1011
50 435 -19 0011 11114 <B(11) 10105 1011
51 451 -35 0011 <B(11) 11114 10105 1011
52 461 -39 <D(11) 11115 10105 1011
53 464 -36 0001 (11)A> 11115 10105 1011
54 484 -16 0001 11115 (11)A> 10105 1011
55 491 -19 0001 11115 <B(11) 1110 10104 1011
56 511 -39 0001 <B(11) 11115 1110 10104 1011
57 526 -36 1111 (11)A> 11115 1110 10104 1011
58 546 -16 11116 (11)A> 1110 10104 1011
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 11111+V(1) (11)A> 1110 10103+V(2) [*]*
1 4 4 11112+V(1) (11)B> 10103+V(2) [*]*
2 7 1 11112+V(1) <B(11) 10103+V(2) [*]*
3 15+4*V(1) -7+-4*V(1) <B(11) 11112+V(1) 10103+V(2) [*]*
4 28+4*V(1) -4+-4*V(1) 0111 (11)A> 11112+V(1) 10103+V(2) [*]*
5 36+8*V(1) 4 0111 11112+V(1) (11)A> 10103+V(2) [*]*
6 43+8*V(1) 1 0111 11112+V(1) <B(11) 1110 10102+V(2) [*]*
7 51+12*V(1) -7+-4*V(1) 0111 <B(11) 11112+V(1) 1110 10102+V(2) [*]*
8 55+12*V(1) -11+-4*V(1) <C(11) 11113+V(1) 1110 10102+V(2) [*]*
9 66+12*V(1) -8+-4*V(1) 0011 (11)A> 11113+V(1) 1110 10102+V(2) [*]*
10 78+16*V(1) 4 0011 11113+V(1) (11)A> 1110 10102+V(2) [*]*
11 82+16*V(1) 8 0011 11114+V(1) (11)B> 10102+V(2) [*]*
12 85+16*V(1) 5 0011 11114+V(1) <B(11) 10102+V(2) [*]*
13 101+20*V(1) -11+-4*V(1) 0011 <B(11) 11114+V(1) 10102+V(2) [*]*
14 111+20*V(1) -15+-4*V(1) <D(11) 11115+V(1) 10102+V(2) [*]*
15 114+20*V(1) -12+-4*V(1) 0001 (11)A> 11115+V(1) 10102+V(2) [*]*
16 134+24*V(1) 8 0001 11115+V(1) (11)A> 10102+V(2) [*]*
17 141+24*V(1) 5 0001 11115+V(1) <B(11) 1110 10101+V(2) [*]*
18 161+28*V(1) -15+-4*V(1) 0001 <B(11) 11115+V(1) 1110 10101+V(2) [*]*
19 176+28*V(1) -12+-4*V(1) 1111 (11)A> 11115+V(1) 1110 10101+V(2) [*]*
20 196+32*V(1) 8 11116+V(1) (11)A> 1110 10101+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
58 546 -16 11116 (11)A> 1110 10104 1011
== Executing PA-CTR 1, V(1)=5, V(2)=1, repcount=1, factor=5/2
78 902 -8 111111 (11)A> 1110 10102 1011
79 906 -4 111112 (11)B> 10102 1011
80 909 -7 111112 <B(11) 10102 1011
81 957 -55 <B(11) 111112 10102 1011
82 970 -52 0111 (11)A> 111112 10102 1011
83 1018 -4 0111 111112 (11)A> 10102 1011
84 1025 -7 0111 111112 <B(11) 1110 1010 1011
85 1073 -55 0111 <B(11) 111112 1110 1010 1011
86 1077 -59 <C(11) 111113 1110 1010 1011
87 1088 -56 0011 (11)A> 111113 1110 1010 1011
88 1140 -4 0011 111113 (11)A> 1110 1010 1011
89 1144 0 0011 111114 (11)B> 1010 1011
90 1147 -3 0011 111114 <B(11) 1010 1011
91 1203 -59 0011 <B(11) 111114 1010 1011
92 1213 -63 <D(11) 111115 1010 1011
93 1216 -60 0001 (11)A> 111115 1010 1011
94 1276 0 0001 111115 (11)A> 1010 1011
95 1283 -3 0001 111115 <B(11) 1110 1011
96 1343 -63 0001 <B(11) 111115 1110 1011
97 1358 -60 1111 (11)A> 111115 1110 1011
98 1418 0 111116 (11)A> 1110 1011
99 1422 4 111117 (11)B> 1011
100 1425 1 111117 <B(11) 1011
101 1493 -67 <B(11) 111117 1011
102 1506 -64 0111 (11)A> 111117 1011
103 1574 4 0111 111117 (11)A> 1011
104 1581 1 0111 111117 <B(11) 1111
105 1649 -67 0111 <B(11) 111118
106 1653 -71 <C(11) 111119
107 1664 -68 0011 (11)A> 111119
108 1740 8 0011 111119 (11)A>
109 1745 5 0011 111119 <F(10) 1100
110 1821 -71 0011 <F(10) 101019 1100
111 1831 -75 <C(11) 1110 101019 1100
112 1842 -72 0011 (11)A> 1110 101019 1100
113 1846 -68 0011 1111 (11)B> 101019 1100
114 1849 -71 0011 1111 <B(11) 101019 1100
115 1853 -75 0011 <B(11) 1111 101019 1100
116 1863 -79 <D(11) 11112 101019 1100
117 1866 -76 0001 (11)A> 11112 101019 1100
118 1874 -68 0001 11112 (11)A> 101019 1100
119 1881 -71 0001 11112 <B(11) 1110 101018 1100
120 1889 -79 0001 <B(11) 11112 1110 101018 1100
121 1904 -76 1111 (11)A> 11112 1110 101018 1100
122 1912 -68 11113 (11)A> 1110 101018 1100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 11111+V(1) (11)A> 1110 10102 1011
1 4 4 11112+V(1) (11)B> 10102 1011
2 7 1 11112+V(1) <B(11) 10102 1011
3 15+4*V(1) -7+-4*V(1) <B(11) 11112+V(1) 10102 1011
4 28+4*V(1) -4+-4*V(1) 0111 (11)A> 11112+V(1) 10102 1011
5 36+8*V(1) 4 0111 11112+V(1) (11)A> 10102 1011
6 43+8*V(1) 1 0111 11112+V(1) <B(11) 1110 1010 1011
7 51+12*V(1) -7+-4*V(1) 0111 <B(11) 11112+V(1) 1110 1010 1011
8 55+12*V(1) -11+-4*V(1) <C(11) 11113+V(1) 1110 1010 1011
9 66+12*V(1) -8+-4*V(1) 0011 (11)A> 11113+V(1) 1110 1010 1011
10 78+16*V(1) 4 0011 11113+V(1) (11)A> 1110 1010 1011
11 82+16*V(1) 8 0011 11114+V(1) (11)B> 1010 1011
12 85+16*V(1) 5 0011 11114+V(1) <B(11) 1010 1011
13 101+20*V(1) -11+-4*V(1) 0011 <B(11) 11114+V(1) 1010 1011
14 111+20*V(1) -15+-4*V(1) <D(11) 11115+V(1) 1010 1011
15 114+20*V(1) -12+-4*V(1) 0001 (11)A> 11115+V(1) 1010 1011
16 134+24*V(1) 8 0001 11115+V(1) (11)A> 1010 1011
17 141+24*V(1) 5 0001 11115+V(1) <B(11) 1110 1011
18 161+28*V(1) -15+-4*V(1) 0001 <B(11) 11115+V(1) 1110 1011
19 176+28*V(1) -12+-4*V(1) 1111 (11)A> 11115+V(1) 1110 1011
20 196+32*V(1) 8 11116+V(1) (11)A> 1110 1011
21 200+32*V(1) 12 11117+V(1) (11)B> 1011
22 203+32*V(1) 9 11117+V(1) <B(11) 1011
23 231+36*V(1) -19+-4*V(1) <B(11) 11117+V(1) 1011
24 244+36*V(1) -16+-4*V(1) 0111 (11)A> 11117+V(1) 1011
25 272+40*V(1) 12 0111 11117+V(1) (11)A> 1011
26 279+40*V(1) 9 0111 11117+V(1) <B(11) 1111
27 307+44*V(1) -19+-4*V(1) 0111 <B(11) 11118+V(1)
28 311+44*V(1) -23+-4*V(1) <C(11) 11119+V(1)
29 322+44*V(1) -20+-4*V(1) 0011 (11)A> 11119+V(1)
30 358+48*V(1) 16 0011 11119+V(1) (11)A>
31 363+48*V(1) 13 0011 11119+V(1) <F(10) 1100
32 399+52*V(1) -23+-4*V(1) 0011 <F(10) 10109+V(1) 1100
33 409+52*V(1) -27+-4*V(1) <C(11) 1110 10109+V(1) 1100
34 420+52*V(1) -24+-4*V(1) 0011 (11)A> 1110 10109+V(1) 1100
35 424+52*V(1) -20+-4*V(1) 0011 1111 (11)B> 10109+V(1) 1100
36 427+52*V(1) -23+-4*V(1) 0011 1111 <B(11) 10109+V(1) 1100
37 431+52*V(1) -27+-4*V(1) 0011 <B(11) 1111 10109+V(1) 1100
38 441+52*V(1) -31+-4*V(1) <D(11) 11112 10109+V(1) 1100
39 444+52*V(1) -28+-4*V(1) 0001 (11)A> 11112 10109+V(1) 1100
40 452+52*V(1) -20+-4*V(1) 0001 11112 (11)A> 10109+V(1) 1100
41 459+52*V(1) -23+-4*V(1) 0001 11112 <B(11) 1110 10108+V(1) 1100
42 467+52*V(1) -31+-4*V(1) 0001 <B(11) 11112 1110 10108+V(1) 1100
43 482+52*V(1) -28+-4*V(1) 1111 (11)A> 11112 1110 10108+V(1) 1100
44 490+52*V(1) -20+-4*V(1) 11113 (11)A> 1110 10108+V(1) 1100
<< Success! ==> defined new CTR 2 (PPA)
122 1912 -68 11113 (11)A> 1110 101018 1100
== Executing PA-CTR 1, V(1)=2, V(2)=15, repcount=8, factor=5/2
282 8472 -4 111143 (11)A> 1110 10102 1100
283 8476 0 111144 (11)B> 10102 1100
284 8479 -3 111144 <B(11) 10102 1100
285 8655 -179 <B(11) 111144 10102 1100
286 8668 -176 0111 (11)A> 111144 10102 1100
287 8844 0 0111 111144 (11)A> 10102 1100
288 8851 -3 0111 111144 <B(11) 1110 1010 1100
289 9027 -179 0111 <B(11) 111144 1110 1010 1100
290 9031 -183 <C(11) 111145 1110 1010 1100
291 9042 -180 0011 (11)A> 111145 1110 1010 1100
292 9222 0 0011 111145 (11)A> 1110 1010 1100
293 9226 4 0011 111146 (11)B> 1010 1100
294 9229 1 0011 111146 <B(11) 1010 1100
295 9413 -183 0011 <B(11) 111146 1010 1100
296 9423 -187 <D(11) 111147 1010 1100
297 9426 -184 0001 (11)A> 111147 1010 1100
298 9614 4 0001 111147 (11)A> 1010 1100
299 9621 1 0001 111147 <B(11) 1110 1100
300 9809 -187 0001 <B(11) 111147 1110 1100
301 9824 -184 1111 (11)A> 111147 1110 1100
302 10012 4 111148 (11)A> 1110 1100
303 10016 8 111149 (11)B> 1100
304 10019 5 111149 <B(11) 1100
305 10215 -191 <B(11) 111149 1100
306 10228 -188 0111 (11)A> 111149 1100
307 10424 8 0111 111149 (11)A> 1100
308 10433 5 0111 111149 <D(10) 1011
309 10629 -191 0111 <D(10) 101049 1011
310 10637 -195 <D(11) 101050 1011
311 10640 -192 0001 (11)A> 101050 1011
312 10647 -195 0001 <B(11) 1110 101049 1011
313 10662 -192 1111 (11)A> 1110 101049 1011
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 11111+V(1) (11)A> 1110 10102 1100
1 4 4 11112+V(1) (11)B> 10102 1100
2 7 1 11112+V(1) <B(11) 10102 1100
3 15+4*V(1) -7+-4*V(1) <B(11) 11112+V(1) 10102 1100
4 28+4*V(1) -4+-4*V(1) 0111 (11)A> 11112+V(1) 10102 1100
5 36+8*V(1) 4 0111 11112+V(1) (11)A> 10102 1100
6 43+8*V(1) 1 0111 11112+V(1) <B(11) 1110 1010 1100
7 51+12*V(1) -7+-4*V(1) 0111 <B(11) 11112+V(1) 1110 1010 1100
8 55+12*V(1) -11+-4*V(1) <C(11) 11113+V(1) 1110 1010 1100
9 66+12*V(1) -8+-4*V(1) 0011 (11)A> 11113+V(1) 1110 1010 1100
10 78+16*V(1) 4 0011 11113+V(1) (11)A> 1110 1010 1100
11 82+16*V(1) 8 0011 11114+V(1) (11)B> 1010 1100
12 85+16*V(1) 5 0011 11114+V(1) <B(11) 1010 1100
13 101+20*V(1) -11+-4*V(1) 0011 <B(11) 11114+V(1) 1010 1100
14 111+20*V(1) -15+-4*V(1) <D(11) 11115+V(1) 1010 1100
15 114+20*V(1) -12+-4*V(1) 0001 (11)A> 11115+V(1) 1010 1100
16 134+24*V(1) 8 0001 11115+V(1) (11)A> 1010 1100
17 141+24*V(1) 5 0001 11115+V(1) <B(11) 1110 1100
18 161+28*V(1) -15+-4*V(1) 0001 <B(11) 11115+V(1) 1110 1100
19 176+28*V(1) -12+-4*V(1) 1111 (11)A> 11115+V(1) 1110 1100
20 196+32*V(1) 8 11116+V(1) (11)A> 1110 1100
21 200+32*V(1) 12 11117+V(1) (11)B> 1100
22 203+32*V(1) 9 11117+V(1) <B(11) 1100
23 231+36*V(1) -19+-4*V(1) <B(11) 11117+V(1) 1100
24 244+36*V(1) -16+-4*V(1) 0111 (11)A> 11117+V(1) 1100
25 272+40*V(1) 12 0111 11117+V(1) (11)A> 1100
26 281+40*V(1) 9 0111 11117+V(1) <D(10) 1011
27 309+44*V(1) -19+-4*V(1) 0111 <D(10) 10107+V(1) 1011
28 317+44*V(1) -23+-4*V(1) <D(11) 10108+V(1) 1011
29 320+44*V(1) -20+-4*V(1) 0001 (11)A> 10108+V(1) 1011
30 327+44*V(1) -23+-4*V(1) 0001 <B(11) 1110 10107+V(1) 1011
31 342+44*V(1) -20+-4*V(1) 1111 (11)A> 1110 10107+V(1) 1011
<< Success! ==> defined new CTR 3 (PPA)
313 10662 -192 1111 (11)A> 1110 101049 1011
== Executing PA-CTR 1, V(1)=0, V(2)=46, repcount=24, factor=5/2
793 59526 0 1111121 (11)A> 1110 1010 1011
794 59530 4 1111122 (11)B> 1010 1011
795 59533 1 1111122 <B(11) 1010 1011
796 60021 -487 <B(11) 1111122 1010 1011
797 60034 -484 0111 (11)A> 1111122 1010 1011
798 60522 4 0111 1111122 (11)A> 1010 1011
799 60529 1 0111 1111122 <B(11) 1110 1011
800 61017 -487 0111 <B(11) 1111122 1110 1011
801 61021 -491 <C(11) 1111123 1110 1011
802 61032 -488 0011 (11)A> 1111123 1110 1011
803 61524 4 0011 1111123 (11)A> 1110 1011
804 61528 8 0011 1111124 (11)B> 1011
805 61531 5 0011 1111124 <B(11) 1011
806 62027 -491 0011 <B(11) 1111124 1011
807 62037 -495 <D(11) 1111125 1011
808 62040 -492 0001 (11)A> 1111125 1011
809 62540 8 0001 1111125 (11)A> 1011
810 62547 5 0001 1111125 <B(11) 1111
811 63047 -495 0001 <B(11) 1111126
812 63062 -492 1111 (11)A> 1111126
813 63566 12 1111127 (11)A>
814 63571 9 1111127 <F(10) 1100
815 64079 -499 <F(10) 1010127 1100
816 64088 -496 0111 (11)B> 1010127 1100
817 64091 -499 0111 <B(11) 1010127 1100
818 64095 -503 <C(11) 1111 1010127 1100
819 64106 -500 0011 (11)A> 1111 1010127 1100
820 64110 -496 0011 1111 (11)A> 1010127 1100
821 64117 -499 0011 1111 <B(11) 1110 1010126 1100
822 64121 -503 0011 <B(11) 1111 1110 1010126 1100
823 64131 -507 <D(11) 11112 1110 1010126 1100
824 64134 -504 0001 (11)A> 11112 1110 1010126 1100
825 64142 -496 0001 11112 (11)A> 1110 1010126 1100
826 64146 -492 0001 11113 (11)B> 1010126 1100
827 64149 -495 0001 11113 <B(11) 1010126 1100
828 64161 -507 0001 <B(11) 11113 1010126 1100
829 64176 -504 1111 (11)A> 11113 1010126 1100
830 64188 -492 11114 (11)A> 1010126 1100
831 64195 -495 11114 <B(11) 1110 1010125 1100
832 64211 -511 <B(11) 11114 1110 1010125 1100
833 64224 -508 0111 (11)A> 11114 1110 1010125 1100
834 64240 -492 0111 11114 (11)A> 1110 1010125 1100
835 64244 -488 0111 11115 (11)B> 1010125 1100
836 64247 -491 0111 11115 <B(11) 1010125 1100
837 64267 -511 0111 <B(11) 11115 1010125 1100
838 64271 -515 <C(11) 11116 1010125 1100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <C(11) 11111+V(2) 10103+V(1) [*]*
1 11 3 0011 (11)A> 11111+V(2) 10103+V(1) [*]*
2 15+4*V(2) 7+4*V(2) 0011 11111+V(2) (11)A> 10103+V(1) [*]*
3 22+4*V(2) 4+4*V(2) 0011 11111+V(2) <B(11) 1110 10102+V(1) [*]*
4 26+8*V(2) 0 0011 <B(11) 11111+V(2) 1110 10102+V(1) [*]*
5 36+8*V(2) -4 <D(11) 11112+V(2) 1110 10102+V(1) [*]*
6 39+8*V(2) -1 0001 (11)A> 11112+V(2) 1110 10102+V(1) [*]*
7 47+12*V(2) 7+4*V(2) 0001 11112+V(2) (11)A> 1110 10102+V(1) [*]*
8 51+12*V(2) 11+4*V(2) 0001 11113+V(2) (11)B> 10102+V(1) [*]*
9 54+12*V(2) 8+4*V(2) 0001 11113+V(2) <B(11) 10102+V(1) [*]*
10 66+16*V(2) -4 0001 <B(11) 11113+V(2) 10102+V(1) [*]*
11 81+16*V(2) -1 1111 (11)A> 11113+V(2) 10102+V(1) [*]*
12 93+20*V(2) 11+4*V(2) 11114+V(2) (11)A> 10102+V(1) [*]*
13 100+20*V(2) 8+4*V(2) 11114+V(2) <B(11) 1110 10101+V(1) [*]*
14 116+24*V(2) -8 <B(11) 11114+V(2) 1110 10101+V(1) [*]*
15 129+24*V(2) -5 0111 (11)A> 11114+V(2) 1110 10101+V(1) [*]*
16 145+28*V(2) 11+4*V(2) 0111 11114+V(2) (11)A> 1110 10101+V(1) [*]*
17 149+28*V(2) 15+4*V(2) 0111 11115+V(2) (11)B> 10101+V(1) [*]*
18 152+28*V(2) 12+4*V(2) 0111 11115+V(2) <B(11) 10101+V(1) [*]*
19 172+32*V(2) -8 0111 <B(11) 11115+V(2) 10101+V(1) [*]*
20 176+32*V(2) -12 <C(11) 11116+V(2) 10101+V(1) [*]*
<< Success! ==> defined new CTR 4 (PA)
838 64271 -515 <C(11) 11116 1010125 1100
== Executing PA-CTR 4, V(1)=122, V(2)=5, repcount=62, factor=5/2
2078 387663 -1259 <C(11) 1111316 1010 1100
2079 387674 -1256 0011 (11)A> 1111316 1010 1100
2080 388938 8 0011 1111316 (11)A> 1010 1100
2081 388945 5 0011 1111316 <B(11) 1110 1100
2082 390209 -1259 0011 <B(11) 1111316 1110 1100
2083 390219 -1263 <D(11) 1111317 1110 1100
2084 390222 -1260 0001 (11)A> 1111317 1110 1100
2085 391490 8 0001 1111317 (11)A> 1110 1100
2086 391494 12 0001 1111318 (11)B> 1100
2087 391497 9 0001 1111318 <B(11) 1100
2088 392769 -1263 0001 <B(11) 1111318 1100
2089 392784 -1260 1111 (11)A> 1111318 1100
2090 394056 12 1111319 (11)A> 1100
2091 394065 9 1111319 <D(10) 1011
2092 395341 -1267 <D(10) 1010319 1011
2093 395344 -1264 0001 (11)B> 1010319 1011
2094 395347 -1267 0001 <B(11) 1010319 1011
2095 395362 -1264 1111 (11)A> 1010319 1011
2096 395369 -1267 1111 <B(11) 1110 1010318 1011
2097 395373 -1271 <B(11) 1111 1110 1010318 1011
2098 395386 -1268 0111 (11)A> 1111 1110 1010318 1011
2099 395390 -1264 0111 1111 (11)A> 1110 1010318 1011
2100 395394 -1260 0111 11112 (11)B> 1010318 1011
2101 395397 -1263 0111 11112 <B(11) 1010318 1011
2102 395405 -1271 0111 <B(11) 11112 1010318 1011
2103 395409 -1275 <C(11) 11113 1010318 1011
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <C(11) 11111+V(1) 1010 1100
1 11 3 0011 (11)A> 11111+V(1) 1010 1100
2 15+4*V(1) 7+4*V(1) 0011 11111+V(1) (11)A> 1010 1100
3 22+4*V(1) 4+4*V(1) 0011 11111+V(1) <B(11) 1110 1100
4 26+8*V(1) 0 0011 <B(11) 11111+V(1) 1110 1100
5 36+8*V(1) -4 <D(11) 11112+V(1) 1110 1100
6 39+8*V(1) -1 0001 (11)A> 11112+V(1) 1110 1100
7 47+12*V(1) 7+4*V(1) 0001 11112+V(1) (11)A> 1110 1100
8 51+12*V(1) 11+4*V(1) 0001 11113+V(1) (11)B> 1100
9 54+12*V(1) 8+4*V(1) 0001 11113+V(1) <B(11) 1100
10 66+16*V(1) -4 0001 <B(11) 11113+V(1) 1100
11 81+16*V(1) -1 1111 (11)A> 11113+V(1) 1100
12 93+20*V(1) 11+4*V(1) 11114+V(1) (11)A> 1100
13 102+20*V(1) 8+4*V(1) 11114+V(1) <D(10) 1011
14 118+24*V(1) -8 <D(10) 10104+V(1) 1011
15 121+24*V(1) -5 0001 (11)B> 10104+V(1) 1011
16 124+24*V(1) -8 0001 <B(11) 10104+V(1) 1011
17 139+24*V(1) -5 1111 (11)A> 10104+V(1) 1011
18 146+24*V(1) -8 1111 <B(11) 1110 10103+V(1) 1011
19 150+24*V(1) -12 <B(11) 1111 1110 10103+V(1) 1011
20 163+24*V(1) -9 0111 (11)A> 1111 1110 10103+V(1) 1011
21 167+24*V(1) -5 0111 1111 (11)A> 1110 10103+V(1) 1011
22 171+24*V(1) -1 0111 11112 (11)B> 10103+V(1) 1011
23 174+24*V(1) -4 0111 11112 <B(11) 10103+V(1) 1011
24 182+24*V(1) -12 0111 <B(11) 11112 10103+V(1) 1011
25 186+24*V(1) -16 <C(11) 11113 10103+V(1) 1011
<< Success! ==> defined new CTR 5 (PPA)
2103 395409 -1275 <C(11) 11113 1010318 1011
== Executing PA-CTR 4, V(1)=315, V(2)=2, repcount=158, factor=5/2
5263 2417809 -3171 <C(11) 1111793 10102 1011
5264 2417820 -3168 0011 (11)A> 1111793 10102 1011
5265 2420992 4 0011 1111793 (11)A> 10102 1011
5266 2420999 1 0011 1111793 <B(11) 1110 1010 1011
5267 2424171 -3171 0011 <B(11) 1111793 1110 1010 1011
5268 2424181 -3175 <D(11) 1111794 1110 1010 1011
5269 2424184 -3172 0001 (11)A> 1111794 1110 1010 1011
5270 2427360 4 0001 1111794 (11)A> 1110 1010 1011
5271 2427364 8 0001 1111795 (11)B> 1010 1011
5272 2427367 5 0001 1111795 <B(11) 1010 1011
5273 2430547 -3175 0001 <B(11) 1111795 1010 1011
5274 2430562 -3172 1111 (11)A> 1111795 1010 1011
5275 2433742 8 1111796 (11)A> 1010 1011
5276 2433749 5 1111796 <B(11) 1110 1011
5277 2436933 -3179 <B(11) 1111796 1110 1011
5278 2436946 -3176 0111 (11)A> 1111796 1110 1011
5279 2440130 8 0111 1111796 (11)A> 1110 1011
5280 2440134 12 0111 1111797 (11)B> 1011
5281 2440137 9 0111 1111797 <B(11) 1011
5282 2443325 -3179 0111 <B(11) 1111797 1011
5283 2443329 -3183 <C(11) 1111798 1011
5284 2443340 -3180 0011 (11)A> 1111798 1011
5285 2446532 12 0011 1111798 (11)A> 1011
5286 2446539 9 0011 1111798 <B(11) 1111
5287 2449731 -3183 0011 <B(11) 1111799
5288 2449741 -3187 <D(11) 1111800
5289 2449744 -3184 0001 (11)A> 1111800
5290 2452944 16 0001 1111800 (11)A>
5291 2452949 13 0001 1111800 <F(10) 1100
5292 2456149 -3187 0001 <F(10) 1010800 1100
5293 2456160 -3184 0111 (11)B> 1010800 1100
5294 2456163 -3187 0111 <B(11) 1010800 1100
5295 2456167 -3191 <C(11) 1111 1010800 1100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <C(11) 11111+V(1) 10102 1011
1 11 3 0011 (11)A> 11111+V(1) 10102 1011
2 15+4*V(1) 7+4*V(1) 0011 11111+V(1) (11)A> 10102 1011
3 22+4*V(1) 4+4*V(1) 0011 11111+V(1) <B(11) 1110 1010 1011
4 26+8*V(1) 0 0011 <B(11) 11111+V(1) 1110 1010 1011
5 36+8*V(1) -4 <D(11) 11112+V(1) 1110 1010 1011
6 39+8*V(1) -1 0001 (11)A> 11112+V(1) 1110 1010 1011
7 47+12*V(1) 7+4*V(1) 0001 11112+V(1) (11)A> 1110 1010 1011
8 51+12*V(1) 11+4*V(1) 0001 11113+V(1) (11)B> 1010 1011
9 54+12*V(1) 8+4*V(1) 0001 11113+V(1) <B(11) 1010 1011
10 66+16*V(1) -4 0001 <B(11) 11113+V(1) 1010 1011
11 81+16*V(1) -1 1111 (11)A> 11113+V(1) 1010 1011
12 93+20*V(1) 11+4*V(1) 11114+V(1) (11)A> 1010 1011
13 100+20*V(1) 8+4*V(1) 11114+V(1) <B(11) 1110 1011
14 116+24*V(1) -8 <B(11) 11114+V(1) 1110 1011
15 129+24*V(1) -5 0111 (11)A> 11114+V(1) 1110 1011
16 145+28*V(1) 11+4*V(1) 0111 11114+V(1) (11)A> 1110 1011
17 149+28*V(1) 15+4*V(1) 0111 11115+V(1) (11)B> 1011
18 152+28*V(1) 12+4*V(1) 0111 11115+V(1) <B(11) 1011
19 172+32*V(1) -8 0111 <B(11) 11115+V(1) 1011
20 176+32*V(1) -12 <C(11) 11116+V(1) 1011
21 187+32*V(1) -9 0011 (11)A> 11116+V(1) 1011
22 211+36*V(1) 15+4*V(1) 0011 11116+V(1) (11)A> 1011
23 218+36*V(1) 12+4*V(1) 0011 11116+V(1) <B(11) 1111
24 242+40*V(1) -12 0011 <B(11) 11117+V(1)
25 252+40*V(1) -16 <D(11) 11118+V(1)
26 255+40*V(1) -13 0001 (11)A> 11118+V(1)
27 287+44*V(1) 19+4*V(1) 0001 11118+V(1) (11)A>
28 292+44*V(1) 16+4*V(1) 0001 11118+V(1) <F(10) 1100
29 324+48*V(1) -16 0001 <F(10) 10108+V(1) 1100
30 335+48*V(1) -13 0111 (11)B> 10108+V(1) 1100
31 338+48*V(1) -16 0111 <B(11) 10108+V(1) 1100
32 342+48*V(1) -20 <C(11) 1111 10108+V(1) 1100
<< Success! ==> defined new CTR 6 (PPA)
5295 2456167 -3191 <C(11) 1111 1010800 1100
== Executing PA-CTR 4, V(1)=797, V(2)=0, repcount=399, factor=5/2
13275 15230551 -7979 <C(11) 11111996 10102 1100
13276 15230562 -7976 0011 (11)A> 11111996 10102 1100
13277 15238546 8 0011 11111996 (11)A> 10102 1100
13278 15238553 5 0011 11111996 <B(11) 1110 1010 1100
13279 15246537 -7979 0011 <B(11) 11111996 1110 1010 1100
13280 15246547 -7983 <D(11) 11111997 1110 1010 1100
13281 15246550 -7980 0001 (11)A> 11111997 1110 1010 1100
13282 15254538 8 0001 11111997 (11)A> 1110 1010 1100
13283 15254542 12 0001 11111998 (11)B> 1010 1100
13284 15254545 9 0001 11111998 <B(11) 1010 1100
13285 15262537 -7983 0001 <B(11) 11111998 1010 1100
13286 15262552 -7980 1111 (11)A> 11111998 1010 1100
13287 15270544 12 11111999 (11)A> 1010 1100
13288 15270551 9 11111999 <B(11) 1110 1100
13289 15278547 -7987 <B(11) 11111999 1110 1100
13290 15278560 -7984 0111 (11)A> 11111999 1110 1100
13291 15286556 12 0111 11111999 (11)A> 1110 1100
13292 15286560 16 0111 11112000 (11)B> 1100
13293 15286563 13 0111 11112000 <B(11) 1100
13294 15294563 -7987 0111 <B(11) 11112000 1100
13295 15294567 -7991 <C(11) 11112001 1100
13296 15294578 -7988 0011 (11)A> 11112001 1100
13297 15302582 16 0011 11112001 (11)A> 1100
13298 15302591 13 0011 11112001 <D(10) 1011
13299 15310595 -7991 0011 <D(10) 10102001 1011
13300 15310601 -7995 <D(11) 10102002 1011
13301 15310604 -7992 0001 (11)A> 10102002 1011
13302 15310611 -7995 0001 <B(11) 1110 10102001 1011
13303 15310626 -7992 1111 (11)A> 1110 10102001 1011
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <C(11) 11111+V(1) 10102 1100
1 11 3 0011 (11)A> 11111+V(1) 10102 1100
2 15+4*V(1) 7+4*V(1) 0011 11111+V(1) (11)A> 10102 1100
3 22+4*V(1) 4+4*V(1) 0011 11111+V(1) <B(11) 1110 1010 1100
4 26+8*V(1) 0 0011 <B(11) 11111+V(1) 1110 1010 1100
5 36+8*V(1) -4 <D(11) 11112+V(1) 1110 1010 1100
6 39+8*V(1) -1 0001 (11)A> 11112+V(1) 1110 1010 1100
7 47+12*V(1) 7+4*V(1) 0001 11112+V(1) (11)A> 1110 1010 1100
8 51+12*V(1) 11+4*V(1) 0001 11113+V(1) (11)B> 1010 1100
9 54+12*V(1) 8+4*V(1) 0001 11113+V(1) <B(11) 1010 1100
10 66+16*V(1) -4 0001 <B(11) 11113+V(1) 1010 1100
11 81+16*V(1) -1 1111 (11)A> 11113+V(1) 1010 1100
12 93+20*V(1) 11+4*V(1) 11114+V(1) (11)A> 1010 1100
13 100+20*V(1) 8+4*V(1) 11114+V(1) <B(11) 1110 1100
14 116+24*V(1) -8 <B(11) 11114+V(1) 1110 1100
15 129+24*V(1) -5 0111 (11)A> 11114+V(1) 1110 1100
16 145+28*V(1) 11+4*V(1) 0111 11114+V(1) (11)A> 1110 1100
17 149+28*V(1) 15+4*V(1) 0111 11115+V(1) (11)B> 1100
18 152+28*V(1) 12+4*V(1) 0111 11115+V(1) <B(11) 1100
19 172+32*V(1) -8 0111 <B(11) 11115+V(1) 1100
20 176+32*V(1) -12 <C(11) 11116+V(1) 1100
21 187+32*V(1) -9 0011 (11)A> 11116+V(1) 1100
22 211+36*V(1) 15+4*V(1) 0011 11116+V(1) (11)A> 1100
23 220+36*V(1) 12+4*V(1) 0011 11116+V(1) <D(10) 1011
24 244+40*V(1) -12 0011 <D(10) 10106+V(1) 1011
25 250+40*V(1) -16 <D(11) 10107+V(1) 1011
26 253+40*V(1) -13 0001 (11)A> 10107+V(1) 1011
27 260+40*V(1) -16 0001 <B(11) 1110 10106+V(1) 1011
28 275+40*V(1) -13 1111 (11)A> 1110 10106+V(1) 1011
<< Success! ==> defined new CTR 7 (PPA)
13303 15310626 -7992 1111 (11)A> 1110 10102001 1011
== Executing PA-CTR 1, V(1)=0, V(2)=1998, repcount=1000, factor=5/2
33303 95426626 8 11115001 (11)A> 1110 1010 1011
33304 95426630 12 11115002 (11)B> 1010 1011
33305 95426633 9 11115002 <B(11) 1010 1011
33306 95446641 -19999 <B(11) 11115002 1010 1011
33307 95446654 -19996 0111 (11)A> 11115002 1010 1011
33308 95466662 12 0111 11115002 (11)A> 1010 1011
33309 95466669 9 0111 11115002 <B(11) 1110 1011
33310 95486677 -19999 0111 <B(11) 11115002 1110 1011
33311 95486681 -20003 <C(11) 11115003 1110 1011
33312 95486692 -20000 0011 (11)A> 11115003 1110 1011
33313 95506704 12 0011 11115003 (11)A> 1110 1011
33314 95506708 16 0011 11115004 (11)B> 1011
33315 95506711 13 0011 11115004 <B(11) 1011
33316 95526727 -20003 0011 <B(11) 11115004 1011
33317 95526737 -20007 <D(11) 11115005 1011
33318 95526740 -20004 0001 (11)A> 11115005 1011
33319 95546760 16 0001 11115005 (11)A> 1011
33320 95546767 13 0001 11115005 <B(11) 1111
33321 95566787 -20007 0001 <B(11) 11115006
33322 95566802 -20004 1111 (11)A> 11115006
33323 95586826 20 11115007 (11)A>
33324 95586831 17 11115007 <F(10) 1100
33325 95606859 -20011 <F(10) 10105007 1100
33326 95606868 -20008 0111 (11)B> 10105007 1100
33327 95606871 -20011 0111 <B(11) 10105007 1100
33328 95606875 -20015 <C(11) 1111 10105007 1100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 11111+V(1) (11)A> 1110 1010 1011
1 4 4 11112+V(1) (11)B> 1010 1011
2 7 1 11112+V(1) <B(11) 1010 1011
3 15+4*V(1) -7+-4*V(1) <B(11) 11112+V(1) 1010 1011
4 28+4*V(1) -4+-4*V(1) 0111 (11)A> 11112+V(1) 1010 1011
5 36+8*V(1) 4 0111 11112+V(1) (11)A> 1010 1011
6 43+8*V(1) 1 0111 11112+V(1) <B(11) 1110 1011
7 51+12*V(1) -7+-4*V(1) 0111 <B(11) 11112+V(1) 1110 1011
8 55+12*V(1) -11+-4*V(1) <C(11) 11113+V(1) 1110 1011
9 66+12*V(1) -8+-4*V(1) 0011 (11)A> 11113+V(1) 1110 1011
10 78+16*V(1) 4 0011 11113+V(1) (11)A> 1110 1011
11 82+16*V(1) 8 0011 11114+V(1) (11)B> 1011
12 85+16*V(1) 5 0011 11114+V(1) <B(11) 1011
13 101+20*V(1) -11+-4*V(1) 0011 <B(11) 11114+V(1) 1011
14 111+20*V(1) -15+-4*V(1) <D(11) 11115+V(1) 1011
15 114+20*V(1) -12+-4*V(1) 0001 (11)A> 11115+V(1) 1011
16 134+24*V(1) 8 0001 11115+V(1) (11)A> 1011
17 141+24*V(1) 5 0001 11115+V(1) <B(11) 1111
18 161+28*V(1) -15+-4*V(1) 0001 <B(11) 11116+V(1)
19 176+28*V(1) -12+-4*V(1) 1111 (11)A> 11116+V(1)
20 200+32*V(1) 12 11117+V(1) (11)A>
21 205+32*V(1) 9 11117+V(1) <F(10) 1100
22 233+36*V(1) -19+-4*V(1) <F(10) 10107+V(1) 1100
23 242+36*V(1) -16+-4*V(1) 0111 (11)B> 10107+V(1) 1100
24 245+36*V(1) -19+-4*V(1) 0111 <B(11) 10107+V(1) 1100
25 249+36*V(1) -23+-4*V(1) <C(11) 1111 10107+V(1) 1100
<< Success! ==> defined new CTR 8 (PPA)
33328 95606875 -20015 <C(11) 1111 10105007 1100
== Executing PA-CTR 4, V(1)=5004, V(2)=0, repcount=2503, factor=5/2
83388 597047883 -50051 <C(11) 111112516 1010 1100
== Executing PPA-CTR 5 (once), V(1)=12515
83413 597348429 -50067 <C(11) 11113 101012518 1011
== Executing PA-CTR 4, V(1)=12515, V(2)=2, repcount=6258, factor=5/2
208573 3731354829 -125163 <C(11) 111131293 10102 1011
== Executing PPA-CTR 6 (once), V(1)=31292
208605 3732857187 -125183 <C(11) 1111 101031300 1100
== Executing PA-CTR 4, V(1)=31297, V(2)=0, repcount=15649, factor=5/2
521585 23325655571 -312971 <C(11) 111178246 10102 1100
== Executing PPA-CTR 7 (once), V(1)=78245
521613 23328785646 -312984 1111 (11)A> 1110 101078251 1011
== Executing PA-CTR 1, V(1)=0, V(2)=78248, repcount=39125, factor=5/2
1304113 145794574146 16 1111195626 (11)A> 1110 1010 1011
== Executing PPA-CTR 8 (once), V(1)=195625
1304138 145801616895 -782507 <C(11) 1111 1010195632 1100
== Executing PA-CTR 4, V(1)=195629, V(2)=0, repcount=97815, factor=5/2
3260438 911232945135 -1956287 <C(11) 1111489076 10102 1100
== Executing PPA-CTR 7 (once), V(1)=489075
3260466 911252508410 -1956300 1111 (11)A> 1110 1010489081 1011
== Executing PA-CTR 1, V(1)=0, V(2)=489078, repcount=244540, factor=5/2
8151266 5695265803050 20 11111222701 (11)A> 1110 1010 1011
== Executing PPA-CTR 8 (once), V(1)=1222700
8151291 5695309820499 -4890803 <C(11) 1111 10101222707 1100
== Executing PA-CTR 4, V(1)=1222704, V(2)=0, repcount=611353, factor=5/2
20378351 35595567759107 -12227039 <C(11) 11113056766 1010 1100
== Executing PPA-CTR 5 (once), V(1)=3056765
20378376 35595641121653 -12227055 <C(11) 11113 10103056768 1011
== Executing PA-CTR 4, V(1)=3056765, V(2)=2, repcount=1528383, factor=5/2
50946036 222472253238053 -30567651 <C(11) 11117641918 10102 1011
== Executing PPA-CTR 6 (once), V(1)=7641917
50946068 222472620050411 -30567671 <C(11) 1111 10107641925 1100
== Executing PA-CTR 4, V(1)=7641922, V(2)=0, repcount=3820962, factor=5/2
127365308 1390453035298283 -76419215 <C(11) 111119104811 1010 1100
== Executing PPA-CTR 5 (once), V(1)=19104810
127365333 1390453493813909 -76419231 <C(11) 11113 101019104813 1011
== Executing PA-CTR 4, V(1)=19104810, V(2)=2, repcount=9552406, factor=5/2
318413453 8690331853305749 -191048103 <C(11) 111147762033 1010 1011
318413454 8690331853305760 -191048100 0011 (11)A> 111147762033 1010 1011
318413455 8690332044353892 32 0011 111147762033 (11)A> 1010 1011
318413456 8690332044353899 29 0011 111147762033 <B(11) 1110 1011
318413457 8690332235402031 -191048103 0011 <B(11) 111147762033 1110 1011
318413458 8690332235402041 -191048107 <D(11) 111147762034 1110 1011
318413459 8690332235402044 -191048104 0001 (11)A> 111147762034 1110 1011
318413460 8690332426450180 32 0001 111147762034 (11)A> 1110 1011
318413461 8690332426450184 36 0001 111147762035 (11)B> 1011
318413462 8690332426450187 33 0001 111147762035 <B(11) 1011
318413463 8690332617498327 -191048107 0001 <B(11) 111147762035 1011
318413464 8690332617498342 -191048104 1111 (11)A> 111147762035 1011
318413465 8690332808546482 36 111147762036 (11)A> 1011
318413466 8690332808546489 33 111147762036 <B(11) 1111
318413467 8690332999594633 -191048111 <B(11) 111147762037
318413468 8690332999594646 -191048108 0111 (11)A> 111147762037
318413469 8690333190642794 40 0111 111147762037 (11)A>
318413470 8690333190642799 37 0111 111147762037 <F(10) 1100
318413471 8690333381690947 -191048111 0111 <F(10) 101047762037 1100
318413472 8690333381690951 -191048115 <H(10) 101047762038 1100
318413472 8690333381690951 -191048115 <H(10) 101047762038 1100 [stop]
Lines: 335
Top steps: 333
Macro steps: 318413472
Basic steps: 8690333381690951
Tape index: -191048115
ones: 95524079
log10(ones ): 7.980
log10(steps ): 15.939
Run state: stop
Input to awk program:
gohalt 1
L 66
5T B1R A1R C1L B1L F0R D1L A1R E0L H1L F1L A0L C0L : 95524079 8690333381690951
T 6-state TM #2 from MaBu-List
M 600
pref sim
machv mbL6_2 just simple
machv mbL6_2-r with repetitions reduced
machv mbL6_2-1 with tape symbol exponents
machv mbL6_2-m as 2-bck-2-macro machine
machv mbL6_2-a as 2-bck-2-macro machine with pure additive config-TRs
iam mbL6_2-a
mtype 2 0 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jan 8 19:52:15 CET 2008
edate Tue Jan 8 19:52:16 CET 2008
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.32 2005/11/12 16:29:03 heiner Exp $
$Id: htSupp.awk,v 1.12 2004/12/23 19:52:41 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.31 2007/10/26 18:45:16 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 Jan 8 19:52:15 CET 2008