Comment: This TM produces >2.5x10^881 ones in >8.9x10^1762 steps. Comment: This was the first known 6x2 TM to unseat Buntrock/Marxen
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | 1RB | 0RF | 1 | right | B | 0 | right | F |
| B | 0LB | 1LC | 0 | left | B | 1 | left | C |
| C | 1LD | 0RC | 1 | left | D | 0 | right | C |
| D | 1LE | 1RH | 1 | left | E | 1 | right | H |
| E | 1LF | 0LD | 1 | left | F | 0 | left | D |
| F | 1RA | 0LE | 1 | right | A | 0 | left | E |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <C 10
2 5 -3 <E 11 10
3 8 -2 10 F> 11 10
4 9 -3 10 <E 01 10
5 11 -5 <E 012 10
6 14 -4 10 F> 012 10
7 18 0 103 F> 10
8 19 -1 103 <E
9 25 -7 <E 013
10 28 -6 10 F> 013
11 34 0 104 F>
12 36 2 104 11 B>
13 37 1 104 11 <B
14 40 2 104 00 C>
15 41 1 104 00 <D 10
16 43 -1 104 <F 11 10
17 44 0 103 11 A> 11 10
18 47 -1 103 11 <F 102
19 49 -3 103 <D 00 102
20 55 -9 <D 013 00 102
21 57 -11 <F 11 013 00 102
22 58 -10 01 A> 11 013 00 102
23 61 -11 01 <F 10 013 00 102
24 63 -13 <F 102 013 00 102
25 64 -12 01 A> 102 013 00 102
26 68 -8 013 A> 013 00 102
27 72 -6 013 00 C> 012 00 102
28 73 -7 013 00 <D 11 01 00 102
29 75 -9 013 <F 112 01 00 102
30 81 -15 <F 103 112 01 00 102
31 82 -14 01 A> 103 112 01 00 102
32 88 -8 014 A> 112 01 00 102
33 91 -9 014 <F 10 11 01 00 102
34 99 -17 <F 105 11 01 00 102
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <F 101+V(2) 112+V(1) [*]* [*]* [*]*
1 1 1 01 A> 101+V(2) 112+V(1) [*]* [*]* [*]*
2 3+2*V(2) 3+2*V(2) 012+V(2) A> 112+V(1) [*]* [*]* [*]*
3 6+2*V(2) 2+2*V(2) 012+V(2) <F 10 111+V(1) [*]* [*]* [*]*
4 10+4*V(2) -2 <F 103+V(2) 111+V(1) [*]* [*]* [*]*
<< Success! ==> defined new CTR 1 (PA)
35 100 -16 01 A> 105 11 01 00 102
36 110 -6 016 A> 11 01 00 102
37 113 -7 016 <F 10 01 00 102
38 125 -19 <F 107 01 00 102
39 126 -18 01 A> 107 01 00 102
40 140 -4 018 A> 01 00 102
41 144 -2 018 00 C> 00 102
42 145 -3 018 00 <D 103
43 147 -5 018 <F 11 103
44 163 -21 <F 108 11 103
45 164 -20 01 A> 108 11 103
46 180 -4 019 A> 11 103
47 183 -5 019 <F 104
48 201 -23 <F 1013
49 202 -22 01 A> 1013
50 228 4 0114 A>
51 231 3 0114 <C 10
52 232 4 0113 00 C> 10
53 235 3 0113 00 <E 11
54 238 4 0113 10 F> 11
55 239 3 0113 10 <E 01
56 241 1 0113 <E 012
57 267 -25 <E 1013 012
58 270 -24 10 F> 1013 012
59 271 -25 10 <E 00 1012 012
60 273 -27 <E 01 00 1012 012
61 276 -26 10 F> 01 00 1012 012
62 278 -24 102 F> 00 1012 012
63 280 -22 102 11 B> 1012 012
64 281 -23 102 11 <C 1012 012
65 282 -22 103 C> 1012 012
66 285 -23 103 <E 11 1011 012
67 291 -29 <E 013 11 1011 012
68 294 -28 10 F> 013 11 1011 012
69 300 -22 104 F> 11 1011 012
70 301 -23 104 <E 01 1011 012
71 309 -31 <E 015 1011 012
72 312 -30 10 F> 015 1011 012
73 322 -20 106 F> 1011 012
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 101+V(1) F> 103+V(2) [*]*
1 1 -1 101+V(1) <E 00 102+V(2) [*]*
2 3+2*V(1) -3+-2*V(1) <E 011+V(1) 00 102+V(2) [*]*
3 6+2*V(1) -2+-2*V(1) 10 F> 011+V(1) 00 102+V(2) [*]*
4 8+4*V(1) 0 102+V(1) F> 00 102+V(2) [*]*
5 10+4*V(1) 2 102+V(1) 11 B> 102+V(2) [*]*
6 11+4*V(1) 1 102+V(1) 11 <C 102+V(2) [*]*
7 12+4*V(1) 2 103+V(1) C> 102+V(2) [*]*
8 15+4*V(1) 1 103+V(1) <E 11 101+V(2) [*]*
9 21+6*V(1) -5+-2*V(1) <E 013+V(1) 11 101+V(2) [*]*
10 24+6*V(1) -4+-2*V(1) 10 F> 013+V(1) 11 101+V(2) [*]*
11 30+8*V(1) 2 104+V(1) F> 11 101+V(2) [*]*
12 31+8*V(1) 1 104+V(1) <E 01 101+V(2) [*]*
13 39+10*V(1) -7+-2*V(1) <E 015+V(1) 101+V(2) [*]*
14 42+10*V(1) -6+-2*V(1) 10 F> 015+V(1) 101+V(2) [*]*
15 52+12*V(1) 4 106+V(1) F> 101+V(2) [*]*
<< Success! ==> defined new CTR 2 (PA)
73 322 -20 106 F> 1011 012
== Executing PA-CTR 2, V(1)=5, V(2)=8, repcount=5, factor=5/2
148 1482 0 1031 F> 10 012
149 1483 -1 1031 <E 00 012
150 1545 -63 <E 0131 00 012
151 1548 -62 10 F> 0131 00 012
152 1610 0 1032 F> 00 012
153 1612 2 1032 11 B> 012
154 1613 1 1032 11 <B 012
155 1616 2 1032 00 C> 012
156 1617 1 1032 00 <D 11 01
157 1619 -1 1032 <F 112 01
158 1620 0 1031 11 A> 112 01
159 1623 -1 1031 11 <F 10 11 01
160 1625 -3 1031 <D 00 10 11 01
161 1687 -65 <D 0131 00 10 11 01
162 1689 -67 <F 11 0131 00 10 11 01
163 1690 -66 01 A> 11 0131 00 10 11 01
164 1693 -67 01 <F 10 0131 00 10 11 01
165 1695 -69 <F 102 0131 00 10 11 01
166 1696 -68 01 A> 102 0131 00 10 11 01
167 1700 -64 013 A> 0131 00 10 11 01
168 1704 -62 013 00 C> 0130 00 10 11 01
169 1705 -63 013 00 <D 11 0129 00 10 11 01
170 1707 -65 013 <F 112 0129 00 10 11 01
171 1713 -71 <F 103 112 0129 00 10 11 01
172 1714 -70 01 A> 103 112 0129 00 10 11 01
173 1720 -64 014 A> 112 0129 00 10 11 01
174 1723 -65 014 <F 10 11 0129 00 10 11 01
175 1731 -73 <F 105 11 0129 00 10 11 01
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <F 101+V(2) 112+V(1) [*]* [*]* [*]* [*]* [*]*
1 1 1 01 A> 101+V(2) 112+V(1) [*]* [*]* [*]* [*]* [*]*
2 3+2*V(2) 3+2*V(2) 012+V(2) A> 112+V(1) [*]* [*]* [*]* [*]* [*]*
3 6+2*V(2) 2+2*V(2) 012+V(2) <F 10 111+V(1) [*]* [*]* [*]* [*]* [*]*
4 10+4*V(2) -2 <F 103+V(2) 111+V(1) [*]* [*]* [*]* [*]* [*]*
<< Success! ==> defined new CTR 3 (PA)
176 1732 -72 01 A> 105 11 0129 00 10 11 01
177 1742 -62 016 A> 11 0129 00 10 11 01
178 1745 -63 016 <F 10 0129 00 10 11 01
179 1757 -75 <F 107 0129 00 10 11 01
180 1758 -74 01 A> 107 0129 00 10 11 01
181 1772 -60 018 A> 0129 00 10 11 01
182 1776 -58 018 00 C> 0128 00 10 11 01
183 1777 -59 018 00 <D 11 0127 00 10 11 01
184 1779 -61 018 <F 112 0127 00 10 11 01
185 1795 -77 <F 108 112 0127 00 10 11 01
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <F 101+V(2) 11 013+V(1) [*]* [*]* [*]* [*]*
1 1 1 01 A> 101+V(2) 11 013+V(1) [*]* [*]* [*]* [*]*
2 3+2*V(2) 3+2*V(2) 012+V(2) A> 11 013+V(1) [*]* [*]* [*]* [*]*
3 6+2*V(2) 2+2*V(2) 012+V(2) <F 10 013+V(1) [*]* [*]* [*]* [*]*
4 10+4*V(2) -2 <F 103+V(2) 013+V(1) [*]* [*]* [*]* [*]*
5 11+4*V(2) -1 01 A> 103+V(2) 013+V(1) [*]* [*]* [*]* [*]*
6 17+6*V(2) 5+2*V(2) 014+V(2) A> 013+V(1) [*]* [*]* [*]* [*]*
7 21+6*V(2) 7+2*V(2) 014+V(2) 00 C> 012+V(1) [*]* [*]* [*]* [*]*
8 22+6*V(2) 6+2*V(2) 014+V(2) 00 <D 11 011+V(1) [*]* [*]* [*]* [*]*
9 24+6*V(2) 4+2*V(2) 014+V(2) <F 112 011+V(1) [*]* [*]* [*]* [*]*
10 32+8*V(2) -4 <F 104+V(2) 112 011+V(1) [*]* [*]* [*]* [*]*
<< Success! ==> defined new CTR 4 (PPA)
185 1795 -77 <F 108 112 0127 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=7, repcount=1, factor=2/1
189 1833 -79 <F 1010 11 0127 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=24, V(2)=9
199 1937 -83 <F 1013 112 0125 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=12, repcount=1, factor=2/1
203 1995 -85 <F 1015 11 0125 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=22, V(2)=14
213 2139 -89 <F 1018 112 0123 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=17, repcount=1, factor=2/1
217 2217 -91 <F 1020 11 0123 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=20, V(2)=19
227 2401 -95 <F 1023 112 0121 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=22, repcount=1, factor=2/1
231 2499 -97 <F 1025 11 0121 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=18, V(2)=24
241 2723 -101 <F 1028 112 0119 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=27, repcount=1, factor=2/1
245 2841 -103 <F 1030 11 0119 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=16, V(2)=29
255 3105 -107 <F 1033 112 0117 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=32, repcount=1, factor=2/1
259 3243 -109 <F 1035 11 0117 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=14, V(2)=34
269 3547 -113 <F 1038 112 0115 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=37, repcount=1, factor=2/1
273 3705 -115 <F 1040 11 0115 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=12, V(2)=39
283 4049 -119 <F 1043 112 0113 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=42, repcount=1, factor=2/1
287 4227 -121 <F 1045 11 0113 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=10, V(2)=44
297 4611 -125 <F 1048 112 0111 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=47, repcount=1, factor=2/1
301 4809 -127 <F 1050 11 0111 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=8, V(2)=49
311 5233 -131 <F 1053 112 019 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=52, repcount=1, factor=2/1
315 5451 -133 <F 1055 11 019 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=6, V(2)=54
325 5915 -137 <F 1058 112 017 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=57, repcount=1, factor=2/1
329 6153 -139 <F 1060 11 017 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=4, V(2)=59
339 6657 -143 <F 1063 112 015 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=62, repcount=1, factor=2/1
343 6915 -145 <F 1065 11 015 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=2, V(2)=64
353 7459 -149 <F 1068 112 013 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=67, repcount=1, factor=2/1
357 7737 -151 <F 1070 11 013 00 10 11 01
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=69
367 8321 -155 <F 1073 112 01 00 10 11 01
== Executing PA-CTR 3, V(1)=0, V(2)=72, repcount=1, factor=2/1
371 8619 -157 <F 1075 11 01 00 10 11 01
372 8620 -156 01 A> 1075 11 01 00 10 11 01
373 8770 -6 0176 A> 11 01 00 10 11 01
374 8773 -7 0176 <F 10 01 00 10 11 01
375 8925 -159 <F 1077 01 00 10 11 01
376 8926 -158 01 A> 1077 01 00 10 11 01
377 9080 -4 0178 A> 01 00 10 11 01
378 9084 -2 0178 00 C> 00 10 11 01
379 9085 -3 0178 00 <D 102 11 01
380 9087 -5 0178 <F 11 102 11 01
381 9243 -161 <F 1078 11 102 11 01
382 9244 -160 01 A> 1078 11 102 11 01
383 9400 -4 0179 A> 11 102 11 01
384 9403 -5 0179 <F 103 11 01
385 9561 -163 <F 1082 11 01
386 9562 -162 01 A> 1082 11 01
387 9726 2 0183 A> 11 01
388 9729 1 0183 <F 10 01
389 9895 -165 <F 1084 01
390 9896 -164 01 A> 1084 01
391 10064 4 0185 A> 01
392 10068 6 0185 00 C>
393 10069 5 0185 00 <D 10
394 10071 3 0185 <F 11 10
395 10241 -167 <F 1085 11 10
396 10242 -166 01 A> 1085 11 10
397 10412 4 0186 A> 11 10
398 10415 3 0186 <F 102
399 10587 -169 <F 1088
400 10588 -168 01 A> 1088
401 10764 8 0189 A>
402 10767 7 0189 <C 10
403 10768 8 0188 00 C> 10
404 10771 7 0188 00 <E 11
405 10774 8 0188 10 F> 11
406 10775 7 0188 10 <E 01
407 10777 5 0188 <E 012
408 10953 -171 <E 1088 012
409 10956 -170 10 F> 1088 012
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <F 101+V(2) 11 01 00 101+V(1) 11 01
1 1 1 01 A> 101+V(2) 11 01 00 101+V(1) 11 01
2 3+2*V(2) 3+2*V(2) 012+V(2) A> 11 01 00 101+V(1) 11 01
3 6+2*V(2) 2+2*V(2) 012+V(2) <F 10 01 00 101+V(1) 11 01
4 10+4*V(2) -2 <F 103+V(2) 01 00 101+V(1) 11 01
5 11+4*V(2) -1 01 A> 103+V(2) 01 00 101+V(1) 11 01
6 17+6*V(2) 5+2*V(2) 014+V(2) A> 01 00 101+V(1) 11 01
7 21+6*V(2) 7+2*V(2) 014+V(2) 00 C> 00 101+V(1) 11 01
8 22+6*V(2) 6+2*V(2) 014+V(2) 00 <D 102+V(1) 11 01
9 24+6*V(2) 4+2*V(2) 014+V(2) <F 11 102+V(1) 11 01
10 32+8*V(2) -4 <F 104+V(2) 11 102+V(1) 11 01
11 33+8*V(2) -3 01 A> 104+V(2) 11 102+V(1) 11 01
12 41+10*V(2) 5+2*V(2) 015+V(2) A> 11 102+V(1) 11 01
13 44+10*V(2) 4+2*V(2) 015+V(2) <F 103+V(1) 11 01
14 54+12*V(2) -6 <F 108+V(1)+V(2) 11 01
15 55+12*V(2) -5 01 A> 108+V(1)+V(2) 11 01
16 71+2*V(1)+14*V(2) 11+2*V(1)+2*V(2) 019+V(1)+V(2) A> 11 01
17 74+2*V(1)+14*V(2) 10+2*V(1)+2*V(2) 019+V(1)+V(2) <F 10 01
18 92+4*V(1)+16*V(2) -8 <F 1010+V(1)+V(2) 01
19 93+4*V(1)+16*V(2) -7 01 A> 1010+V(1)+V(2) 01
20 113+6*V(1)+18*V(2) 13+2*V(1)+2*V(2) 0111+V(1)+V(2) A> 01
21 117+6*V(1)+18*V(2) 15+2*V(1)+2*V(2) 0111+V(1)+V(2) 00 C>
22 118+6*V(1)+18*V(2) 14+2*V(1)+2*V(2) 0111+V(1)+V(2) 00 <D 10
23 120+6*V(1)+18*V(2) 12+2*V(1)+2*V(2) 0111+V(1)+V(2) <F 11 10
24 142+8*V(1)+20*V(2) -10 <F 1011+V(1)+V(2) 11 10
25 143+8*V(1)+20*V(2) -9 01 A> 1011+V(1)+V(2) 11 10
26 165+10*V(1)+22*V(2) 13+2*V(1)+2*V(2) 0112+V(1)+V(2) A> 11 10
27 168+10*V(1)+22*V(2) 12+2*V(1)+2*V(2) 0112+V(1)+V(2) <F 102
28 192+12*V(1)+24*V(2) -12 <F 1014+V(1)+V(2)
29 193+12*V(1)+24*V(2) -11 01 A> 1014+V(1)+V(2)
30 221+14*V(1)+26*V(2) 17+2*V(1)+2*V(2) 0115+V(1)+V(2) A>
31 224+14*V(1)+26*V(2) 16+2*V(1)+2*V(2) 0115+V(1)+V(2) <C 10
32 225+14*V(1)+26*V(2) 17+2*V(1)+2*V(2) 0114+V(1)+V(2) 00 C> 10
33 228+14*V(1)+26*V(2) 16+2*V(1)+2*V(2) 0114+V(1)+V(2) 00 <E 11
34 231+14*V(1)+26*V(2) 17+2*V(1)+2*V(2) 0114+V(1)+V(2) 10 F> 11
35 232+14*V(1)+26*V(2) 16+2*V(1)+2*V(2) 0114+V(1)+V(2) 10 <E 01
36 234+14*V(1)+26*V(2) 14+2*V(1)+2*V(2) 0114+V(1)+V(2) <E 012
37 262+16*V(1)+28*V(2) -14 <E 1014+V(1)+V(2) 012
38 265+16*V(1)+28*V(2) -13 10 F> 1014+V(1)+V(2) 012
<< Success! ==> defined new CTR 5 (PPA)
409 10956 -170 10 F> 1088 012
== Executing PA-CTR 2, V(1)=0, V(2)=85, repcount=43, factor=5/2
1054 67372 2 10216 F> 102 012
1055 67373 1 10216 <E 00 10 012
1056 67805 -431 <E 01216 00 10 012
1057 67808 -430 10 F> 01216 00 10 012
1058 68240 2 10217 F> 00 10 012
1059 68242 4 10217 11 B> 10 012
1060 68243 3 10217 11 <C 10 012
1061 68244 4 10218 C> 10 012
1062 68247 3 10218 <E 11 012
1063 68683 -433 <E 01218 11 012
1064 68686 -432 10 F> 01218 11 012
1065 69122 4 10219 F> 11 012
1066 69123 3 10219 <E 013
1067 69561 -435 <E 01222
1068 69564 -434 10 F> 01222
1069 70008 10 10223 F>
1070 70010 12 10223 11 B>
1071 70011 11 10223 11 <B
1072 70014 12 10223 00 C>
1073 70015 11 10223 00 <D 10
1074 70017 9 10223 <F 11 10
1075 70018 10 10222 11 A> 11 10
1076 70021 9 10222 11 <F 102
1077 70023 7 10222 <D 00 102
1078 70467 -437 <D 01222 00 102
1079 70469 -439 <F 11 01222 00 102
1080 70470 -438 01 A> 11 01222 00 102
1081 70473 -439 01 <F 10 01222 00 102
1082 70475 -441 <F 102 01222 00 102
1083 70476 -440 01 A> 102 01222 00 102
1084 70480 -436 013 A> 01222 00 102
1085 70484 -434 013 00 C> 01221 00 102
1086 70485 -435 013 00 <D 11 01220 00 102
1087 70487 -437 013 <F 112 01220 00 102
1088 70493 -443 <F 103 112 01220 00 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 101+V(1) F> 102 011+V(2)
1 1 -1 101+V(1) <E 00 10 011+V(2)
2 3+2*V(1) -3+-2*V(1) <E 011+V(1) 00 10 011+V(2)
3 6+2*V(1) -2+-2*V(1) 10 F> 011+V(1) 00 10 011+V(2)
4 8+4*V(1) 0 102+V(1) F> 00 10 011+V(2)
5 10+4*V(1) 2 102+V(1) 11 B> 10 011+V(2)
6 11+4*V(1) 1 102+V(1) 11 <C 10 011+V(2)
7 12+4*V(1) 2 103+V(1) C> 10 011+V(2)
8 15+4*V(1) 1 103+V(1) <E 11 011+V(2)
9 21+6*V(1) -5+-2*V(1) <E 013+V(1) 11 011+V(2)
10 24+6*V(1) -4+-2*V(1) 10 F> 013+V(1) 11 011+V(2)
11 30+8*V(1) 2 104+V(1) F> 11 011+V(2)
12 31+8*V(1) 1 104+V(1) <E 012+V(2)
13 39+10*V(1) -7+-2*V(1) <E 016+V(1)+V(2)
14 42+10*V(1) -6+-2*V(1) 10 F> 016+V(1)+V(2)
15 54+12*V(1)+2*V(2) 6+2*V(2) 107+V(1)+V(2) F>
16 56+12*V(1)+2*V(2) 8+2*V(2) 107+V(1)+V(2) 11 B>
17 57+12*V(1)+2*V(2) 7+2*V(2) 107+V(1)+V(2) 11 <B
18 60+12*V(1)+2*V(2) 8+2*V(2) 107+V(1)+V(2) 00 C>
19 61+12*V(1)+2*V(2) 7+2*V(2) 107+V(1)+V(2) 00 <D 10
20 63+12*V(1)+2*V(2) 5+2*V(2) 107+V(1)+V(2) <F 11 10
21 64+12*V(1)+2*V(2) 6+2*V(2) 106+V(1)+V(2) 11 A> 11 10
22 67+12*V(1)+2*V(2) 5+2*V(2) 106+V(1)+V(2) 11 <F 102
23 69+12*V(1)+2*V(2) 3+2*V(2) 106+V(1)+V(2) <D 00 102
24 81+14*V(1)+4*V(2) -9+-2*V(1) <D 016+V(1)+V(2) 00 102
25 83+14*V(1)+4*V(2) -11+-2*V(1) <F 11 016+V(1)+V(2) 00 102
26 84+14*V(1)+4*V(2) -10+-2*V(1) 01 A> 11 016+V(1)+V(2) 00 102
27 87+14*V(1)+4*V(2) -11+-2*V(1) 01 <F 10 016+V(1)+V(2) 00 102
28 89+14*V(1)+4*V(2) -13+-2*V(1) <F 102 016+V(1)+V(2) 00 102
29 90+14*V(1)+4*V(2) -12+-2*V(1) 01 A> 102 016+V(1)+V(2) 00 102
30 94+14*V(1)+4*V(2) -8+-2*V(1) 013 A> 016+V(1)+V(2) 00 102
31 98+14*V(1)+4*V(2) -6+-2*V(1) 013 00 C> 015+V(1)+V(2) 00 102
32 99+14*V(1)+4*V(2) -7+-2*V(1) 013 00 <D 11 014+V(1)+V(2) 00 102
33 101+14*V(1)+4*V(2) -9+-2*V(1) 013 <F 112 014+V(1)+V(2) 00 102
34 107+14*V(1)+4*V(2) -15+-2*V(1) <F 103 112 014+V(1)+V(2) 00 102
<< Success! ==> defined new CTR 6 (PPA)
1088 70493 -443 <F 103 112 01220 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=2, repcount=1, factor=2/1
1092 70511 -445 <F 105 11 01220 00 102
1093 70512 -444 01 A> 105 11 01220 00 102
1094 70522 -434 016 A> 11 01220 00 102
1095 70525 -435 016 <F 10 01220 00 102
1096 70537 -447 <F 107 01220 00 102
1097 70538 -446 01 A> 107 01220 00 102
1098 70552 -432 018 A> 01220 00 102
1099 70556 -430 018 00 C> 01219 00 102
1100 70557 -431 018 00 <D 11 01218 00 102
1101 70559 -433 018 <F 112 01218 00 102
1102 70575 -449 <F 108 112 01218 00 102
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 <F 101+V(2) 11 013+V(1) [*]* [*]*
1 1 1 01 A> 101+V(2) 11 013+V(1) [*]* [*]*
2 3+2*V(2) 3+2*V(2) 012+V(2) A> 11 013+V(1) [*]* [*]*
3 6+2*V(2) 2+2*V(2) 012+V(2) <F 10 013+V(1) [*]* [*]*
4 10+4*V(2) -2 <F 103+V(2) 013+V(1) [*]* [*]*
5 11+4*V(2) -1 01 A> 103+V(2) 013+V(1) [*]* [*]*
6 17+6*V(2) 5+2*V(2) 014+V(2) A> 013+V(1) [*]* [*]*
7 21+6*V(2) 7+2*V(2) 014+V(2) 00 C> 012+V(1) [*]* [*]*
8 22+6*V(2) 6+2*V(2) 014+V(2) 00 <D 11 011+V(1) [*]* [*]*
9 24+6*V(2) 4+2*V(2) 014+V(2) <F 112 011+V(1) [*]* [*]*
10 32+8*V(2) -4 <F 104+V(2) 112 011+V(1) [*]* [*]*
<< Success! ==> defined new CTR 7 (PPA)
1102 70575 -449 <F 108 112 01218 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=7, repcount=1, factor=2/1
1106 70613 -451 <F 1010 11 01218 00 102
== Executing PPA-CTR 7 (once), V(1)=215, V(2)=9
1116 70717 -455 <F 1013 112 01216 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=12, repcount=1, factor=2/1
1120 70775 -457 <F 1015 11 01216 00 102
== Executing PPA-CTR 7 (once), V(1)=213, V(2)=14
1130 70919 -461 <F 1018 112 01214 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=17, repcount=1, factor=2/1
1134 70997 -463 <F 1020 11 01214 00 102
== Executing PPA-CTR 7 (once), V(1)=211, V(2)=19
1144 71181 -467 <F 1023 112 01212 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=22, repcount=1, factor=2/1
1148 71279 -469 <F 1025 11 01212 00 102
== Executing PPA-CTR 7 (once), V(1)=209, V(2)=24
1158 71503 -473 <F 1028 112 01210 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=27, repcount=1, factor=2/1
1162 71621 -475 <F 1030 11 01210 00 102
== Executing PPA-CTR 7 (once), V(1)=207, V(2)=29
1172 71885 -479 <F 1033 112 01208 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=32, repcount=1, factor=2/1
1176 72023 -481 <F 1035 11 01208 00 102
== Executing PPA-CTR 7 (once), V(1)=205, V(2)=34
1186 72327 -485 <F 1038 112 01206 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=37, repcount=1, factor=2/1
1190 72485 -487 <F 1040 11 01206 00 102
== Executing PPA-CTR 7 (once), V(1)=203, V(2)=39
1200 72829 -491 <F 1043 112 01204 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=42, repcount=1, factor=2/1
1204 73007 -493 <F 1045 11 01204 00 102
== Executing PPA-CTR 7 (once), V(1)=201, V(2)=44
1214 73391 -497 <F 1048 112 01202 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=47, repcount=1, factor=2/1
1218 73589 -499 <F 1050 11 01202 00 102
== Executing PPA-CTR 7 (once), V(1)=199, V(2)=49
1228 74013 -503 <F 1053 112 01200 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=52, repcount=1, factor=2/1
1232 74231 -505 <F 1055 11 01200 00 102
== Executing PPA-CTR 7 (once), V(1)=197, V(2)=54
1242 74695 -509 <F 1058 112 01198 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=57, repcount=1, factor=2/1
1246 74933 -511 <F 1060 11 01198 00 102
== Executing PPA-CTR 7 (once), V(1)=195, V(2)=59
1256 75437 -515 <F 1063 112 01196 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=62, repcount=1, factor=2/1
1260 75695 -517 <F 1065 11 01196 00 102
== Executing PPA-CTR 7 (once), V(1)=193, V(2)=64
1270 76239 -521 <F 1068 112 01194 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=67, repcount=1, factor=2/1
1274 76517 -523 <F 1070 11 01194 00 102
== Executing PPA-CTR 7 (once), V(1)=191, V(2)=69
1284 77101 -527 <F 1073 112 01192 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=72, repcount=1, factor=2/1
1288 77399 -529 <F 1075 11 01192 00 102
== Executing PPA-CTR 7 (once), V(1)=189, V(2)=74
1298 78023 -533 <F 1078 112 01190 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=77, repcount=1, factor=2/1
1302 78341 -535 <F 1080 11 01190 00 102
== Executing PPA-CTR 7 (once), V(1)=187, V(2)=79
1312 79005 -539 <F 1083 112 01188 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=82, repcount=1, factor=2/1
1316 79343 -541 <F 1085 11 01188 00 102
== Executing PPA-CTR 7 (once), V(1)=185, V(2)=84
1326 80047 -545 <F 1088 112 01186 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=87, repcount=1, factor=2/1
1330 80405 -547 <F 1090 11 01186 00 102
== Executing PPA-CTR 7 (once), V(1)=183, V(2)=89
1340 81149 -551 <F 1093 112 01184 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=92, repcount=1, factor=2/1
1344 81527 -553 <F 1095 11 01184 00 102
== Executing PPA-CTR 7 (once), V(1)=181, V(2)=94
1354 82311 -557 <F 1098 112 01182 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=97, repcount=1, factor=2/1
1358 82709 -559 <F 10100 11 01182 00 102
== Executing PPA-CTR 7 (once), V(1)=179, V(2)=99
1368 83533 -563 <F 10103 112 01180 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=102, repcount=1, factor=2/1
1372 83951 -565 <F 10105 11 01180 00 102
== Executing PPA-CTR 7 (once), V(1)=177, V(2)=104
1382 84815 -569 <F 10108 112 01178 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=107, repcount=1, factor=2/1
1386 85253 -571 <F 10110 11 01178 00 102
== Executing PPA-CTR 7 (once), V(1)=175, V(2)=109
1396 86157 -575 <F 10113 112 01176 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=112, repcount=1, factor=2/1
1400 86615 -577 <F 10115 11 01176 00 102
== Executing PPA-CTR 7 (once), V(1)=173, V(2)=114
1410 87559 -581 <F 10118 112 01174 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=117, repcount=1, factor=2/1
1414 88037 -583 <F 10120 11 01174 00 102
== Executing PPA-CTR 7 (once), V(1)=171, V(2)=119
1424 89021 -587 <F 10123 112 01172 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=122, repcount=1, factor=2/1
1428 89519 -589 <F 10125 11 01172 00 102
== Executing PPA-CTR 7 (once), V(1)=169, V(2)=124
1438 90543 -593 <F 10128 112 01170 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=127, repcount=1, factor=2/1
1442 91061 -595 <F 10130 11 01170 00 102
== Executing PPA-CTR 7 (once), V(1)=167, V(2)=129
1452 92125 -599 <F 10133 112 01168 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=132, repcount=1, factor=2/1
1456 92663 -601 <F 10135 11 01168 00 102
== Executing PPA-CTR 7 (once), V(1)=165, V(2)=134
1466 93767 -605 <F 10138 112 01166 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=137, repcount=1, factor=2/1
1470 94325 -607 <F 10140 11 01166 00 102
== Executing PPA-CTR 7 (once), V(1)=163, V(2)=139
1480 95469 -611 <F 10143 112 01164 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=142, repcount=1, factor=2/1
1484 96047 -613 <F 10145 11 01164 00 102
== Executing PPA-CTR 7 (once), V(1)=161, V(2)=144
1494 97231 -617 <F 10148 112 01162 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=147, repcount=1, factor=2/1
1498 97829 -619 <F 10150 11 01162 00 102
== Executing PPA-CTR 7 (once), V(1)=159, V(2)=149
1508 99053 -623 <F 10153 112 01160 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=152, repcount=1, factor=2/1
1512 99671 -625 <F 10155 11 01160 00 102
== Executing PPA-CTR 7 (once), V(1)=157, V(2)=154
1522 100935 -629 <F 10158 112 01158 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=157, repcount=1, factor=2/1
1526 101573 -631 <F 10160 11 01158 00 102
== Executing PPA-CTR 7 (once), V(1)=155, V(2)=159
1536 102877 -635 <F 10163 112 01156 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=162, repcount=1, factor=2/1
1540 103535 -637 <F 10165 11 01156 00 102
== Executing PPA-CTR 7 (once), V(1)=153, V(2)=164
1550 104879 -641 <F 10168 112 01154 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=167, repcount=1, factor=2/1
1554 105557 -643 <F 10170 11 01154 00 102
== Executing PPA-CTR 7 (once), V(1)=151, V(2)=169
1564 106941 -647 <F 10173 112 01152 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=172, repcount=1, factor=2/1
1568 107639 -649 <F 10175 11 01152 00 102
== Executing PPA-CTR 7 (once), V(1)=149, V(2)=174
1578 109063 -653 <F 10178 112 01150 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=177, repcount=1, factor=2/1
1582 109781 -655 <F 10180 11 01150 00 102
== Executing PPA-CTR 7 (once), V(1)=147, V(2)=179
1592 111245 -659 <F 10183 112 01148 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=182, repcount=1, factor=2/1
1596 111983 -661 <F 10185 11 01148 00 102
== Executing PPA-CTR 7 (once), V(1)=145, V(2)=184
1606 113487 -665 <F 10188 112 01146 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=187, repcount=1, factor=2/1
1610 114245 -667 <F 10190 11 01146 00 102
== Executing PPA-CTR 7 (once), V(1)=143, V(2)=189
1620 115789 -671 <F 10193 112 01144 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=192, repcount=1, factor=2/1
1624 116567 -673 <F 10195 11 01144 00 102
== Executing PPA-CTR 7 (once), V(1)=141, V(2)=194
1634 118151 -677 <F 10198 112 01142 00 102
== Executing PA-CTR 1, V(1)=0, V(2)=197, repcount=1, factor=2/1
1638 118949 -679 <F 10200 11 01142 00 102
Lines: 300
Top steps: 299
Macro steps: 1638
Basic steps: 118949
Tape index: -679
ones: 346
log10(ones ): 2.539
log10(steps ): 5.075
Input to awk program:
gohalt 1
T 6-state 2-symbol #a (T.J. & S. Ligocki)
: >2.5x10^881 >8.9x10^1762
C This was the first known 6x2 TM to unseat Buntrock/Marxen
5T 1RB 0RF 0LB 1LC 1LD 0RC 1LE 1RH 1LF 0LD 1RA 0LE
L 24
M 300
pref sim
machv Lig62_a just simple
machv Lig62_a-r with repetitions reduced
machv Lig62_a-1 with tape symbol exponents
machv Lig62_a-m as 2-macro machine
machv Lig62_a-a as 2-macro machine with pure additive config-TRs
iam Lig62_a-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:21 CEST 2010
edate Tue Jul 6 22:14:22 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:21 CEST 2010