6-state 2-symbol #a (T.J. & S. Ligocki)

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
Print Move Goto Print 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
Transition table
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

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.

To the BB simulations page of Heiner Marxen.
To the busy beaver page of Heiner Marxen.
To the home page of Heiner Marxen.
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
Ready: Tue Jul 6 22:14:22 CEST 2010