5-state TM with unusual symbol size 154 

Comment: Found by jubu 1991-10-24, published first 2005-11-12 (on web)

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0		 on
1		 on 0 on 1
Print Move Goto Print Move Goto
A B1R E1L 1 right B 1 left E
B C1L B0R 1 left C 0 right B
C A0L D0L 0 left A 0 left D
D A1R C1L 1 right A 1 left C
E Z== B1L Z stay = 1 left B
Transition table 
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 7-bck-22-macro machine.
The same TM as 7-bck-22-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  1 B>
     2     0  1 <C 1
     3    -1  <D 0 1
     4     0  1 A> 0 1
     5     1  1 1 B> 1
     6     2  1 1 0 B>
     7     1  1 1 0 <C 1
     8     0  1 1 <A 0 1
     9    -1  1 <E 1 0 1
    10    -2  <B 1 1 0 1
    11    -3  <C 13 0 1
    12    -4  <A 0 13 0 1
    13    -3  1 B> 0 13 0 1
    14    -4  1 <C 14 0 1
    15    -5  <D 0 14 0 1
    16    -4  1 A> 0 14 0 1
    17    -3  1 1 B> 14 0 1
+   21     1  1 1 04 B> 0 1
    22     0  1 1 04 <C 1 1
    23    -1  1 1 03 <A 0 1 1
    24     0  1 1 0 0 1 B> 0 1 1
    25    -1  1 1 0 0 1 <C 13
    26    -2  1 1 0 0 <D 0 13
    27    -1  1 1 0 1 A> 0 13
    28     0  1 1 0 1 1 B> 13
+   31     3  1 1 0 1 1 03 B>
    32     2  1 1 0 1 1 03 <C 1
    33     1  1 1 0 1 1 0 0 <A 0 1
    34     2  1 1 0 1 1 0 1 B> 0 1
    35     1  1 1 0 1 1 0 1 <C 1 1
    36     0  1 1 0 1 1 0 <D 0 1 1
    37     1  1 1 0 13 A> 0 1 1
    38     2  1 1 0 14 B> 1 1
+   40     4  1 1 0 14 0 0 B>
    41     3  1 1 0 14 0 0 <C 1
    42     2  1 1 0 14 0 <A 0 1
    43     3  1 1 0 15 B> 0 1
    44     2  1 1 0 15 <C 1 1
    45     1  1 1 0 14 <D 0 1 1
    46     0  1 1 0 13 <C 1 0 1 1
    47    -1  1 1 0 1 1 <D 0 1 0 1 1
    48    -2  1 1 0 1 <C 1 0 1 0 1 1
    49    -3  1 1 0 <D 0 1 0 1 0 1 1
    50    -2  13 A> 0 1 0 1 0 1 1
    51    -1  14 B> 1 0 1 0 1 1
    52     0  14 0 B> 0 1 0 1 1
    53    -1  14 0 <C 1 1 0 1 1
    54    -2  14 <A 0 1 1 0 1 1
    55    -3  13 <E 1 0 1 1 0 1 1
    56    -4  1 1 <B 1 1 0 1 1 0 1 1
    57    -3  1 0 B> 1 1 0 1 1 0 1 1
+   59    -1  1 03 B> 0 1 1 0 1 1
    60    -2  1 03 <C 13 0 1 1
    61    -3  1 0 0 <A 0 13 0 1 1
    62    -2  1 0 1 B> 0 13 0 1 1
    63    -3  1 0 1 <C 14 0 1 1
    64    -4  1 0 <D 0 14 0 1 1
    65    -3  1 1 A> 0 14 0 1 1
    66    -2  13 B> 14 0 1 1
+   70     2  13 04 B> 0 1 1
    71     1  13 04 <C 13
    72     0  13 03 <A 0 13
    73     1  13 0 0 1 B> 0 13
    74     0  13 0 0 1 <C 14
    75    -1  13 0 0 <D 0 14
    76     0  13 0 1 A> 0 14
    77     1  13 0 1 1 B> 14
+   81     5  13 0 1 1 04 B>
    82     4  13 0 1 1 04 <C 1
    83     3  13 0 1 1 03 <A 0 1
    84     4  13 0 1 1 0 0 1 B> 0 1
    85     3  13 0 1 1 0 0 1 <C 1 1
    86     2  13 0 1 1 0 0 <D 0 1 1
    87     3  13 0 1 1 0 1 A> 0 1 1
    88     4  13 0 1 1 0 1 1 B> 1 1
