6-state TM #o from MaBu-List

Comment: This TM produces >1.4*10^60 ones in >6.1*10^119 steps.

State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1R C0L 1 right B 0 left C
B A1L C1R 1 left A 1 right C
C A1R D0L 1 right A 0 left D
D E1L C1L 1 left E 1 left C
E F1R Z1R 1 right F 1 right Z
F A1R E1R 1 right A 1 right E
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.

Steps BasSteps BasTpos  Tape contents
    0        0       0  (00)A>
    1        6       2  01 (11)C>
    2        8       4  01 11 (11)B>
    3       11       1  01 11 <D(00) 10
    4       13      -1  01 <D(01) 00 10
    5       17      -3  <D(00) 01 00 10
    6       22       0  11 (11)A> 01 00 10
    7       24       2  112 (11)C> 00 10
    8       26       4  113 (11)B> 10
    9       28       6  114 (11)A>
   10       33       3  114 <C(10) 01
   11       41      -5  <C(10) 104 01
   12       45      -7  <E(10) 00 104 01
   13       48      -4  01 (11)F> 00 104 01
   14       50      -2  01 11 (11)B> 104 01
   15       52       0  01 112 (11)A> 103 01
   16       55      -3  01 112 <C(10) 00 102 01
   17       59      -7  01 <C(10) 102 00 102 01
   18       61      -9  <E(10) 103 00 102 01
   19       64      -6  01 (11)F> 103 00 102 01
   20       70       0  01 113 (11)F> 00 102 01
   21       72       2  01 114 (11)B> 102 01
   22       74       4  01 115 (11)A> 10 01
   23       77       1  01 115 <C(10) 00 01
   24       87      -9  01 <C(10) 105 00 01
   25       89     -11  <E(10) 106 00 01
   26       92      -8  01 (11)F> 106 00 01
   27      104       4  01 116 (11)F> 00 01
   28      106       6  01 117 (11)B> 01
   29      109       3  01 117 <D(00) 11
   30      111       1  01 116 <D(01) 00 11
   31      123     -11  01 <D(01) 016 00 11
   32      127     -13  <D(00) 017 00 11
   33      132     -10  11 (11)A> 017 00 11
   34      134      -8  112 (11)C> 016 00 11
   35      139     -11  112 <D(01) 00 015 00 11
   36      143     -15  <D(01) 012 00 015 00 11
   37      148     -12  11 (11)E> 012 00 015 00 11
   38      152      -8  113 (11)E> 00 015 00 11
   39      154      -6  114 (11)A> 015 00 11
   40      156      -4  115 (11)C> 014 00 11
   41      161      -7  115 <D(01) 00 013 00 11
   42      171     -17  <D(01) 015 00 013 00 11
   43      176     -14  11 (11)E> 015 00 013 00 11
   44      186      -4  116 (11)E> 00 013 00 11
   45      188      -2  117 (11)A> 013 00 11
   46      190       0  118 (11)C> 012 00 11
   47      195      -3  118 <D(01) 00 01 00 11
   48      211     -19  <D(01) 018 00 01 00 11
   49      216     -16  11 (11)E> 018 00 01 00 11
   50      232       0  119 (11)E> 00 01 00 11
   51      234       2  1110 (11)A> 01 00 11
   52      236       4  1111 (11)C> 00 11
   53      238       6  1112 (11)B> 11
   54      243       3  1112 <C(10) 10
   55      267     -21  <C(10) 1013
   56      271     -23  <E(10) 00 1013
   57      274     -20  01 (11)F> 00 1013
   58      276     -18  01 11 (11)B> 1013
   59      278     -16  01 112 (11)A> 1012
   60      281     -19  01 112 <C(10) 00 1011
   61      285     -23  01 <C(10) 102 00 1011
   62      287     -25  <E(10) 103 00 1011
   63      290     -22  01 (11)F> 103 00 1011
   64      296     -16  01 113 (11)F> 00 1011
   65      298     -14  01 114 (11)B> 1011
   66      300     -12  01 115 (11)A> 1010
   67      303     -15  01 115 <C(10) 00 109
   68      313     -25  01 <C(10) 105 00 109
   69      315     -27  <E(10) 106 00 109
   70      318     -24  01 (11)F> 106 00 109
   71      330     -12  01 116 (11)F> 00 109
   72      332     -10  01 117 (11)B> 109
   73      334      -8  01 118 (11)A> 108
   74      337     -11  01 118 <C(10) 00 107
   75      353     -27  01 <C(10) 108 00 107
   76      355     -29  <E(10) 109 00 107
   77      358     -26  01 (11)F> 109 00 107
   78      376      -8  01 119 (11)F> 00 107
   79      378      -6  01 1110 (11)B> 107
   80      380      -4  01 1111 (11)A> 106
   81      383      -7  01 1111 <C(10) 00 105
   82      405     -29  01 <C(10) 1011 00 105
   83      407     -31  <E(10) 1012 00 105
   84      410     -28  01 (11)F> 1012 00 105
   85      434      -4  01 1112 (11)F> 00 105
   86      436      -2  01 1113 (11)B> 105
   87      438       0  01 1114 (11)A> 104
   88      441      -3  01 1114 <C(10) 00 103
   89      469     -31  01 <C(10) 1014 00 103
   90      471     -33  <E(10) 1015 00 103
   91      474     -30  01 (11)F> 1015 00 103
   92      504       0  01 1115 (11)F> 00 103
   93      506       2  01 1116 (11)B> 103
   94      508       4  01 1117 (11)A> 102
   95      511       1  01 1117 <C(10) 00 10
   96      545     -33  01 <C(10) 1017 00 10
   97      547     -35  <E(10) 1018 00 10
   98      550     -32  01 (11)F> 1018 00 10
   99      586       4  01 1118 (11)F> 00 10
  100      588       6  01 1119 (11)B> 10
  101      590       8  01 1120 (11)A>
  102      595       5  01 1120 <C(10) 01
  103      635     -35  01 <C(10) 1020 01
  104      637     -37  <E(10) 1021 01
  105      640     -34  01 (11)F> 1021 01
  106      682       8  01 1121 (11)F> 01
  107      687       5  01 1121 <D(01)
  108      729     -37  01 <D(01) 0121
  109      733     -39  <D(00) 0122
  110      738     -36  11 (11)A> 0122
  111      740     -34  112 (11)C> 0121
  112      745     -37  112 <D(01) 00 0120
  113      749     -41  <D(01) 012 00 0120
  114      754     -38  11 (11)E> 012 00 0120
  115      758     -34  113 (11)E> 00 0120
  116      760     -32  114 (11)A> 0120
  117      762     -30  115 (11)C> 0119
  118      767     -33  115 <D(01) 00 0118
  119      777     -43  <D(01) 015 00 0118
  120      782     -40  11 (11)E> 015 00 0118
  121      792     -30  116 (11)E> 00 0118
  122      794     -28  117 (11)A> 0118
  123      796     -26  118 (11)C> 0117
  124      801     -29  118 <D(01) 00 0116
  125      817     -45  <D(01) 018 00 0116
  126      822     -42  11 (11)E> 018 00 0116
  127      838     -26  119 (11)E> 00 0116
  128      840     -24  1110 (11)A> 0116
  129      842     -22  1111 (11)C> 0115
  130      847     -25  1111 <D(01) 00 0114
  131      869     -47  <D(01) 0111 00 0114
  132      874     -44  11 (11)E> 0111 00 0114
  133      896     -22  1112 (11)E> 00 0114
  134      898     -20  1113 (11)A> 0114
  135      900     -18  1114 (11)C> 0113
  136      905     -21  1114 <D(01) 00 0112
  137      933     -49  <D(01) 0114 00 0112
  138      938     -46  11 (11)E> 0114 00 0112
  139      966     -18  1115 (11)E> 00 0112
  140      968     -16  1116 (11)A> 0112
  141      970     -14  1117 (11)C> 0111
  142      975     -17  1117 <D(01) 00 0110
  143     1009     -51  <D(01) 0117 00 0110
  144     1014     -48  11 (11)E> 0117 00 0110
  145     1048     -14  1118 (11)E> 00 0110
  146     1050     -12  1119 (11)A> 0110
  147     1052     -10  1120 (11)C> 019
  148     1057     -13  1120 <D(01) 00 018
  149     1097     -53  <D(01) 0120 00 018
  150     1102     -50  11 (11)E> 0120 00 018
  151     1142     -10  1121 (11)E> 00 018
  152     1144      -8  1122 (11)A> 018
  153     1146      -6  1123 (11)C> 017
  154     1151      -9  1123 <D(01) 00 016
  155     1197     -55  <D(01) 0123 00 016
  156     1202     -52  11 (11)E> 0123 00 016
  157     1248      -6  1124 (11)E> 00 016
  158     1250      -4  1125 (11)A> 016
  159     1252      -2  1126 (11)C> 015
  160     1257      -5  1126 <D(01) 00 014
  161     1309     -57  <D(01) 0126 00 014
  162     1314     -54  11 (11)E> 0126 00 014
  163     1366      -2  1127 (11)E> 00 014
  164     1368       0  1128 (11)A> 014
  165     1370       2  1129 (11)C> 013
  166     1375      -1  1129 <D(01) 00 012
  167     1433     -59  <D(01) 0129 00 012
  168     1438     -56  11 (11)E> 0129 00 012
  169     1496       2  1130 (11)E> 00 012
  170     1498       4  1131 (11)A> 012
  171     1500       6  1132 (11)C> 01
  172     1505       3  1132 <D(01)
  173     1569     -61  <D(01) 0132
  174     1574     -58  11 (11)E> 0132
  175     1638       6  1133 (11)E>
  176     1640       8  1134 (11)A>
  177     1645       5  1134 <C(10) 01
  178     1713     -63  <C(10) 1034 01
  179     1717     -65  <E(10) 00 1034 01
  180     1720     -62  01 (11)F> 00 1034 01
  181     1722     -60  01 11 (11)B> 1034 01
  182     1724     -58  01 112 (11)A> 1033 01
  183     1727     -61  01 112 <C(10) 00 1032 01
  184     1731     -65  01 <C(10) 102 00 1032 01
  185     1733     -67  <E(10) 103 00 1032 01
  186     1736     -64  01 (11)F> 103 00 1032 01
  187     1742     -58  01 113 (11)F> 00 1032 01
  188     1744     -56  01 114 (11)B> 1032 01
  189     1746     -54  01 115 (11)A> 1031 01
  190     1749     -57  01 115 <C(10) 00 1030 01
  191     1759     -67  01 <C(10) 105 00 1030 01
  192     1761     -69  <E(10) 106 00 1030 01
  193     1764     -66  01 (11)F> 106 00 1030 01
  194     1776     -54  01 116 (11)F> 00 1030 01
  195     1778     -52  01 117 (11)B> 1030 01
  196     1780     -50  01 118 (11)A> 1029 01
  197     1783     -53  01 118 <C(10) 00 1028 01
  198     1799     -69  01 <C(10) 108 00 1028 01
  199     1801     -71  <E(10) 109 00 1028 01
  200     1804     -68  01 (11)F> 109 00 1028 01
  201     1822     -50  01 119 (11)F> 00 1028 01
  202     1824     -48  01 1110 (11)B> 1028 01
  203     1826     -46  01 1111 (11)A> 1027 01
  204     1829     -49  01 1111 <C(10) 00 1026 01
  205     1851     -71  01 <C(10) 1011 00 1026 01
  206     1853     -73  <E(10) 1012 00 1026 01
  207     1856     -70  01 (11)F> 1012 00 1026 01
  208     1880     -46  01 1112 (11)F> 00 1026 01
  209     1882     -44  01 1113 (11)B> 1026 01
  210     1884     -42  01 1114 (11)A> 1025 01
  211     1887     -45  01 1114 <C(10) 00 1024 01
  212     1915     -73  01 <C(10) 1014 00 1024 01
  213     1917     -75  <E(10) 1015 00 1024 01
  214     1920     -72  01 (11)F> 1015 00 1024 01
  215     1950     -42  01 1115 (11)F> 00 1024 01
  216     1952     -40  01 1116 (11)B> 1024 01
  217     1954     -38  01 1117 (11)A> 1023 01
  218     1957     -41  01 1117 <C(10) 00 1022 01
  219     1991     -75  01 <C(10) 1017 00 1022 01
  220     1993     -77  <E(10) 1018 00 1022 01
  221     1996     -74  01 (11)F> 1018 00 1022 01
  222     2032     -38  01 1118 (11)F> 00 1022 01
  223     2034     -36  01 1119 (11)B> 1022 01
  224     2036     -34  01 1120 (11)A> 1021 01
  225     2039     -37  01 1120 <C(10) 00 1020 01
  226     2079     -77  01 <C(10) 1020 00 1020 01
  227     2081     -79  <E(10) 1021 00 1020 01
  228     2084     -76  01 (11)F> 1021 00 1020 01
  229     2126     -34  01 1121 (11)F> 00 1020 01
  230     2128     -32  01 1122 (11)B> 1020 01
  231     2130     -30  01 1123 (11)A> 1019 01
  232     2133     -33  01 1123 <C(10) 00 1018 01
  233     2179     -79  01 <C(10) 1023 00 1018 01
  234     2181     -81  <E(10) 1024 00 1018 01
  235     2184     -78  01 (11)F> 1024 00 1018 01
  236     2232     -30  01 1124 (11)F> 00 1018 01
  237     2234     -28  01 1125 (11)B> 1018 01
  238     2236     -26  01 1126 (11)A> 1017 01
  239     2239     -29  01 1126 <C(10) 00 1016 01
  240     2291     -81  01 <C(10) 1026 00 1016 01
  241     2293     -83  <E(10) 1027 00 1016 01
  242     2296     -80  01 (11)F> 1027 00 1016 01
  243     2350     -26  01 1127 (11)F> 00 1016 01
  244     2352     -24  01 1128 (11)B> 1016 01
  245     2354     -22  01 1129 (11)A> 1015 01
  246     2357     -25  01 1129 <C(10) 00 1014 01
  247     2415     -83  01 <C(10) 1029 00 1014 01
  248     2417     -85  <E(10) 1030 00 1014 01
  249     2420     -82  01 (11)F> 1030 00 1014 01
  250     2480     -22  01 1130 (11)F> 00 1014 01
  251     2482     -20  01 1131 (11)B> 1014 01
  252     2484     -18  01 1132 (11)A> 1013 01
  253     2487     -21  01 1132 <C(10) 00 1012 01
  254     2551     -85  01 <C(10) 1032 00 1012 01
  255     2553     -87  <E(10) 1033 00 1012 01
  256     2556     -84  01 (11)F> 1033 00 1012 01
  257     2622     -18  01 1133 (11)F> 00 1012 01
  258     2624     -16  01 1134 (11)B> 1012 01
  259     2626     -14  01 1135 (11)A> 1011 01
  260     2629     -17  01 1135 <C(10) 00 1010 01
  261     2699     -87  01 <C(10) 1035 00 1010 01
  262     2701     -89  <E(10) 1036 00 1010 01
  263     2704     -86  01 (11)F> 1036 00 1010 01
  264     2776     -14  01 1136 (11)F> 00 1010 01
  265     2778     -12  01 1137 (11)B> 1010 01
  266     2780     -10  01 1138 (11)A> 109 01
  267     2783     -13  01 1138 <C(10) 00 108 01
  268     2859     -89  01 <C(10) 1038 00 108 01
  269     2861     -91  <E(10) 1039 00 108 01
  270     2864     -88  01 (11)F> 1039 00 108 01
  271     2942     -10  01 1139 (11)F> 00 108 01
  272     2944      -8  01 1140 (11)B> 108 01
  273     2946      -6  01 1141 (11)A> 107 01
  274     2949      -9  01 1141 <C(10) 00 106 01
  275     3031     -91  01 <C(10) 1041 00 106 01
  276     3033     -93  <E(10) 1042 00 106 01
  277     3036     -90  01 (11)F> 1042 00 106 01
  278     3120      -6  01 1142 (11)F> 00 106 01
  279     3122      -4  01 1143 (11)B> 106 01
  280     3124      -2  01 1144 (11)A> 105 01
  281     3127      -5  01 1144 <C(10) 00 104 01
  282     3215     -93  01 <C(10) 1044 00 104 01
  283     3217     -95  <E(10) 1045 00 104 01
  284     3220     -92  01 (11)F> 1045 00 104 01
  285     3310      -2  01 1145 (11)F> 00 104 01
  286     3312       0  01 1146 (11)B> 104 01
  287     3314       2  01 1147 (11)A> 103 01
  288     3317      -1  01 1147 <C(10) 00 102 01
  289     3411     -95  01 <C(10) 1047 00 102 01
  290     3413     -97  <E(10) 1048 00 102 01
  291     3416     -94  01 (11)F> 1048 00 102 01
  292     3512       2  01 1148 (11)F> 00 102 01
  293     3514       4  01 1149 (11)B> 102 01
  294     3516       6  01 1150 (11)A> 10 01
  295     3519       3  01 1150 <C(10) 00 01
  296     3619     -97  01 <C(10) 1050 00 01
  297     3621     -99  <E(10) 1051 00 01
  298     3624     -96  01 (11)F> 1051 00 01
  299     3726       6  01 1151 (11)F> 00 01
  300     3728       8  01 1152 (11)B> 01
  301     3731       5  01 1152 <D(00) 11
  302     3733       3  01 1151 <D(01) 00 11
  303     3835     -99  01 <D(01) 0151 00 11
  304     3839    -101  <D(00) 0152 00 11
  305     3844     -98  11 (11)A> 0152 00 11
  306     3846     -96  112 (11)C> 0151 00 11
  307     3851     -99  112 <D(01) 00 0150 00 11
  308     3855    -103  <D(01) 012 00 0150 00 11
  309     3860    -100  11 (11)E> 012 00 0150 00 11
  310     3864     -96  113 (11)E> 00 0150 00 11
  311     3866     -94  114 (11)A> 0150 00 11
  312     3868     -92  115 (11)C> 0149 00 11
  313     3873     -95  115 <D(01) 00 0148 00 11
  314     3883    -105  <D(01) 015 00 0148 00 11
  315     3888    -102  11 (11)E> 015 00 0148 00 11
  316     3898     -92  116 (11)E> 00 0148 00 11
  317     3900     -90  117 (11)A> 0148 00 11
  318     3902     -88  118 (11)C> 0147 00 11
  319     3907     -91  118 <D(01) 00 0146 00 11
  320     3923    -107  <D(01) 018 00 0146 00 11
  321     3928    -104  11 (11)E> 018 00 0146 00 11
  322     3944     -88  119 (11)E> 00 0146 00 11
  323     3946     -86  1110 (11)A> 0146 00 11
  324     3948     -84  1111 (11)C> 0145 00 11
  325     3953     -87  1111 <D(01) 00 0144 00 11
  326     3975    -109  <D(01) 0111 00 0144 00 11
  327     3980    -106  11 (11)E> 0111 00 0144 00 11
  328     4002     -84  1112 (11)E> 00 0144 00 11
  329     4004     -82  1113 (11)A> 0144 00 11
  330     4006     -80  1114 (11)C> 0143 00 11
  331     4011     -83  1114 <D(01) 00 0142 00 11
  332     4039    -111  <D(01) 0114 00 0142 00 11
  333     4044    -108  11 (11)E> 0114 00 0142 00 11
  334     4072     -80  1115 (11)E> 00 0142 00 11
  335     4074     -78  1116 (11)A> 0142 00 11
  336     4076     -76  1117 (11)C> 0141 00 11
  337     4081     -79  1117 <D(01) 00 0140 00 11
  338     4115    -113  <D(01) 0117 00 0140 00 11
  339     4120    -110  11 (11)E> 0117 00 0140 00 11
  340     4154     -76  1118 (11)E> 00 0140 00 11
  341     4156     -74  1119 (11)A> 0140 00 11
  342     4158     -72  1120 (11)C> 0139 00 11
  343     4163     -75  1120 <D(01) 00 0138 00 11
  344     4203    -115  <D(01) 0120 00 0138 00 11
  345     4208    -112  11 (11)E> 0120 00 0138 00 11
  346     4248     -72  1121 (11)E> 00 0138 00 11
  347     4250     -70  1122 (11)A> 0138 00 11
  348     4252     -68  1123 (11)C> 0137 00 11
  349     4257     -71  1123 <D(01) 00 0136 00 11
  350     4303    -117  <D(01) 0123 00 0136 00 11
  351     4308    -114  11 (11)E> 0123 00 0136 00 11
  352     4354     -68  1124 (11)E> 00 0136 00 11
  353     4356     -66  1125 (11)A> 0136 00 11
  354     4358     -64  1126 (11)C> 0135 00 11
  355     4363     -67  1126 <D(01) 00 0134 00 11
  356     4415    -119  <D(01) 0126 00 0134 00 11
  357     4420    -116  11 (11)E> 0126 00 0134 00 11
  358     4472     -64  1127 (11)E> 00 0134 00 11
  359     4474     -62  1128 (11)A> 0134 00 11
  360     4476     -60  1129 (11)C> 0133 00 11
  361     4481     -63  1129 <D(01) 00 0132 00 11
  362     4539    -121  <D(01) 0129 00 0132 00 11
  363     4544    -118  11 (11)E> 0129 00 0132 00 11
  364     4602     -60  1130 (11)E> 00 0132 00 11
  365     4604     -58  1131 (11)A> 0132 00 11
  366     4606     -56  1132 (11)C> 0131 00 11
  367     4611     -59  1132 <D(01) 00 0130 00 11
  368     4675    -123  <D(01) 0132 00 0130 00 11
  369     4680    -120  11 (11)E> 0132 00 0130 00 11
  370     4744     -56  1133 (11)E> 00 0130 00 11
  371     4746     -54  1134 (11)A> 0130 00 11
  372     4748     -52  1135 (11)C> 0129 00 11
  373     4753     -55  1135 <D(01) 00 0128 00 11
  374     4823    -125  <D(01) 0135 00 0128 00 11
  375     4828    -122  11 (11)E> 0135 00 0128 00 11
  376     4898     -52  1136 (11)E> 00 0128 00 11
  377     4900     -50  1137 (11)A> 0128 00 11
  378     4902     -48  1138 (11)C> 0127 00 11
  379     4907     -51  1138 <D(01) 00 0126 00 11
  380     4983    -127  <D(01) 0138 00 0126 00 11
  381     4988    -124  11 (11)E> 0138 00 0126 00 11
  382     5064     -48  1139 (11)E> 00 0126 00 11
  383     5066     -46  1140 (11)A> 0126 00 11
  384     5068     -44  1141 (11)C> 0125 00 11
  385     5073     -47  1141 <D(01) 00 0124 00 11
  386     5155    -129  <D(01) 0141 00 0124 00 11
  387     5160    -126  11 (11)E> 0141 00 0124 00 11
  388     5242     -44  1142 (11)E> 00 0124 00 11
  389     5244     -42  1143 (11)A> 0124 00 11
  390     5246     -40  1144 (11)C> 0123 00 11
  391     5251     -43  1144 <D(01) 00 0122 00 11
  392     5339    -131  <D(01) 0144 00 0122 00 11
  393     5344    -128  11 (11)E> 0144 00 0122 00 11
  394     5432     -40  1145 (11)E> 00 0122 00 11
  395     5434     -38  1146 (11)A> 0122 00 11
  396     5436     -36  1147 (11)C> 0121 00 11
  397     5441     -39  1147 <D(01) 00 0120 00 11
  398     5535    -133  <D(01) 0147 00 0120 00 11
  399     5540    -130  11 (11)E> 0147 00 0120 00 11
  400     5634     -36  1148 (11)E> 00 0120 00 11
  401     5636     -34  1149 (11)A> 0120 00 11
  402     5638     -32  1150 (11)C> 0119 00 11
  403     5643     -35  1150 <D(01) 00 0118 00 11
  404     5743    -135  <D(01) 0150 00 0118 00 11
  405     5748    -132  11 (11)E> 0150 00 0118 00 11
  406     5848     -32  1151 (11)E> 00 0118 00 11
  407     5850     -30  1152 (11)A> 0118 00 11
  408     5852     -28  1153 (11)C> 0117 00 11
  409     5857     -31  1153 <D(01) 00 0116 00 11
  410     5963    -137  <D(01) 0153 00 0116 00 11
  411     5968    -134  11 (11)E> 0153 00 0116 00 11
  412     6074     -28  1154 (11)E> 00 0116 00 11
  413     6076     -26  1155 (11)A> 0116 00 11
  414     6078     -24  1156 (11)C> 0115 00 11
  415     6083     -27  1156 <D(01) 00 0114 00 11
  416     6195    -139  <D(01) 0156 00 0114 00 11
  417     6200    -136  11 (11)E> 0156 00 0114 00 11
  418     6312     -24  1157 (11)E> 00 0114 00 11
  419     6314     -22  1158 (11)A> 0114 00 11
  420     6316     -20  1159 (11)C> 0113 00 11
  421     6321     -23  1159 <D(01) 00 0112 00 11
  422     6439    -141  <D(01) 0159 00 0112 00 11
  423     6444    -138  11 (11)E> 0159 00 0112 00 11
  424     6562     -20  1160 (11)E> 00 0112 00 11
  425     6564     -18  1161 (11)A> 0112 00 11
  426     6566     -16  1162 (11)C> 0111 00 11
  427     6571     -19  1162 <D(01) 00 0110 00 11
  428     6695    -143  <D(01) 0162 00 0110 00 11
  429     6700    -140  11 (11)E> 0162 00 0110 00 11
  430     6824     -16  1163 (11)E> 00 0110 00 11
  431     6826     -14  1164 (11)A> 0110 00 11
  432     6828     -12  1165 (11)C> 019 00 11
  433     6833     -15  1165 <D(01) 00 018 00 11
  434     6963    -145  <D(01) 0165 00 018 00 11
  435     6968    -142  11 (11)E> 0165 00 018 00 11
  436     7098     -12  1166 (11)E> 00 018 00 11
  437     7100     -10  1167 (11)A> 018 00 11
  438     7102      -8  1168 (11)C> 017 00 11
  439     7107     -11  1168 <D(01) 00 016 00 11
  440     7243    -147  <D(01) 0168 00 016 00 11
  441     7248    -144  11 (11)E> 0168 00 016 00 11
  442     7384      -8  1169 (11)E> 00 016 00 11
  443     7386      -6  1170 (11)A> 016 00 11
  444     7388      -4  1171 (11)C> 015 00 11
  445     7393      -7  1171 <D(01) 00 014 00 11
  446     7535    -149  <D(01) 0171 00 014 00 11
  447     7540    -146  11 (11)E> 0171 00 014 00 11
  448     7682      -4  1172 (11)E> 00 014 00 11
  449     7684      -2  1173 (11)A> 014 00 11
  450     7686       0  1174 (11)C> 013 00 11
  451     7691      -3  1174 <D(01) 00 012 00 11
  452     7839    -151  <D(01) 0174 00 012 00 11
  453     7844    -148  11 (11)E> 0174 00 012 00 11
  454     7992       0  1175 (11)E> 00 012 00 11
  455     7994       2  1176 (11)A> 012 00 11
  456     7996       4  1177 (11)C> 01 00 11
  457     8001       1  1177 <D(01) 002 11
  458     8155    -153  <D(01) 0177 002 11
  459     8160    -150  11 (11)E> 0177 002 11
  460     8314       4  1178 (11)E> 002 11
  461     8316       6  1179 (11)A> 00 11
  462     8321       3  1179 <C(10) 01 11
  463     8479    -155  <C(10) 1079 01 11
  464     8483    -157  <E(10) 00 1079 01 11
  465     8486    -154  01 (11)F> 00 1079 01 11
  466     8488    -152  01 11 (11)B> 1079 01 11
  467     8490    -150  01 112 (11)A> 1078 01 11
  468     8493    -153  01 112 <C(10) 00 1077 01 11
  469     8497    -157  01 <C(10) 102 00 1077 01 11
  470     8499    -159  <E(10) 103 00 1077 01 11
  471     8502    -156  01 (11)F> 103 00 1077 01 11
  472     8508    -150  01 113 (11)F> 00 1077 01 11
  473     8510    -148  01 114 (11)B> 1077 01 11
  474     8512    -146  01 115 (11)A> 1076 01 11
  475     8515    -149  01 115 <C(10) 00 1075 01 11
  476     8525    -159  01 <C(10) 105 00 1075 01 11
  477     8527    -161  <E(10) 106 00 1075 01 11
  478     8530    -158  01 (11)F> 106 00 1075 01 11
  479     8542    -146  01 116 (11)F> 00 1075 01 11
  480     8544    -144  01 117 (11)B> 1075 01 11
  481     8546    -142  01 118 (11)A> 1074 01 11
  482     8549    -145  01 118 <C(10) 00 1073 01 11
  483     8565    -161  01 <C(10) 108 00 1073 01 11
  484     8567    -163  <E(10) 109 00 1073 01 11
  485     8570    -160  01 (11)F> 109 00 1073 01 11
  486     8588    -142  01 119 (11)F> 00 1073 01 11
  487     8590    -140  01 1110 (11)B> 1073 01 11
  488     8592    -138  01 1111 (11)A> 1072 01 11
  489     8595    -141  01 1111 <C(10) 00 1071 01 11
  490     8617    -163  01 <C(10) 1011 00 1071 01 11
  491     8619    -165  <E(10) 1012 00 1071 01 11
  492     8622    -162  01 (11)F> 1012 00 1071 01 11
  493     8646    -138  01 1112 (11)F> 00 1071 01 11
  494     8648    -136  01 1113 (11)B> 1071 01 11
  495     8650    -134  01 1114 (11)A> 1070 01 11
  496     8653    -137  01 1114 <C(10) 00 1069 01 11
  497     8681    -165  01 <C(10) 1014 00 1069 01 11
  498     8683    -167  <E(10) 1015 00 1069 01 11
  499     8686    -164  01 (11)F> 1015 00 1069 01 11
  500     8716    -134  01 1115 (11)F> 00 1069 01 11

Lines:       501
Top steps:   500
Macro steps: 500
Basic steps: 8716
Tape index:  -134
ones:        105
log10(ones    ):    2.021
log10(steps   ):    3.940

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-macro machine with pure additive config-TRs.

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
    L 26
    5T B1R C0L A1L C1R A1R D0L E1L C1L F1R Z1R A1R E1R :  >1.4*10^60 >6.1*10^119
    T 6-state TM #o from MaBu-List
    M	501
    pref	sim
    machv mbL6_o  	just simple
    machv mbL6_o-r	with repetitions reduced
    machv mbL6_o-1	with tape symbol exponents
    machv mbL6_o-m	as 2-bck-macro machine
    machv mbL6_o-a	as 2-bck-macro machine with pure additive config-TRs
    iam	mbL6_o-m
    mtype	2 0
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:11:11 CEST 2010
    edate	Tue Jul  6 22:11:11 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:11:11 CEST 2010
Ready: Tue Jul 6 22:11:11 CEST 2010