TM #3 from MaBu90-Paper 

Comment: symbol size 80
State on
0		 on
1		 on 0 on 1
Print Move Goto Print Move Goto
A B1L B0R 1 left B 0 right B
B C1R E0L 1 right C 0 left E
C A1L D0R 1 left A 0 right D
D C0R A1R 0 right C 1 right A
E C1L H1L 1 left C 1 left H
Transition table 
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 80-macro machine.
The same TM as 80-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 80.

Symbols are printed by their bracketed index into the symbol table,
which is printed below.

Steps BasSteps BasTpos  Tape contents
    0        0       0  A>
    1        1      -1  <B [1]
    2        2       0  [2] C> [1]
    3       17      -1  [2] <C [3]
    4       18       0  D> [3]
    5       21      -1  <E [4]
    6       28       0  [5] B> [4]
    7       45      -1  [5] <C [6]
    8       62       0  [7] C> [6]
    9      107      -1  [7] <A [8]
   10      110       0  [9] D> [8]
   11      165      -1  [9] <C [10]
   12      194       0  [11] D> [10]
   13      197      -1  [11] <E [12]
   14      204       0  [13] B> [12]
   15      215      -1  [13] <C [14]
   16      250       0  [15] C> [14]
   17      345      -1  [15] <C [16]
   18      350       0  [17] A> [16]
   19      715      -1  [17] <A [18]
   20      716       0  [19] B> [18]
   21      717      -1  [19] <E [20]
   22      730       0  [21] D> [20]
   23     1795      -1  [21] <A [22]
   24     1852       0  [23] A> [22]
   25     1855      -1  [23] <C [24]
   26     1856       0  [25] D> [24]
   27     1859      -1  [25] <E [26]
   28     1866       0  [27] B> [26]
   29     2842      80  [27] [28] A>
   30     2843      79  [27] [28] <B [1]
   31     3295      -1  [27] <C [29] [1]
   32     3448       0  [30] A> [29] [1]
   33     3722      80  [30] [31] A> [1]
   34     3729      79  [30] [31] <A [32]
   35     3730      80  [30] [33] B> [32]
   36     3731      79  [30] [33] <E [34]
   37     3738      80  [30] [35] B> [34]
   38     3759      79  [30] [35] <C [36]
   39     3776      80  [30] [37] C> [36]
   40     3825      79  [30] [37] <C [38]
   41     3936      80  [30] [39] B> [38]
   42     3937      79  [30] [39] <E [40]
   43     3940      80  [30] [41] A> [40]
   44     3941      79  [30] [41] <B [38]
   45     3950      80  [30] [42] C> [38]
   46     4075      79  [30] [42] <A [43]
   47     4076      80  [30] [44] B> [43]
   48     4077      79  [30] [44] <E [45]
   49     4220      80  [30] [46] A> [45]
   50     4221      79  [30] [46] <B [43]
   51     4468      80  [30] [47] C> [43]
   52     4473      79  [30] [47] <C [48]
   53     4604      80  [30] [49] D> [48]
   54     4607      79  [30] [49] <E [50]
   55     4614      80  [30] [51] B> [50]
   56     4641      79  [30] [51] <C [16]
   57     4658      80  [30] [52] C> [16]
   58     5359      79  [30] [52] <C [53]
   59     5690      80  [30] [54] D> [53]
   60     5693      79  [30] [54] <E [55]
   61     5700      80  [30] [56] B> [55]
   62     5711      79  [30] [56] <C [57]
   63     5728      80  [30] [58] C> [57]
   64     6437      79  [30] [58] <C [59]
   65     6462      80  [30] [60] B> [59]
   66     6463      79  [30] [60] <E [61]
   67     6466      80  [30] [62] A> [61]
   68     6467      79  [30] [62] <B [59]
   69     6476      80  [30] [63] C> [59]
   70     6845      79  [30] [63] <A [64]
   71     6846      80  [30] [65] B> [64]
   72     6847      79  [30] [65] <E [66]
   73     6894      80  [30] [67] A> [66]
   74     6895      79  [30] [67] <B [64]
   75     7108      80  [30] [68] D> [64]
   76     7157      79  [30] [68] <C [69]
   77     7162      80  [30] [70] A> [69]
   78     7848     160  [30] [70] [71] A>
   79     7849     159  [30] [70] [71] <B [1]
   80     8270     160  [30] [70] [72] A> [1]
   81     8277     159  [30] [70] [72] <A [32]
   82     8278     160  [30] [70] [73] B> [32]
   83     8279     159  [30] [70] [73] <E [34]
   84     8286     160  [30] [70] [74] B> [34]
   85     8307     159  [30] [70] [74] <C [36]
   86     8324     160  [30] [70] [75] C> [36]
   87     8373     159  [30] [70] [75] <C [38]
   88     8484     160  [30] [70] [76] B> [38]
   89     8485     159  [30] [70] [76] <E [40]
   90     8488     160  [30] [70] [77] A> [40]
   91     8489     159  [30] [70] [77] <B [38]
   92     8498     160  [30] [70] [78] C> [38]
   93     8623     159  [30] [70] [78] <A [43]
   94     8624     160  [30] [70] [79] B> [43]
   95     8625     159  [30] [70] [79] <E [45]
   96     8768     160  [30] [70] [80] A> [45]
   97     8769     159  [30] [70] [80] <B [43]
   98     9290     160  [30] [70] [81] C> [43]
   99     9295     159  [30] [70] [81] <C [48]
  100     9426     160  [30] [70] [82] D> [48]
  101     9429     159  [30] [70] [82] <E [50]
  102     9436     160  [30] [70] [83] B> [50]
  103     9463     159  [30] [70] [83] <C [16]
  104     9480     160  [30] [70] [84] C> [16]
  105    10181     159  [30] [70] [84] <C [53]
  106    10459      79  [30] [70] <A [85] [53]
  107    10460      80  [30] [86] B> [85] [53]
  108    10461      79  [30] [86] <E [87] [53]
  109    10520      80  [30] [88] D> [87] [53]
  110    11022     160  [30] [88] [89] D> [53]
  111    11025     159  [30] [88] [89] <E [55]
  112    11032     160  [30] [88] [90] B> [55]
  113    11043     159  [30] [88] [90] <C [57]
  114    11060     160  [30] [88] [91] C> [57]
  115    11769     159  [30] [88] [91] <C [59]
  116    11794     160  [30] [88] [92] B> [59]
  117    11795     159  [30] [88] [92] <E [61]
  118    11798     160  [30] [88] [93] A> [61]
  119    11799     159  [30] [88] [93] <B [59]
  120    11808     160  [30] [88] [94] C> [59]
  121    12177     159  [30] [88] [94] <A [64]
  122    12178     160  [30] [88] [95] B> [64]
  123    12179     159  [30] [88] [95] <E [66]
  124    12226     160  [30] [88] [96] A> [66]
  125    12227     159  [30] [88] [96] <B [64]
  126    12570     160  [30] [88] [97] D> [64]
  127    12619     159  [30] [88] [97] <C [69]
  128    12624     160  [30] [88] [98] A> [69]
  129    13310     240  [30] [88] [98] [71] A>
  130    13311     239  [30] [88] [98] [71] <B [1]
  131    13732     240  [30] [88] [98] [72] A> [1]
  132    13739     239  [30] [88] [98] [72] <A [32]
  133    13740     240  [30] [88] [98] [73] B> [32]
  134    13741     239  [30] [88] [98] [73] <E [34]
  135    13748     240  [30] [88] [98] [74] B> [34]
  136    13769     239  [30] [88] [98] [74] <C [36]
  137    13786     240  [30] [88] [98] [75] C> [36]
  138    13835     239  [30] [88] [98] [75] <C [38]
  139    13946     240  [30] [88] [98] [76] B> [38]
  140    13947     239  [30] [88] [98] [76] <E [40]
  141    13950     240  [30] [88] [98] [77] A> [40]
  142    13951     239  [30] [88] [98] [77] <B [38]
  143    13960     240  [30] [88] [98] [78] C> [38]
  144    14085     239  [30] [88] [98] [78] <A [43]
  145    14086     240  [30] [88] [98] [79] B> [43]
  146    14087     239  [30] [88] [98] [79] <E [45]
  147    14230     240  [30] [88] [98] [80] A> [45]
  148    14231     239  [30] [88] [98] [80] <B [43]
  149    14752     240  [30] [88] [98] [81] C> [43]
  150    14757     239  [30] [88] [98] [81] <C [48]
  151    14888     240  [30] [88] [98] [82] D> [48]
  152    14891     239  [30] [88] [98] [82] <E [50]
  153    14898     240  [30] [88] [98] [83] B> [50]
  154    14925     239  [30] [88] [98] [83] <C [16]
  155    14942     240  [30] [88] [98] [84] C> [16]
  156    15643     239  [30] [88] [98] [84] <C [53]
  157    15921     159  [30] [88] [98] <A [85] [53]
  158    15922     160  [30] [88] [99] B> [85] [53]
  159    15923     159  [30] [88] [99] <E [87] [53]
  160    15966     160  [30] [88] [100] A> [87] [53]
  161    15967     159  [30] [88] [100] <B [85] [53]
  162    15976     160  [30] [88] [101] C> [85] [53]
  163    15981     159  [30] [88] [101] <C [102] [53]
  164    15982     160  [30] [88] [103] D> [102] [53]
  165    15985     159  [30] [88] [103] <E [104] [53]
  166    16004     160  [30] [88] [105] D> [104] [53]
  167    16053     159  [30] [88] [105] <B [106] [53]
  168    16054     160  [30] [88] [107] C> [106] [53]
  169    16502     240  [30] [88] [107] [108] D> [53]
  170    16505     239  [30] [88] [107] [108] <E [55]
  171    16512     240  [30] [88] [107] [109] B> [55]
  172    16523     239  [30] [88] [107] [109] <C [57]
  173    16540     240  [30] [88] [107] [110] C> [57]
  174    17249     239  [30] [88] [107] [110] <C [59]
  175    17274     240  [30] [88] [107] [111] B> [59]
  176    17275     239  [30] [88] [107] [111] <E [61]
  177    17278     240  [30] [88] [107] [112] A> [61]
  178    17279     239  [30] [88] [107] [112] <B [59]
  179    17288     240  [30] [88] [107] [113] C> [59]
  180    17657     239  [30] [88] [107] [113] <A [64]
  181    17658     240  [30] [88] [107] [114] B> [64]
  182    17659     239  [30] [88] [107] [114] <E [66]
  183    17706     240  [30] [88] [107] [115] A> [66]
  184    17707     239  [30] [88] [107] [115] <B [64]
  185    18050     240  [30] [88] [107] [116] D> [64]
  186    18099     239  [30] [88] [107] [116] <C [69]
  187    18104     240  [30] [88] [107] [117] A> [69]
  188    18790     320  [30] [88] [107] [117] [71] A>
  189    18791     319  [30] [88] [107] [117] [71] <B [1]
  190    19212     320  [30] [88] [107] [117] [72] A> [1]
  191    19219     319  [30] [88] [107] [117] [72] <A [32]
  192    19220     320  [30] [88] [107] [117] [73] B> [32]
  193    19221     319  [30] [88] [107] [117] [73] <E [34]
  194    19228     320  [30] [88] [107] [117] [74] B> [34]
  195    19249     319  [30] [88] [107] [117] [74] <C [36]
  196    19266     320  [30] [88] [107] [117] [75] C> [36]
  197    19315     319  [30] [88] [107] [117] [75] <C [38]
  198    19426     320  [30] [88] [107] [117] [76] B> [38]
  199    19427     319  [30] [88] [107] [117] [76] <E [40]
  200    19430     320  [30] [88] [107] [117] [77] A> [40]
  201    19431     319  [30] [88] [107] [117] [77] <B [38]
  202    19440     320  [30] [88] [107] [117] [78] C> [38]
  203    19565     319  [30] [88] [107] [117] [78] <A [43]
  204    19566     320  [30] [88] [107] [117] [79] B> [43]
  205    19567     319  [30] [88] [107] [117] [79] <E [45]
  206    19710     320  [30] [88] [107] [117] [80] A> [45]
  207    19711     319  [30] [88] [107] [117] [80] <B [43]
  208    20232     320  [30] [88] [107] [117] [81] C> [43]
  209    20237     319  [30] [88] [107] [117] [81] <C [48]
  210    20368     320  [30] [88] [107] [117] [82] D> [48]
  211    20371     319  [30] [88] [107] [117] [82] <E [50]
  212    20378     320  [30] [88] [107] [117] [83] B> [50]
  213    20405     319  [30] [88] [107] [117] [83] <C [16]
  214    20422     320  [30] [88] [107] [117] [84] C> [16]
  215    21123     319  [30] [88] [107] [117] [84] <C [53]
  216    21401     239  [30] [88] [107] [117] <A [85] [53]
  217    21402     240  [30] [88] [107] [118] B> [85] [53]
  218    21403     239  [30] [88] [107] [118] <E [87] [53]
  219    21446     240  [30] [88] [107] [119] A> [87] [53]
  220    21447     239  [30] [88] [107] [119] <B [85] [53]
  221    21456     240  [30] [88] [107] [120] C> [85] [53]
  222    21461     239  [30] [88] [107] [120] <C [102] [53]
  223    21462     240  [30] [88] [107] [121] D> [102] [53]
  224    21465     239  [30] [88] [107] [121] <E [104] [53]
  225    21484     240  [30] [88] [107] [122] D> [104] [53]
  226    21533     239  [30] [88] [107] [122] <B [106] [53]
  227    21534     240  [30] [88] [107] [123] C> [106] [53]
  228    21982     320  [30] [88] [107] [123] [108] D> [53]
  229    21985     319  [30] [88] [107] [123] [108] <E [55]
  230    21992     320  [30] [88] [107] [123] [109] B> [55]
  231    22003     319  [30] [88] [107] [123] [109] <C [57]
  232    22020     320  [30] [88] [107] [123] [110] C> [57]
  233    22729     319  [30] [88] [107] [123] [110] <C [59]
  234    22754     320  [30] [88] [107] [123] [111] B> [59]
  235    22755     319  [30] [88] [107] [123] [111] <E [61]
  236    22758     320  [30] [88] [107] [123] [112] A> [61]
  237    22759     319  [30] [88] [107] [123] [112] <B [59]
  238    22768     320  [30] [88] [107] [123] [113] C> [59]
  239    23137     319  [30] [88] [107] [123] [113] <A [64]
  240    23138     320  [30] [88] [107] [123] [114] B> [64]
  241    23139     319  [30] [88] [107] [123] [114] <E [66]
  242    23186     320  [30] [88] [107] [123] [115] A> [66]
  243    23187     319  [30] [88] [107] [123] [115] <B [64]
  244    23530     320  [30] [88] [107] [123] [116] D> [64]
  245    23579     319  [30] [88] [107] [123] [116] <C [69]
  246    23584     320  [30] [88] [107] [123] [117] A> [69]
  247    24270     400  [30] [88] [107] [123] [117] [71] A>
  248    24271     399  [30] [88] [107] [123] [117] [71] <B [1]
  249    24692     400  [30] [88] [107] [123] [117] [72] A> [1]
  250    24699     399  [30] [88] [107] [123] [117] [72] <A [32]
  251    24700     400  [30] [88] [107] [123] [117] [73] B> [32]
  252    24701     399  [30] [88] [107] [123] [117] [73] <E [34]
  253    24708     400  [30] [88] [107] [123] [117] [74] B> [34]
  254    24729     399  [30] [88] [107] [123] [117] [74] <C [36]
  255    24746     400  [30] [88] [107] [123] [117] [75] C> [36]
  256    24795     399  [30] [88] [107] [123] [117] [75] <C [38]
  257    24906     400  [30] [88] [107] [123] [117] [76] B> [38]
  258    24907     399  [30] [88] [107] [123] [117] [76] <E [40]
  259    24910     400  [30] [88] [107] [123] [117] [77] A> [40]
  260    24911     399  [30] [88] [107] [123] [117] [77] <B [38]
  261    24920     400  [30] [88] [107] [123] [117] [78] C> [38]
  262    25045     399  [30] [88] [107] [123] [117] [78] <A [43]
  263    25046     400  [30] [88] [107] [123] [117] [79] B> [43]
  264    25047     399  [30] [88] [107] [123] [117] [79] <E [45]
  265    25190     400  [30] [88] [107] [123] [117] [80] A> [45]
  266    25191     399  [30] [88] [107] [123] [117] [80] <B [43]
  267    25712     400  [30] [88] [107] [123] [117] [81] C> [43]
  268    25717     399  [30] [88] [107] [123] [117] [81] <C [48]
  269    25848     400  [30] [88] [107] [123] [117] [82] D> [48]
  270    25851     399  [30] [88] [107] [123] [117] [82] <E [50]
  271    25858     400  [30] [88] [107] [123] [117] [83] B> [50]
  272    25885     399  [30] [88] [107] [123] [117] [83] <C [16]
  273    25902     400  [30] [88] [107] [123] [117] [84] C> [16]
  274    26603     399  [30] [88] [107] [123] [117] [84] <C [53]
  275    26881     319  [30] [88] [107] [123] [117] <A [85] [53]
  276    26882     320  [30] [88] [107] [123] [118] B> [85] [53]
  277    26883     319  [30] [88] [107] [123] [118] <E [87] [53]
  278    26926     320  [30] [88] [107] [123] [119] A> [87] [53]
  279    26927     319  [30] [88] [107] [123] [119] <B [85] [53]
  280    26936     320  [30] [88] [107] [123] [120] C> [85] [53]
  281    26941     319  [30] [88] [107] [123] [120] <C [102] [53]
  282    26942     320  [30] [88] [107] [123] [121] D> [102] [53]
  283    26945     319  [30] [88] [107] [123] [121] <E [104] [53]
  284    26964     320  [30] [88] [107] [123] [122] D> [104] [53]
  285    27013     319  [30] [88] [107] [123] [122] <B [106] [53]
  286    27014     320  [30] [88] [107] [123]2 C> [106] [53]
  287    27462     400  [30] [88] [107] [123]2 [108] D> [53]
  288    27465     399  [30] [88] [107] [123]2 [108] <E [55]
  289    27472     400  [30] [88] [107] [123]2 [109] B> [55]
  290    27483     399  [30] [88] [107] [123]2 [109] <C [57]
  291    27500     400  [30] [88] [107] [123]2 [110] C> [57]
  292    28209     399  [30] [88] [107] [123]2 [110] <C [59]
  293    28234     400  [30] [88] [107] [123]2 [111] B> [59]
  294    28235     399  [30] [88] [107] [123]2 [111] <E [61]
  295    28238     400  [30] [88] [107] [123]2 [112] A> [61]
  296    28239     399  [30] [88] [107] [123]2 [112] <B [59]
  297    28248     400  [30] [88] [107] [123]2 [113] C> [59]
  298    28617     399  [30] [88] [107] [123]2 [113] <A [64]
  299    28618     400  [30] [88] [107] [123]2 [114] B> [64]
  300    28619     399  [30] [88] [107] [123]2 [114] <E [66]
  301    28666     400  [30] [88] [107] [123]2 [115] A> [66]
  302    28667     399  [30] [88] [107] [123]2 [115] <B [64]
  303    29010     400  [30] [88] [107] [123]2 [116] D> [64]
  304    29059     399  [30] [88] [107] [123]2 [116] <C [69]
  305    29064     400  [30] [88] [107] [123]2 [117] A> [69]
  306    29750     480  [30] [88] [107] [123]2 [117] [71] A>
  307    29751     479  [30] [88] [107] [123]2 [117] [71] <B [1]
  308    30172     480  [30] [88] [107] [123]2 [117] [72] A> [1]
  309    30179     479  [30] [88] [107] [123]2 [117] [72] <A [32]
  310    30180     480  [30] [88] [107] [123]2 [117] [73] B> [32]
  311    30181     479  [30] [88] [107] [123]2 [117] [73] <E [34]
  312    30188     480  [30] [88] [107] [123]2 [117] [74] B> [34]
  313    30209     479  [30] [88] [107] [123]2 [117] [74] <C [36]
  314    30226     480  [30] [88] [107] [123]2 [117] [75] C> [36]
  315    30275     479  [30] [88] [107] [123]2 [117] [75] <C [38]
  316    30386     480  [30] [88] [107] [123]2 [117] [76] B> [38]
  317    30387     479  [30] [88] [107] [123]2 [117] [76] <E [40]
  318    30390     480  [30] [88] [107] [123]2 [117] [77] A> [40]
  319    30391     479  [30] [88] [107] [123]2 [117] [77] <B [38]
  320    30400     480  [30] [88] [107] [123]2 [117] [78] C> [38]
  321    30525     479  [30] [88] [107] [123]2 [117] [78] <A [43]
  322    30526     480  [30] [88] [107] [123]2 [117] [79] B> [43]
  323    30527     479  [30] [88] [107] [123]2 [117] [79] <E [45]
  324    30670     480  [30] [88] [107] [123]2 [117] [80] A> [45]
  325    30671     479  [30] [88] [107] [123]2 [117] [80] <B [43]
  326    31192     480  [30] [88] [107] [123]2 [117] [81] C> [43]
  327    31197     479  [30] [88] [107] [123]2 [117] [81] <C [48]
  328    31328     480  [30] [88] [107] [123]2 [117] [82] D> [48]
  329    31331     479  [30] [88] [107] [123]2 [117] [82] <E [50]
  330    31338     480  [30] [88] [107] [123]2 [117] [83] B> [50]
  331    31365     479  [30] [88] [107] [123]2 [117] [83] <C [16]
  332    31382     480  [30] [88] [107] [123]2 [117] [84] C> [16]
  333    32083     479  [30] [88] [107] [123]2 [117] [84] <C [53]
  334    32361     399  [30] [88] [107] [123]2 [117] <A [85] [53]
  335    32362     400  [30] [88] [107] [123]2 [118] B> [85] [53]
  336    32363     399  [30] [88] [107] [123]2 [118] <E [87] [53]
  337    32406     400  [30] [88] [107] [123]2 [119] A> [87] [53]
  338    32407     399  [30] [88] [107] [123]2 [119] <B [85] [53]
  339    32416     400  [30] [88] [107] [123]2 [120] C> [85] [53]
  340    32421     399  [30] [88] [107] [123]2 [120] <C [102] [53]
  341    32422     400  [30] [88] [107] [123]2 [121] D> [102] [53]
  342    32425     399  [30] [88] [107] [123]2 [121] <E [104] [53]
  343    32444     400  [30] [88] [107] [123]2 [122] D> [104] [53]
  344    32493     399  [30] [88] [107] [123]2 [122] <B [106] [53]
  345    32494     400  [30] [88] [107] [123]3 C> [106] [53]
  346    32942     480  [30] [88] [107] [123]3 [108] D> [53]
  347    32945     479  [30] [88] [107] [123]3 [108] <E [55]
  348    32952     480  [30] [88] [107] [123]3 [109] B> [55]
  349    32963     479  [30] [88] [107] [123]3 [109] <C [57]
  350    32980     480  [30] [88] [107] [123]3 [110] C> [57]
  351    33689     479  [30] [88] [107] [123]3 [110] <C [59]
  352    33714     480  [30] [88] [107] [123]3 [111] B> [59]
  353    33715     479  [30] [88] [107] [123]3 [111] <E [61]
  354    33718     480  [30] [88] [107] [123]3 [112] A> [61]
  355    33719     479  [30] [88] [107] [123]3 [112] <B [59]
  356    33728     480  [30] [88] [107] [123]3 [113] C> [59]
  357    34097     479  [30] [88] [107] [123]3 [113] <A [64]
  358    34098     480  [30] [88] [107] [123]3 [114] B> [64]
  359    34099     479  [30] [88] [107] [123]3 [114] <E [66]
  360    34146     480  [30] [88] [107] [123]3 [115] A> [66]
  361    34147     479  [30] [88] [107] [123]3 [115] <B [64]
  362    34490     480  [30] [88] [107] [123]3 [116] D> [64]
  363    34539     479  [30] [88] [107] [123]3 [116] <C [69]
  364    34544     480  [30] [88] [107] [123]3 [117] A> [69]
  365    35230     560  [30] [88] [107] [123]3 [117] [71] A>
  366    35231     559  [30] [88] [107] [123]3 [117] [71] <B [1]
  367    35652     560  [30] [88] [107] [123]3 [117] [72] A> [1]
  368    35659     559  [30] [88] [107] [123]3 [117] [72] <A [32]
  369    35660     560  [30] [88] [107] [123]3 [117] [73] B> [32]
  370    35661     559  [30] [88] [107] [123]3 [117] [73] <E [34]
  371    35668     560  [30] [88] [107] [123]3 [117] [74] B> [34]
  372    35689     559  [30] [88] [107] [123]3 [117] [74] <C [36]
  373    35706     560  [30] [88] [107] [123]3 [117] [75] C> [36]
  374    35755     559  [30] [88] [107] [123]3 [117] [75] <C [38]
  375    35866     560  [30] [88] [107] [123]3 [117] [76] B> [38]
  376    35867     559  [30] [88] [107] [123]3 [117] [76] <E [40]
  377    35870     560  [30] [88] [107] [123]3 [117] [77] A> [40]
  378    35871     559  [30] [88] [107] [123]3 [117] [77] <B [38]
  379    35880     560  [30] [88] [107] [123]3 [117] [78] C> [38]
  380    36005     559  [30] [88] [107] [123]3 [117] [78] <A [43]
  381    36006     560  [30] [88] [107] [123]3 [117] [79] B> [43]
  382    36007     559  [30] [88] [107] [123]3 [117] [79] <E [45]
  383    36150     560  [30] [88] [107] [123]3 [117] [80] A> [45]
  384    36151     559  [30] [88] [107] [123]3 [117] [80] <B [43]
  385    36672     560  [30] [88] [107] [123]3 [117] [81] C> [43]
  386    36677     559  [30] [88] [107] [123]3 [117] [81] <C [48]
  387    36808     560  [30] [88] [107] [123]3 [117] [82] D> [48]
  388    36811     559  [30] [88] [107] [123]3 [117] [82] <E [50]
  389    36818     560  [30] [88] [107] [123]3 [117] [83] B> [50]
  390    36845     559  [30] [88] [107] [123]3 [117] [83] <C [16]
  391    36862     560  [30] [88] [107] [123]3 [117] [84] C> [16]
  392    37563     559  [30] [88] [107] [123]3 [117] [84] <C [53]
  393    37841     479  [30] [88] [107] [123]3 [117] <A [85] [53]
  394    37842     480  [30] [88] [107] [123]3 [118] B> [85] [53]
  395    37843     479  [30] [88] [107] [123]3 [118] <E [87] [53]
  396    37886     480  [30] [88] [107] [123]3 [119] A> [87] [53]
  397    37887     479  [30] [88] [107] [123]3 [119] <B [85] [53]
  398    37896     480  [30] [88] [107] [123]3 [120] C> [85] [53]
  399    37901     479  [30] [88] [107] [123]3 [120] <C [102] [53]
  400    37902     480  [30] [88] [107] [123]3 [121] D> [102] [53]
  401    37905     479  [30] [88] [107] [123]3 [121] <E [104] [53]
  402    37924     480  [30] [88] [107] [123]3 [122] D> [104] [53]
  403    37973     479  [30] [88] [107] [123]3 [122] <B [106] [53]
  404    37974     480  [30] [88] [107] [123]4 C> [106] [53]
  405    38422     560  [30] [88] [107] [123]4 [108] D> [53]
  406    38425     559  [30] [88] [107] [123]4 [108] <E [55]
  407    38432     560  [30] [88] [107] [123]4 [109] B> [55]
  408    38443     559  [30] [88] [107] [123]4 [109] <C [57]
  409    38460     560  [30] [88] [107] [123]4 [110] C> [57]