+   90     6  13 0 1 1 0 1 1 0 0 B>
    91     5  13 0 1 1 0 1 1 0 0 <C 1
    92     4  13 0 1 1 0 1 1 0 <A 0 1
    93     5  13 0 1 1 0 13 B> 0 1
    94     4  13 0 1 1 0 13 <C 1 1
    95     3  13 0 1 1 0 1 1 <D 0 1 1
    96     2  13 0 1 1 0 1 <C 1 0 1 1
    97     1  13 0 1 1 0 <D 0 1 0 1 1
    98     2  13 0 13 A> 0 1 0 1 1
    99     3  13 0 14 B> 1 0 1 1
   100     4  13 0 14 0 B> 0 1 1
   101     3  13 0 14 0 <C 13
   102     2  13 0 14 <A 0 13
   103     1  13 0 13 <E 1 0 13
   104     0  13 0 1 1 <B 1 1 0 13
   105     1  13 0 1 0 B> 1 1 0 13
+  107     3  13 0 1 03 B> 0 13
   108     2  13 0 1 03 <C 14
   109     1  13 0 1 0 0 <A 0 14
   110     2  13 0 1 0 1 B> 0 14
   111     1  13 0 1 0 1 <C 15
   112     0  13 0 1 0 <D 0 15
   113     1  13 0 1 1 A> 0 15
   114     2  13 0 13 B> 15
+  119     7  13 0 13 05 B>
   120     6  13 0 13 05 <C 1
   121     5  13 0 13 04 <A 0 1
   122     6  13 0 13 03 1 B> 0 1
   123     5  13 0 13 03 1 <C 1 1
   124     4  13 0 13 03 <D 0 1 1
   125     5  13 0 13 0 0 1 A> 0 1 1
   126     6  13 0 13 0 0 1 1 B> 1 1
+  128     8  13 0 13 0 0 1 1 0 0 B>
   129     7  13 0 13 0 0 1 1 0 0 <C 1
   130     6  13 0 13 0 0 1 1 0 <A 0 1
   131     7  13 0 13 0 0 13 B> 0 1
   132     6  13 0 13 0 0 13 <C 1 1
   133     5  13 0 13 0 0 1 1 <D 0 1 1
   134     4  13 0 13 0 0 1 <C 1 0 1 1
   135     3  13 0 13 0 0 <D 0 1 0 1 1
   136     4  13 0 13 0 1 A> 0 1 0 1 1
   137     5  13 0 13 0 1 1 B> 1 0 1 1
   138     6  13 0 13 0 1 1 0 B> 0 1 1
   139     5  13 0 13 0 1 1 0 <C 13
   140     4  13 0 13 0 1 1 <A 0 13
   141     3  13 0 13 0 1 <E 1 0 13
   142     2  13 0 13 0 <B 1 1 0 13
   143     1  13 0 13 <C 13 0 13
   144     0  13 0 1 1 <D 0 13 0 13
   145    -1  13 0 1 <C 1 0 13 0 13
   146    -2  13 0 <D 0 1 0 13 0 13
   147    -1  14 A> 0 1 0 13 0 13
   148     0  15 B> 1 0 13 0 13
   149     1  15 0 B> 0 13 0 13
   150     0  15 0 <C 14 0 13
   151    -1  15 <A 0 14 0 13
   152    -2  14 <E 1 0 14 0 13
   153    -3  13 <B 1 1 0 14 0 13
   154    -2  1 1 0 B> 1 1 0 14 0 13
+  156     0  1 1 03 B> 0 14 0 13
   157    -1  1 1 03 <C 15 0 13
   158    -2  1 1 0 0 <A 0 15 0 13
   159    -1  1 1 0 1 B> 0 15 0 13
   160    -2  1 1 0 1 <C 16 0 13
   161    -3  1 1 0 <D 0 16 0 13
   162    -2  13 A> 0 16 0 13
   163    -1  14 B> 16 0 13
+  169     5  14 06 B> 0 13
   170     4  14 06 <C 14
   171     3  14 05 <A 0 14
   172     4  14 04 1 B> 0 14
   173     3  14 04 1 <C 15
   174     2  14 04 <D 0 15
   175     3  14 03 1 A> 0 15
   176     4  14 03 1 1 B> 15
+  181     9  14 03 1 1 05 B>
   182     8  14 03 1 1 05 <C 1
   183     7  14 03 1 1 04 <A 0 1
   184     8  14 03 1 1 03 1 B> 0 1
   185     7  14 03 1 1 03 1 <C 1 1
   186     6  14 03 1 1 03 <D 0 1 1
   187     7  14 03 1 1 0 0 1 A> 0 1 1
   188     8  14 03 1 1 0 0 1 1 B> 1 1
