3-state 4-symbol #i (T.J. & S. Ligocki)

Comment: This TM produces >3.7x10^6518 nonzeros in >5.2x10^13036 steps.
Comment: This is the currently best known 3x4 TM

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $

The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0
     1    1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
     2    0 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
     3    1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
     4    0 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
     5   -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .002
     6   -2 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0202
     7   -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1202
     8   -2 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
+   10    0 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3302   by C/1 * 2
    11    1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3332
    12    0 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3331
+   15   -3 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . .01111   by C/3 * 3
    16   -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . .31111
    17   -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . .30111
    18   -4 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . 010111
    19   -5 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .0210111
    20   -4 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .1210111
    21   -5 C . . . . . . . . . . . . . . . . . . . . . . . . . . . .1110111
+   24   -2 C . . . . . . . . . . . . . . . . . . . . . . . . . . . .3330111   by C/1 * 3
    25   -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .3333111
    26   -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .3333011
+   30   -6 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 01111011   by B/3 * 4
    31   -7 A . . . . . . . . . . . . . . . . . . . . . . . . . . .021111011
    32   -6 B . . . . . . . . . . . . . . . . . . . . . . . . . . .121111011
    33   -7 C . . . . . . . . . . . . . . . . . . . . . . . . . . .111111011
+   39   -1 C . . . . . . . . . . . . . . . . . . . . . . . . . . .333333011   by C/1 * 6
    40    0 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333333311
    41   -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333333301
+   48   -8 B . . . . . . . . . . . . . . . . . . . . . . . . . . 0111111101   by B/3 * 7
    49   -9 A . . . . . . . . . . . . . . . . . . . . . . . . . .02111111101
    50   -8 B . . . . . . . . . . . . . . . . . . . . . . . . . .12111111101
    51   -9 C . . . . . . . . . . . . . . . . . . . . . . . . . .11111111101
+   60    0 C . . . . . . . . . . . . . . . . . . . . . . . . . .33333333301   by C/1 * 9
    61    1 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333333331
    62    0 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333333330
+   72  -10 B . . . . . . . . . . . . . . . . . . . . . . . . . 011111111110   by B/3 * 10
    73  -11 A . . . . . . . . . . . . . . . . . . . . . . . . .0211111111110
    74  -10 B . . . . . . . . . . . . . . . . . . . . . . . . .1211111111110
    75  -11 C . . . . . . . . . . . . . . . . . . . . . . . . .1111111111110
+   87    1 C . . . . . . . . . . . . . . . . . . . . . . . . .3333333333330   by C/1 * 12
    88    2 B . . . . . . . . . . . . . . . . . . . . . . . . .33333333333330
    89    1 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
+  102  -12 A . . . . . . . . . . . . . . . . . . . . . . . . 033333333333332  by A/3 * 13
   103  -11 B . . . . . . . . . . . . . . . . . . . . . . . . 133333333333332
   104  -12 B . . . . . . . . . . . . . . . . . . . . . . . . 113333333333332
   105  -13 B . . . . . . . . . . . . . . . . . . . . . . . .0013333333333332
   106  -14 A . . . . . . . . . . . . . . . . . . . . . . . 02013333333333332
   107  -13 B . . . . . . . . . . . . . . . . . . . . . . . 12013333333333332
   108  -14 C . . . . . . . . . . . . . . . . . . . . . . . 11013333333333332
+  110  -12 C . . . . . . . . . . . . . . . . . . . . . . . 33013333333333332  by C/1 * 2
   111  -11 B . . . . . . . . . . . . . . . . . . . . . . . 33313333333333332
   112  -12 B . . . . . . . . . . . . . . . . . . . . . . . 33303333333333332
+  115  -15 B . . . . . . . . . . . . . . . . . . . . . . .011103333333333332  by B/3 * 3
   116  -16 A . . . . . . . . . . . . . . . . . . . . . . 0211103333333333332
   117  -15 B . . . . . . . . . . . . . . . . . . . . . . 1211103333333333332
   118  -16 C . . . . . . . . . . . . . . . . . . . . . . 1111103333333333332
+  123  -11 C . . . . . . . . . . . . . . . . . . . . . . 3333303333333333332  by C/1 * 5
   124  -10 B . . . . . . . . . . . . . . . . . . . . . . 3333333333333333332