Symbol Table:
  [0] = 00000000000000000000000000000000000000000000000000000000000000000000000000000000
  [1] = 10000000000000000000000000000000000000000000000000000000000000000000000000000000
  [2] = 00000000000000000000000000000000000000000000000000000000000000000000000000000001
  [3] = 10110000000000000000000000000000000000000000000000000000000000000000000000000000
  [4] = 01110000000000000000000000000000000000000000000000000000000000000000000000000000
  [5] = 00000000000000000000000000000000000000000000000000000000000000000000000000001010
  [6] = 10101000000000000000000000000000000000000000000000000000000000000000000000000000
  [7] = 00000000000000000000000000000000000000000000000000000000000000000000000001010100
  [8] = 11010101100000000000000000000000000000000000000000000000000000000000000000000000
  [9] = 00000000000000000000000000000000000000000000000000000000000000000000000001010110
 [10] = 10101010101110000000000000000000000000000000000000000000000000000000000000000000
 [11] = 00000000000000000000000000000000000000000000000000000000000000000000001010100000
 [12] = 01101010101110000000000000000000000000000000000000000000000000000000000000000000
 [13] = 00000000000000000000000000000000000000000000000000000000000000000000001010101010
 [14] = 10111010101110000000000000000000000000000000000000000000000000000000000000000000
 [15] = 00000000000000000000000000000000000000000000000000000000000000000001010100000000
 [16] = 10101010101010111000000000000000000000000000000000000000000000000000000000000000
 [17] = 00000000000000000000000000000000000000000000000000000000000000000001010100000101
 [18] = 11010101010101011101011110101011100000000000000000000000000000000000000000000000
 [19] = 00000000000000000000000000000000000000000000000000000000000000000001010100000100
 [20] = 01010101010101011101011110101011100000000000000000000000000000000000000000000000
 [21] = 00000000000000000000000000000000000000000000000000000000000000000001010100101010
 [22] = 11010101010101110101010110101111010111101101011110101011100000000000000000000000
 [23] = 00000000000000000000000000000000000000000000000000000000000000001010110101000001
 [24] = 10010101010101110101010110101111010111101101011110101011100000000000000000000000
 [25] = 00000000000000000000000000000000000000000000000000000000000000001010110101000000
 [26] = 01010101010101110101010110101111010111101101011110101011100000000000000000000000
 [27] = 00000000000000000000000000000000000000000000000000000000000000001010110101001010
 [28] = 10101010000000010101000001011010110101001010100000000000101101010101010010101101
 [29] = 10101011110101010101010110101111011101111010111101010101010101101101011110101011
 [30] = 00000000000000000000000000000000000000000000000000000000001010100000010101000001
 [31] = 01001010100000101011010100000000000000000010101000000000001010101011010100000001
 [32] = 11000000000000000000000000000000000000000000000000000000000000000000000000000000
 [33] = 01001010100000101011010100000000000000000010101000000000001010101011010100000000
 [34] = 01000000000000000000000000000000000000000000000000000000000000000000000000000000
 [35] = 01001010100000101011010100000000000000000010101000000000001010101011010100001010
 [36] = 10111000000000000000000000000000000000000000000000000000000000000000000000000000
 [37] = 01001010100000101011010100000000000000000010101000000000001010101011010101010100
 [38] = 10101011100000000000000000000000000000000000000000000000000000000000000000000000
 [39] = 01001010100000101011010100000000000000000010101000000001010100101010000010100010
 [40] = 00101011100000000000000000000000000000000000000000000000000000000000000000000000
 [41] = 01001010100000101011010100000000000000000010101000000001010100101010000010100001
 [42] = 01001010100000101011010100000000000000000010101000000001010100101010000010110101
 [43] = 11010111101010111000000000000000000000000000000000000000000000000000000000000000
 [44] = 01001010100000101011010100000000000000000010101000000001010100101010000010110100
 [45] = 01010111101010111000000000000000000000000000000000000000000000000000000000000000
 [46] = 01001010100000101011010100000000000000000010101000001010110101001010100101010001
 [47] = 01001010100000101011010100000000000000010101101010000000010101001010101011010100
 [48] = 10110111101010111000000000000000000000000000000000000000000000000000000000000000
 [49] = 01001010100000101011010100000000000000010101101010000010101101010000101010000000
 [50] = 01110111101010111000000000000000000000000000000000000000000000000000000000000000
 [51] = 01001010100000101011010100000000000000010101101010000010101101010000101010001010
 [52] = 01001010100000101011010100000000000000010101101010000010101101010000101011010100
 [53] = 10101111010101010101011011010111101010111000000000000000000000000000000000000000
 [54] = 01001010100000101011010100000000010101000000101010000010100000001010000000000000
 [55] = 01101111010101010101011011010111101010111000000000000000000000000000000000000000
 [56] = 01001010100000101011010100000000010101000000101010000010100000001010000000001010
 [57] = 10111111010101010101011011010111101010111000000000000000000000000000000000000000
 [58] = 01001010100000101011010100000000010101000000101010000010100000001010000001010100
 [59] = 10101010101101010101010110101111010111101101011110101011100000000000000000000000
 [60] = 01001010100000101011010100000000010101000000101010000010100000001010001010100010
 [61] = 00101010101101010101010110101111010111101101011110101011100000000000000000000000
 [62] = 01001010100000101011010100000000010101000000101010000010100000001010001010100001
 [63] = 01001010100000101011010100000000010101000000101010000010100000001010001010110101
 [64] = 11010101101111010101101011101010101101111011011110101011100000000000000000000000
 [65] = 01001010100000101011010100000000010101000000101010000010100000001010001010110100
 [66] = 01010101101111010101101011101010101101111011011110101011100000000000000000000000
 [67] = 01001010100000101011010100000000010101000000101010000010100000001011010101010101
 [68] = 01001010100000101011010100000000010101000000101010010101001010100010101010100000
 [69] = 10101010101011010101101011101010101101111011011110101011100000000000000000000000
 [70] = 01001010100000101011010100000000010101000000101010010101001010100010101010100101
 [71] = 01000010101001010100010101011010110101001010100000000000101101010101010010101101
 [72] = 01000010101001010110101101010010101101010010101000000000001010101011010100000001
 [73] = 01000010101001010110101101010010101101010010101000000000001010101011010100000000
 [74] = 01000010101001010110101101010010101101010010101000000000001010101011010100001010
 [75] = 01000010101001010110101101010010101101010010101000000000001010101011010101010100
 [76] = 01000010101001010110101101010010101101010010101000000001010100101010000010100010
 [77] = 01000010101001010110101101010010101101010010101000000001010100101010000010100001
 [78] = 01000010101001010110101101010010101101010010101000000001010100101010000010110101
 [79] = 01000010101001010110101101010010101101010010101000000001010100101010000010110100
 [80] = 01000010101001010110101101010010101101010010101000001010110101001010100101010001
 [81] = 01010101101011010100101011010110101101010010101010100000010101001010101011010100
 [82] = 01010101101011010100101011010110101101010010101010100010101101010000101010000000
 [83] = 01010101101011010100101011010110101101010010101010100010101101010000101010001010
 [84] = 01010101101011010100101011010110101101010010101010100010101101010000101011010100
 [85] = 11010101011010110111101010110101101011011110101010101101010101011101010101010101
 [86] = 01001010100000101011010100000000010101000000101010010101001010100010101010100100
 [87] = 01010101011010110111101010110101101011011110101010101101010101011101010101010101
 [88] = 01001010100000101011010100000000010101000000101010010101001010110101000010101000
 [89] = 10101101011010100101011010100000000101010010101000000000101000001010000000000000
 [90] = 10101101011010100101011010100000000101010010101000000000101000001010000000001010
 [91] = 10101101011010100101011010100000000101010010101000000000101000001010000001010100
 [92] = 10101101011010100101011010100000000101010010101000000000101000001010001010100010
 [93] = 10101101011010100101011010100000000101010010101000000000101000001010001010100001
 [94] = 10101101011010100101011010100000000101010010101000000000101000001010001010110101
 [95] = 10101101011010100101011010100000000101010010101000000000101000001010001010110100
 [96] = 10101101011010100101011010100000000101010010101000000000101000001011010101010101
 [97] = 10101101011010100101011010100000000101010010101101011010100000000000101010101000
 [98] = 10101101011010100101011010100000000101010010101101011010100000000000101010101101
 [99] = 10101101011010100101011010100000000101010010101101011010100000000000101010101100