+  190    10  14 03 1 1 0 0 1 1 0 0 B>
   191     9  14 03 1 1 0 0 1 1 0 0 <C 1
   192     8  14 03 1 1 0 0 1 1 0 <A 0 1
   193     9  14 03 1 1 0 0 13 B> 0 1
   194     8  14 03 1 1 0 0 13 <C 1 1
   195     7  14 03 1 1 0 0 1 1 <D 0 1 1
   196     6  14 03 1 1 0 0 1 <C 1 0 1 1
   197     5  14 03 1 1 0 0 <D 0 1 0 1 1
   198     6  14 03 1 1 0 1 A> 0 1 0 1 1
   199     7  14 03 1 1 0 1 1 B> 1 0 1 1
   200     8  14 03 1 1 0 1 1 0 B> 0 1 1
   201     7  14 03 1 1 0 1 1 0 <C 13
   202     6  14 03 1 1 0 1 1 <A 0 13
   203     5  14 03 1 1 0 1 <E 1 0 13
   204     4  14 03 1 1 0 <B 1 1 0 13
   205     3  14 03 1 1 <C 13 0 13
   206     2  14 03 1 <D 0 13 0 13
   207     1  14 03 <C 1 0 13 0 13
   208     0  14 0 0 <A 0 1 0 13 0 13
   209     1  14 0 1 B> 0 1 0 13 0 13
   210     0  14 0 1 <C 1 1 0 13 0 13
   211    -1  14 0 <D 0 1 1 0 13 0 13
   212     0  15 A> 0 1 1 0 13 0 13
   213     1  16 B> 1 1 0 13 0 13
+  215     3  16 0 0 B> 0 13 0 13
   216     2  16 0 0 <C 14 0 13
   217     1  16 0 <A 0 14 0 13
   218     2  17 B> 0 14 0 13
   219     1  17 <C 15 0 13
   220     0  16 <D 0 15 0 13
   221    -1  15 <C 1 0 15 0 13
   222    -2  14 <D 0 1 0 15 0 13
   223    -3  13 <C 1 0 1 0 15 0 13
   224    -4  1 1 <D 0 1 0 1 0 15 0 13
   225    -5  1 <C 1 0 1 0 1 0 15 0 13
   226    -6  <D 0 1 0 1 0 1 0 15 0 13
   227    -5  1 A> 0 1 0 1 0 1 0 15 0 13
   228    -4  1 1 B> 1 0 1 0 1 0 15 0 13
   229    -3  1 1 0 B> 0 1 0 1 0 15 0 13
   230    -4  1 1 0 <C 1 1 0 1 0 15 0 13
   231    -5  1 1 <A 0 1 1 0 1 0 15 0 13
   232    -6  1 <E 1 0 1 1 0 1 0 15 0 13
   233    -7  <B 1 1 0 1 1 0 1 0 15 0 13
   234    -8  <C 13 0 1 1 0 1 0 15 0 13
   235    -9  <A 0 13 0 1 1 0 1 0 15 0 13
   236    -8  1 B> 0 13 0 1 1 0 1 0 15 0 13
   237    -9  1 <C 14 0 1 1 0 1 0 15 0 13
   238   -10  <D 0 14 0 1 1 0 1 0 15 0 13
   239    -9  1 A> 0 14 0 1 1 0 1 0 15 0 13
   240    -8  1 1 B> 14 0 1 1 0 1 0 15 0 13
+  244    -4  1 1 04 B> 0 1 1 0 1 0 15 0 13
   245    -5  1 1 04 <C 13 0 1 0 15 0 13
   246    -6  1 1 03 <A 0 13 0 1 0 15 0 13
   247    -5  1 1 0 0 1 B> 0 13 0 1 0 15 0 13
   248    -6  1 1 0 0 1 <C 14 0 1 0 15 0 13
   249    -7  1 1 0 0 <D 0 14 0 1 0 15 0 13
   250    -6  1 1 0 1 A> 0 14 0 1 0 15 0 13
   251    -5  1 1 0 1 1 B> 14 0 1 0 15 0 13
+  255    -1  1 1 0 1 1 04 B> 0 1 0 15 0 13
   256    -2  1 1 0 1 1 04 <C 1 1 0 15 0 13
   257    -3  1 1 0 1 1 03 <A 0 1 1 0 15 0 13
   258    -2  1 1 0 1 1 0 0 1 B> 0 1 1 0 15 0 13
   259    -3  1 1 0 1 1 0 0 1 <C 13 0 15 0 13
   260    -4  1 1 0 1 1 0 0 <D 0 13 0 15 0 13
   261    -3  1 1 0 1 1 0 1 A> 0 13 0 15 0 13
   262    -2  1 1 0 1 1 0 1 1 B> 13 0 15 0 13
+  265     1  1 1 0 1 1 0 1 1 03 B> 0 15 0 13
   266     0  1 1 0 1 1 0 1 1 03 <C 16 0 13
   267    -1  1 1 0 1 1 0 1 1 0 0 <A 0 16 0 13
   268     0  1 1 0 1 1 0 1 1 0 1 B> 0 16 0 13
   269    -1  1 1 0 1 1 0 1 1 0 1 <C 17 0 13
   270    -2  1 1 0 1 1 0 1 1 0 <D 0 17 0 13
   271    -1  1 1 0 1 1 0 13 A> 0 17 0 13
   272     0  1 1 0 1 1 0 14 B> 17 0 13