+  131  -17 B . . . . . . . . . . . . . . . . . . . . . .01111111333333333332  by B/3 * 7
   132  -18 A . . . . . . . . . . . . . . . . . . . . . 021111111333333333332
   133  -17 B . . . . . . . . . . . . . . . . . . . . . 121111111333333333332
   134  -18 C . . . . . . . . . . . . . . . . . . . . . 111111111333333333332
+  143   -9 C . . . . . . . . . . . . . . . . . . . . . 333333333333333333332  by C/1 * 9
+  153  -19 C . . . . . . . . . . . . . . . . . . . . .0111111111133333333332  by C/3 * 10
   154  -18 B . . . . . . . . . . . . . . . . . . . . .3111111111133333333332
   155  -19 B . . . . . . . . . . . . . . . . . . . . .3011111111133333333332
   156  -20 B . . . . . . . . . . . . . . . . . . . . 01011111111133333333332
   157  -21 A . . . . . . . . . . . . . . . . . . . .021011111111133333333332
   158  -20 B . . . . . . . . . . . . . . . . . . . .121011111111133333333332
   159  -21 C . . . . . . . . . . . . . . . . . . . .111011111111133333333332
+  162  -18 C . . . . . . . . . . . . . . . . . . . .333011111111133333333332  by C/1 * 3
   163  -17 B . . . . . . . . . . . . . . . . . . . .333311111111133333333332
   164  -18 B . . . . . . . . . . . . . . . . . . . .333301111111133333333332
+  168  -22 B . . . . . . . . . . . . . . . . . . . 0111101111111133333333332  by B/3 * 4
   169  -23 A . . . . . . . . . . . . . . . . . . .02111101111111133333333332
   170  -22 B . . . . . . . . . . . . . . . . . . .12111101111111133333333332
   171  -23 C . . . . . . . . . . . . . . . . . . .11111101111111133333333332
+  177  -17 C . . . . . . . . . . . . . . . . . . .33333301111111133333333332  by C/1 * 6
   178  -16 B . . . . . . . . . . . . . . . . . . .33333331111111133333333332
   179  -17 B . . . . . . . . . . . . . . . . . . .33333330111111133333333332
+  186  -24 B . . . . . . . . . . . . . . . . . . 011111110111111133333333332  by B/3 * 7
   187  -25 A . . . . . . . . . . . . . . . . . .0211111110111111133333333332
   188  -24 B . . . . . . . . . . . . . . . . . .1211111110111111133333333332
   189  -25 C . . . . . . . . . . . . . . . . . .1111111110111111133333333332
+  198  -16 C . . . . . . . . . . . . . . . . . .3333333330111111133333333332  by C/1 * 9
   199  -15 B . . . . . . . . . . . . . . . . . .3333333333111111133333333332
   200  -16 B . . . . . . . . . . . . . . . . . .3333333333011111133333333332
+  210  -26 B . . . . . . . . . . . . . . . . . 01111111111011111133333333332  by B/3 * 10
   211  -27 A . . . . . . . . . . . . . . . . .021111111111011111133333333332
   212  -26 B . . . . . . . . . . . . . . . . .121111111111011111133333333332
   213  -27 C . . . . . . . . . . . . . . . . .111111111111011111133333333332
+  225  -15 C . . . . . . . . . . . . . . . . .333333333333011111133333333332  by C/1 * 12
   226  -14 B . . . . . . . . . . . . . . . . .333333333333311111133333333332
   227  -15 B . . . . . . . . . . . . . . . . .333333333333301111133333333332
+  240  -28 B . . . . . . . . . . . . . . . . 0111111111111101111133333333332  by B/3 * 13
   241  -29 A . . . . . . . . . . . . . . . .02111111111111101111133333333332
   242  -28 B . . . . . . . . . . . . . . . .12111111111111101111133333333332
   243  -29 C . . . . . . . . . . . . . . . .11111111111111101111133333333332
+  258  -14 C . . . . . . . . . . . . . . . .33333333333333301111133333333332  by C/1 * 15
   259  -13 B . . . . . . . . . . . . . . . .33333333333333331111133333333332
   260  -14 B . . . . . . . . . . . . . . . .33333333333333330111133333333332
+  276  -30 B . . . . . . . . . . . . . . . 011111111111111110111133333333332  by B/3 * 16
   277  -31 A . . . . . . . . . . . . . . .0211111111111111110111133333333332
   278  -30 B . . . . . . . . . . . . . . .1211111111111111110111133333333332
   279  -31 C . . . . . . . . . . . . . . .1111111111111111110111133333333332