[100] = 10101101011010100101011010100000000101010010101101011010100000000101010000000001
[101] = 10101101011010100101011010100000000101010010101101011010100000000101010000010101
[102] = 10110101011010110111101010110101101011011110101010101101010101011101010101010101
[103] = 10101101011010100101011010100000000101010010101101011010100000000101010000010100
[104] = 01110101011010110111101010110101101011011110101010101101010101011101010101010101
[105] = 10101101011010100101011010100000000101010010101101011010100000000101010010101000
[106] = 11101010101011110111101010110101101011011110101010101101010101011101010101010101
[107] = 10101101011010100101011010100000000101010010101101011010100000000101010010101001
[108] = 01011010100000000101011010100000000101010010101000000000101000001010000000000000
[109] = 01011010100000000101011010100000000101010010101000000000101000001010000000001010
[110] = 01011010100000000101011010100000000101010010101000000000101000001010000001010100
[111] = 01011010100000000101011010100000000101010010101000000000101000001010001010100010
[112] = 01011010100000000101011010100000000101010010101000000000101000001010001010100001
[113] = 01011010100000000101011010100000000101010010101000000000101000001010001010110101
[114] = 01011010100000000101011010100000000101010010101000000000101000001010001010110100
[115] = 01011010100000000101011010100000000101010010101000000000101000001011010101010101
[116] = 01011010100000000101011010100000000101010010101101011010100000000000101010101000
[117] = 01011010100000000101011010100000000101010010101101011010100000000000101010101101
[118] = 01011010100000000101011010100000000101010010101101011010100000000000101010101100
[119] = 01011010100000000101011010100000000101010010101101011010100000000101010000000001
[120] = 01011010100000000101011010100000000101010010101101011010100000000101010000010101
[121] = 01011010100000000101011010100000000101010010101101011010100000000101010000010100
[122] = 01011010100000000101011010100000000101010010101101011010100000000101010010101000
[123] = 01011010100000000101011010100000000101010010101101011010100000000101010010101001

Lines:       410
Top steps:   409
Macro steps: 409
Basic steps: 38460
Tape index:  560
ones:        240
log10(ones    ):    2.380
log10(steps   ):    4.585
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 80-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
    C	symbol size 80
    5T B1L B0R C1R E0L A1L D0R C0R A1R C1L H1L
    T TM #3 from MaBu90-Paper
    M	410
    pref	sim
    machv mbP_3  	just simple
    machv mbP_3-r	with repetitions reduced
    machv mbP_3-1	with tape symbol exponents
    machv mbP_3-m	as 80-macro machine
    machv mbP_3-a	as 80-macro machine with pure additive config-TRs
    iam	mbP_3-m
    mtype	80
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	i
    HM	1
    date	Tue Jul  6 22:10:04 CEST 2010
    edate	Tue Jul  6 22:10:05 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:04 CEST 2010
Ready: Tue Jul 6 22:10:05 CEST 2010