+  279     7  1 1 0 1 1 0 14 07 B> 0 13
   280     6  1 1 0 1 1 0 14 07 <C 14
   281     5  1 1 0 1 1 0 14 06 <A 0 14
   282     6  1 1 0 1 1 0 14 05 1 B> 0 14
   283     5  1 1 0 1 1 0 14 05 1 <C 15
   284     4  1 1 0 1 1 0 14 05 <D 0 15
   285     5  1 1 0 1 1 0 14 04 1 A> 0 15
   286     6  1 1 0 1 1 0 14 04 1 1 B> 15
+  291    11  1 1 0 1 1 0 14 04 1 1 05 B>
   292    10  1 1 0 1 1 0 14 04 1 1 05 <C 1
   293     9  1 1 0 1 1 0 14 04 1 1 04 <A 0 1
   294    10  1 1 0 1 1 0 14 04 1 1 03 1 B> 0 1
   295     9  1 1 0 1 1 0 14 04 1 1 03 1 <C 1 1
   296     8  1 1 0 1 1 0 14 04 1 1 03 <D 0 1 1
   297     9  1 1 0 1 1 0 14 04 1 1 0 0 1 A> 0 1 1
   298    10  1 1 0 1 1 0 14 04 1 1 0 0 1 1 B> 1 1
+  300    12  1 1 0 1 1 0 14 04 1 1 0 0 1 1 0 0 B>
   301    11  1 1 0 1 1 0 14 04 1 1 0 0 1 1 0 0 <C 1
   302    10  1 1 0 1 1 0 14 04 1 1 0 0 1 1 0 <A 0 1
   303    11  1 1 0 1 1 0 14 04 1 1 0 0 13 B> 0 1
   304    10  1 1 0 1 1 0 14 04 1 1 0 0 13 <C 1 1
   305     9  1 1 0 1 1 0 14 04 1 1 0 0 1 1 <D 0 1 1
   306     8  1 1 0 1 1 0 14 04 1 1 0 0 1 <C 1 0 1 1
   307     7  1 1 0 1 1 0 14 04 1 1 0 0 <D 0 1 0 1 1
   308     8  1 1 0 1 1 0 14 04 1 1 0 1 A> 0 1 0 1 1
   309     9  1 1 0 1 1 0 14 04 1 1 0 1 1 B> 1 0 1 1
   310    10  1 1 0 1 1 0 14 04 1 1 0 1 1 0 B> 0 1 1
   311     9  1 1 0 1 1 0 14 04 1 1 0 1 1 0 <C 13
   312     8  1 1 0 1 1 0 14 04 1 1 0 1 1 <A 0 13
   313     7  1 1 0 1 1 0 14 04 1 1 0 1 <E 1 0 13
   314     6  1 1 0 1 1 0 14 04 1 1 0 <B 1 1 0 13
   315     5  1 1 0 1 1 0 14 04 1 1 <C 13 0 13
   316     4  1 1 0 1 1 0 14 04 1 <D 0 13 0 13
   317     3  1 1 0 1 1 0 14 04 <C 1 0 13 0 13
   318     2  1 1 0 1 1 0 14 03 <A 0 1 0 13 0 13
   319     3  1 1 0 1 1 0 14 0 0 1 B> 0 1 0 13 0 13
   320     2  1 1 0 1 1 0 14 0 0 1 <C 1 1 0 13 0 13
   321     1  1 1 0 1 1 0 14 0 0 <D 0 1 1 0 13 0 13
   322     2  1 1 0 1 1 0 14 0 1 A> 0 1 1 0 13 0 13
   323     3  1 1 0 1 1 0 14 0 1 1 B> 1 1 0 13 0 13
+  325     5  1 1 0 1 1 0 14 0 1 1 0 0 B> 0 13 0 13
   326     4  1 1 0 1 1 0 14 0 1 1 0 0 <C 14 0 13
   327     3  1 1 0 1 1 0 14 0 1 1 0 <A 0 14 0 13
   328     4  1 1 0 1 1 0 14 0 13 B> 0 14 0 13
   329     3  1 1 0 1 1 0 14 0 13 <C 15 0 13
   330     2  1 1 0 1 1 0 14 0 1 1 <D 0 15 0 13
   331     1  1 1 0 1 1 0 14 0 1 <C 1 0 15 0 13
   332     0  1 1 0 1 1 0 14 0 <D 0 1 0 15 0 13
   333     1  1 1 0 1 1 0 15 A> 0 1 0 15 0 13
   334     2  1 1 0 1 1 0 16 B> 1 0 15 0 13
   335     3  1 1 0 1 1 0 16 0 B> 0 15 0 13
   336     2  1 1 0 1 1 0 16 0 <C 16 0 13
   337     1  1 1 0 1 1 0 16 <A 0 16 0 13
   338     0  1 1 0 1 1 0 15 <E 1 0 16 0 13
   339    -1  1 1 0 1 1 0 14 <B 1 1 0 16 0 13
   340     0  1 1 0 1 1 0 13 0 B> 1 1 0 16 0 13
