Comment: This TM produces >3.1x10^10566 ones in >3.8x10^21132 steps. Comment: This was the best 6x2 TM (May-2010..Jul-2010)
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | D0L | 1 | right | B | 0 | left | D |
| B | C1R | F0R | 1 | right | C | 0 | right | F |
| C | C1L | A1L | 1 | left | C | 1 | left | A |
| D | E0L | H1L | 0 | left | E | 1 | left | H |
| E | A1L | B0R | 1 | left | A | 0 | right | B |
| F | C0R | E0R | 0 | right | C | 0 | right | E |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.
Simulation is done as 3-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 5 -1 <D 011
2 10 0 100 C> 011
3 11 -1 100 <C 111
4 14 -4 <A 1112
5 15 -3 001 B> 1112
6 21 3 001 0002 B>
7 24 2 001 0002 <A 110
8 25 3 001 000 001 B> 110
9 30 6 001 000 001 010 F>
10 33 5 001 000 001 010 <C 110
11 38 6 001 000 001 100 E> 110
12 41 9 001 000 001 100 000 C>
13 42 8 001 000 001 100 000 <C 100
14 45 5 001 000 001 100 <C 111 100
15 48 2 001 000 001 <A 1112 100
16 51 -1 001 000 <A 100 1112 100
17 52 0 0012 B> 100 1112 100
18 57 -1 0012 <C 1113 100
19 60 0 001 010 F> 1113 100
20 69 9 001 010 0003 F> 100
21 74 12 001 010 0003 100 C>
22 75 11 001 010 0003 100 <C 100
23 78 8 001 010 0003 <A 111 100
24 79 9 001 010 0002 001 B> 111 100
25 82 12 001 010 0002 001 000 B> 100
26 87 11 001 010 0002 001 000 <C 111
27 90 8 001 010 0002 001 <C 1112
28 93 9 001 010 0002 010 F> 1112
29 99 15 001 010 0002 010 0002 F>
30 102 14 001 010 0002 010 0002 <C 110
31 108 8 001 010 0002 010 <C 1112 110
32 113 9 001 010 0002 100 E> 1112 110
33 119 15 001 010 0002 100 0002 E> 110
34 122 18 001 010 0002 100 0003 C>
35 123 17 001 010 0002 100 0003 <C 100
36 132 8 001 010 0002 100 <C 1113 100
37 135 5 001 010 0002 <A 1114 100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* 0002+V(1) <A 1111+V(2) 100
1 1 1 [*]* [*]* 0001+V(1) 001 B> 1111+V(2) 100
2 4+3*V(2) 4+3*V(2) [*]* [*]* 0001+V(1) 001 0001+V(2) B> 100
3 9+3*V(2) 3+3*V(2) [*]* [*]* 0001+V(1) 001 0001+V(2) <C 111
4 12+6*V(2) 0 [*]* [*]* 0001+V(1) 001 <C 1112+V(2)
5 15+6*V(2) 1 [*]* [*]* 0001+V(1) 010 F> 1112+V(2)
6 21+9*V(2) 7+3*V(2) [*]* [*]* 0001+V(1) 010 0002+V(2) F>
7 24+9*V(2) 6+3*V(2) [*]* [*]* 0001+V(1) 010 0002+V(2) <C 110
8 30+12*V(2) 0 [*]* [*]* 0001+V(1) 010 <C 1112+V(2) 110
9 35+12*V(2) 1 [*]* [*]* 0001+V(1) 100 E> 1112+V(2) 110
10 41+15*V(2) 7+3*V(2) [*]* [*]* 0001+V(1) 100 0002+V(2) E> 110
11 44+15*V(2) 10+3*V(2) [*]* [*]* 0001+V(1) 100 0003+V(2) C>
12 45+15*V(2) 9+3*V(2) [*]* [*]* 0001+V(1) 100 0003+V(2) <C 100
13 54+18*V(2) 0 [*]* [*]* 0001+V(1) 100 <C 1113+V(2) 100
14 57+18*V(2) -3 [*]* [*]* 0001+V(1) <A 1114+V(2) 100
<< Success! ==> defined new CTR 1 (PA)
37 135 5 001 010 0002 <A 1114 100
== Executing PA-CTR 1, V(1)=0, V(2)=3, repcount=1, factor=3/1
51 246 2 001 010 000 <A 1117 100
52 247 3 001 010 001 B> 1117 100
53 268 24 001 010 001 0007 B> 100
54 273 23 001 010 001 0007 <C 111
55 294 2 001 010 001 <C 1118
56 297 3 001 0102 F> 1118
57 321 27 001 0102 0008 F>
58 324 26 001 0102 0008 <C 110
59 348 2 001 0102 <C 1118 110
60 353 3 001 010 100 E> 1118 110
61 377 27 001 010 100 0008 E> 110
62 380 30 001 010 100 0009 C>
63 381 29 001 010 100 0009 <C 100
64 408 2 001 010 100 <C 1119 100
65 411 -1 001 010 <A 11110 100
66 412 0 001 011 B> 11110 100
67 442 30 001 011 00010 B> 100
68 447 29 001 011 00010 <C 111
69 477 -1 001 011 <C 11111
70 480 -4 001 <E 001 11111
71 481 -3 B> 001 11111
72 484 -4 <A 11112
73 485 -3 001 B> 11112
74 521 33 001 00012 B>
75 524 32 001 00012 <A 110
76 525 33 001 00011 001 B> 110
77 530 36 001 00011 001 010 F>
78 533 35 001 00011 001 010 <C 110
79 538 36 001 00011 001 100 E> 110
80 541 39 001 00011 001 100 000 C>
81 542 38 001 00011 001 100 000 <C 100
82 545 35 001 00011 001 100 <C 111 100
83 548 32 001 00011 001 <A 1112 100
84 551 29 001 00011 <A 100 1112 100
85 552 30 001 00010 001 B> 100 1112 100
86 557 29 001 00010 001 <C 1113 100
87 560 30 001 00010 010 F> 1113 100
88 569 39 001 00010 010 0003 F> 100
89 574 42 001 00010 010 0003 100 C>
90 575 41 001 00010 010 0003 100 <C 100
91 578 38 001 00010 010 0003 <A 111 100
92 579 39 001 00010 010 0002 001 B> 111 100
93 582 42 001 00010 010 0002 001 000 B> 100
94 587 41 001 00010 010 0002 001 000 <C 111
95 590 38 001 00010 010 0002 001 <C 1112
96 593 39 001 00010 010 0002 010 F> 1112
97 599 45 001 00010 010 0002 010 0002 F>
98 602 44 001 00010 010 0002 010 0002 <C 110
99 608 38 001 00010 010 0002 010 <C 1112 110
100 613 39 001 00010 010 0002 100 E> 1112 110
101 619 45 001 00010 010 0002 100 0002 E> 110
102 622 48 001 00010 010 0002 100 0003 C>
103 623 47 001 00010 010 0002 100 0003 <C 100
104 632 38 001 00010 010 0002 100 <C 1113 100
105 635 35 001 00010 010 0002 <A 1114 100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* [*]* 0002+V(1) <A 1111+V(2) 100
1 1 1 [*]* [*]* [*]* 0001+V(1) 001 B> 1111+V(2) 100
2 4+3*V(2) 4+3*V(2) [*]* [*]* [*]* 0001+V(1) 001 0001+V(2) B> 100
3 9+3*V(2) 3+3*V(2) [*]* [*]* [*]* 0001+V(1) 001 0001+V(2) <C 111
4 12+6*V(2) 0 [*]* [*]* [*]* 0001+V(1) 001 <C 1112+V(2)
5 15+6*V(2) 1 [*]* [*]* [*]* 0001+V(1) 010 F> 1112+V(2)
6 21+9*V(2) 7+3*V(2) [*]* [*]* [*]* 0001+V(1) 010 0002+V(2) F>
7 24+9*V(2) 6+3*V(2) [*]* [*]* [*]* 0001+V(1) 010 0002+V(2) <C 110
8 30+12*V(2) 0 [*]* [*]* [*]* 0001+V(1) 010 <C 1112+V(2) 110
9 35+12*V(2) 1 [*]* [*]* [*]* 0001+V(1) 100 E> 1112+V(2) 110
10 41+15*V(2) 7+3*V(2) [*]* [*]* [*]* 0001+V(1) 100 0002+V(2) E> 110
11 44+15*V(2) 10+3*V(2) [*]* [*]* [*]* 0001+V(1) 100 0003+V(2) C>
12 45+15*V(2) 9+3*V(2) [*]* [*]* [*]* 0001+V(1) 100 0003+V(2) <C 100
13 54+18*V(2) 0 [*]* [*]* [*]* 0001+V(1) 100 <C 1113+V(2) 100
14 57+18*V(2) -3 [*]* [*]* [*]* 0001+V(1) <A 1114+V(2) 100
<< Success! ==> defined new CTR 2 (PA)
105 635 35 001 00010 010 0002 <A 1114 100
== Executing PA-CTR 2, V(1)=0, V(2)=3, repcount=1, factor=3/1
119 746 32 001 00010 010 000 <A 1117 100
120 747 33 001 00010 010 001 B> 1117 100
121 768 54 001 00010 010 001 0007 B> 100
122 773 53 001 00010 010 001 0007 <C 111
123 794 32 001 00010 010 001 <C 1118
124 797 33 001 00010 0102 F> 1118
125 821 57 001 00010 0102 0008 F>
126 824 56 001 00010 0102 0008 <C 110
127 848 32 001 00010 0102 <C 1118 110
128 853 33 001 00010 010 100 E> 1118 110
129 877 57 001 00010 010 100 0008 E> 110
130 880 60 001 00010 010 100 0009 C>
131 881 59 001 00010 010 100 0009 <C 100
132 908 32 001 00010 010 100 <C 1119 100
133 911 29 001 00010 010 <A 11110 100
134 912 30 001 00010 011 B> 11110 100
135 942 60 001 00010 011 00010 B> 100
136 947 59 001 00010 011 00010 <C 111
137 977 29 001 00010 011 <C 11111
138 980 26 001 00010 <E 001 11111
139 983 27 001 0009 010 F> 001 11111
140 986 26 001 0009 010 <C 11112
141 991 27 001 0009 100 E> 11112
142 1027 63 001 0009 100 00012 E>
143 1028 62 001 0009 100 00012 <A 100
144 1029 63 001 0009 100 00011 001 B> 100
145 1034 62 001 0009 100 00011 001 <C 111
146 1037 63 001 0009 100 00011 010 F> 111
147 1040 66 001 0009 100 00011 010 000 F>
148 1043 65 001 0009 100 00011 010 000 <C 110
149 1046 62 001 0009 100 00011 010 <C 111 110
150 1051 63 001 0009 100 00011 100 E> 111 110
151 1054 66 001 0009 100 00011 100 000 E> 110
152 1057 69 001 0009 100 00011 100 0002 C>
153 1058 68 001 0009 100 00011 100 0002 <C 100
154 1064 62 001 0009 100 00011 100 <C 1112 100
155 1067 59 001 0009 100 00011 <A 1113 100
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 [*]* 0002+V(1) 010 000 <A 1111+V(2) 100
1 1 1 [*]* 0002+V(1) 010 001 B> 1111+V(2) 100
2 4+3*V(2) 4+3*V(2) [*]* 0002+V(1) 010 001 0001+V(2) B> 100
3 9+3*V(2) 3+3*V(2) [*]* 0002+V(1) 010 001 0001+V(2) <C 111
4 12+6*V(2) 0 [*]* 0002+V(1) 010 001 <C 1112+V(2)
5 15+6*V(2) 1 [*]* 0002+V(1) 0102 F> 1112+V(2)
6 21+9*V(2) 7+3*V(2) [*]* 0002+V(1) 0102 0002+V(2) F>
7 24+9*V(2) 6+3*V(2) [*]* 0002+V(1) 0102 0002+V(2) <C 110
8 30+12*V(2) 0 [*]* 0002+V(1) 0102 <C 1112+V(2) 110
9 35+12*V(2) 1 [*]* 0002+V(1) 010 100 E> 1112+V(2) 110
10 41+15*V(2) 7+3*V(2) [*]* 0002+V(1) 010 100 0002+V(2) E> 110
11 44+15*V(2) 10+3*V(2) [*]* 0002+V(1) 010 100 0003+V(2) C>
12 45+15*V(2) 9+3*V(2) [*]* 0002+V(1) 010 100 0003+V(2) <C 100
13 54+18*V(2) 0 [*]* 0002+V(1) 010 100 <C 1113+V(2) 100
14 57+18*V(2) -3 [*]* 0002+V(1) 010 <A 1114+V(2) 100
15 58+18*V(2) -2 [*]* 0002+V(1) 011 B> 1114+V(2) 100
16 70+21*V(2) 10+3*V(2) [*]* 0002+V(1) 011 0004+V(2) B> 100
17 75+21*V(2) 9+3*V(2) [*]* 0002+V(1) 011 0004+V(2) <C 111
18 87+24*V(2) -3 [*]* 0002+V(1) 011 <C 1115+V(2)
19 90+24*V(2) -6 [*]* 0002+V(1) <E 001 1115+V(2)
20 93+24*V(2) -5 [*]* 0001+V(1) 010 F> 001 1115+V(2)
21 96+24*V(2) -6 [*]* 0001+V(1) 010 <C 1116+V(2)
22 101+24*V(2) -5 [*]* 0001+V(1) 100 E> 1116+V(2)
23 119+27*V(2) 13+3*V(2) [*]* 0001+V(1) 100 0006+V(2) E>
24 120+27*V(2) 12+3*V(2) [*]* 0001+V(1) 100 0006+V(2) <A 100
25 121+27*V(2) 13+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 001 B> 100
26 126+27*V(2) 12+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 001 <C 111
27 129+27*V(2) 13+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 010 F> 111
28 132+27*V(2) 16+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 010 000 F>
29 135+27*V(2) 15+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 010 000 <C 110
30 138+27*V(2) 12+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 010 <C 111 110
31 143+27*V(2) 13+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 100 E> 111 110
32 146+27*V(2) 16+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 100 000 E> 110
33 149+27*V(2) 19+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 100 0002 C>
34 150+27*V(2) 18+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 100 0002 <C 100
35 156+27*V(2) 12+3*V(2) [*]* 0001+V(1) 100 0005+V(2) 100 <C 1112 100
36 159+27*V(2) 9+3*V(2) [*]* 0001+V(1) 100 0005+V(2) <A 1113 100
<< Success! ==> defined new CTR 3 (PPA)
155 1067 59 001 0009 100 00011 <A 1113 100
== Executing PA-CTR 2, V(1)=9, V(2)=2, repcount=10, factor=3/1
295 4427 29 001 0009 100 000 <A 11133 100
296 4428 30 001 0009 100 001 B> 11133 100
297 4527 129 001 0009 100 001 00033 B> 100
298 4532 128 001 0009 100 001 00033 <C 111
299 4631 29 001 0009 100 001 <C 11134
300 4634 30 001 0009 100 010 F> 11134
301 4736 132 001 0009 100 010 00034 F>
302 4739 131 001 0009 100 010 00034 <C 110
303 4841 29 001 0009 100 010 <C 11134 110
304 4846 30 001 0009 1002 E> 11134 110
305 4948 132 001 0009 1002 00034 E> 110
306 4951 135 001 0009 1002 00035 C>
307 4952 134 001 0009 1002 00035 <C 100
308 5057 29 001 0009 1002 <C 11135 100
309 5060 26 001 0009 100 <A 11136 100
310 5061 27 001 0009 101 B> 11136 100
311 5169 135 001 0009 101 00036 B> 100
312 5174 134 001 0009 101 00036 <C 111
313 5282 26 001 0009 101 <C 11137
314 5285 27 001 0009 110 F> 11137
315 5396 138 001 0009 110 00037 F>
316 5399 137 001 0009 110 00037 <C 110
317 5510 26 001 0009 110 <C 11137 110
318 5513 23 001 0009 <D 011 11137 110
319 5518 24 001 0008 100 C> 011 11137 110
320 5519 23 001 0008 100 <C 11138 110
321 5522 20 001 0008 <A 11139 110
322 5523 21 001 0007 001 B> 11139 110
323 5640 138 001 0007 001 00039 B> 110
324 5645 141 001 0007 001 00039 010 F>
325 5648 140 001 0007 001 00039 010 <C 110
326 5653 141 001 0007 001 00039 100 E> 110
327 5656 144 001 0007 001 00039 100 000 C>
328 5657 143 001 0007 001 00039 100 000 <C 100
329 5660 140 001 0007 001 00039 100 <C 111 100
330 5663 137 001 0007 001 00039 <A 1112 100
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 [*]* 0003+V(1) 100 000 <A 1111+V(2) 100
1 1 1 [*]* 0003+V(1) 100 001 B> 1111+V(2) 100
2 4+3*V(2) 4+3*V(2) [*]* 0003+V(1) 100 001 0001+V(2) B> 100
3 9+3*V(2) 3+3*V(2) [*]* 0003+V(1) 100 001 0001+V(2) <C 111
4 12+6*V(2) 0 [*]* 0003+V(1) 100 001 <C 1112+V(2)
5 15+6*V(2) 1 [*]* 0003+V(1) 100 010 F> 1112+V(2)
6 21+9*V(2) 7+3*V(2) [*]* 0003+V(1) 100 010 0002+V(2) F>
7 24+9*V(2) 6+3*V(2) [*]* 0003+V(1) 100 010 0002+V(2) <C 110
8 30+12*V(2) 0 [*]* 0003+V(1) 100 010 <C 1112+V(2) 110
9 35+12*V(2) 1 [*]* 0003+V(1) 1002 E> 1112+V(2) 110
10 41+15*V(2) 7+3*V(2) [*]* 0003+V(1) 1002 0002+V(2) E> 110
11 44+15*V(2) 10+3*V(2) [*]* 0003+V(1) 1002 0003+V(2) C>
12 45+15*V(2) 9+3*V(2) [*]* 0003+V(1) 1002 0003+V(2) <C 100
13 54+18*V(2) 0 [*]* 0003+V(1) 1002 <C 1113+V(2) 100
14 57+18*V(2) -3 [*]* 0003+V(1) 100 <A 1114+V(2) 100
15 58+18*V(2) -2 [*]* 0003+V(1) 101 B> 1114+V(2) 100
16 70+21*V(2) 10+3*V(2) [*]* 0003+V(1) 101 0004+V(2) B> 100
17 75+21*V(2) 9+3*V(2) [*]* 0003+V(1) 101 0004+V(2) <C 111
18 87+24*V(2) -3 [*]* 0003+V(1) 101 <C 1115+V(2)
19 90+24*V(2) -2 [*]* 0003+V(1) 110 F> 1115+V(2)
20 105+27*V(2) 13+3*V(2) [*]* 0003+V(1) 110 0005+V(2) F>
21 108+27*V(2) 12+3*V(2) [*]* 0003+V(1) 110 0005+V(2) <C 110
22 123+30*V(2) -3 [*]* 0003+V(1) 110 <C 1115+V(2) 110
23 126+30*V(2) -6 [*]* 0003+V(1) <D 011 1115+V(2) 110
24 131+30*V(2) -5 [*]* 0002+V(1) 100 C> 011 1115+V(2) 110
25 132+30*V(2) -6 [*]* 0002+V(1) 100 <C 1116+V(2) 110
26 135+30*V(2) -9 [*]* 0002+V(1) <A 1117+V(2) 110
27 136+30*V(2) -8 [*]* 0001+V(1) 001 B> 1117+V(2) 110
28 157+33*V(2) 13+3*V(2) [*]* 0001+V(1) 001 0007+V(2) B> 110
29 162+33*V(2) 16+3*V(2) [*]* 0001+V(1) 001 0007+V(2) 010 F>
30 165+33*V(2) 15+3*V(2) [*]* 0001+V(1) 001 0007+V(2) 010 <C 110
31 170+33*V(2) 16+3*V(2) [*]* 0001+V(1) 001 0007+V(2) 100 E> 110
32 173+33*V(2) 19+3*V(2) [*]* 0001+V(1) 001 0007+V(2) 100 000 C>
33 174+33*V(2) 18+3*V(2) [*]* 0001+V(1) 001 0007+V(2) 100 000 <C 100
34 177+33*V(2) 15+3*V(2) [*]* 0001+V(1) 001 0007+V(2) 100 <C 111 100
35 180+33*V(2) 12+3*V(2) [*]* 0001+V(1) 001 0007+V(2) <A 1112 100
<< Success! ==> defined new CTR 4 (PPA)
330 5663 137 001 0007 001 00039 <A 1112 100
== Executing PA-CTR 2, V(1)=37, V(2)=1, repcount=38, factor=3/1
862 46475 23 001 0007 001 000 <A 111116 100
863 46476 24 001 0007 0012 B> 111116 100
864 46824 372 001 0007 0012 000116 B> 100
865 46829 371 001 0007 0012 000116 <C 111
866 47177 23 001 0007 0012 <C 111117
867 47180 24 001 0007 001 010 F> 111117
868 47531 375 001 0007 001 010 000117 F>
869 47534 374 001 0007 001 010 000117 <C 110
870 47885 23 001 0007 001 010 <C 111117 110
871 47890 24 001 0007 001 100 E> 111117 110
872 48241 375 001 0007 001 100 000117 E> 110
873 48244 378 001 0007 001 100 000118 C>
874 48245 377 001 0007 001 100 000118 <C 100
875 48599 23 001 0007 001 100 <C 111118 100
876 48602 20 001 0007 001 <A 111119 100
877 48605 17 001 0007 <A 100 111119 100
878 48606 18 001 0006 001 B> 100 111119 100
879 48611 17 001 0006 001 <C 111120 100
880 48614 18 001 0006 010 F> 111120 100
881 48974 378 001 0006 010 000120 F> 100
882 48979 381 001 0006 010 000120 100 C>
883 48980 380 001 0006 010 000120 100 <C 100
884 48983 377 001 0006 010 000120 <A 111 100
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 [*]* 0002+V(1) 001 000 <A 1111+V(2) 100
1 1 1 [*]* 0002+V(1) 0012 B> 1111+V(2) 100
2 4+3*V(2) 4+3*V(2) [*]* 0002+V(1) 0012 0001+V(2) B> 100
3 9+3*V(2) 3+3*V(2) [*]* 0002+V(1) 0012 0001+V(2) <C 111
4 12+6*V(2) 0 [*]* 0002+V(1) 0012 <C 1112+V(2)
5 15+6*V(2) 1 [*]* 0002+V(1) 001 010 F> 1112+V(2)
6 21+9*V(2) 7+3*V(2) [*]* 0002+V(1) 001 010 0002+V(2) F>
7 24+9*V(2) 6+3*V(2) [*]* 0002+V(1) 001 010 0002+V(2) <C 110
8 30+12*V(2) 0 [*]* 0002+V(1) 001 010 <C 1112+V(2) 110
9 35+12*V(2) 1 [*]* 0002+V(1) 001 100 E> 1112+V(2) 110
10 41+15*V(2) 7+3*V(2) [*]* 0002+V(1) 001 100 0002+V(2) E> 110
11 44+15*V(2) 10+3*V(2) [*]* 0002+V(1) 001 100 0003+V(2) C>
12 45+15*V(2) 9+3*V(2) [*]* 0002+V(1) 001 100 0003+V(2) <C 100
13 54+18*V(2) 0 [*]* 0002+V(1) 001 100 <C 1113+V(2) 100
14 57+18*V(2) -3 [*]* 0002+V(1) 001 <A 1114+V(2) 100
15 60+18*V(2) -6 [*]* 0002+V(1) <A 100 1114+V(2) 100
16 61+18*V(2) -5 [*]* 0001+V(1) 001 B> 100 1114+V(2) 100
17 66+18*V(2) -6 [*]* 0001+V(1) 001 <C 1115+V(2) 100
18 69+18*V(2) -5 [*]* 0001+V(1) 010 F> 1115+V(2) 100
19 84+21*V(2) 10+3*V(2) [*]* 0001+V(1) 010 0005+V(2) F> 100
20 89+21*V(2) 13+3*V(2) [*]* 0001+V(1) 010 0005+V(2) 100 C>
21 90+21*V(2) 12+3*V(2) [*]* 0001+V(1) 010 0005+V(2) 100 <C 100
22 93+21*V(2) 9+3*V(2) [*]* 0001+V(1) 010 0005+V(2) <A 111 100
<< Success! ==> defined new CTR 5 (PPA)
884 48983 377 001 0006 010 000120 <A 111 100
== Executing PA-CTR 2, V(1)=118, V(2)=0, repcount=119, factor=3/1
2550 434900 20 001 0006 010 000 <A 111358 100
== Executing PPA-CTR 3 (once), V(1)=4, V(2)=357
2586 444698 1100 001 0005 100 000362 <A 1113 100
== Executing PA-CTR 2, V(1)=360, V(2)=2, repcount=361, factor=3/1
7640 3987191 17 001 0005 100 000 <A 1111086 100
== Executing PPA-CTR 4 (once), V(1)=2, V(2)=1085
7675 4023176 3284 001 0003 001 0001092 <A 1112 100
== Executing PA-CTR 2, V(1)=1090, V(2)=1, repcount=1091, factor=3/1
22949 36213131 11 001 0003 001 000 <A 1113275 100
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=3274
22971 36281978 9842 001 0002 010 0003279 <A 111 100
== Executing PA-CTR 2, V(1)=3277, V(2)=0, repcount=3278, factor=3/1
68863 326502986 8 001 0002 010 000 <A 1119835 100
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=9834
68899 326768663 29519 001 000 100 0009839 <A 1113 100
== Executing PA-CTR 2, V(1)=9837, V(2)=2, repcount=9838, factor=3/1
206631 2940646559 5 001 000 100 000 <A 11129517 100
206632 2940646560 6 001 000 100 001 B> 11129517 100
206633 2940735111 88557 001 000 100 001 00029517 B> 100
206634 2940735116 88556 001 000 100 001 00029517 <C 111
206635 2940823667 5 001 000 100 001 <C 11129518
206636 2940823670 6 001 000 100 010 F> 11129518
206637 2940912224 88560 001 000 100 010 00029518 F>
206638 2940912227 88559 001 000 100 010 00029518 <C 110
206639 2941000781 5 001 000 100 010 <C 11129518 110
206640 2941000786 6 001 000 1002 E> 11129518 110
206641 2941089340 88560 001 000 1002 00029518 E> 110
206642 2941089343 88563 001 000 1002 00029519 C>
206643 2941089344 88562 001 000 1002 00029519 <C 100
206644 2941177901 5 001 000 1002 <C 11129519 100
206645 2941177904 2 001 000 100 <A 11129520 100
206646 2941177905 3 001 000 101 B> 11129520 100
206647 2941266465 88563 001 000 101 00029520 B> 100
206648 2941266470 88562 001 000 101 00029520 <C 111
206649 2941355030 2 001 000 101 <C 11129521
206650 2941355033 3 001 000 110 F> 11129521
206651 2941443596 88566 001 000 110 00029521 F>
206652 2941443599 88565 001 000 110 00029521 <C 110
206653 2941532162 2 001 000 110 <C 11129521 110
206654 2941532165 -1 001 000 <D 011 11129521 110
206655 2941532170 0 001 100 C> 011 11129521 110
206656 2941532171 -1 001 100 <C 11129522 110
206657 2941532174 -4 001 <A 11129523 110
206658 2941532177 -7 <A 100 11129523 110
206659 2941532178 -6 001 B> 100 11129523 110
206660 2941532183 -7 001 <C 11129524 110
206661 2941532186 -6 010 F> 11129524 110
206662 2941620758 88566 010 00029524 F> 110
206663 2941620761 88569 010 00029524 001 C>
206664 2941620762 88568 010 00029524 001 <C 100
206665 2941620765 88569 010 00029524 010 F> 100
206666 2941620770 88572 010 00029524 010 100 C>
206667 2941620771 88571 010 00029524 010 100 <C 100
206668 2941620774 88568 010 00029524 010 <A 111 100
206669 2941620775 88569 010 00029524 011 B> 111 100
206670 2941620778 88572 010 00029524 011 000 B> 100
206671 2941620783 88571 010 00029524 011 000 <C 111
206672 2941620786 88568 010 00029524 011 <C 1112
206673 2941620789 88565 010 00029524 <E 001 1112
206674 2941620792 88566 010 00029523 010 F> 001 1112
206675 2941620795 88565 010 00029523 010 <C 1113
206676 2941620800 88566 010 00029523 100 E> 1113
206677 2941620809 88575 010 00029523 100 0003 E>
206678 2941620810 88574 010 00029523 100 0003 <A 100
206679 2941620811 88575 010 00029523 100 0002 001 B> 100
206680 2941620816 88574 010 00029523 100 0002 001 <C 111
206681 2941620819 88575 010 00029523 100 0002 010 F> 111
206682 2941620822 88578 010 00029523 100 0002 010 000 F>
206683 2941620825 88577 010 00029523 100 0002 010 000 <C 110
206684 2941620828 88574 010 00029523 100 0002 010 <C 111 110
206685 2941620833 88575 010 00029523 100 0002 100 E> 111 110
206686 2941620836 88578 010 00029523 100 0002 100 000 E> 110
206687 2941620839 88581 010 00029523 100 0002 100 0002 C>
206688 2941620840 88580 010 00029523 100 0002 100 0002 <C 100
206689 2941620846 88574 010 00029523 100 0002 100 <C 1112 100
206690 2941620849 88571 010 00029523 100 0002 <A 1113 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 001 000 100 000 <A 1111+V(1) 100
1 1 1 001 000 100 001 B> 1111+V(1) 100
2 4+3*V(1) 4+3*V(1) 001 000 100 001 0001+V(1) B> 100
3 9+3*V(1) 3+3*V(1) 001 000 100 001 0001+V(1) <C 111
4 12+6*V(1) 0 001 000 100 001 <C 1112+V(1)
5 15+6*V(1) 1 001 000 100 010 F> 1112+V(1)
6 21+9*V(1) 7+3*V(1) 001 000 100 010 0002+V(1) F>
7 24+9*V(1) 6+3*V(1) 001 000 100 010 0002+V(1) <C 110
8 30+12*V(1) 0 001 000 100 010 <C 1112+V(1) 110
9 35+12*V(1) 1 001 000 1002 E> 1112+V(1) 110
10 41+15*V(1) 7+3*V(1) 001 000 1002 0002+V(1) E> 110
11 44+15*V(1) 10+3*V(1) 001 000 1002 0003+V(1) C>
12 45+15*V(1) 9+3*V(1) 001 000 1002 0003+V(1) <C 100
13 54+18*V(1) 0 001 000 1002 <C 1113+V(1) 100
14 57+18*V(1) -3 001 000 100 <A 1114+V(1) 100
15 58+18*V(1) -2 001 000 101 B> 1114+V(1) 100
16 70+21*V(1) 10+3*V(1) 001 000 101 0004+V(1) B> 100
17 75+21*V(1) 9+3*V(1) 001 000 101 0004+V(1) <C 111
18 87+24*V(1) -3 001 000 101 <C 1115+V(1)
19 90+24*V(1) -2 001 000 110 F> 1115+V(1)
20 105+27*V(1) 13+3*V(1) 001 000 110 0005+V(1) F>
21 108+27*V(1) 12+3*V(1) 001 000 110 0005+V(1) <C 110
22 123+30*V(1) -3 001 000 110 <C 1115+V(1) 110
23 126+30*V(1) -6 001 000 <D 011 1115+V(1) 110
24 131+30*V(1) -5 001 100 C> 011 1115+V(1) 110
25 132+30*V(1) -6 001 100 <C 1116+V(1) 110
26 135+30*V(1) -9 001 <A 1117+V(1) 110
27 138+30*V(1) -12 <A 100 1117+V(1) 110
28 139+30*V(1) -11 001 B> 100 1117+V(1) 110
29 144+30*V(1) -12 001 <C 1118+V(1) 110
30 147+30*V(1) -11 010 F> 1118+V(1) 110
31 171+33*V(1) 13+3*V(1) 010 0008+V(1) F> 110
32 174+33*V(1) 16+3*V(1) 010 0008+V(1) 001 C>
33 175+33*V(1) 15+3*V(1) 010 0008+V(1) 001 <C 100
34 178+33*V(1) 16+3*V(1) 010 0008+V(1) 010 F> 100
35 183+33*V(1) 19+3*V(1) 010 0008+V(1) 010 100 C>
36 184+33*V(1) 18+3*V(1) 010 0008+V(1) 010 100 <C 100
37 187+33*V(1) 15+3*V(1) 010 0008+V(1) 010 <A 111 100
38 188+33*V(1) 16+3*V(1) 010 0008+V(1) 011 B> 111 100
39 191+33*V(1) 19+3*V(1) 010 0008+V(1) 011 000 B> 100
40 196+33*V(1) 18+3*V(1) 010 0008+V(1) 011 000 <C 111
41 199+33*V(1) 15+3*V(1) 010 0008+V(1) 011 <C 1112
42 202+33*V(1) 12+3*V(1) 010 0008+V(1) <E 001 1112
43 205+33*V(1) 13+3*V(1) 010 0007+V(1) 010 F> 001 1112
44 208+33*V(1) 12+3*V(1) 010 0007+V(1) 010 <C 1113
45 213+33*V(1) 13+3*V(1) 010 0007+V(1) 100 E> 1113
46 222+33*V(1) 22+3*V(1) 010 0007+V(1) 100 0003 E>
47 223+33*V(1) 21+3*V(1) 010 0007+V(1) 100 0003 <A 100
48 224+33*V(1) 22+3*V(1) 010 0007+V(1) 100 0002 001 B> 100
49 229+33*V(1) 21+3*V(1) 010 0007+V(1) 100 0002 001 <C 111
50 232+33*V(1) 22+3*V(1) 010 0007+V(1) 100 0002 010 F> 111
51 235+33*V(1) 25+3*V(1) 010 0007+V(1) 100 0002 010 000 F>
52 238+33*V(1) 24+3*V(1) 010 0007+V(1) 100 0002 010 000 <C 110
53 241+33*V(1) 21+3*V(1) 010 0007+V(1) 100 0002 010 <C 111 110
54 246+33*V(1) 22+3*V(1) 010 0007+V(1) 100 0002 100 E> 111 110
55 249+33*V(1) 25+3*V(1) 010 0007+V(1) 100 0002 100 000 E> 110
56 252+33*V(1) 28+3*V(1) 010 0007+V(1) 100 0002 100 0002 C>
57 253+33*V(1) 27+3*V(1) 010 0007+V(1) 100 0002 100 0002 <C 100
58 259+33*V(1) 21+3*V(1) 010 0007+V(1) 100 0002 100 <C 1112 100
59 262+33*V(1) 18+3*V(1) 010 0007+V(1) 100 0002 <A 1113 100
<< Success! ==> defined new CTR 6 (PPA)
206690 2941620849 88571 010 00029523 100 0002 <A 1113 100
== Executing PA-CTR 2, V(1)=0, V(2)=2, repcount=1, factor=3/1
206704 2941620942 88568 010 00029523 100 000 <A 1116 100
== Executing PPA-CTR 4 (once), V(1)=29520, V(2)=5
206739 2941621287 88595 010 00029521 001 00012 <A 1112 100
== Executing PA-CTR 2, V(1)=10, V(2)=1, repcount=11, factor=3/1
206893 2941625082 88562 010 00029521 001 000 <A 11135 100
== Executing PPA-CTR 5 (once), V(1)=29519, V(2)=34
206915 2941625889 88673 010 00029520 010 00039 <A 111 100
== Executing PA-CTR 2, V(1)=37, V(2)=0, repcount=38, factor=3/1
207447 2941666017 88559 010 00029520 010 000 <A 111115 100
== Executing PPA-CTR 3 (once), V(1)=29518, V(2)=114
207483 2941669254 88910 010 00029519 100 000119 <A 1113 100
== Executing PA-CTR 2, V(1)=117, V(2)=2, repcount=118, factor=3/1
209135 2942052990 88556 010 00029519 100 000 <A 111357 100
== Executing PPA-CTR 4 (once), V(1)=29516, V(2)=356
209170 2942064918 89636 010 00029517 001 000363 <A 1112 100
== Executing PA-CTR 2, V(1)=361, V(2)=1, repcount=362, factor=3/1
214238 2945620482 88550 010 00029517 001 000 <A 1111088 100
== Executing PPA-CTR 5 (once), V(1)=29515, V(2)=1087
214260 2945643402 91820 010 00029516 010 0001092 <A 111 100
== Executing PA-CTR 2, V(1)=1090, V(2)=0, repcount=1091, factor=3/1
229534 2977813719 88547 010 00029516 010 000 <A 1113274 100
== Executing PPA-CTR 3 (once), V(1)=29514, V(2)=3273
229570 2977902249 98375 010 00029515 100 0003278 <A 1113 100
== Executing PA-CTR 2, V(1)=3276, V(2)=2, repcount=3277, factor=3/1
275448 3268064214 88544 010 00029515 100 000 <A 1119834 100
== Executing PPA-CTR 4 (once), V(1)=29512, V(2)=9833
275483 3268388883 118055 010 00029513 001 0009840 <A 1112 100
== Executing PA-CTR 2, V(1)=9838, V(2)=1, repcount=9839, factor=3/1
413229 5882621022 88538 010 00029513 001 000 <A 11129519 100
== Executing PPA-CTR 5 (once), V(1)=29511, V(2)=29518
413251 5883240993 177101 010 00029512 010 00029523 <A 111 100
== Executing PA-CTR 2, V(1)=29521, V(2)=0, repcount=29522, factor=3/1
826559 29415935721 88535 010 00029512 010 000 <A 11188567 100
== Executing PPA-CTR 3 (once), V(1)=29510, V(2)=88566
826595 29418327162 354242 010 00029511 100 00088571 <A 1113 100
== Executing PA-CTR 2, V(1)=88569, V(2)=2, repcount=88570, factor=3/1
2066575 241229585082 88532 010 00029511 100 000 <A 111265713 100
== Executing PPA-CTR 4 (once), V(1)=29508, V(2)=265712
2066610 241238353758 885680 010 00029509 001 000265719 <A 1112 100
== Executing PA-CTR 2, V(1)=265717, V(2)=1, repcount=265718, factor=3/1
5786662 2147614607370 88526 010 00029509 001 000 <A 111797156 100
== Executing PPA-CTR 5 (once), V(1)=29507, V(2)=797155
5786684 2147631347718 2480000 010 00029508 010 000797160 <A 111 100
== Executing PA-CTR 2, V(1)=797158, V(2)=0, repcount=797159, factor=3/1
16946910 19305141987075 88523 010 00029508 010 000 <A 1112391478 100
== Executing PPA-CTR 3 (once), V(1)=29506, V(2)=2391477
16946946 19305206557113 7262963 010 00029507 100 0002391482 <A 1113 100
== Executing PA-CTR 2, V(1)=2391480, V(2)=2, repcount=2391481, factor=3/1
50427680 173723261475606 88520 010 00029507 100 000 <A 1117174446 100
== Executing PPA-CTR 4 (once), V(1)=29504, V(2)=7174445
50427715 173723498232471 21611867 010 00029505 001 0007174452 <A 1112 100
== Executing PA-CTR 2, V(1)=7174450, V(2)=1, repcount=7174451, factor=3/1
150870029 1563488015693946 88514 010 00029505 001 000 <A 11121523355 100
== Executing PPA-CTR 5 (once), V(1)=29503, V(2)=21523354
150870051 1563488467684473 64658585 010 00029504 010 00021523359 <A 111 100
== Executing PA-CTR 2, V(1)=21523357, V(2)=0, repcount=21523358, factor=3/1
452197063 14071372482481641 88511 010 00029504 010 000 <A 11164570075 100
== Executing PPA-CTR 3 (once), V(1)=29502, V(2)=64570074
452197099 14071374225873798 193798742 010 00029503 100 00064570079 <A 1113 100
== Executing PA-CTR 2, V(1)=64570077, V(2)=2, repcount=64570078, factor=3/1
1356178191 1266423[4]6503214 88508 010 00029503 100 000 <A 111193710237 100
== Executing PPA-CTR 4 (once), V(1)=29500, V(2)=193710236
1356178226 1266423[4]8941182 581219228 010 00029501 001 000193710243 <A 1112 100
== Executing PA-CTR 2, V(1)=193710241, V(2)=1, repcount=193710242, factor=3/1
4068121614 1139781[5]0894026 88502 010 00029501 001 000 <A 111581130728 100
== Executing PPA-CTR 5 (once), V(1)=29499, V(2)=581130727
4068121636 1139781[5]4639386 1743480692 010 00029500 010 000581130732 <A 111 100
== Executing PA-CTR 2, V(1)=581130730, V(2)=0, repcount=581130731, factor=3/1
12203951870 1025803[6]8609063 88499 010 00029500 010 000 <A 1111743392194 100
== Executing PPA-CTR 3 (once), V(1)=29498, V(2)=1743392193
12203951906 1025803[6]0198433 5230265087 010 00029499 100 0001743392198 <A 1113 100
== Executing PA-CTR 2, V(1)=1743392196, V(2)=2, repcount=1743392197, factor=3/1
36611442664 9232227[6]7227278 88496 010 00029499 100 000 <A 1115230176594 100
== Executing PPA-CTR 4 (once), V(1)=29496, V(2)=5230176593
36611442699 9232227[6]3055027 15690618287 010 00029497 001 0005230176600 <A 1112 100
== Executing PA-CTR 2, V(1)=5230176598, V(2)=1, repcount=5230176599, factor=3/1
109833915085 8309004[7]6115406 88490 010 00029497 001 000 <A 11115690529799 100
== Executing PPA-CTR 5 (once), V(1)=29495, V(2)=15690529798
109833915107 8309004[7]7241257 47071677893 010 00029496 010 00015690529803 <A 111 100
== Executing PA-CTR 2, V(1)=15690529801, V(2)=0, repcount=15690529802, factor=3/1
329501332335 7478104[8]7433825 88487 010 00029496 010 000 <A 11147071589407 100
== Executing PPA-CTR 3 (once), V(1)=29494, V(2)=47071589406
329501332371 7478104[8]0347946 141214856714 010 00029495 100 00047071589411 <A 1113 100
== Executing PA-CTR 2, V(1)=47071589409, V(2)=2, repcount=47071589410, factor=3/1
988503584111 6730293[9]7247706 88484 010 00029495 100 000 <A 111141214768233 100
Lines: 300
Top steps: 299
Macro steps: 988503584111
Basic steps: 67302936339759457247706
Tape index: 88484
ones: 423644304702
log10(ones ): 11.627
log10(steps ): 22.828
Some long numbers above are shortened: #(omitted digits) shown in "[]".
Input to awk program:
gohalt 1
T 6-state 2-symbol #a (Pavel Kropitz)
: >3.1x10^10566 >3.8x10^21132
C This was the best 6x2 TM (May-2010..Jul-2010)
5T B1R D0L C1R F0R C1L A1L E0L H1L A1L B0R C0R E0R
L 4
M 300
pref sim
machv Kro62_a just simple
machv Kro62_a-r with repetitions reduced
machv Kro62_a-1 with tape symbol exponents
machv Kro62_a-m as 3-macro machine
machv Kro62_a-a as 3-macro machine with pure additive config-TRs
iam Kro62_a-a
mtype 3
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:25 CEST 2010
edate Tue Jul 6 22:14:26 CEST 2010
bnspeed 1
short 7
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:14:25 CEST 2010