4-Tuple BB7 #3 of Machado/Pereira

Comment: This TM produces 164 ones in 23197 steps.

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

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

  Step Tpos St Tape contents
     0    0 1 . . . 0
     1    0 2 . . . 1
     2    1 3 . . . 10
     3    2 6 . . . 100
     4    2 5 . . . 100
     5    2 1 . . . 101
     6    1 7 . . . 101
     7    2 4 . . . 101
     8    3 4 . . . 1010
     9    4 2 . . . 10100
    10    4 7 . . . 10101
    11    3 5 . . . 10101
    12    3 1 . . . 10111
    13    2 7 . . . 10111
    14    1 5 . . . 10111
    15    1 1 . . . 11111
    16    0 7 . . . 11111
    17   -1 5 . . .011111
    18   -1 1 . . .111111
    19   -2 7 . . 0111111
    20   -1 4 . . 0111111
    21    0 4 . . 0111111
    22    1 4 . . 0111111
    23    2 4 . . 0111111
    24    3 4 . . 0111111
    25    4 4 . . 0111111
    26    5 4 . . 01111110
    27    6 2 . . 011111100
    28    6 7 . . 011111101
    29    5 5 . . 011111101
    30    5 1 . . 011111111
    31    4 7 . . 011111111
    32    3 5 . . 011111111
    33    2 3 . . 011111111
    34    2 4 . . 011101111
    35    3 2 . . 011101111
    36    4 3 . . 011101111
    37    4 4 . . 011101011
    38    5 2 . . 011101011
    39    6 3 . . 011101011
    40    6 4 . . 011101010
    41    7 2 . . 0111010100
    42    7 7 . . 0111010101
    43    6 5 . . 0111010101
    44    6 1 . . 0111010111
    45    5 7 . . 0111010111
    46    4 5 . . 0111010111
    47    4 1 . . 0111011111
    48    3 7 . . 0111011111
    49    2 5 . . 0111011111
    50    2 1 . . 0111111111
    51    1 7 . . 0111111111
    52    0 5 . . 0111111111
    53   -1 3 . . 0111111111
    54   -1 4 . . 0011111111
    55    0 2 . . 0011111111
    56    1 3 . . 0011111111
    57    1 4 . . 0010111111
    58    2 2 . . 0010111111
    59    3 3 . . 0010111111
    60    3 4 . . 0010101111
    61    4 2 . . 0010101111
    62    5 3 . . 0010101111
    63    5 4 . . 0010101011
    64    6 2 . . 0010101011
    65    7 3 . . 0010101011
    66    7 4 . . 0010101010
    67    8 2 . . 00101010100
    68    8 7 . . 00101010101
    69    7 5 . . 00101010101
    70    7 1 . . 00101010111
    71    6 7 . . 00101010111
    72    5 5 . . 00101010111
    73    5 1 . . 00101011111
    74    4 7 . . 00101011111
    75    3 5 . . 00101011111
    76    3 1 . . 00101111111
    77    2 7 . . 00101111111
    78    1 5 . . 00101111111
    79    1 1 . . 00111111111
    80    0 7 . . 00111111111
    81   -1 5 . . 00111111111
    82   -1 1 . . 01111111111
    83   -2 7 . . 01111111111
    84   -1 4 . . 01111111111
    85    0 4 . . 01111111111
    86    1 4 . . 01111111111
    87    2 4 . . 01111111111
    88    3 4 . . 01111111111
    89    4 4 . . 01111111111
    90    5 4 . . 01111111111
    91    6 4 . . 01111111111
    92    7 4 . . 01111111111
    93    8 4 . . 01111111111
    94    9 4 . . 011111111110
    95   10 2 . . 0111111111100
    96   10 7 . . 0111111111101
    97    9 5 . . 0111111111101
    98    9 1 . . 0111111111111
    99    8 7 . . 0111111111111
   100    7 5 . . 0111111111111
   101    6 3 . . 0111111111111
   102    6 4 . . 0111111101111
   103    7 2 . . 0111111101111
   104    8 3 . . 0111111101111
   105    8 4 . . 0111111101011
   106    9 2 . . 0111111101011
   107   10 3 . . 0111111101011
   108   10 4 . . 0111111101010
   109   11 2 . . 01111111010100
   110   11 7 . . 01111111010101