+  342     2  1 1 0 1 1 0 13 03 B> 0 16 0 13
   343     1  1 1 0 1 1 0 13 03 <C 17 0 13
   344     0  1 1 0 1 1 0 13 0 0 <A 0 17 0 13
   345     1  1 1 0 1 1 0 13 0 1 B> 0 17 0 13
   346     0  1 1 0 1 1 0 13 0 1 <C 18 0 13
   347    -1  1 1 0 1 1 0 13 0 <D 0 18 0 13
   348     0  1 1 0 1 1 0 14 A> 0 18 0 13
   349     1  1 1 0 1 1 0 15 B> 18 0 13
+  357     9  1 1 0 1 1 0 15 08 B> 0 13
   358     8  1 1 0 1 1 0 15 08 <C 14
   359     7  1 1 0 1 1 0 15 07 <A 0 14
   360     8  1 1 0 1 1 0 15 06 1 B> 0 14
   361     7  1 1 0 1 1 0 15 06 1 <C 15
   362     6  1 1 0 1 1 0 15 06 <D 0 15
   363     7  1 1 0 1 1 0 15 05 1 A> 0 15
   364     8  1 1 0 1 1 0 15 05 1 1 B> 15
+  369    13  1 1 0 1 1 0 15 05 1 1 05 B>
   370    12  1 1 0 1 1 0 15 05 1 1 05 <C 1
   371    11  1 1 0 1 1 0 15 05 1 1 04 <A 0 1
   372    12  1 1 0 1 1 0 15 05 1 1 03 1 B> 0 1
   373    11  1 1 0 1 1 0 15 05 1 1 03 1 <C 1 1
   374    10  1 1 0 1 1 0 15 05 1 1 03 <D 0 1 1
   375    11  1 1 0 1 1 0 15 05 1 1 0 0 1 A> 0 1 1
   376    12  1 1 0 1 1 0 15 05 1 1 0 0 1 1 B> 1 1
+  378    14  1 1 0 1 1 0 15 05 1 1 0 0 1 1 0 0 B>
   379    13  1 1 0 1 1 0 15 05 1 1 0 0 1 1 0 0 <C 1
   380    12  1 1 0 1 1 0 15 05 1 1 0 0 1 1 0 <A 0 1
   381    13  1 1 0 1 1 0 15 05 1 1 0 0 13 B> 0 1
   382    12  1 1 0 1 1 0 15 05 1 1 0 0 13 <C 1 1
   383    11  1 1 0 1 1 0 15 05 1 1 0 0 1 1 <D 0 1 1
   384    10  1 1 0 1 1 0 15 05 1 1 0 0 1 <C 1 0 1 1
   385     9  1 1 0 1 1 0 15 05 1 1 0 0 <D 0 1 0 1 1
   386    10  1 1 0 1 1 0 15 05 1 1 0 1 A> 0 1 0 1 1
   387    11  1 1 0 1 1 0 15 05 1 1 0 1 1 B> 1 0 1 1
   388    12  1 1 0 1 1 0 15 05 1 1 0 1 1 0 B> 0 1 1
   389    11  1 1 0 1 1 0 15 05 1 1 0 1 1 0 <C 13
   390    10  1 1 0 1 1 0 15 05 1 1 0 1 1 <A 0 13
   391     9  1 1 0 1 1 0 15 05 1 1 0 1 <E 1 0 13
   392     8  1 1 0 1 1 0 15 05 1 1 0 <B 1 1 0 13
   393     7  1 1 0 1 1 0 15 05 1 1 <C 13 0 13
   394     6  1 1 0 1 1 0 15 05 1 <D 0 13 0 13
   395     5  1 1 0 1 1 0 15 05 <C 1 0 13 0 13
   396     4  1 1 0 1 1 0 15 04 <A 0 1 0 13 0 13
   397     5  1 1 0 1 1 0 15 03 1 B> 0 1 0 13 0 13
   398     4  1 1 0 1 1 0 15 03 1 <C 1 1 0 13 0 13
   399     3  1 1 0 1 1 0 15 03 <D 0 1 1 0 13 0 13
   400     4  1 1 0 1 1 0 15 0 0 1 A> 0 1 1 0 13 0 13
   401     5  1 1 0 1 1 0 15 0 0 1 1 B> 1 1 0 13 0 13
