6-state TM #g from MaBu-List

Comment: This TM produces 11974457230330 ones in 83425527831799543594604927 steps.

State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1R C1L 1 right B 1 left C
B A0L D0L 0 left A 0 left D
C A1L Z1R 1 left A 1 right Z
D B1L E1R 1 left B 1 right E
E D0R F0R 0 right D 0 right F
F F0R D0L 0 right F 0 left D
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-2-macro machine.
The same TM as 1-bck-2-macro machine with pure additive config-TRs.

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

Steps BasSteps BasTpos  Tape contents
    0        0       0  (0)A>
    1        4      -2  <A(1) 10
    2        8       0  01 (0)D> 10
    3       10       2  012 (0)D>
    4       12       0  012 <A(0) 10
    5       14      -2  01 <A(1) 102
    6       16      -4  <A(1) 11 102
    7       20      -2  01 (0)D> 11 102
    8       22       0  012 (0)F> 102
    9       24      -2  012 <B(1) 00 10
   10       28      -6  <B(1) 012 00 10
   11       32      -8  <C(1) 013 00 10
   12       38      -6  10 (1)E> 013 00 10
   13       44       0  104 (1)E> 00 10
   14       48      -2  104 <C(1) 01 10
   15       56     -10  <C(1) 114 01 10
   16       62      -8  10 (1)E> 114 01 10
   17       66     -10  10 <D(0) 10 113 01 10
   18       68     -12  <D(0) 102 113 01 10
   19       70     -14  <A(0) 103 113 01 10
   20       74     -16  <A(1) 104 113 01 10
   21       78     -14  01 (0)D> 104 113 01 10
   22       86      -6  015 (0)D> 113 01 10
   23       88      -4  016 (0)F> 112 01 10
   24       90      -6  016 <B(1) 01 11 01 10
   25      102     -18  <B(1) 017 11 01 10
   26      106     -20  <C(1) 018 11 01 10
   27      112     -18  10 (1)E> 018 11 01 10
   28      128      -2  109 (1)E> 11 01 10
   29      132      -4  109 <D(0) 10 01 10
   30      150     -22  <D(0) 1010 01 10
   31      152     -24  <A(0) 1011 01 10
   32      156     -26  <A(1) 1012 01 10
   33      160     -24  01 (0)D> 1012 01 10
   34      184       0  0113 (0)D> 01 10
   35      186      -2  0113 <A(0) 11 10
   36      188      -4  0112 <A(1) 10 11 10
   37      212     -28  <A(1) 1112 10 11 10
   38      216     -26  01 (0)D> 1112 10 11 10
   39      218     -24  012 (0)F> 1111 10 11 10
   40      220     -26  012 <B(1) 01 1110 10 11 10
   41      224     -30  <B(1) 013 1110 10 11 10
   42      228     -32  <C(1) 014 1110 10 11 10
   43      234     -30  10 (1)E> 014 1110 10 11 10
   44      242     -22  105 (1)E> 1110 10 11 10
   45      246     -24  105 <D(0) 10 119 10 11 10
   46      256     -34  <D(0) 106 119 10 11 10
   47      258     -36  <A(0) 107 119 10 11 10
   48      262     -38  <A(1) 108 119 10 11 10
   49      266     -36  01 (0)D> 108 119 10 11 10
   50      282     -20  019 (0)D> 119 10 11 10
   51      284     -18  0110 (0)F> 118 10 11 10
   52      286     -20  0110 <B(1) 01 117 10 11 10
   53      306     -40  <B(1) 0111 117 10 11 10
   54      310     -42  <C(1) 0112 117 10 11 10
   55      316     -40  10 (1)E> 0112 117 10 11 10
   56      340     -16  1013 (1)E> 117 10 11 10
   57      344     -18  1013 <D(0) 10 116 10 11 10
   58      370     -44  <D(0) 1014 116 10 11 10
   59      372     -46  <A(0) 1015 116 10 11 10
   60      376     -48  <A(1) 1016 116 10 11 10
   61      380     -46  01 (0)D> 1016 116 10 11 10
   62      412     -14  0117 (0)D> 116 10 11 10
   63      414     -12  0118 (0)F> 115 10 11 10
   64      416     -14  0118 <B(1) 01 114 10 11 10
   65      452     -50  <B(1) 0119 114 10 11 10
   66      456     -52  <C(1) 0120 114 10 11 10
   67      462     -50  10 (1)E> 0120 114 10 11 10
   68      502     -10  1021 (1)E> 114 10 11 10
   69      506     -12  1021 <D(0) 10 113 10 11 10
   70      548     -54  <D(0) 1022 113 10 11 10
   71      550     -56  <A(0) 1023 113 10 11 10
   72      554     -58  <A(1) 1024 113 10 11 10
   73      558     -56  01 (0)D> 1024 113 10 11 10
   74      606      -8  0125 (0)D> 113 10 11 10
   75      608      -6  0126 (0)F> 112 10 11 10
   76      610      -8  0126 <B(1) 01 11 10 11 10
   77      662     -60  <B(1) 0127 11 10 11 10
   78      666     -62  <C(1) 0128 11 10 11 10
   79      672     -60  10 (1)E> 0128 11 10 11 10
   80      728      -4  1029 (1)E> 11 10 11 10
   81      732      -6  1029 <D(0) 102 11 10
   82      790     -64  <D(0) 1031 11 10
   83      792     -66  <A(0) 1032 11 10
   84      796     -68  <A(1) 1033 11 10
   85      800     -66  01 (0)D> 1033 11 10
   86      866       0  0134 (0)D> 11 10
   87      868       2  0135 (0)F> 10
   88      870       0  0135 <B(1)
   89      940     -70  <B(1) 0135
   90      944     -72  <C(1) 0136
   91      950     -70  10 (1)E> 0136
   92     1022       2  1037 (1)E>
   93     1026       0  1037 <C(1) 01
   94     1100     -74  <C(1) 1137 01
   95     1106     -72  10 (1)E> 1137 01
   96     1110     -74  10 <D(0) 10 1136 01
   97     1112     -76  <D(0) 102 1136 01
   98     1114     -78  <A(0) 103 1136 01
   99     1118     -80  <A(1) 104 1136 01
  100     1122     -78  01 (0)D> 104 1136 01
  101     1130     -70  015 (0)D> 1136 01
  102     1132     -68  016 (0)F> 1135 01
  103     1134     -70  016 <B(1) 01 1134 01
  104     1146     -82  <B(1) 017 1134 01
  105     1150     -84  <C(1) 018 1134 01
  106     1156     -82  10 (1)E> 018 1134 01
  107     1172     -66  109 (1)E> 1134 01
  108     1176     -68  109 <D(0) 10 1133 01
  109     1194     -86  <D(0) 1010 1133 01
  110     1196     -88  <A(0) 1011 1133 01
  111     1200     -90  <A(1) 1012 1133 01
  112     1204     -88  01 (0)D> 1012 1133 01
  113     1228     -64  0113 (0)D> 1133 01
  114     1230     -62  0114 (0)F> 1132 01
  115     1232     -64  0114 <B(1) 01 1131 01
  116     1260     -92  <B(1) 0115 1131 01
  117     1264     -94  <C(1) 0116 1131 01
  118     1270     -92  10 (1)E> 0116 1131 01
  119     1302     -60  1017 (1)E> 1131 01
  120     1306     -62  1017 <D(0) 10 1130 01
  121     1340     -96  <D(0) 1018 1130 01
  122     1342     -98  <A(0) 1019 1130 01
  123     1346    -100  <A(1) 1020 1130 01
  124     1350     -98  01 (0)D> 1020 1130 01
  125     1390     -58  0121 (0)D> 1130 01
  126     1392     -56  0122 (0)F> 1129 01
  127     1394     -58  0122 <B(1) 01 1128 01
  128     1438    -102  <B(1) 0123 1128 01
  129     1442    -104  <C(1) 0124 1128 01
  130     1448    -102  10 (1)E> 0124 1128 01
  131     1496     -54  1025 (1)E> 1128 01
  132     1500     -56  1025 <D(0) 10 1127 01
  133     1550    -106  <D(0) 1026 1127 01
  134     1552    -108  <A(0) 1027 1127 01
  135     1556    -110  <A(1) 1028 1127 01
  136     1560    -108  01 (0)D> 1028 1127 01
  137     1616     -52  0129 (0)D> 1127 01
  138     1618     -50  0130 (0)F> 1126 01
  139     1620     -52  0130 <B(1) 01 1125 01
  140     1680    -112  <B(1) 0131 1125 01
  141     1684    -114  <C(1) 0132 1125 01
  142     1690    -112  10 (1)E> 0132 1125 01
  143     1754     -48  1033 (1)E> 1125 01
  144     1758     -50  1033 <D(0) 10 1124 01
  145     1824    -116  <D(0) 1034 1124 01
  146     1826    -118  <A(0) 1035 1124 01
  147     1830    -120  <A(1) 1036 1124 01
  148     1834    -118  01 (0)D> 1036 1124 01
  149     1906     -46  0137 (0)D> 1124 01
  150     1908     -44  0138 (0)F> 1123 01
  151     1910     -46  0138 <B(1) 01 1122 01
  152     1986    -122  <B(1) 0139 1122 01
  153     1990    -124  <C(1) 0140 1122 01
  154     1996    -122  10 (1)E> 0140 1122 01
  155     2076     -42  1041 (1)E> 1122 01
  156     2080     -44  1041 <D(0) 10 1121 01
  157     2162    -126  <D(0) 1042 1121 01
  158     2164    -128  <A(0) 1043 1121 01
  159     2168    -130  <A(1) 1044 1121 01
  160     2172    -128  01 (0)D> 1044 1121 01
  161     2260     -40  0145 (0)D> 1121 01
  162     2262     -38  0146 (0)F> 1120 01
  163     2264     -40  0146 <B(1) 01 1119 01
  164     2356    -132  <B(1) 0147 1119 01
  165     2360    -134  <C(1) 0148 1119 01
  166     2366    -132  10 (1)E> 0148 1119 01
  167     2462     -36  1049 (1)E> 1119 01
  168     2466     -38  1049 <D(0) 10 1118 01
  169     2564    -136  <D(0) 1050 1118 01
  170     2566    -138  <A(0) 1051 1118 01
  171     2570    -140  <A(1) 1052 1118 01
  172     2574    -138  01 (0)D> 1052 1118 01
  173     2678     -34  0153 (0)D> 1118 01
  174     2680     -32  0154 (0)F> 1117 01
  175     2682     -34  0154 <B(1) 01 1116 01
  176     2790    -142  <B(1) 0155 1116 01
  177     2794    -144  <C(1) 0156 1116 01
  178     2800    -142  10 (1)E> 0156 1116 01
  179     2912     -30  1057 (1)E> 1116 01
  180     2916     -32  1057 <D(0) 10 1115 01
  181     3030    -146  <D(0) 1058 1115 01
  182     3032    -148  <A(0) 1059 1115 01
  183     3036    -150  <A(1) 1060 1115 01
  184     3040    -148  01 (0)D> 1060 1115 01
  185     3160     -28  0161 (0)D> 1115 01
  186     3162     -26  0162 (0)F> 1114 01
  187     3164     -28  0162 <B(1) 01 1113 01
  188     3288    -152  <B(1) 0163 1113 01
  189     3292    -154  <C(1) 0164 1113 01
  190     3298    -152  10 (1)E> 0164 1113 01
  191     3426     -24  1065 (1)E> 1113 01
  192     3430     -26  1065 <D(0) 10 1112 01
  193     3560    -156  <D(0) 1066 1112 01
  194     3562    -158  <A(0) 1067 1112 01
  195     3566    -160  <A(1) 1068 1112 01
  196     3570    -158  01 (0)D> 1068 1112 01
  197     3706     -22  0169 (0)D> 1112 01
  198     3708     -20  0170 (0)F> 1111 01
  199     3710     -22  0170 <B(1) 01 1110 01
  200     3850    -162  <B(1) 0171 1110 01
  201     3854    -164  <C(1) 0172 1110 01
  202     3860    -162  10 (1)E> 0172 1110 01
  203     4004     -18  1073 (1)E> 1110 01
  204     4008     -20  1073 <D(0) 10 119 01
  205     4154    -166  <D(0) 1074 119 01
  206     4156    -168  <A(0) 1075 119 01
  207     4160    -170  <A(1) 1076 119 01
  208     4164    -168  01 (0)D> 1076 119 01
  209     4316     -16  0177 (0)D> 119 01
  210     4318     -14  0178 (0)F> 118 01
  211     4320     -16  0178 <B(1) 01 117 01
  212     4476    -172  <B(1) 0179 117 01
  213     4480    -174  <C(1) 0180 117 01
  214     4486    -172  10 (1)E> 0180 117 01
  215     4646     -12  1081 (1)E> 117 01
  216     4650     -14  1081 <D(0) 10 116 01
  217     4812    -176  <D(0) 1082 116 01
  218     4814    -178  <A(0) 1083 116 01
  219     4818    -180  <A(1) 1084 116 01
  220     4822    -178  01 (0)D> 1084 116 01
  221     4990     -10  0185 (0)D> 116 01
  222     4992      -8  0186 (0)F> 115 01
  223     4994     -10  0186 <B(1) 01 114 01
  224     5166    -182  <B(1) 0187 114 01
  225     5170    -184  <C(1) 0188 114 01
  226     5176    -182  10 (1)E> 0188 114 01
  227     5352      -6  1089 (1)E> 114 01
  228     5356      -8  1089 <D(0) 10 113 01
  229     5534    -186  <D(0) 1090 113 01
  230     5536    -188  <A(0) 1091 113 01
  231     5540    -190  <A(1) 1092 113 01
  232     5544    -188  01 (0)D> 1092 113 01
  233     5728      -4  0193 (0)D> 113 01
  234     5730      -2  0194 (0)F> 112 01
  235     5732      -4  0194 <B(1) 01 11 01
  236     5920    -192  <B(1) 0195 11 01
  237     5924    -194  <C(1) 0196 11 01
  238     5930    -192  10 (1)E> 0196 11 01
  239     6122       0  1097 (1)E> 11 01
  240     6126      -2  1097 <D(0) 10 01
  241     6320    -196  <D(0) 1098 01
  242     6322    -198  <A(0) 1099 01
  243     6326    -200  <A(1) 10100 01
  244     6330    -198  01 (0)D> 10100 01
  245     6530       2  01101 (0)D> 01
  246     6532       0  01101 <A(0) 11
  247     6534      -2  01100 <A(1) 10 11
  248     6734    -202  <A(1) 11100 10 11
  249     6738    -200  01 (0)D> 11100 10 11
  250     6740    -198  012 (0)F> 1199 10 11
  251     6742    -200  012 <B(1) 01 1198 10 11
  252     6746    -204  <B(1) 013 1198 10 11
  253     6750    -206  <C(1) 014 1198 10 11
  254     6756    -204  10 (1)E> 014 1198 10 11
  255     6764    -196  105 (1)E> 1198 10 11
  256     6768    -198  105 <D(0) 10 1197 10 11
  257     6778    -208  <D(0) 106 1197 10 11
  258     6780    -210  <A(0) 107 1197 10 11
  259     6784    -212  <A(1) 108 1197 10 11
  260     6788    -210  01 (0)D> 108 1197 10 11
  261     6804    -194  019 (0)D> 1197 10 11
  262     6806    -192  0110 (0)F> 1196 10 11
  263     6808    -194  0110 <B(1) 01 1195 10 11
  264     6828    -214  <B(1) 0111 1195 10 11
  265     6832    -216  <C(1) 0112 1195 10 11
  266     6838    -214  10 (1)E> 0112 1195 10 11
  267     6862    -190  1013 (1)E> 1195 10 11
  268     6866    -192  1013 <D(0) 10 1194 10 11
  269     6892    -218  <D(0) 1014 1194 10 11
  270     6894    -220  <A(0) 1015 1194 10 11
  271     6898    -222  <A(1) 1016 1194 10 11
  272     6902    -220  01 (0)D> 1016 1194 10 11
  273     6934    -188  0117 (0)D> 1194 10 11
  274     6936    -186  0118 (0)F> 1193 10 11
  275     6938    -188  0118 <B(1) 01 1192 10 11
  276     6974    -224  <B(1) 0119 1192 10 11
  277     6978    -226  <C(1) 0120 1192 10 11
  278     6984    -224  10 (1)E> 0120 1192 10 11
  279     7024    -184  1021 (1)E> 1192 10 11
  280     7028    -186  1021 <D(0) 10 1191 10 11
  281     7070    -228  <D(0) 1022 1191 10 11
  282     7072    -230  <A(0) 1023 1191 10 11
  283     7076    -232  <A(1) 1024 1191 10 11
  284     7080    -230  01 (0)D> 1024 1191 10 11
  285     7128    -182  0125 (0)D> 1191 10 11
  286     7130    -180  0126 (0)F> 1190 10 11
  287     7132    -182  0126 <B(1) 01 1189 10 11
  288     7184    -234  <B(1) 0127 1189 10 11
  289     7188    -236  <C(1) 0128 1189 10 11
  290     7194    -234  10 (1)E> 0128 1189 10 11
  291     7250    -178  1029 (1)E> 1189 10 11
  292     7254    -180  1029 <D(0) 10 1188 10 11
  293     7312    -238  <D(0) 1030 1188 10 11
  294     7314    -240  <A(0) 1031 1188 10 11
  295     7318    -242  <A(1) 1032 1188 10 11
  296     7322    -240  01 (0)D> 1032 1188 10 11
  297     7386    -176  0133 (0)D> 1188 10 11
  298     7388    -174  0134 (0)F> 1187 10 11
  299     7390    -176  0134 <B(1) 01 1186 10 11
  300     7458    -244  <B(1) 0135 1186 10 11
  301     7462    -246  <C(1) 0136 1186 10 11
  302     7468    -244  10 (1)E> 0136 1186 10 11
  303     7540    -172  1037 (1)E> 1186 10 11
  304     7544    -174  1037 <D(0) 10 1185 10 11
  305     7618    -248  <D(0) 1038 1185 10 11
  306     7620    -250  <A(0) 1039 1185 10 11
  307     7624    -252  <A(1) 1040 1185 10 11
  308     7628    -250  01 (0)D> 1040 1185 10 11
  309     7708    -170  0141 (0)D> 1185 10 11
  310     7710    -168  0142 (0)F> 1184 10 11
  311     7712    -170  0142 <B(1) 01 1183 10 11
  312     7796    -254  <B(1) 0143 1183 10 11
  313     7800    -256  <C(1) 0144 1183 10 11
  314     7806    -254  10 (1)E> 0144 1183 10 11
  315     7894    -166  1045 (1)E> 1183 10 11
  316     7898    -168  1045 <D(0) 10 1182 10 11
  317     7988    -258  <D(0) 1046 1182 10 11
  318     7990    -260  <A(0) 1047 1182 10 11
  319     7994    -262  <A(1) 1048 1182 10 11
  320     7998    -260  01 (0)D> 1048 1182 10 11
  321     8094    -164  0149 (0)D> 1182 10 11
  322     8096    -162  0150 (0)F> 1181 10 11
  323     8098    -164  0150 <B(1) 01 1180 10 11
  324     8198    -264  <B(1) 0151 1180 10 11
  325     8202    -266  <C(1) 0152 1180 10 11
  326     8208    -264  10 (1)E> 0152 1180 10 11
  327     8312    -160  1053 (1)E> 1180 10 11
  328     8316    -162  1053 <D(0) 10 1179 10 11
  329     8422    -268  <D(0) 1054 1179 10 11
  330     8424    -270  <A(0) 1055 1179 10 11
  331     8428    -272  <A(1) 1056 1179 10 11
  332     8432    -270  01 (0)D> 1056 1179 10 11
  333     8544    -158  0157 (0)D> 1179 10 11
  334     8546    -156  0158 (0)F> 1178 10 11
  335     8548    -158  0158 <B(1) 01 1177 10 11
  336     8664    -274  <B(1) 0159 1177 10 11
  337     8668    -276  <C(1) 0160 1177 10 11
  338     8674    -274  10 (1)E> 0160 1177 10 11
  339     8794    -154  1061 (1)E> 1177 10 11
  340     8798    -156  1061 <D(0) 10 1176 10 11
  341     8920    -278  <D(0) 1062 1176 10 11
  342     8922    -280  <A(0) 1063 1176 10 11
  343     8926    -282  <A(1) 1064 1176 10 11
  344     8930    -280  01 (0)D> 1064 1176 10 11
  345     9058    -152  0165 (0)D> 1176 10 11
  346     9060    -150  0166 (0)F> 1175 10 11
  347     9062    -152  0166 <B(1) 01 1174 10 11
  348     9194    -284  <B(1) 0167 1174 10 11
  349     9198    -286  <C(1) 0168 1174 10 11
  350     9204    -284  10 (1)E> 0168 1174 10 11
  351     9340    -148  1069 (1)E> 1174 10 11
  352     9344    -150  1069 <D(0) 10 1173 10 11
  353     9482    -288  <D(0) 1070 1173 10 11
  354     9484    -290  <A(0) 1071 1173 10 11
  355     9488    -292  <A(1) 1072 1173 10 11
  356     9492    -290  01 (0)D> 1072 1173 10 11
  357     9636    -146  0173 (0)D> 1173 10 11
  358     9638    -144  0174 (0)F> 1172 10 11
  359     9640    -146  0174 <B(1) 01 1171 10 11
  360     9788    -294  <B(1) 0175 1171 10 11
  361     9792    -296  <C(1) 0176 1171 10 11
  362     9798    -294  10 (1)E> 0176 1171 10 11
  363     9950    -142  1077 (1)E> 1171 10 11
  364     9954    -144  1077 <D(0) 10 1170 10 11
  365    10108    -298  <D(0) 1078 1170 10 11
  366    10110    -300  <A(0) 1079 1170 10 11
  367    10114    -302  <A(1) 1080 1170 10 11
  368    10118    -300  01 (0)D> 1080 1170 10 11
  369    10278    -140  0181 (0)D> 1170 10 11
  370    10280    -138  0182 (0)F> 1169 10 11
  371    10282    -140  0182 <B(1) 01 1168 10 11
  372    10446    -304  <B(1) 0183 1168 10 11
  373    10450    -306  <C(1) 0184 1168 10 11
  374    10456    -304  10 (1)E> 0184 1168 10 11
  375    10624    -136  1085 (1)E> 1168 10 11
  376    10628    -138  1085 <D(0) 10 1167 10 11
  377    10798    -308  <D(0) 1086 1167 10 11
  378    10800    -310  <A(0) 1087 1167 10 11
  379    10804    -312  <A(1) 1088 1167 10 11
  380    10808    -310  01 (0)D> 1088 1167 10 11
  381    10984    -134  0189 (0)D> 1167 10 11
  382    10986    -132  0190 (0)F> 1166 10 11
  383    10988    -134  0190 <B(1) 01 1165 10 11
  384    11168    -314  <B(1) 0191 1165 10 11
  385    11172    -316  <C(1) 0192 1165 10 11
  386    11178    -314  10 (1)E> 0192 1165 10 11
  387    11362    -130  1093 (1)E> 1165 10 11
  388    11366    -132  1093 <D(0) 10 1164 10 11
  389    11552    -318  <D(0) 1094 1164 10 11
  390    11554    -320  <A(0) 1095 1164 10 11
  391    11558    -322  <A(1) 1096 1164 10 11
  392    11562    -320  01 (0)D> 1096 1164 10 11
  393    11754    -128  0197 (0)D> 1164 10 11
  394    11756    -126  0198 (0)F> 1163 10 11
  395    11758    -128  0198 <B(1) 01 1162 10 11
  396    11954    -324  <B(1) 0199 1162 10 11
  397    11958    -326  <C(1) 01100 1162 10 11
  398    11964    -324  10 (1)E> 01100 1162 10 11
  399    12164    -124  10101 (1)E> 1162 10 11
  400    12168    -126  10101 <D(0) 10 1161 10 11
  401    12370    -328  <D(0) 10102 1161 10 11
  402    12372    -330  <A(0) 10103 1161 10 11
  403    12376    -332  <A(1) 10104 1161 10 11
  404    12380    -330  01 (0)D> 10104 1161 10 11
  405    12588    -122  01105 (0)D> 1161 10 11
  406    12590    -120  01106 (0)F> 1160 10 11
  407    12592    -122  01106 <B(1) 01 1159 10 11
  408    12804    -334  <B(1) 01107 1159 10 11
  409    12808    -336  <C(1) 01108 1159 10 11
  410    12814    -334  10 (1)E> 01108 1159 10 11
  411    13030    -118  10109 (1)E> 1159 10 11
  412    13034    -120  10109 <D(0) 10 1158 10 11
  413    13252    -338  <D(0) 10110 1158 10 11
  414    13254    -340  <A(0) 10111 1158 10 11
  415    13258    -342  <A(1) 10112 1158 10 11
  416    13262    -340  01 (0)D> 10112 1158 10 11
  417    13486    -116  01113 (0)D> 1158 10 11
  418    13488    -114  01114 (0)F> 1157 10 11
  419    13490    -116  01114 <B(1) 01 1156 10 11
  420    13718    -344  <B(1) 01115 1156 10 11
  421    13722    -346  <C(1) 01116 1156 10 11
  422    13728    -344  10 (1)E> 01116 1156 10 11
  423    13960    -112  10117 (1)E> 1156 10 11
  424    13964    -114  10117 <D(0) 10 1155 10 11
  425    14198    -348  <D(0) 10118 1155 10 11
  426    14200    -350  <A(0) 10119 1155 10 11
  427    14204    -352  <A(1) 10120 1155 10 11
  428    14208    -350  01 (0)D> 10120 1155 10 11
  429    14448    -110  01121 (0)D> 1155 10 11
  430    14450    -108  01122 (0)F> 1154 10 11
  431    14452    -110  01122 <B(1) 01 1153 10 11
  432    14696    -354  <B(1) 01123 1153 10 11
  433    14700    -356  <C(1) 01124 1153 10 11
  434    14706    -354  10 (1)E> 01124 1153 10 11
  435    14954    -106  10125 (1)E> 1153 10 11
  436    14958    -108  10125 <D(0) 10 1152 10 11
  437    15208    -358  <D(0) 10126 1152 10 11
  438    15210    -360  <A(0) 10127 1152 10 11
  439    15214    -362  <A(1) 10128 1152 10 11
  440    15218    -360  01 (0)D> 10128 1152 10 11
  441    15474    -104  01129 (0)D> 1152 10 11
  442    15476    -102  01130 (0)F> 1151 10 11
  443    15478    -104  01130 <B(1) 01 1150 10 11
  444    15738    -364  <B(1) 01131 1150 10 11
  445    15742    -366  <C(1) 01132 1150 10 11
  446    15748    -364  10 (1)E> 01132 1150 10 11
  447    16012    -100  10133 (1)E> 1150 10 11
  448    16016    -102  10133 <D(0) 10 1149 10 11
  449    16282    -368  <D(0) 10134 1149 10 11
  450    16284    -370  <A(0) 10135 1149 10 11
  451    16288    -372  <A(1) 10136 1149 10 11
  452    16292    -370  01 (0)D> 10136 1149 10 11
  453    16564     -98  01137 (0)D> 1149 10 11
  454    16566     -96  01138 (0)F> 1148 10 11
  455    16568     -98  01138 <B(1) 01 1147 10 11
  456    16844    -374  <B(1) 01139 1147 10 11
  457    16848    -376  <C(1) 01140 1147 10 11
  458    16854    -374  10 (1)E> 01140 1147 10 11
  459    17134     -94  10141 (1)E> 1147 10 11
  460    17138     -96  10141 <D(0) 10 1146 10 11
  461    17420    -378  <D(0) 10142 1146 10 11
  462    17422    -380  <A(0) 10143 1146 10 11
  463    17426    -382  <A(1) 10144 1146 10 11
  464    17430    -380  01 (0)D> 10144 1146 10 11
  465    17718     -92  01145 (0)D> 1146 10 11
  466    17720     -90  01146 (0)F> 1145 10 11
  467    17722     -92  01146 <B(1) 01 1144 10 11
  468    18014    -384  <B(1) 01147 1144 10 11
  469    18018    -386  <C(1) 01148 1144 10 11
  470    18024    -384  10 (1)E> 01148 1144 10 11
  471    18320     -88  10149 (1)E> 1144 10 11
  472    18324     -90  10149 <D(0) 10 1143 10 11
  473    18622    -388  <D(0) 10150 1143 10 11
  474    18624    -390  <A(0) 10151 1143 10 11
  475    18628    -392  <A(1) 10152 1143 10 11
  476    18632    -390  01 (0)D> 10152 1143 10 11
  477    18936     -86  01153 (0)D> 1143 10 11
  478    18938     -84  01154 (0)F> 1142 10 11
  479    18940     -86  01154 <B(1) 01 1141 10 11
  480    19248    -394  <B(1) 01155 1141 10 11
  481    19252    -396  <C(1) 01156 1141 10 11
  482    19258    -394  10 (1)E> 01156 1141 10 11
  483    19570     -82  10157 (1)E> 1141 10 11
  484    19574     -84  10157 <D(0) 10 1140 10 11
  485    19888    -398  <D(0) 10158 1140 10 11
  486    19890    -400  <A(0) 10159 1140 10 11
  487    19894    -402  <A(1) 10160 1140 10 11
  488    19898    -400  01 (0)D> 10160 1140 10 11
  489    20218     -80  01161 (0)D> 1140 10 11
  490    20220     -78  01162 (0)F> 1139 10 11
  491    20222     -80  01162 <B(1) 01 1138 10 11
  492    20546    -404  <B(1) 01163 1138 10 11
  493    20550    -406  <C(1) 01164 1138 10 11
  494    20556    -404  10 (1)E> 01164 1138 10 11
  495    20884     -76  10165 (1)E> 1138 10 11
  496    20888     -78  10165 <D(0) 10 1137 10 11
  497    21218    -408  <D(0) 10166 1137 10 11
  498    21220    -410  <A(0) 10167 1137 10 11
  499    21224    -412  <A(1) 10168 1137 10 11
  500    21228    -410  01 (0)D> 10168 1137 10 11

Lines:       501
Top steps:   500
Macro steps: 500
Basic steps: 21228
Tape index:  -410
ones:        246
log10(ones    ):    2.391
log10(steps   ):    4.327

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

To the BB simulations page of Heiner Marxen.
To the busy beaver page of Heiner Marxen.
To the home page of Heiner Marxen.
Input to awk program:
    gohalt 1
    L 38
    5T B1R C1L A0L D0L A1L Z1R B1L E1R D0R F0R F0R D0L : 11974457230330 83425527831799543594604927
    T 6-state TM #g from MaBu-List
    M	501
    pref	sim
    machv mbL6_g  	just simple
    machv mbL6_g-r	with repetitions reduced
    machv mbL6_g-1	with tape symbol exponents
    machv mbL6_g-m	as 1-bck-2-macro machine
    machv mbL6_g-a	as 1-bck-2-macro machine with pure additive config-TRs
    iam	mbL6_g-m
    mtype	1 0 2
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:10:51 CEST 2010
    edate	Tue Jul  6 22:10:51 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:51 CEST 2010
Ready: Tue Jul 6 22:10:51 CEST 2010