+  120    4 5 . . 01111111111111
+  130    9 3 . . 01111010101111
+  140    9 5 . . 011110101010111
+  150    3 1 . . 011111111111111
+  160    4 4 . . 010101011111111
+  170   11 2 . . 010101010101011
+  180    9 7 . . 0101010101011111
+  190    2 5 . . 0101011111111111
+  200   -1 4 . .01111111111111111
+  210    9 4 . .01111111111111111
+  220   13 7 . .0111111111111111111
+  230   16 2 . .01111111111111010100
+  240   10 7 . .01111111111111111111
+  250   13 2 . .01111111111010101111
+  260   15 7 . .011111111110101010111
+  270    8 5 . .011111111110111111111
+  280    9 3 . .011111110101111111111
+  290   15 4 . .011111110101010101011
+  300   15 1 . .0111111101010101011111
+  310    8 7 . .0111111101011111111111
+  320    3 2 . .0111101111111111111111
+  330   10 3 . .0111101010101111111111
+  340   16 4 . .0111101010101010101011
+  350   16 1 . .01111010101010101011111
+  360    9 7 . .01111010101011111111111
+  370    2 5 . .01111011111111111111111
+  380    3 3 . .01010111111111111111111
+  390    9 4 . .01010101010101111111111
+  400   16 2 . .01010101010101010101111
+  410   18 7 . .010101010101010101010111
+  420   11 5 . .010101010101010111111111
+  430    5 1 . .010101011111111111111111
+  440   -2 7 . .011111111111111111111111
+  450    3 4 . 0111111111111111111111111
+  550   24 1 . 011111111111111101010101010111
+  650   21 2 . 0111111111010101010101010111111
+  750   17 5 . 011111101010101010101011111111111
+  850    9 7 . 0111010101010111111111111111111111
+  950    9 1 . 00101010101011111111111111111111111
+ 1050   31 5 . 011111111111111111111111111110101010111
+ 1150   25 5 . 01111111111111111111111010101011111111111
+ 1250   25 4 . 011111111111111110101010101010111111111111
+ 1350   36 3 . 0111111111111101010101010101010101010101111
+ 1450   38 2 . 01111111111010101010101010101010101010101011
+ 1550   32 4 . 011111110101010101010101010101010101011111111
+ 1650   19 3 . 0111101010101010101010111111111111111111111111
+ 1750   -1 5 . 01111111111111111111111111111111111111111111111
+ 1850   23 7 . 010101010101010101010101010111111111111111111111
+ 1950   42 2 .011111111111111111111111111111111111111111111101111
+ 2050   36 3 .011111111111111111111111111111111111101011111111111111
+ 2250   24 2 .011111111111111111111111111101111111111111111111111111111
+ 2450   21 3 .01111111111111111111110101111111111111111111111111111111111
+ 2650   37 7 .0111111111111111111010101010101010101010101111111111111111111
+ 2850   22 4 .01111111111110101010101010101111111111111111111111111111111111
+ 3050   51 4 .011111111101010101010101010101010101010101010101010101010111111
+ 3250   46 5 .01111110101010101010101010101010101010101010101010101111111111111
+ 3450   35 5 .011101010101010101010101010101010101010101111111111111111111111111
+ 3650   32 5 .0010101010101010101010101010101010101011111111111111111111111111111
+ 3850   65 3 .01111111111111111111111111111111111111111111111111111111110101010101011
+ 4050   62 1 .011111111111111111111111111111111111111111111111101010101010101010111111111
+ 4250   53 7 .01111111111111111111111111111111111111111110101010101010101111111111111111111
+ 4450   70 4 .011111111111111111111111111111111111101010101010101010101010101010101010101011
+ 4650   33 5 .01111111111111111111111111111111110101011111111111111111111111111111111111111111
+ 4850   48 2 .011111111111111111111111111101010101010101010101010101111111111111111111111111111
+ 5050   69 2 .0111111111111111111111111010101010101010101010101010101010101010101010101011111111
+ 5250   75 1 .011111111111111111111101010101010101010101010101010101010101010101010101010101011111
+ 5450   72 1 .0111111111111111111010101010101010101010101010101010101010101010101010101010111111111
+ 5650   77 1 .01111111111111110101010101010101010101010101010101010101010101010101010101010101011111
+ 5850   73 2 .01111111111110101010101010101010101010101010101010101010101010101010101010101011111111
+ 6050   54 2 .011111111101010101010101010101010101010101010101010101010101111111111111111111111111111
+ 6250   27 2 .0111111010101010101010101010101011111111111111111111111111111111111111111111111111111111
+ 6450    6 5 .01111110101011111111111111111111111111111111111111111111111111111111111111111111111111111
+ 6650   43 5 .011101010101010101010101010101010101010101010101011111111111111111111111111111111111111111
+ 6850   82 4 .001010101010101010101010101010101010101010101010101010101010101010101010101010101010101011
+ 7050   55 4 .0111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+ 7250   77 4 .0111111111111111111111111111111111111111111111111111111111111111111111111111010101011111111111111
+ 7450   83 1 .0111111111111111111111111111111111111111111111111111111111111111111111010101010101010101111111111111
+ 7650   90 7 .011111111111111111111111111111111111111111111111111111111111111101010101010101010101010101010101111111
+ 7850   67 4 .0111111111111111111111111111111111111111111111111111111111010101010101010111111111111111111111111111111
+ 8050   94 5 .011111111111111111111111111111111111111111111111111111101010101010101010101010101010101010101010101011111
+ 8250   67 5 .0111111111111111111111111111111111111111111111111111010101010101010101010111111111111111111111111111111111
+ 8450   48 5 .01111111111111111111111111111111111111111111111110101011111111111111111111111111111111111111111111111111111
+ 8650   39 2 .011111111111111111111111111111111111111111101111111111111111111111111111111111111111111111111111111111111111
+ 8850   36 2 .0111111111111111111111111111111111111111011111111111111111111111111111111111111111111111111111111111111111111
+ 9050   39 5 .01111111111111111111111111111111111111110101011111111111111111111111111111111111111111111111111111111111111111
+ 9250   52 5 .011111111111111111111111111111111111101010101010101010101011111111111111111111111111111111111111111111111111111
+ 9450   73 5 .0111111111111111111111111111111111010101010101010101010101010101010101010101010111111111111111111111111111111111
+ 9650  102 5 .01111111111111111111111111111110101010101010101010101010101010101010101010101010101010101010101010101010101011111
+ 9850   77 4 .01111111111111111111111111110101010101010101010101010101010101010101010101010101010111111111111111111111111111111
+10050   34 4 .011111111111111111111111101010101010101011111111111111111111111111111111111111111111111111111111111111111111111111
+10250   51 7 .0111111111111111111111111010101010101010101010101010101011111111111111111111111111111111111111111111111111111111111
+10450  104 7 .01111111111111111111110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101111111
+10650   58 3 .01111111111111111110101010101010101010101010101010101010101010111111111111111111111111111111111111111111111111111111
+10850   32 1 .011111111111111111101010101010101010111111111111111111111111111111111111111111111111111111111111111111111111111111111
+11050  101 1 .0111111111111111010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101111111111111
+11250   49 2 .0111111111111010101010101010101010101010101010101010101111111111111111111111111111111111111111111111111111111111111111
+11450   44 5 .01111111111110101010101010101010101010101010101010111111111111111111111111111111111111111111111111111111111111111111111
+11650   99 4 .01111111110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101011111111111111
+11850    8 4 .011111101010101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+12050   89 7 .0111111010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111111111111
+12250   43 3 .0111010101010101010101010101010101010101010101011111111111111111111111111111111111111111111111111111111111111111111111111
+12450   57 1 .01110101010101010101010101010101010101010101010101010101010101111111111111111111111111111111111111111111111111111111111111
+12650   69 2 .00101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111111111111111111111111111111111
+12850   32 5 .001010101010101010101010101010101010101111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+13050  117 1 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111011111
+13250  105 1 .0111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111110111111111111111111111
+13450  108 4 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111010101010101010111111111111111111
+13650   89 2 .01111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111101111111111111111111111111111111111111111
+13850  127 1 .0111111111111111111111111111111111111111111111111111111111111111111111111111111111111111110101010101010101010101010101010101010101011111
+14050   92 1 .01111111111111111111111111111111111111111111111111111111111111111111111111111111111111101010101011111111111111111111111111111111111111111
+14250   88 3 .011111111111111111111111111111111111111111111111111111111111111111111111111111111010101010101111111111111111111111111111111111111111111111
+14450  101 3 .0111111111111111111111111111111111111111111111111111111111111111111111111111110101010101010101010101010101111111111111111111111111111111111
+14650  106 3 .01111111111111111111111111111111111111111111111111111111111111111111111111101010101010101010101010101010101010111111111111111111111111111111
+14850  103 3 .011111111111111111111111111111111111111111111111111111111111111111111111010101010101010101010101010101010101111111111111111111111111111111111
+15050   92 3 .0111111111111111111111111111111111111111111111111111111111111111111110101010101010101010101010101111111111111111111111111111111111111111111111
+15250   73 3 .01111111111111111111111111111111111111111111111111111111111111111101010101010111111111111111111111111111111111111111111111111111111111111111111
+15450   71 1 .011111111111111111111111111111111111111111111111111111111111111111010101010111111111111111111111111111111111111111111111111111111111111111111111
+15650  100 1 .0111111111111111111111111111111111111111111111111111111111111110101010101010101010101010101010101010101011111111111111111111111111111111111111111
+15850  137 1 .01111111111111111111111111111111111111111111111111111111111101010101010101010101010101010101010101010101010101010101010101010101010101010101011111
+16050  101 2 .01111111111111111111111111111111111111111111111111111111101010101010101010101010101010101010101010101010101111111111111111111111111111111111111111
+16250   50 2 .011111111111111111111111111111111111111111111111111111011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+16450  101 5 .0111111111111111111111111111111111111111111111111111110101010101010101010101010101010101010101010101010101011111111111111111111111111111111111111111
+16650  124 4 .0111111111111111111111111111111111111111111111111110101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111
+16850   57 4 .01111111111111111111111111111111111111111111111101010101010101011111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+17050   98 7 .011111111111111111111111111111111111111111111111010101010101010101010101010101010101010101010101010101011111111111111111111111111111111111111111111111
+17250  116 3 .011111111111111111111111111111111111111111111010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111111111111111
+17450   42 1 .0111111111111111111111111111111111111111111110111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+17650  127 1 .01111111111111111111111111111111111111111101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111111
+17850   75 2 .01111111111111111111111111111111111111101010101010101010101010101010101010101010111111111111111111111111111111111111111111111111111111111111111111111111
+18050   86 5 .011111111111111111111111111111111111111010101010101010101010101010101010101010101010101010101111111111111111111111111111111111111111111111111111111111111
+18250  109 4 .011111111111111111111111111111111111010101010101010101010101010101010101010101010101010101010101010101010101010101011111111111111111111111111111111111111
+18450   54 7 .0111111111111111111111111111111111110101010101010101010101011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+18650  136 3 .0111111111111111111111111111111110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101011111111111111
+18850   30 1 .01111111111111111111111111111111101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+19050  147 1 .011111111111111111111111111111010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101011111
+19250   31 2 .011111111111111111111111111010101010111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+19450  138 5 .0111111111111111111111111110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101111111111111
+19650   33 4 .0111111111111111111111110101010101010101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+19850  138 7 .01111111111111111111111101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111
+20050   28 3 .01111111111111111111101010101010111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+20250  146 1 .011111111111111111111010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111
+20450   14 2 .011111111111111111011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+20650  147 4 .011111111111111111010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111
+20850   28 7 .0111111111111111110101010101010101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+21050  126 3 .0111111111111110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111111111111111
+21250   52 1 .01111111111111101010101010101010101010101010101010101010111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+21450   96 2 .01111111111101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111111111111111111111111111111111111111111111
+21650   83 5 .011111111111010101010101010101010101010101010101010101010101010101010101010101010101010101111111111111111111111111111111111111111111111111111111111111111111111111
+21850   58 4 .011111111010101010101010101010101010101010101010101010101010101011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+22050  123 7 .0111111110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101011111111111111111111111111111111111
+22250   13 3 .0111110101010101011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+22450  146 2 .0111110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111
+22650   37 5 .01111101010101010101010101010101010101010101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+22850   92 4 .01101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010111111111111111111111111111111111111111111111111111111111111111111
+23050   93 7 .011010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101111111111111111111111111111111111111111111111111111111111111111111
+23190    0 1 .011011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
 23191   -1 7 .011011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
 23192   -2 5 .011011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
 23193   -2 1 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
 23194   -3 7 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
 23195   -4 5 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
 23196   -5 3 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
 23197   -4 6 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111

After 23197 steps (274 lines): state = 6.
Produced     164 ones.
Tape index -4, scanned [-5 .. 159].