+  403     7  1 1 0 1 1 0 15 0 0 1 1 0 0 B> 0 13 0 13
   404     6  1 1 0 1 1 0 15 0 0 1 1 0 0 <C 14 0 13
   405     5  1 1 0 1 1 0 15 0 0 1 1 0 <A 0 14 0 13
   406     6  1 1 0 1 1 0 15 0 0 13 B> 0 14 0 13
   407     5  1 1 0 1 1 0 15 0 0 13 <C 15 0 13
   408     4  1 1 0 1 1 0 15 0 0 1 1 <D 0 15 0 13
   409     3  1 1 0 1 1 0 15 0 0 1 <C 1 0 15 0 13
   410     2  1 1 0 1 1 0 15 0 0 <D 0 1 0 15 0 13
   411     3  1 1 0 1 1 0 15 0 1 A> 0 1 0 15 0 13
   412     4  1 1 0 1 1 0 15 0 1 1 B> 1 0 15 0 13
   413     5  1 1 0 1 1 0 15 0 1 1 0 B> 0 15 0 13
   414     4  1 1 0 1 1 0 15 0 1 1 0 <C 16 0 13
   415     3  1 1 0 1 1 0 15 0 1 1 <A 0 16 0 13
   416     2  1 1 0 1 1 0 15 0 1 <E 1 0 16 0 13
   417     1  1 1 0 1 1 0 15 0 <B 1 1 0 16 0 13
   418     0  1 1 0 1 1 0 15 <C 13 0 16 0 13
   419    -1  1 1 0 1 1 0 14 <D 0 13 0 16 0 13
   420    -2  1 1 0 1 1 0 13 <C 1 0 13 0 16 0 13
   421    -3  1 1 0 1 1 0 1 1 <D 0 1 0 13 0 16 0 13
   422    -4  1 1 0 1 1 0 1 <C 1 0 1 0 13 0 16 0 13
   423    -5  1 1 0 1 1 0 <D 0 1 0 1 0 13 0 16 0 13
   424    -4  1 1 0 13 A> 0 1 0 1 0 13 0 16 0 13
   425    -3  1 1 0 14 B> 1 0 1 0 13 0 16 0 13
   426    -2  1 1 0 14 0 B> 0 1 0 13 0 16 0 13
   427    -3  1 1 0 14 0 <C 1 1 0 13 0 16 0 13
   428    -4  1 1 0 14 <A 0 1 1 0 13 0 16 0 13
   429    -5  1 1 0 13 <E 1 0 1 1 0 13 0 16 0 13
   430    -6  1 1 0 1 1 <B 1 1 0 1 1 0 13 0 16 0 13
   431    -5  1 1 0 1 0 B> 1 1 0 1 1 0 13 0 16 0 13
+  433    -3  1 1 0 1 03 B> 0 1 1 0 13 0 16 0 13
   434    -4  1 1 0 1 03 <C 13 0 13 0 16 0 13
   435    -5  1 1 0 1 0 0 <A 0 13 0 13 0 16 0 13
   436    -4  1 1 0 1 0 1 B> 0 13 0 13 0 16 0 13
   437    -5  1 1 0 1 0 1 <C 14 0 13 0 16 0 13
   438    -6  1 1 0 1 0 <D 0 14 0 13 0 16 0 13
   439    -5  1 1 0 1 1 A> 0 14 0 13 0 16 0 13
   440    -4  1 1 0 13 B> 14 0 13 0 16 0 13
+  444     0  1 1 0 13 04 B> 0 13 0 16 0 13
   445    -1  1 1 0 13 04 <C 14 0 16 0 13
   446    -2  1 1 0 13 03 <A 0 14 0 16 0 13
   447    -1  1 1 0 13 0 0 1 B> 0 14 0 16 0 13
   448    -2  1 1 0 13 0 0 1 <C 15 0 16 0 13
   449    -3  1 1 0 13 0 0 <D 0 15 0 16 0 13
   450    -2  1 1 0 13 0 1 A> 0 15 0 16 0 13
   451    -1  1 1 0 13 0 1 1 B> 15 0 16 0 13
+  456     4  1 1 0 13 0 1 1 05 B> 0 16 0 13
   457     3  1 1 0 13 0 1 1 05 <C 17 0 13
   458     2  1 1 0 13 0 1 1 04 <A 0 17 0 13
   459     3  1 1 0 13 0 1 1 03 1 B> 0 17 0 13
   460     2  1 1 0 13 0 1 1 03 1 <C 18 0 13
   461     1  1 1 0 13 0 1 1 03 <D 0 18 0 13
   462     2  1 1 0 13 0 1 1 0 0 1 A> 0 18 0 13
   463     3  1 1 0 13 0 1 1 0 0 1 1 B> 18 0 13
+  471    11  1 1 0 13 0 1 1 0 0 1 1 08 B> 0 13
   472    10  1 1 0 13 0 1 1 0 0 1 1 08 <C 14
   473     9  1 1 0 13 0 1 1 0 0 1 1 07 <A 0 14
   474    10  1 1 0 13 0 1 1 0 0 1 1 06 1 B> 0 14
   475     9  1 1 0 13 0 1 1 0 0 1 1 06 1 <C 15
   476     8  1 1 0 13 0 1 1 0 0 1 1 06 <D 0 15
   477     9  1 1 0 13 0 1 1 0 0 1 1 05 1 A> 0 15
   478    10  1 1 0 13 0 1 1 0 0 1 1 05 1 1 B> 15