+  297  -13 C . . . . . . . . . . . . . . .3333333333333333330111133333333332  by C/1 * 18
   298  -12 B . . . . . . . . . . . . . . .3333333333333333333111133333333332
   299  -13 B . . . . . . . . . . . . . . .3333333333333333333011133333333332
+  318  -32 B . . . . . . . . . . . . . . 01111111111111111111011133333333332  by B/3 * 19
   319  -33 A . . . . . . . . . . . . . .021111111111111111111011133333333332
   320  -32 B . . . . . . . . . . . . . .121111111111111111111011133333333332
   321  -33 C . . . . . . . . . . . . . .111111111111111111111011133333333332
+  342  -12 C . . . . . . . . . . . . . .333333333333333333333011133333333332  by C/1 * 21
   343  -11 B . . . . . . . . . . . . . .333333333333333333333311133333333332
   344  -12 B . . . . . . . . . . . . . .333333333333333333333301133333333332
+  366  -34 B . . . . . . . . . . . . . 0111111111111111111111101133333333332  by B/3 * 22
   367  -35 A . . . . . . . . . . . . .02111111111111111111111101133333333332
   368  -34 B . . . . . . . . . . . . .12111111111111111111111101133333333332
   369  -35 C . . . . . . . . . . . . .11111111111111111111111101133333333332
+  393  -11 C . . . . . . . . . . . . .33333333333333333333333301133333333332  by C/1 * 24
   394  -10 B . . . . . . . . . . . . .33333333333333333333333331133333333332
   395  -11 B . . . . . . . . . . . . .33333333333333333333333330133333333332
+  420  -36 B . . . . . . . . . . . . 011111111111111111111111110133333333332  by B/3 * 25
   421  -37 A . . . . . . . . . . . .0211111111111111111111111110133333333332
   422  -36 B . . . . . . . . . . . .1211111111111111111111111110133333333332
   423  -37 C . . . . . . . . . . . .1111111111111111111111111110133333333332
+  450  -10 C . . . . . . . . . . . .3333333333333333333333333330133333333332  by C/1 * 27
   451   -9 B . . . . . . . . . . . .3333333333333333333333333333133333333332
   452  -10 B . . . . . . . . . . . .3333333333333333333333333333033333333332
+  480  -38 B . . . . . . . . . . . 01111111111111111111111111111033333333332  by B/3 * 28
   481  -39 A . . . . . . . . . . .021111111111111111111111111111033333333332
   482  -38 B . . . . . . . . . . .121111111111111111111111111111033333333332
   483  -39 C . . . . . . . . . . .111111111111111111111111111111033333333332
+  513   -9 C . . . . . . . . . . .333333333333333333333333333333033333333332  by C/1 * 30
   514   -8 B . . . . . . . . . . .333333333333333333333333333333333333333332
+  546  -40 B . . . . . . . . . . 0111111111111111111111111111111113333333332  by B/3 * 32
   547  -41 A . . . . . . . . . .02111111111111111111111111111111113333333332
   548  -40 B . . . . . . . . . .12111111111111111111111111111111113333333332
   549  -41 C . . . . . . . . . .11111111111111111111111111111111113333333332
+  583   -7 C . . . . . . . . . .33333333333333333333333333333333333333333332  by C/1 * 34
+  618  -42 C . . . . . . . . . 011111111111111111111111111111111111333333332  by C/3 * 35
   619  -41 B . . . . . . . . . 311111111111111111111111111111111111333333332
   620  -42 B . . . . . . . . . 301111111111111111111111111111111111333333332
   621  -43 B . . . . . . . . .0101111111111111111111111111111111111333333332
   622  -44 A . . . . . . . . 02101111111111111111111111111111111111333333332
   623  -43 B . . . . . . . . 12101111111111111111111111111111111111333333332
   624  -44 C . . . . . . . . 11101111111111111111111111111111111111333333332
+  627  -41 C . . . . . . . . 33301111111111111111111111111111111111333333332  by C/1 * 3
   628  -40 B . . . . . . . . 33331111111111111111111111111111111111333333332
   629  -41 B . . . . . . . . 33330111111111111111111111111111111111333333332
