6-state TM #2 from MaBu-List

Comment: This TM produces 95524079 ones in 8690333381690951 steps.

State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1R A1R 1 right B 1 right A
B C1L B1L 1 left C 1 left B
C F0R D1L 0 right F 1 left D
D A1R E0L 1 right A 0 left E
E H1L F1L 1 left H 1 left F
F A0L C0L 0 left A 0 left C
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-2-macro machine.
The same TM as 2-bck-2-macro machine with pure additive config-TRs.

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

Steps BasSteps BasTpos  Tape contents
    0        0       0  (00)A>
    1       17      -3  <D(11) 1011
    2       20       0  0001 (11)A> 1011
    3       27      -3  0001 <B(11) 1111
    4       42       0  1111 (11)A> 1111
    5       46       4  11112 (11)A>
    6       51       1  11112 <F(10) 1100
    7       59      -7  <F(10) 10102 1100
    8       68      -4  0111 (11)B> 10102 1100
    9       71      -7  0111 <B(11) 10102 1100
   10       75     -11  <C(11) 1111 10102 1100
   11       86      -8  0011 (11)A> 1111 10102 1100
   12       90      -4  0011 1111 (11)A> 10102 1100
   13       97      -7  0011 1111 <B(11) 1110 1010 1100
   14      101     -11  0011 <B(11) 1111 1110 1010 1100
   15      111     -15  <D(11) 11112 1110 1010 1100
   16      114     -12  0001 (11)A> 11112 1110 1010 1100
   17      122      -4  0001 11112 (11)A> 1110 1010 1100
   18      126       0  0001 11113 (11)B> 1010 1100
   19      129      -3  0001 11113 <B(11) 1010 1100
   20      141     -15  0001 <B(11) 11113 1010 1100
   21      156     -12  1111 (11)A> 11113 1010 1100
   22      168       0  11114 (11)A> 1010 1100
   23      175      -3  11114 <B(11) 1110 1100
   24      191     -19  <B(11) 11114 1110 1100
   25      204     -16  0111 (11)A> 11114 1110 1100
   26      220       0  0111 11114 (11)A> 1110 1100
   27      224       4  0111 11115 (11)B> 1100
   28      227       1  0111 11115 <B(11) 1100
   29      247     -19  0111 <B(11) 11115 1100
   30      251     -23  <C(11) 11116 1100
   31      262     -20  0011 (11)A> 11116 1100
   32      286       4  0011 11116 (11)A> 1100
   33      295       1  0011 11116 <D(10) 1011
   34      319     -23  0011 <D(10) 10106 1011
   35      325     -27  <D(11) 10107 1011
   36      328     -24  0001 (11)A> 10107 1011
   37      335     -27  0001 <B(11) 1110 10106 1011
   38      350     -24  1111 (11)A> 1110 10106 1011
   39      354     -20  11112 (11)B> 10106 1011
   40      357     -23  11112 <B(11) 10106 1011
   41      365     -31  <B(11) 11112 10106 1011
   42      378     -28  0111 (11)A> 11112 10106 1011
   43      386     -20  0111 11112 (11)A> 10106 1011
   44      393     -23  0111 11112 <B(11) 1110 10105 1011
   45      401     -31  0111 <B(11) 11112 1110 10105 1011
   46      405     -35  <C(11) 11113 1110 10105 1011
   47      416     -32  0011 (11)A> 11113 1110 10105 1011
   48      428     -20  0011 11113 (11)A> 1110 10105 1011
   49      432     -16  0011 11114 (11)B> 10105 1011
   50      435     -19  0011 11114 <B(11) 10105 1011
   51      451     -35  0011 <B(11) 11114 10105 1011
   52      461     -39  <D(11) 11115 10105 1011
   53      464     -36  0001 (11)A> 11115 10105 1011
   54      484     -16  0001 11115 (11)A> 10105 1011
   55      491     -19  0001 11115 <B(11) 1110 10104 1011
   56      511     -39  0001 <B(11) 11115 1110 10104 1011
   57      526     -36  1111 (11)A> 11115 1110 10104 1011
   58      546     -16  11116 (11)A> 1110 10104 1011
   59      550     -12  11117 (11)B> 10104 1011
   60      553     -15  11117 <B(11) 10104 1011
   61      581     -43  <B(11) 11117 10104 1011
   62      594     -40  0111 (11)A> 11117 10104 1011
   63      622     -12  0111 11117 (11)A> 10104 1011
   64      629     -15  0111 11117 <B(11) 1110 10103 1011
   65      657     -43  0111 <B(11) 11117 1110 10103 1011
   66      661     -47  <C(11) 11118 1110 10103 1011
   67      672     -44  0011 (11)A> 11118 1110 10103 1011
   68      704     -12  0011 11118 (11)A> 1110 10103 1011
   69      708      -8  0011 11119 (11)B> 10103 1011
   70      711     -11  0011 11119 <B(11) 10103 1011
   71      747     -47  0011 <B(11) 11119 10103 1011
   72      757     -51  <D(11) 111110 10103 1011
   73      760     -48  0001 (11)A> 111110 10103 1011
   74      800      -8  0001 111110 (11)A> 10103 1011
   75      807     -11  0001 111110 <B(11) 1110 10102 1011
   76      847     -51  0001 <B(11) 111110 1110 10102 1011
   77      862     -48  1111 (11)A> 111110 1110 10102 1011
   78      902      -8  111111 (11)A> 1110 10102 1011
   79      906      -4  111112 (11)B> 10102 1011
   80      909      -7  111112 <B(11) 10102 1011
   81      957     -55  <B(11) 111112 10102 1011
   82      970     -52  0111 (11)A> 111112 10102 1011
   83     1018      -4  0111 111112 (11)A> 10102 1011
   84     1025      -7  0111 111112 <B(11) 1110 1010 1011
   85     1073     -55  0111 <B(11) 111112 1110 1010 1011
   86     1077     -59  <C(11) 111113 1110 1010 1011
   87     1088     -56  0011 (11)A> 111113 1110 1010 1011
   88     1140      -4  0011 111113 (11)A> 1110 1010 1011
   89     1144       0  0011 111114 (11)B> 1010 1011
   90     1147      -3  0011 111114 <B(11) 1010 1011
   91     1203     -59  0011 <B(11) 111114 1010 1011
   92     1213     -63  <D(11) 111115 1010 1011
   93     1216     -60  0001 (11)A> 111115 1010 1011
   94     1276       0  0001 111115 (11)A> 1010 1011
   95     1283      -3  0001 111115 <B(11) 1110 1011
   96     1343     -63  0001 <B(11) 111115 1110 1011
   97     1358     -60  1111 (11)A> 111115 1110 1011
   98     1418       0  111116 (11)A> 1110 1011
   99     1422       4  111117 (11)B> 1011
  100     1425       1  111117 <B(11) 1011
  101     1493     -67  <B(11) 111117 1011
  102     1506     -64  0111 (11)A> 111117 1011
  103     1574       4  0111 111117 (11)A> 1011
  104     1581       1  0111 111117 <B(11) 1111
  105     1649     -67  0111 <B(11) 111118
  106     1653     -71  <C(11) 111119
  107     1664     -68  0011 (11)A> 111119
  108     1740       8  0011 111119 (11)A>
  109     1745       5  0011 111119 <F(10) 1100
  110     1821     -71  0011 <F(10) 101019 1100
  111     1831     -75  <C(11) 1110 101019 1100
  112     1842     -72  0011 (11)A> 1110 101019 1100
  113     1846     -68  0011 1111 (11)B> 101019 1100
  114     1849     -71  0011 1111 <B(11) 101019 1100
  115     1853     -75  0011 <B(11) 1111 101019 1100
  116     1863     -79  <D(11) 11112 101019 1100
  117     1866     -76  0001 (11)A> 11112 101019 1100
  118     1874     -68  0001 11112 (11)A> 101019 1100
  119     1881     -71  0001 11112 <B(11) 1110 101018 1100
  120     1889     -79  0001 <B(11) 11112 1110 101018 1100
  121     1904     -76  1111 (11)A> 11112 1110 101018 1100
  122     1912     -68  11113 (11)A> 1110 101018 1100
  123     1916     -64  11114 (11)B> 101018 1100
  124     1919     -67  11114 <B(11) 101018 1100
  125     1935     -83  <B(11) 11114 101018 1100
  126     1948     -80  0111 (11)A> 11114 101018 1100
  127     1964     -64  0111 11114 (11)A> 101018 1100
  128     1971     -67  0111 11114 <B(11) 1110 101017 1100
  129     1987     -83  0111 <B(11) 11114 1110 101017 1100
  130     1991     -87  <C(11) 11115 1110 101017 1100
  131     2002     -84  0011 (11)A> 11115 1110 101017 1100
  132     2022     -64  0011 11115 (11)A> 1110 101017 1100
  133     2026     -60  0011 11116 (11)B> 101017 1100
  134     2029     -63  0011 11116 <B(11) 101017 1100
  135     2053     -87  0011 <B(11) 11116 101017 1100
  136     2063     -91  <D(11) 11117 101017 1100
  137     2066     -88  0001 (11)A> 11117 101017 1100
  138     2094     -60  0001 11117 (11)A> 101017 1100
  139     2101     -63  0001 11117 <B(11) 1110 101016 1100
  140     2129     -91  0001 <B(11) 11117 1110 101016 1100
  141     2144     -88  1111 (11)A> 11117 1110 101016 1100
  142     2172     -60  11118 (11)A> 1110 101016 1100
  143     2176     -56  11119 (11)B> 101016 1100
  144     2179     -59  11119 <B(11) 101016 1100
  145     2215     -95  <B(11) 11119 101016 1100
  146     2228     -92  0111 (11)A> 11119 101016 1100
  147     2264     -56  0111 11119 (11)A> 101016 1100
  148     2271     -59  0111 11119 <B(11) 1110 101015 1100
  149     2307     -95  0111 <B(11) 11119 1110 101015 1100
  150     2311     -99  <C(11) 111110 1110 101015 1100
  151     2322     -96  0011 (11)A> 111110 1110 101015 1100
  152     2362     -56  0011 111110 (11)A> 1110 101015 1100
  153     2366     -52  0011 111111 (11)B> 101015 1100
  154     2369     -55  0011 111111 <B(11) 101015 1100
  155     2413     -99  0011 <B(11) 111111 101015 1100
  156     2423    -103  <D(11) 111112 101015 1100
  157     2426    -100  0001 (11)A> 111112 101015 1100
  158     2474     -52  0001 111112 (11)A> 101015 1100
  159     2481     -55  0001 111112 <B(11) 1110 101014 1100
  160     2529    -103  0001 <B(11) 111112 1110 101014 1100
  161     2544    -100  1111 (11)A> 111112 1110 101014 1100
  162     2592     -52  111113 (11)A> 1110 101014 1100
  163     2596     -48  111114 (11)B> 101014 1100
  164     2599     -51  111114 <B(11) 101014 1100
  165     2655    -107  <B(11) 111114 101014 1100
  166     2668    -104  0111 (11)A> 111114 101014 1100
  167     2724     -48  0111 111114 (11)A> 101014 1100
  168     2731     -51  0111 111114 <B(11) 1110 101013 1100
  169     2787    -107  0111 <B(11) 111114 1110 101013 1100
  170     2791    -111  <C(11) 111115 1110 101013 1100
  171     2802    -108  0011 (11)A> 111115 1110 101013 1100
  172     2862     -48  0011 111115 (11)A> 1110 101013 1100
  173     2866     -44  0011 111116 (11)B> 101013 1100
  174     2869     -47  0011 111116 <B(11) 101013 1100
  175     2933    -111  0011 <B(11) 111116 101013 1100
  176     2943    -115  <D(11) 111117 101013 1100
  177     2946    -112  0001 (11)A> 111117 101013 1100
  178     3014     -44  0001 111117 (11)A> 101013 1100
  179     3021     -47  0001 111117 <B(11) 1110 101012 1100
  180     3089    -115  0001 <B(11) 111117 1110 101012 1100
  181     3104    -112  1111 (11)A> 111117 1110 101012 1100
  182     3172     -44  111118 (11)A> 1110 101012 1100
  183     3176     -40  111119 (11)B> 101012 1100
  184     3179     -43  111119 <B(11) 101012 1100
  185     3255    -119  <B(11) 111119 101012 1100
  186     3268    -116  0111 (11)A> 111119 101012 1100
  187     3344     -40  0111 111119 (11)A> 101012 1100
  188     3351     -43  0111 111119 <B(11) 1110 101011 1100
  189     3427    -119  0111 <B(11) 111119 1110 101011 1100
  190     3431    -123  <C(11) 111120 1110 101011 1100
  191     3442    -120  0011 (11)A> 111120 1110 101011 1100
  192     3522     -40  0011 111120 (11)A> 1110 101011 1100
  193     3526     -36  0011 111121 (11)B> 101011 1100
  194     3529     -39  0011 111121 <B(11) 101011 1100
  195     3613    -123  0011 <B(11) 111121 101011 1100
  196     3623    -127  <D(11) 111122 101011 1100
  197     3626    -124  0001 (11)A> 111122 101011 1100
  198     3714     -36  0001 111122 (11)A> 101011 1100
  199     3721     -39  0001 111122 <B(11) 1110 101010 1100
  200     3809    -127  0001 <B(11) 111122 1110 101010 1100
  201     3824    -124  1111 (11)A> 111122 1110 101010 1100
  202     3912     -36  111123 (11)A> 1110 101010 1100
  203     3916     -32  111124 (11)B> 101010 1100
  204     3919     -35  111124 <B(11) 101010 1100
  205     4015    -131  <B(11) 111124 101010 1100
  206     4028    -128  0111 (11)A> 111124 101010 1100
  207     4124     -32  0111 111124 (11)A> 101010 1100
  208     4131     -35  0111 111124 <B(11) 1110 10109 1100
  209     4227    -131  0111 <B(11) 111124 1110 10109 1100
  210     4231    -135  <C(11) 111125 1110 10109 1100
  211     4242    -132  0011 (11)A> 111125 1110 10109 1100
  212     4342     -32  0011 111125 (11)A> 1110 10109 1100
  213     4346     -28  0011 111126 (11)B> 10109 1100
  214     4349     -31  0011 111126 <B(11) 10109 1100
  215     4453    -135  0011 <B(11) 111126 10109 1100
  216     4463    -139  <D(11) 111127 10109 1100
  217     4466    -136  0001 (11)A> 111127 10109 1100
  218     4574     -28  0001 111127 (11)A> 10109 1100
  219     4581     -31  0001 111127 <B(11) 1110 10108 1100
  220     4689    -139  0001 <B(11) 111127 1110 10108 1100
  221     4704    -136  1111 (11)A> 111127 1110 10108 1100
  222     4812     -28  111128 (11)A> 1110 10108 1100
  223     4816     -24  111129 (11)B> 10108 1100
  224     4819     -27  111129 <B(11) 10108 1100
  225     4935    -143  <B(11) 111129 10108 1100
  226     4948    -140  0111 (11)A> 111129 10108 1100
  227     5064     -24  0111 111129 (11)A> 10108 1100
  228     5071     -27  0111 111129 <B(11) 1110 10107 1100
  229     5187    -143  0111 <B(11) 111129 1110 10107 1100
  230     5191    -147  <C(11) 111130 1110 10107 1100
  231     5202    -144  0011 (11)A> 111130 1110 10107 1100
  232     5322     -24  0011 111130 (11)A> 1110 10107 1100
  233     5326     -20  0011 111131 (11)B> 10107 1100
  234     5329     -23  0011 111131 <B(11) 10107 1100
  235     5453    -147  0011 <B(11) 111131 10107 1100
  236     5463    -151  <D(11) 111132 10107 1100
  237     5466    -148  0001 (11)A> 111132 10107 1100
  238     5594     -20  0001 111132 (11)A> 10107 1100
  239     5601     -23  0001 111132 <B(11) 1110 10106 1100
  240     5729    -151  0001 <B(11) 111132 1110 10106 1100
  241     5744    -148  1111 (11)A> 111132 1110 10106 1100
  242     5872     -20  111133 (11)A> 1110 10106 1100
  243     5876     -16  111134 (11)B> 10106 1100
  244     5879     -19  111134 <B(11) 10106 1100
  245     6015    -155  <B(11) 111134 10106 1100
  246     6028    -152  0111 (11)A> 111134 10106 1100
  247     6164     -16  0111 111134 (11)A> 10106 1100
  248     6171     -19  0111 111134 <B(11) 1110 10105 1100
  249     6307    -155  0111 <B(11) 111134 1110 10105 1100
  250     6311    -159  <C(11) 111135 1110 10105 1100
  251     6322    -156  0011 (11)A> 111135 1110 10105 1100
  252     6462     -16  0011 111135 (11)A> 1110 10105 1100
  253     6466     -12  0011 111136 (11)B> 10105 1100
  254     6469     -15  0011 111136 <B(11) 10105 1100
  255     6613    -159  0011 <B(11) 111136 10105 1100
  256     6623    -163  <D(11) 111137 10105 1100
  257     6626    -160  0001 (11)A> 111137 10105 1100
  258     6774     -12  0001 111137 (11)A> 10105 1100
  259     6781     -15  0001 111137 <B(11) 1110 10104 1100
  260     6929    -163  0001 <B(11) 111137 1110 10104 1100
  261     6944    -160  1111 (11)A> 111137 1110 10104 1100
  262     7092     -12  111138 (11)A> 1110 10104 1100
  263     7096      -8  111139 (11)B> 10104 1100
  264     7099     -11  111139 <B(11) 10104 1100
  265     7255    -167  <B(11) 111139 10104 1100
  266     7268    -164  0111 (11)A> 111139 10104 1100
  267     7424      -8  0111 111139 (11)A> 10104 1100
  268     7431     -11  0111 111139 <B(11) 1110 10103 1100
  269     7587    -167  0111 <B(11) 111139 1110 10103 1100
  270     7591    -171  <C(11) 111140 1110 10103 1100
  271     7602    -168  0011 (11)A> 111140 1110 10103 1100
  272     7762      -8  0011 111140 (11)A> 1110 10103 1100
  273     7766      -4  0011 111141 (11)B> 10103 1100
  274     7769      -7  0011 111141 <B(11) 10103 1100
  275     7933    -171  0011 <B(11) 111141 10103 1100
  276     7943    -175  <D(11) 111142 10103 1100
  277     7946    -172  0001 (11)A> 111142 10103 1100
  278     8114      -4  0001 111142 (11)A> 10103 1100
  279     8121      -7  0001 111142 <B(11) 1110 10102 1100
  280     8289    -175  0001 <B(11) 111142 1110 10102 1100
  281     8304    -172  1111 (11)A> 111142 1110 10102 1100
  282     8472      -4  111143 (11)A> 1110 10102 1100
  283     8476       0  111144 (11)B> 10102 1100
  284     8479      -3  111144 <B(11) 10102 1100
  285     8655    -179  <B(11) 111144 10102 1100
  286     8668    -176  0111 (11)A> 111144 10102 1100
  287     8844       0  0111 111144 (11)A> 10102 1100
  288     8851      -3  0111 111144 <B(11) 1110 1010 1100
  289     9027    -179  0111 <B(11) 111144 1110 1010 1100
  290     9031    -183  <C(11) 111145 1110 1010 1100
  291     9042    -180  0011 (11)A> 111145 1110 1010 1100
  292     9222       0  0011 111145 (11)A> 1110 1010 1100
  293     9226       4  0011 111146 (11)B> 1010 1100
  294     9229       1  0011 111146 <B(11) 1010 1100
  295     9413    -183  0011 <B(11) 111146 1010 1100
  296     9423    -187  <D(11) 111147 1010 1100
  297     9426    -184  0001 (11)A> 111147 1010 1100
  298     9614       4  0001 111147 (11)A> 1010 1100
  299     9621       1  0001 111147 <B(11) 1110 1100
  300     9809    -187  0001 <B(11) 111147 1110 1100
  301     9824    -184  1111 (11)A> 111147 1110 1100
  302    10012       4  111148 (11)A> 1110 1100
  303    10016       8  111149 (11)B> 1100
  304    10019       5  111149 <B(11) 1100
  305    10215    -191  <B(11) 111149 1100
  306    10228    -188  0111 (11)A> 111149 1100
  307    10424       8  0111 111149 (11)A> 1100
  308    10433       5  0111 111149 <D(10) 1011
  309    10629    -191  0111 <D(10) 101049 1011
  310    10637    -195  <D(11) 101050 1011
  311    10640    -192  0001 (11)A> 101050 1011
  312    10647    -195  0001 <B(11) 1110 101049 1011
  313    10662    -192  1111 (11)A> 1110 101049 1011
  314    10666    -188  11112 (11)B> 101049 1011
  315    10669    -191  11112 <B(11) 101049 1011
  316    10677    -199  <B(11) 11112 101049 1011
  317    10690    -196  0111 (11)A> 11112 101049 1011
  318    10698    -188  0111 11112 (11)A> 101049 1011
  319    10705    -191  0111 11112 <B(11) 1110 101048 1011
  320    10713    -199  0111 <B(11) 11112 1110 101048 1011
  321    10717    -203  <C(11) 11113 1110 101048 1011
  322    10728    -200  0011 (11)A> 11113 1110 101048 1011
  323    10740    -188  0011 11113 (11)A> 1110 101048 1011
  324    10744    -184  0011 11114 (11)B> 101048 1011
  325    10747    -187  0011 11114 <B(11) 101048 1011
  326    10763    -203  0011 <B(11) 11114 101048 1011
  327    10773    -207  <D(11) 11115 101048 1011
  328    10776    -204  0001 (11)A> 11115 101048 1011
  329    10796    -184  0001 11115 (11)A> 101048 1011
  330    10803    -187  0001 11115 <B(11) 1110 101047 1011
  331    10823    -207  0001 <B(11) 11115 1110 101047 1011
  332    10838    -204  1111 (11)A> 11115 1110 101047 1011
  333    10858    -184  11116 (11)A> 1110 101047 1011
  334    10862    -180  11117 (11)B> 101047 1011
  335    10865    -183  11117 <B(11) 101047 1011
  336    10893    -211  <B(11) 11117 101047 1011
  337    10906    -208  0111 (11)A> 11117 101047 1011
  338    10934    -180  0111 11117 (11)A> 101047 1011
  339    10941    -183  0111 11117 <B(11) 1110 101046 1011
  340    10969    -211  0111 <B(11) 11117 1110 101046 1011
  341    10973    -215  <C(11) 11118 1110 101046 1011
  342    10984    -212  0011 (11)A> 11118 1110 101046 1011
  343    11016    -180  0011 11118 (11)A> 1110 101046 1011
  344    11020    -176  0011 11119 (11)B> 101046 1011
  345    11023    -179  0011 11119 <B(11) 101046 1011
  346    11059    -215  0011 <B(11) 11119 101046 1011
  347    11069    -219  <D(11) 111110 101046 1011
  348    11072    -216  0001 (11)A> 111110 101046 1011
  349    11112    -176  0001 111110 (11)A> 101046 1011
  350    11119    -179  0001 111110 <B(11) 1110 101045 1011
  351    11159    -219  0001 <B(11) 111110 1110 101045 1011
  352    11174    -216  1111 (11)A> 111110 1110 101045 1011
  353    11214    -176  111111 (11)A> 1110 101045 1011
  354    11218    -172  111112 (11)B> 101045 1011
  355    11221    -175  111112 <B(11) 101045 1011
  356    11269    -223  <B(11) 111112 101045 1011
  357    11282    -220  0111 (11)A> 111112 101045 1011
  358    11330    -172  0111 111112 (11)A> 101045 1011
  359    11337    -175  0111 111112 <B(11) 1110 101044 1011
  360    11385    -223  0111 <B(11) 111112 1110 101044 1011
  361    11389    -227  <C(11) 111113 1110 101044 1011
  362    11400    -224  0011 (11)A> 111113 1110 101044 1011
  363    11452    -172  0011 111113 (11)A> 1110 101044 1011
  364    11456    -168  0011 111114 (11)B> 101044 1011
  365    11459    -171  0011 111114 <B(11) 101044 1011
  366    11515    -227  0011 <B(11) 111114 101044 1011
  367    11525    -231  <D(11) 111115 101044 1011
  368    11528    -228  0001 (11)A> 111115 101044 1011
  369    11588    -168  0001 111115 (11)A> 101044 1011
  370    11595    -171  0001 111115 <B(11) 1110 101043 1011
  371    11655    -231  0001 <B(11) 111115 1110 101043 1011
  372    11670    -228  1111 (11)A> 111115 1110 101043 1011
  373    11730    -168  111116 (11)A> 1110 101043 1011
  374    11734    -164  111117 (11)B> 101043 1011
  375    11737    -167  111117 <B(11) 101043 1011
  376    11805    -235  <B(11) 111117 101043 1011
  377    11818    -232  0111 (11)A> 111117 101043 1011
  378    11886    -164  0111 111117 (11)A> 101043 1011
  379    11893    -167  0111 111117 <B(11) 1110 101042 1011
  380    11961    -235  0111 <B(11) 111117 1110 101042 1011
  381    11965    -239  <C(11) 111118 1110 101042 1011
  382    11976    -236  0011 (11)A> 111118 1110 101042 1011
  383    12048    -164  0011 111118 (11)A> 1110 101042 1011
  384    12052    -160  0011 111119 (11)B> 101042 1011
  385    12055    -163  0011 111119 <B(11) 101042 1011
  386    12131    -239  0011 <B(11) 111119 101042 1011
  387    12141    -243  <D(11) 111120 101042 1011
  388    12144    -240  0001 (11)A> 111120 101042 1011
  389    12224    -160  0001 111120 (11)A> 101042 1011
  390    12231    -163  0001 111120 <B(11) 1110 101041 1011
  391    12311    -243  0001 <B(11) 111120 1110 101041 1011
  392    12326    -240  1111 (11)A> 111120 1110 101041 1011
  393    12406    -160  111121 (11)A> 1110 101041 1011
  394    12410    -156  111122 (11)B> 101041 1011
  395    12413    -159  111122 <B(11) 101041 1011
  396    12501    -247  <B(11) 111122 101041 1011
  397    12514    -244  0111 (11)A> 111122 101041 1011
  398    12602    -156  0111 111122 (11)A> 101041 1011
  399    12609    -159  0111 111122 <B(11) 1110 101040 1011
  400    12697    -247  0111 <B(11) 111122 1110 101040 1011
  401    12701    -251  <C(11) 111123 1110 101040 1011
  402    12712    -248  0011 (11)A> 111123 1110 101040 1011
  403    12804    -156  0011 111123 (11)A> 1110 101040 1011
  404    12808    -152  0011 111124 (11)B> 101040 1011
  405    12811    -155  0011 111124 <B(11) 101040 1011
  406    12907    -251  0011 <B(11) 111124 101040 1011
  407    12917    -255  <D(11) 111125 101040 1011
  408    12920    -252  0001 (11)A> 111125 101040 1011
  409    13020    -152  0001 111125 (11)A> 101040 1011
  410    13027    -155  0001 111125 <B(11) 1110 101039 1011
  411    13127    -255  0001 <B(11) 111125 1110 101039 1011
  412    13142    -252  1111 (11)A> 111125 1110 101039 1011
  413    13242    -152  111126 (11)A> 1110 101039 1011
  414    13246    -148  111127 (11)B> 101039 1011
  415    13249    -151  111127 <B(11) 101039 1011
  416    13357    -259  <B(11) 111127 101039 1011
  417    13370    -256  0111 (11)A> 111127 101039 1011
  418    13478    -148  0111 111127 (11)A> 101039 1011
  419    13485    -151  0111 111127 <B(11) 1110 101038 1011
  420    13593    -259  0111 <B(11) 111127 1110 101038 1011
  421    13597    -263  <C(11) 111128 1110 101038 1011
  422    13608    -260  0011 (11)A> 111128 1110 101038 1011
  423    13720    -148  0011 111128 (11)A> 1110 101038 1011
  424    13724    -144  0011 111129 (11)B> 101038 1011
  425    13727    -147  0011 111129 <B(11) 101038 1011
  426    13843    -263  0011 <B(11) 111129 101038 1011
  427    13853    -267  <D(11) 111130 101038 1011
  428    13856    -264  0001 (11)A> 111130 101038 1011
  429    13976    -144  0001 111130 (11)A> 101038 1011
  430    13983    -147  0001 111130 <B(11) 1110 101037 1011
  431    14103    -267  0001 <B(11) 111130 1110 101037 1011
  432    14118    -264  1111 (11)A> 111130 1110 101037 1011
  433    14238    -144  111131 (11)A> 1110 101037 1011
  434    14242    -140  111132 (11)B> 101037 1011
  435    14245    -143  111132 <B(11) 101037 1011
  436    14373    -271  <B(11) 111132 101037 1011
  437    14386    -268  0111 (11)A> 111132 101037 1011
  438    14514    -140  0111 111132 (11)A> 101037 1011
  439    14521    -143  0111 111132 <B(11) 1110 101036 1011
  440    14649    -271  0111 <B(11) 111132 1110 101036 1011
  441    14653    -275  <C(11) 111133 1110 101036 1011
  442    14664    -272  0011 (11)A> 111133 1110 101036 1011
  443    14796    -140  0011 111133 (11)A> 1110 101036 1011
  444    14800    -136  0011 111134 (11)B> 101036 1011
  445    14803    -139  0011 111134 <B(11) 101036 1011
  446    14939    -275  0011 <B(11) 111134 101036 1011
  447    14949    -279  <D(11) 111135 101036 1011
  448    14952    -276  0001 (11)A> 111135 101036 1011
  449    15092    -136  0001 111135 (11)A> 101036 1011
  450    15099    -139  0001 111135 <B(11) 1110 101035 1011
  451    15239    -279  0001 <B(11) 111135 1110 101035 1011
  452    15254    -276  1111 (11)A> 111135 1110 101035 1011
  453    15394    -136  111136 (11)A> 1110 101035 1011
  454    15398    -132  111137 (11)B> 101035 1011
  455    15401    -135  111137 <B(11) 101035 1011
  456    15549    -283  <B(11) 111137 101035 1011
  457    15562    -280  0111 (11)A> 111137 101035 1011
  458    15710    -132  0111 111137 (11)A> 101035 1011
  459    15717    -135  0111 111137 <B(11) 1110 101034 1011
  460    15865    -283  0111 <B(11) 111137 1110 101034 1011
  461    15869    -287  <C(11) 111138 1110 101034 1011
  462    15880    -284  0011 (11)A> 111138 1110 101034 1011
  463    16032    -132  0011 111138 (11)A> 1110 101034 1011
  464    16036    -128  0011 111139 (11)B> 101034 1011
  465    16039    -131  0011 111139 <B(11) 101034 1011
  466    16195    -287  0011 <B(11) 111139 101034 1011
  467    16205    -291  <D(11) 111140 101034 1011
  468    16208    -288  0001 (11)A> 111140 101034 1011
  469    16368    -128  0001 111140 (11)A> 101034 1011
  470    16375    -131  0001 111140 <B(11) 1110 101033 1011
  471    16535    -291  0001 <B(11) 111140 1110 101033 1011
  472    16550    -288  1111 (11)A> 111140 1110 101033 1011
  473    16710    -128  111141 (11)A> 1110 101033 1011
  474    16714    -124  111142 (11)B> 101033 1011
  475    16717    -127  111142 <B(11) 101033 1011
  476    16885    -295  <B(11) 111142 101033 1011
  477    16898    -292  0111 (11)A> 111142 101033 1011
  478    17066    -124  0111 111142 (11)A> 101033 1011
  479    17073    -127  0111 111142 <B(11) 1110 101032 1011
  480    17241    -295  0111 <B(11) 111142 1110 101032 1011
  481    17245    -299  <C(11) 111143 1110 101032 1011
  482    17256    -296  0011 (11)A> 111143 1110 101032 1011
  483    17428    -124  0011 111143 (11)A> 1110 101032 1011
  484    17432    -120  0011 111144 (11)B> 101032 1011
  485    17435    -123  0011 111144 <B(11) 101032 1011
  486    17611    -299  0011 <B(11) 111144 101032 1011
  487    17621    -303  <D(11) 111145 101032 1011
  488    17624    -300  0001 (11)A> 111145 101032 1011
  489    17804    -120  0001 111145 (11)A> 101032 1011
  490    17811    -123  0001 111145 <B(11) 1110 101031 1011
  491    17991    -303  0001 <B(11) 111145 1110 101031 1011
  492    18006    -300  1111 (11)A> 111145 1110 101031 1011
  493    18186    -120  111146 (11)A> 1110 101031 1011
  494    18190    -116  111147 (11)B> 101031 1011
  495    18193    -119  111147 <B(11) 101031 1011
  496    18381    -307  <B(11) 111147 101031 1011
  497    18394    -304  0111 (11)A> 111147 101031 1011
  498    18582    -116  0111 111147 (11)A> 101031 1011
  499    18589    -119  0111 111147 <B(11) 1110 101030 1011
  500    18777    -307  0111 <B(11) 111147 1110 101030 1011

Lines:       501
Top steps:   500
Macro steps: 500
Basic steps: 18777
Tape index:  -307
ones:        259
log10(ones    ):    2.413
log10(steps   ):    4.274

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-2-macro machine 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 66
    5T B1R A1R C1L B1L F0R D1L A1R E0L H1L F1L A0L C0L : 95524079 8690333381690951
    T 6-state TM #2 from MaBu-List
    M	501
    pref	sim
    machv mbL6_2  	just simple
    machv mbL6_2-r	with repetitions reduced
    machv mbL6_2-1	with tape symbol exponents
    machv mbL6_2-m	as 2-bck-2-macro machine
    machv mbL6_2-a	as 2-bck-2-macro machine with pure additive config-TRs
    iam	mbL6_2-m
    mtype	2 0 2
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:10:29 CEST 2010
    edate	Tue Jul  6 22:10:30 CEST 2010
    bnspeed	1

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:10:29 CEST 2010
Ready: Tue Jul 6 22:10:30 CEST 2010