+  483    15  1 1 0 13 0 1 1 0 0 1 1 05 1 1 05 B>
   484    14  1 1 0 13 0 1 1 0 0 1 1 05 1 1 05 <C 1
   485    13  1 1 0 13 0 1 1 0 0 1 1 05 1 1 04 <A 0 1
   486    14  1 1 0 13 0 1 1 0 0 1 1 05 1 1 03 1 B> 0 1
   487    13  1 1 0 13 0 1 1 0 0 1 1 05 1 1 03 1 <C 1 1
   488    12  1 1 0 13 0 1 1 0 0 1 1 05 1 1 03 <D 0 1 1
   489    13  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 1 A> 0 1 1
   490    14  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 1 1 B> 1 1
+  492    16  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 1 1 0 0 B>
   493    15  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 1 1 0 0 <C 1
   494    14  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 1 1 0 <A 0 1
   495    15  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 13 B> 0 1
   496    14  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 13 <C 1 1
   497    13  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 1 1 <D 0 1 1
   498    12  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 1 <C 1 0 1 1
   499    11  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 0 <D 0 1 0 1 1
   500    12  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 1 A> 0 1 0 1 1
   501    13  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 1 1 B> 1 0 1 1
   502    14  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 1 1 0 B> 0 1 1
   503    13  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 1 1 0 <C 13
   504    12  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 1 1 <A 0 13
   505    11  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 1 <E 1 0 13
   506    10  1 1 0 13 0 1 1 0 0 1 1 05 1 1 0 <B 1 1 0 13
   507     9  1 1 0 13 0 1 1 0 0 1 1 05 1 1 <C 13 0 13
   508     8  1 1 0 13 0 1 1 0 0 1 1 05 1 <D 0 13 0 13
   509     7  1 1 0 13 0 1 1 0 0 1 1 05 <C 1 0 13 0 13
   510     6  1 1 0 13 0 1 1 0 0 1 1 04 <A 0 1 0 13 0 13
   511     7  1 1 0 13 0 1 1 0 0 1 1 03 1 B> 0 1 0 13 0 13
   512     6  1 1 0 13 0 1 1 0 0 1 1 03 1 <C 1 1 0 13 0 13
   513     5  1 1 0 13 0 1 1 0 0 1 1 03 <D 0 1 1 0 13 0 13
   514     6  1 1 0 13 0 1 1 0 0 1 1 0 0 1 A> 0 1 1 0 13 0 13
   515     7  1 1 0 13 0 1 1 0 0 1 1 0 0 1 1 B> 1 1 0 13 0 13
+  517     9  1 1 0 13 0 1 1 0 0 1 1 0 0 1 1 0 0 B> 0 13 0 13
   518     8  1 1 0 13 0 1 1 0 0 1 1 0 0 1 1 0 0 <C 14 0 13
   519     7  1 1 0 13 0 1 1 0 0 1 1 0 0 1 1 0 <A 0 14 0 13
   520     8  1 1 0 13 0 1 1 0 0 1 1 0 0 13 B> 0 14 0 13
   521     7  1 1 0 13 0 1 1 0 0 1 1 0 0 13 <C 15 0 13
   522     6  1 1 0 13 0 1 1 0 0 1 1 0 0 1 1 <D 0 15 0 13
   523     5  1 1 0 13 0 1 1 0 0 1 1 0 0 1 <C 1 0 15 0 13
   524     4  1 1 0 13 0 1 1 0 0 1 1 0 0 <D 0 1 0 15 0 13
   525     5  1 1 0 13 0 1 1 0 0 1 1 0 1 A> 0 1 0 15 0 13
   526     6  1 1 0 13 0 1 1 0 0 1 1 0 1 1 B> 1 0 15 0 13
   527     7  1 1 0 13 0 1 1 0 0 1 1 0 1 1 0 B> 0 15 0 13
   528     6  1 1 0 13 0 1 1 0 0 1 1 0 1 1 0 <C 16 0 13
   529     5  1 1 0 13 0 1 1 0 0 1 1 0 1 1 <A 0 16 0 13
   530     4  1 1 0 13 0 1 1 0 0 1 1 0 1 <E 1 0 16 0 13
   531     3  1 1 0 13 0 1 1 0 0 1 1 0 <B 1 1 0 16 0 13
   532     2  1 1 0 13 0 1 1 0 0 1 1 <C 13 0 16 0 13
   533     1  1 1 0 13 0 1 1 0 0 1 <D 0 13 0 16 0 13
   534     0  1 1 0 13 0 1 1 0 0 <C 1 0 13 0 16 0 13
   535    -1  1 1 0 13 0 1 1 0 <A 0 1 0 13 0 16 0 13
   536     0  1 1 0 13 0 13 B> 0 1 0 13 0 16 0 13
   537    -1  1 1 0 13 0 13 <C 1 1 0 13 0 16 0 13
   538    -2  1 1 0 13 0 1 1 <D 0 1 1 0 13 0 16 0 13
   539    -3  1 1 0 13 0 1 <C 1 0 1 1 0 13 0 16 0 13
   540    -4  1 1 0 13 0 <D 0 1 0 1 1 0 13 0 16 0 13
   541    -3  1 1 0 14 A> 0 1 0 1 1 0 13 0 16 0 13
   542    -2  1 1 0 15 B> 1 0 1 1 0 13 0 16 0 13
   543    -1  1 1 0 15 0 B> 0 1 1 0 13 0 16 0 13
   544    -2  1 1 0 15 0 <C 13 0 13 0 16 0 13
   545    -3  1 1 0 15 <A 0 13 0 13 0 16 0 13
   546    -4  1 1 0 14 <E 1 0 13 0 13 0 16 0 13
   547    -5  1 1 0 13 <B 1 1 0 13 0 13 0 16 0 13
   548    -4  1 1 0 1 1 0 B> 1 1 0 13 0 13 0 16 0 13