+  633  -45 B . . . . . . . .011110111111111111111111111111111111111333333332  by B/3 * 4
   634  -46 A . . . . . . . 0211110111111111111111111111111111111111333333332
   635  -45 B . . . . . . . 1211110111111111111111111111111111111111333333332
   636  -46 C . . . . . . . 1111110111111111111111111111111111111111333333332
+  642  -40 C . . . . . . . 3333330111111111111111111111111111111111333333332  by C/1 * 6
   643  -39 B . . . . . . . 3333333111111111111111111111111111111111333333332
   644  -40 B . . . . . . . 3333333011111111111111111111111111111111333333332
+  651  -47 B . . . . . . .01111111011111111111111111111111111111111333333332  by B/3 * 7
   652  -48 A . . . . . . 021111111011111111111111111111111111111111333333332
   653  -47 B . . . . . . 121111111011111111111111111111111111111111333333332
   654  -48 C . . . . . . 111111111011111111111111111111111111111111333333332
+  663  -39 C . . . . . . 333333333011111111111111111111111111111111333333332  by C/1 * 9
   664  -38 B . . . . . . 333333333311111111111111111111111111111111333333332
   665  -39 B . . . . . . 333333333301111111111111111111111111111111333333332
+  675  -49 B . . . . . .0111111111101111111111111111111111111111111333333332  by B/3 * 10
   676  -50 A . . . . . 02111111111101111111111111111111111111111111333333332
   677  -49 B . . . . . 12111111111101111111111111111111111111111111333333332
   678  -50 C . . . . . 11111111111101111111111111111111111111111111333333332
+  690  -38 C . . . . . 33333333333301111111111111111111111111111111333333332  by C/1 * 12
   691  -37 B . . . . . 33333333333331111111111111111111111111111111333333332
   692  -38 B . . . . . 33333333333330111111111111111111111111111111333333332
+  705  -51 B . . . . .011111111111110111111111111111111111111111111333333332  by B/3 * 13
   706  -52 A . . . . 0211111111111110111111111111111111111111111111333333332
   707  -51 B . . . . 1211111111111110111111111111111111111111111111333333332
   708  -52 C . . . . 1111111111111110111111111111111111111111111111333333332
+  723  -37 C . . . . 3333333333333330111111111111111111111111111111333333332  by C/1 * 15
   724  -36 B . . . . 3333333333333333111111111111111111111111111111333333332
   725  -37 B . . . . 3333333333333333011111111111111111111111111111333333332
+  741  -53 B . . . .01111111111111111011111111111111111111111111111333333332  by B/3 * 16
   742  -54 A . . . 021111111111111111011111111111111111111111111111333333332
   743  -53 B . . . 121111111111111111011111111111111111111111111111333333332
   744  -54 C . . . 111111111111111111011111111111111111111111111111333333332
+  762  -36 C . . . 333333333333333333011111111111111111111111111111333333332  by C/1 * 18
   763  -35 B . . . 333333333333333333311111111111111111111111111111333333332
   764  -36 B . . . 333333333333333333301111111111111111111111111111333333332
+  783  -55 B . . .0111111111111111111101111111111111111111111111111333333332  by B/3 * 19
   784  -56 A . . 02111111111111111111101111111111111111111111111111333333332
   785  -55 B . . 12111111111111111111101111111111111111111111111111333333332
   786  -56 C . . 11111111111111111111101111111111111111111111111111333333332
+  807  -35 C . . 33333333333333333333301111111111111111111111111111333333332  by C/1 * 21
   808  -34 B . . 33333333333333333333331111111111111111111111111111333333332
   809  -35 B . . 33333333333333333333330111111111111111111111111111333333332
+  831  -57 B . .011111111111111111111110111111111111111111111111111333333332  by B/3 * 22
   832  -58 A . 0211111111111111111111110111111111111111111111111111333333332
   833  -57 B . 1211111111111111111111110111111111111111111111111111333333332
   834  -58 C . 1111111111111111111111110111111111111111111111111111333333332
+  858  -34 C . 3333333333333333333333330111111111111111111111111111333333332  by C/1 * 24
   859  -33 B . 3333333333333333333333333111111111111111111111111111333333332
   860  -34 B . 3333333333333333333333333011111111111111111111111111333333332
+  885  -59 B .01111111111111111111111111011111111111111111111111111333333332  by B/3 * 25

After 885 steps (201 lines): state = B.
Produced     60 nonzeros.
Tape index -59, scanned [-58 .. 2].