+  550    -2  1 1 0 1 1 03 B> 0 13 0 13 0 16 0 13
   551    -3  1 1 0 1 1 03 <C 14 0 13 0 16 0 13
   552    -4  1 1 0 1 1 0 0 <A 0 14 0 13 0 16 0 13
   553    -3  1 1 0 1 1 0 1 B> 0 14 0 13 0 16 0 13
   554    -4  1 1 0 1 1 0 1 <C 15 0 13 0 16 0 13
   555    -5  1 1 0 1 1 0 <D 0 15 0 13 0 16 0 13
   556    -4  1 1 0 13 A> 0 15 0 13 0 16 0 13
   557    -3  1 1 0 14 B> 15 0 13 0 16 0 13
+  562     2  1 1 0 14 05 B> 0 13 0 16 0 13
   563     1  1 1 0 14 05 <C 14 0 16 0 13
   564     0  1 1 0 14 04 <A 0 14 0 16 0 13
   565     1  1 1 0 14 03 1 B> 0 14 0 16 0 13
   566     0  1 1 0 14 03 1 <C 15 0 16 0 13
   567    -1  1 1 0 14 03 <D 0 15 0 16 0 13
   568     0  1 1 0 14 0 0 1 A> 0 15 0 16 0 13
   569     1  1 1 0 14 0 0 1 1 B> 15 0 16 0 13
+  574     6  1 1 0 14 0 0 1 1 05 B> 0 16 0 13
   575     5  1 1 0 14 0 0 1 1 05 <C 17 0 13
   576     4  1 1 0 14 0 0 1 1 04 <A 0 17 0 13
   577     5  1 1 0 14 0 0 1 1 03 1 B> 0 17 0 13
   578     4  1 1 0 14 0 0 1 1 03 1 <C 18 0 13
   579     3  1 1 0 14 0 0 1 1 03 <D 0 18 0 13
   580     4  1 1 0 14 0 0 1 1 0 0 1 A> 0 18 0 13
   581     5  1 1 0 14 0 0 1 1 0 0 1 1 B> 18 0 13
+  589    13  1 1 0 14 0 0 1 1 0 0 1 1 08 B> 0 13
   590    12  1 1 0 14 0 0 1 1 0 0 1 1 08 <C 14
   591    11  1 1 0 14 0 0 1 1 0 0 1 1 07 <A 0 14
   592    12  1 1 0 14 0 0 1 1 0 0 1 1 06 1 B> 0 14
   593    11  1 1 0 14 0 0 1 1 0 0 1 1 06 1 <C 15
   594    10  1 1 0 14 0 0 1 1 0 0 1 1 06 <D 0 15
   595    11  1 1 0 14 0 0 1 1 0 0 1 1 05 1 A> 0 15
   596    12  1 1 0 14 0 0 1 1 0 0 1 1 05 1 1 B> 15
+  601    17  1 1 0 14 0 0 1 1 0 0 1 1 05 1 1 05 B>
   602    16  1 1 0 14 0 0 1 1 0 0 1 1 05 1 1 05 <C 1
   603    15  1 1 0 14 0 0 1 1 0 0 1 1 05 1 1 04 <A 0 1
   604    16  1 1 0 14 0 0 1 1 0 0 1 1 05 1 1 03 1 B> 0 1
   605    15  1 1 0 14 0 0 1 1 0 0 1 1 05 1 1 03 1 <C 1 1
   606    14  1 1 0 14 0 0 1 1 0 0 1 1 05 1 1 03 <D 0 1 1

After 606 steps (500 lines): state = D.
Produced     14 ones.
Tape index 14, scanned [-10 .. 17].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 110 95 15 0 8
B 277 110 167 1 5
C 133 61 72 7 2
D 71 48 23 3 45
E 15   15   9
Execution statistics 

The same TM just simple.

The same TM with repetitions reduced.

The same TM as 7-bck-22-macro machine.

The same TM as 7-bck-22-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.

Tue Jul 6 22:14:28 CEST 2010