6-state 2-symbol #a (Pavel Kropitz)

Comment: This TM produces >3.1x10^10566 ones in >3.8x10^21132 steps.
Comment: This was the best 6x2 TM (May-2010..Jul-2010)

State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1R D0L 1 right B 0 left D
B C1R F0R 1 right C 0 right F
C C1L A1L 1 left C 1 left A
D E0L H1L 0 left E 1 left H
E A1L B0R 1 left A 0 right B
F C0R E0R 0 right C 0 right E
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.
Simulation is done as 3-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 3.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  A>
    1                    5                   -1  <D 011
    2                   10                    0  100 C> 011
    3                   11                   -1  100 <C 111
    4                   14                   -4  <A 1112
    5                   15                   -3  001 B> 1112
    6                   21                    3  001 0002 B>
    7                   24                    2  001 0002 <A 110
    8                   25                    3  001 000 001 B> 110
    9                   30                    6  001 000 001 010 F>
   10                   33                    5  001 000 001 010 <C 110
   11                   38                    6  001 000 001 100 E> 110
   12                   41                    9  001 000 001 100 000 C>
   13                   42                    8  001 000 001 100 000 <C 100
   14                   45                    5  001 000 001 100 <C 111 100
   15                   48                    2  001 000 001 <A 1112 100
   16                   51                   -1  001 000 <A 100 1112 100
   17                   52                    0  0012 B> 100 1112 100
   18                   57                   -1  0012 <C 1113 100
   19                   60                    0  001 010 F> 1113 100
   20                   69                    9  001 010 0003 F> 100
   21                   74                   12  001 010 0003 100 C>
   22                   75                   11  001 010 0003 100 <C 100
   23                   78                    8  001 010 0003 <A 111 100
   24                   79                    9  001 010 0002 001 B> 111 100
   25                   82                   12  001 010 0002 001 000 B> 100
   26                   87                   11  001 010 0002 001 000 <C 111
   27                   90                    8  001 010 0002 001 <C 1112
   28                   93                    9  001 010 0002 010 F> 1112
   29                   99                   15  001 010 0002 010 0002 F>
   30                  102                   14  001 010 0002 010 0002 <C 110
   31                  108                    8  001 010 0002 010 <C 1112 110
   32                  113                    9  001 010 0002 100 E> 1112 110
   33                  119                   15  001 010 0002 100 0002 E> 110
   34                  122                   18  001 010 0002 100 0003 C>
   35                  123                   17  001 010 0002 100 0003 <C 100
   36                  132                    8  001 010 0002 100 <C 1113 100
   37                  135                    5  001 010 0002 <A 1114 100
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* [*]* 0002+V(1) <A 1111+V(2) 100
    1                    1                    1  [*]* [*]* 0001+V(1) 001 B> 1111+V(2) 100
    2             4+3*V(2)             4+3*V(2)  [*]* [*]* 0001+V(1) 001 0001+V(2) B> 100
    3             9+3*V(2)             3+3*V(2)  [*]* [*]* 0001+V(1) 001 0001+V(2) <C 111
    4            12+6*V(2)                    0  [*]* [*]* 0001+V(1) 001 <C 1112+V(2)
    5            15+6*V(2)                    1  [*]* [*]* 0001+V(1) 010 F> 1112+V(2)
    6            21+9*V(2)             7+3*V(2)  [*]* [*]* 0001+V(1) 010 0002+V(2) F>
    7            24+9*V(2)             6+3*V(2)  [*]* [*]* 0001+V(1) 010 0002+V(2) <C 110
    8           30+12*V(2)                    0  [*]* [*]* 0001+V(1) 010 <C 1112+V(2) 110
    9           35+12*V(2)                    1  [*]* [*]* 0001+V(1) 100 E> 1112+V(2) 110
   10           41+15*V(2)             7+3*V(2)  [*]* [*]* 0001+V(1) 100 0002+V(2) E> 110
   11           44+15*V(2)            10+3*V(2)  [*]* [*]* 0001+V(1) 100 0003+V(2) C>
   12           45+15*V(2)             9+3*V(2)  [*]* [*]* 0001+V(1) 100 0003+V(2) <C 100
   13           54+18*V(2)                    0  [*]* [*]* 0001+V(1) 100 <C 1113+V(2) 100
   14           57+18*V(2)                   -3  [*]* [*]* 0001+V(1) <A 1114+V(2) 100
<< Success! ==> defined new CTR 1 (PA)
   37                  135                    5  001 010 0002 <A 1114 100
== Executing  PA-CTR  1, V(1)=0, V(2)=3, repcount=1, factor=3/1
   51                  246                    2  001 010 000 <A 1117 100
   52                  247                    3  001 010 001 B> 1117 100
   53                  268                   24  001 010 001 0007 B> 100
   54                  273                   23  001 010 001 0007 <C 111
   55                  294                    2  001 010 001 <C 1118
   56                  297                    3  001 0102 F> 1118
   57                  321                   27  001 0102 0008 F>
   58                  324                   26  001 0102 0008 <C 110
   59                  348                    2  001 0102 <C 1118 110
   60                  353                    3  001 010 100 E> 1118 110
   61                  377                   27  001 010 100 0008 E> 110
   62                  380                   30  001 010 100 0009 C>
   63                  381                   29  001 010 100 0009 <C 100
   64                  408                    2  001 010 100 <C 1119 100
   65                  411                   -1  001 010 <A 11110 100
   66                  412                    0  001 011 B> 11110 100
   67                  442                   30  001 011 00010 B> 100
   68                  447                   29  001 011 00010 <C 111
   69                  477                   -1  001 011 <C 11111
   70                  480                   -4  001 <E 001 11111
   71                  481                   -3  B> 001 11111
   72                  484                   -4  <A 11112
   73                  485                   -3  001 B> 11112
   74                  521                   33  001 00012 B>
   75                  524                   32  001 00012 <A 110
   76                  525                   33  001 00011 001 B> 110
   77                  530                   36  001 00011 001 010 F>
   78                  533                   35  001 00011 001 010 <C 110
   79                  538                   36  001 00011 001 100 E> 110
   80                  541                   39  001 00011 001 100 000 C>
   81                  542                   38  001 00011 001 100 000 <C 100
   82                  545                   35  001 00011 001 100 <C 111 100
   83                  548                   32  001 00011 001 <A 1112 100
   84                  551                   29  001 00011 <A 100 1112 100
   85                  552                   30  001 00010 001 B> 100 1112 100
   86                  557                   29  001 00010 001 <C 1113 100
   87                  560                   30  001 00010 010 F> 1113 100
   88                  569                   39  001 00010 010 0003 F> 100
   89                  574                   42  001 00010 010 0003 100 C>
   90                  575                   41  001 00010 010 0003 100 <C 100
   91                  578                   38  001 00010 010 0003 <A 111 100
   92                  579                   39  001 00010 010 0002 001 B> 111 100
   93                  582                   42  001 00010 010 0002 001 000 B> 100
   94                  587                   41  001 00010 010 0002 001 000 <C 111
   95                  590                   38  001 00010 010 0002 001 <C 1112
   96                  593                   39  001 00010 010 0002 010 F> 1112
   97                  599                   45  001 00010 010 0002 010 0002 F>
   98                  602                   44  001 00010 010 0002 010 0002 <C 110
   99                  608                   38  001 00010 010 0002 010 <C 1112 110
  100                  613                   39  001 00010 010 0002 100 E> 1112 110
  101                  619                   45  001 00010 010 0002 100 0002 E> 110
  102                  622                   48  001 00010 010 0002 100 0003 C>
  103                  623                   47  001 00010 010 0002 100 0003 <C 100
  104                  632                   38  001 00010 010 0002 100 <C 1113 100
  105                  635                   35  001 00010 010 0002 <A 1114 100
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* [*]* [*]* 0002+V(1) <A 1111+V(2) 100
    1                    1                    1  [*]* [*]* [*]* 0001+V(1) 001 B> 1111+V(2) 100
    2             4+3*V(2)             4+3*V(2)  [*]* [*]* [*]* 0001+V(1) 001 0001+V(2) B> 100
    3             9+3*V(2)             3+3*V(2)  [*]* [*]* [*]* 0001+V(1) 001 0001+V(2) <C 111
    4            12+6*V(2)                    0  [*]* [*]* [*]* 0001+V(1) 001 <C 1112+V(2)
    5            15+6*V(2)                    1  [*]* [*]* [*]* 0001+V(1) 010 F> 1112+V(2)
    6            21+9*V(2)             7+3*V(2)  [*]* [*]* [*]* 0001+V(1) 010 0002+V(2) F>
    7            24+9*V(2)             6+3*V(2)  [*]* [*]* [*]* 0001+V(1) 010 0002+V(2) <C 110
    8           30+12*V(2)                    0  [*]* [*]* [*]* 0001+V(1) 010 <C 1112+V(2) 110
    9           35+12*V(2)                    1  [*]* [*]* [*]* 0001+V(1) 100 E> 1112+V(2) 110
   10           41+15*V(2)             7+3*V(2)  [*]* [*]* [*]* 0001+V(1) 100 0002+V(2) E> 110
   11           44+15*V(2)            10+3*V(2)  [*]* [*]* [*]* 0001+V(1) 100 0003+V(2) C>
   12           45+15*V(2)             9+3*V(2)  [*]* [*]* [*]* 0001+V(1) 100 0003+V(2) <C 100
   13           54+18*V(2)                    0  [*]* [*]* [*]* 0001+V(1) 100 <C 1113+V(2) 100
   14           57+18*V(2)                   -3  [*]* [*]* [*]* 0001+V(1) <A 1114+V(2) 100
<< Success! ==> defined new CTR 2 (PA)
  105                  635                   35  001 00010 010 0002 <A 1114 100
== Executing  PA-CTR  2, V(1)=0, V(2)=3, repcount=1, factor=3/1
  119                  746                   32  001 00010 010 000 <A 1117 100
  120                  747                   33  001 00010 010 001 B> 1117 100
  121                  768                   54  001 00010 010 001 0007 B> 100
  122                  773                   53  001 00010 010 001 0007 <C 111
  123                  794                   32  001 00010 010 001 <C 1118
  124                  797                   33  001 00010 0102 F> 1118
  125                  821                   57  001 00010 0102 0008 F>
  126                  824                   56  001 00010 0102 0008 <C 110
  127                  848                   32  001 00010 0102 <C 1118 110
  128                  853                   33  001 00010 010 100 E> 1118 110
  129                  877                   57  001 00010 010 100 0008 E> 110
  130                  880                   60  001 00010 010 100 0009 C>
  131                  881                   59  001 00010 010 100 0009 <C 100
  132                  908                   32  001 00010 010 100 <C 1119 100
  133                  911                   29  001 00010 010 <A 11110 100
  134                  912                   30  001 00010 011 B> 11110 100
  135                  942                   60  001 00010 011 00010 B> 100
  136                  947                   59  001 00010 011 00010 <C 111
  137                  977                   29  001 00010 011 <C 11111
  138                  980                   26  001 00010 <E 001 11111
  139                  983                   27  001 0009 010 F> 001 11111
  140                  986                   26  001 0009 010 <C 11112
  141                  991                   27  001 0009 100 E> 11112
  142                 1027                   63  001 0009 100 00012 E>
  143                 1028                   62  001 0009 100 00012 <A 100
  144                 1029                   63  001 0009 100 00011 001 B> 100
  145                 1034                   62  001 0009 100 00011 001 <C 111
  146                 1037                   63  001 0009 100 00011 010 F> 111
  147                 1040                   66  001 0009 100 00011 010 000 F>
  148                 1043                   65  001 0009 100 00011 010 000 <C 110
  149                 1046                   62  001 0009 100 00011 010 <C 111 110
  150                 1051                   63  001 0009 100 00011 100 E> 111 110
  151                 1054                   66  001 0009 100 00011 100 000 E> 110
  152                 1057                   69  001 0009 100 00011 100 0002 C>
  153                 1058                   68  001 0009 100 00011 100 0002 <C 100
  154                 1064                   62  001 0009 100 00011 100 <C 1112 100
  155                 1067                   59  001 0009 100 00011 <A 1113 100
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  [*]* 0002+V(1) 010 000 <A 1111+V(2) 100
    1                    1                    1  [*]* 0002+V(1) 010 001 B> 1111+V(2) 100
    2             4+3*V(2)             4+3*V(2)  [*]* 0002+V(1) 010 001 0001+V(2) B> 100
    3             9+3*V(2)             3+3*V(2)  [*]* 0002+V(1) 010 001 0001+V(2) <C 111
    4            12+6*V(2)                    0  [*]* 0002+V(1) 010 001 <C 1112+V(2)
    5            15+6*V(2)                    1  [*]* 0002+V(1) 0102 F> 1112+V(2)
    6            21+9*V(2)             7+3*V(2)  [*]* 0002+V(1) 0102 0002+V(2) F>
    7            24+9*V(2)             6+3*V(2)  [*]* 0002+V(1) 0102 0002+V(2) <C 110
    8           30+12*V(2)                    0  [*]* 0002+V(1) 0102 <C 1112+V(2) 110
    9           35+12*V(2)                    1  [*]* 0002+V(1) 010 100 E> 1112+V(2) 110
   10           41+15*V(2)             7+3*V(2)  [*]* 0002+V(1) 010 100 0002+V(2) E> 110
   11           44+15*V(2)            10+3*V(2)  [*]* 0002+V(1) 010 100 0003+V(2) C>
   12           45+15*V(2)             9+3*V(2)  [*]* 0002+V(1) 010 100 0003+V(2) <C 100
   13           54+18*V(2)                    0  [*]* 0002+V(1) 010 100 <C 1113+V(2) 100
   14           57+18*V(2)                   -3  [*]* 0002+V(1) 010 <A 1114+V(2) 100
   15           58+18*V(2)                   -2  [*]* 0002+V(1) 011 B> 1114+V(2) 100
   16           70+21*V(2)            10+3*V(2)  [*]* 0002+V(1) 011 0004+V(2) B> 100
   17           75+21*V(2)             9+3*V(2)  [*]* 0002+V(1) 011 0004+V(2) <C 111
   18           87+24*V(2)                   -3  [*]* 0002+V(1) 011 <C 1115+V(2)
   19           90+24*V(2)                   -6  [*]* 0002+V(1) <E 001 1115+V(2)
   20           93+24*V(2)                   -5  [*]* 0001+V(1) 010 F> 001 1115+V(2)
   21           96+24*V(2)                   -6  [*]* 0001+V(1) 010 <C 1116+V(2)
   22          101+24*V(2)                   -5  [*]* 0001+V(1) 100 E> 1116+V(2)
   23          119+27*V(2)            13+3*V(2)  [*]* 0001+V(1) 100 0006+V(2) E>
   24          120+27*V(2)            12+3*V(2)  [*]* 0001+V(1) 100 0006+V(2) <A 100
   25          121+27*V(2)            13+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 001 B> 100
   26          126+27*V(2)            12+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 001 <C 111
   27          129+27*V(2)            13+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 010 F> 111
   28          132+27*V(2)            16+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 010 000 F>
   29          135+27*V(2)            15+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 010 000 <C 110
   30          138+27*V(2)            12+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 010 <C 111 110
   31          143+27*V(2)            13+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 100 E> 111 110
   32          146+27*V(2)            16+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 100 000 E> 110
   33          149+27*V(2)            19+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 100 0002 C>
   34          150+27*V(2)            18+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 100 0002 <C 100
   35          156+27*V(2)            12+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) 100 <C 1112 100
   36          159+27*V(2)             9+3*V(2)  [*]* 0001+V(1) 100 0005+V(2) <A 1113 100
<< Success! ==> defined new CTR 3 (PPA)
  155                 1067                   59  001 0009 100 00011 <A 1113 100
== Executing  PA-CTR  2, V(1)=9, V(2)=2, repcount=10, factor=3/1
  295                 4427                   29  001 0009 100 000 <A 11133 100
  296                 4428                   30  001 0009 100 001 B> 11133 100
  297                 4527                  129  001 0009 100 001 00033 B> 100
  298                 4532                  128  001 0009 100 001 00033 <C 111
  299                 4631                   29  001 0009 100 001 <C 11134
  300                 4634                   30  001 0009 100 010 F> 11134
  301                 4736                  132  001 0009 100 010 00034 F>
  302                 4739                  131  001 0009 100 010 00034 <C 110
  303                 4841                   29  001 0009 100 010 <C 11134 110
  304                 4846                   30  001 0009 1002 E> 11134 110
  305                 4948                  132  001 0009 1002 00034 E> 110
  306                 4951                  135  001 0009 1002 00035 C>
  307                 4952                  134  001 0009 1002 00035 <C 100
  308                 5057                   29  001 0009 1002 <C 11135 100
  309                 5060                   26  001 0009 100 <A 11136 100
  310                 5061                   27  001 0009 101 B> 11136 100
  311                 5169                  135  001 0009 101 00036 B> 100
  312                 5174                  134  001 0009 101 00036 <C 111
  313                 5282                   26  001 0009 101 <C 11137
  314                 5285                   27  001 0009 110 F> 11137
  315                 5396                  138  001 0009 110 00037 F>
  316                 5399                  137  001 0009 110 00037 <C 110
  317                 5510                   26  001 0009 110 <C 11137 110
  318                 5513                   23  001 0009 <D 011 11137 110
  319                 5518                   24  001 0008 100 C> 011 11137 110
  320                 5519                   23  001 0008 100 <C 11138 110
  321                 5522                   20  001 0008 <A 11139 110
  322                 5523                   21  001 0007 001 B> 11139 110
  323                 5640                  138  001 0007 001 00039 B> 110
  324                 5645                  141  001 0007 001 00039 010 F>
  325                 5648                  140  001 0007 001 00039 010 <C 110
  326                 5653                  141  001 0007 001 00039 100 E> 110
  327                 5656                  144  001 0007 001 00039 100 000 C>
  328                 5657                  143  001 0007 001 00039 100 000 <C 100
  329                 5660                  140  001 0007 001 00039 100 <C 111 100
  330                 5663                  137  001 0007 001 00039 <A 1112 100
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  [*]* 0003+V(1) 100 000 <A 1111+V(2) 100
    1                    1                    1  [*]* 0003+V(1) 100 001 B> 1111+V(2) 100
    2             4+3*V(2)             4+3*V(2)  [*]* 0003+V(1) 100 001 0001+V(2) B> 100
    3             9+3*V(2)             3+3*V(2)  [*]* 0003+V(1) 100 001 0001+V(2) <C 111
    4            12+6*V(2)                    0  [*]* 0003+V(1) 100 001 <C 1112+V(2)
    5            15+6*V(2)                    1  [*]* 0003+V(1) 100 010 F> 1112+V(2)
    6            21+9*V(2)             7+3*V(2)  [*]* 0003+V(1) 100 010 0002+V(2) F>
    7            24+9*V(2)             6+3*V(2)  [*]* 0003+V(1) 100 010 0002+V(2) <C 110
    8           30+12*V(2)                    0  [*]* 0003+V(1) 100 010 <C 1112+V(2) 110
    9           35+12*V(2)                    1  [*]* 0003+V(1) 1002 E> 1112+V(2) 110
   10           41+15*V(2)             7+3*V(2)  [*]* 0003+V(1) 1002 0002+V(2) E> 110
   11           44+15*V(2)            10+3*V(2)  [*]* 0003+V(1) 1002 0003+V(2) C>
   12           45+15*V(2)             9+3*V(2)  [*]* 0003+V(1) 1002 0003+V(2) <C 100
   13           54+18*V(2)                    0  [*]* 0003+V(1) 1002 <C 1113+V(2) 100
   14           57+18*V(2)                   -3  [*]* 0003+V(1) 100 <A 1114+V(2) 100
   15           58+18*V(2)                   -2  [*]* 0003+V(1) 101 B> 1114+V(2) 100
   16           70+21*V(2)            10+3*V(2)  [*]* 0003+V(1) 101 0004+V(2) B> 100
   17           75+21*V(2)             9+3*V(2)  [*]* 0003+V(1) 101 0004+V(2) <C 111
   18           87+24*V(2)                   -3  [*]* 0003+V(1) 101 <C 1115+V(2)
   19           90+24*V(2)                   -2  [*]* 0003+V(1) 110 F> 1115+V(2)
   20          105+27*V(2)            13+3*V(2)  [*]* 0003+V(1) 110 0005+V(2) F>
   21          108+27*V(2)            12+3*V(2)  [*]* 0003+V(1) 110 0005+V(2) <C 110
   22          123+30*V(2)                   -3  [*]* 0003+V(1) 110 <C 1115+V(2) 110
   23          126+30*V(2)                   -6  [*]* 0003+V(1) <D 011 1115+V(2) 110
   24          131+30*V(2)                   -5  [*]* 0002+V(1) 100 C> 011 1115+V(2) 110
   25          132+30*V(2)                   -6  [*]* 0002+V(1) 100 <C 1116+V(2) 110
   26          135+30*V(2)                   -9  [*]* 0002+V(1) <A 1117+V(2) 110
   27          136+30*V(2)                   -8  [*]* 0001+V(1) 001 B> 1117+V(2) 110
   28          157+33*V(2)            13+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) B> 110
   29          162+33*V(2)            16+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) 010 F>
   30          165+33*V(2)            15+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) 010 <C 110
   31          170+33*V(2)            16+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) 100 E> 110
   32          173+33*V(2)            19+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) 100 000 C>
   33          174+33*V(2)            18+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) 100 000 <C 100
   34          177+33*V(2)            15+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) 100 <C 111 100
   35          180+33*V(2)            12+3*V(2)  [*]* 0001+V(1) 001 0007+V(2) <A 1112 100
<< Success! ==> defined new CTR 4 (PPA)
  330                 5663                  137  001 0007 001 00039 <A 1112 100
== Executing  PA-CTR  2, V(1)=37, V(2)=1, repcount=38, factor=3/1
  862                46475                   23  001 0007 001 000 <A 111116 100
  863                46476                   24  001 0007 0012 B> 111116 100
  864                46824                  372  001 0007 0012 000116 B> 100
  865                46829                  371  001 0007 0012 000116 <C 111
  866                47177                   23  001 0007 0012 <C 111117
  867                47180                   24  001 0007 001 010 F> 111117
  868                47531                  375  001 0007 001 010 000117 F>
  869                47534                  374  001 0007 001 010 000117 <C 110
  870                47885                   23  001 0007 001 010 <C 111117 110
  871                47890                   24  001 0007 001 100 E> 111117 110
  872                48241                  375  001 0007 001 100 000117 E> 110
  873                48244                  378  001 0007 001 100 000118 C>
  874                48245                  377  001 0007 001 100 000118 <C 100
  875                48599                   23  001 0007 001 100 <C 111118 100
  876                48602                   20  001 0007 001 <A 111119 100
  877                48605                   17  001 0007 <A 100 111119 100
  878                48606                   18  001 0006 001 B> 100 111119 100
  879                48611                   17  001 0006 001 <C 111120 100
  880                48614                   18  001 0006 010 F> 111120 100
  881                48974                  378  001 0006 010 000120 F> 100
  882                48979                  381  001 0006 010 000120 100 C>
  883                48980                  380  001 0006 010 000120 100 <C 100
  884                48983                  377  001 0006 010 000120 <A 111 100
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  [*]* 0002+V(1) 001 000 <A 1111+V(2) 100
    1                    1                    1  [*]* 0002+V(1) 0012 B> 1111+V(2) 100
    2             4+3*V(2)             4+3*V(2)  [*]* 0002+V(1) 0012 0001+V(2) B> 100
    3             9+3*V(2)             3+3*V(2)  [*]* 0002+V(1) 0012 0001+V(2) <C 111
    4            12+6*V(2)                    0  [*]* 0002+V(1) 0012 <C 1112+V(2)
    5            15+6*V(2)                    1  [*]* 0002+V(1) 001 010 F> 1112+V(2)
    6            21+9*V(2)             7+3*V(2)  [*]* 0002+V(1) 001 010 0002+V(2) F>
    7            24+9*V(2)             6+3*V(2)  [*]* 0002+V(1) 001 010 0002+V(2) <C 110
    8           30+12*V(2)                    0  [*]* 0002+V(1) 001 010 <C 1112+V(2) 110
    9           35+12*V(2)                    1  [*]* 0002+V(1) 001 100 E> 1112+V(2) 110
   10           41+15*V(2)             7+3*V(2)  [*]* 0002+V(1) 001 100 0002+V(2) E> 110
   11           44+15*V(2)            10+3*V(2)  [*]* 0002+V(1) 001 100 0003+V(2) C>
   12           45+15*V(2)             9+3*V(2)  [*]* 0002+V(1) 001 100 0003+V(2) <C 100
   13           54+18*V(2)                    0  [*]* 0002+V(1) 001 100 <C 1113+V(2) 100
   14           57+18*V(2)                   -3  [*]* 0002+V(1) 001 <A 1114+V(2) 100
   15           60+18*V(2)                   -6  [*]* 0002+V(1) <A 100 1114+V(2) 100
   16           61+18*V(2)                   -5  [*]* 0001+V(1) 001 B> 100 1114+V(2) 100
   17           66+18*V(2)                   -6  [*]* 0001+V(1) 001 <C 1115+V(2) 100
   18           69+18*V(2)                   -5  [*]* 0001+V(1) 010 F> 1115+V(2) 100
   19           84+21*V(2)            10+3*V(2)  [*]* 0001+V(1) 010 0005+V(2) F> 100
   20           89+21*V(2)            13+3*V(2)  [*]* 0001+V(1) 010 0005+V(2) 100 C>
   21           90+21*V(2)            12+3*V(2)  [*]* 0001+V(1) 010 0005+V(2) 100 <C 100
   22           93+21*V(2)             9+3*V(2)  [*]* 0001+V(1) 010 0005+V(2) <A 111 100
<< Success! ==> defined new CTR 5 (PPA)
  884                48983                  377  001 0006 010 000120 <A 111 100
== Executing  PA-CTR  2, V(1)=118, V(2)=0, repcount=119, factor=3/1
 2550               434900                   20  001 0006 010 000 <A 111358 100
== Executing PPA-CTR  3 (once), V(1)=4, V(2)=357
 2586               444698                 1100  001 0005 100 000362 <A 1113 100
== Executing  PA-CTR  2, V(1)=360, V(2)=2, repcount=361, factor=3/1
 7640              3987191                   17  001 0005 100 000 <A 1111086 100
== Executing PPA-CTR  4 (once), V(1)=2, V(2)=1085
 7675              4023176                 3284  001 0003 001 0001092 <A 1112 100
== Executing  PA-CTR  2, V(1)=1090, V(2)=1, repcount=1091, factor=3/1
22949             36213131                   11  001 0003 001 000 <A 1113275 100
== Executing PPA-CTR  5 (once), V(1)=1, V(2)=3274
22971             36281978                 9842  001 0002 010 0003279 <A 111 100
== Executing  PA-CTR  2, V(1)=3277, V(2)=0, repcount=3278, factor=3/1
68863            326502986                    8  001 0002 010 000 <A 1119835 100
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=9834
68899            326768663                29519  001 000 100 0009839 <A 1113 100
== Executing  PA-CTR  2, V(1)=9837, V(2)=2, repcount=9838, factor=3/1
206631           2940646559                    5  001 000 100 000 <A 11129517 100
206632           2940646560                    6  001 000 100 001 B> 11129517 100
206633           2940735111                88557  001 000 100 001 00029517 B> 100
206634           2940735116                88556  001 000 100 001 00029517 <C 111
206635           2940823667                    5  001 000 100 001 <C 11129518
206636           2940823670                    6  001 000 100 010 F> 11129518
206637           2940912224                88560  001 000 100 010 00029518 F>
206638           2940912227                88559  001 000 100 010 00029518 <C 110
206639           2941000781                    5  001 000 100 010 <C 11129518 110
206640           2941000786                    6  001 000 1002 E> 11129518 110
206641           2941089340                88560  001 000 1002 00029518 E> 110
206642           2941089343                88563  001 000 1002 00029519 C>
206643           2941089344                88562  001 000 1002 00029519 <C 100
206644           2941177901                    5  001 000 1002 <C 11129519 100
206645           2941177904                    2  001 000 100 <A 11129520 100
206646           2941177905                    3  001 000 101 B> 11129520 100
206647           2941266465                88563  001 000 101 00029520 B> 100
206648           2941266470                88562  001 000 101 00029520 <C 111
206649           2941355030                    2  001 000 101 <C 11129521
206650           2941355033                    3  001 000 110 F> 11129521
206651           2941443596                88566  001 000 110 00029521 F>
206652           2941443599                88565  001 000 110 00029521 <C 110
206653           2941532162                    2  001 000 110 <C 11129521 110
206654           2941532165                   -1  001 000 <D 011 11129521 110
206655           2941532170                    0  001 100 C> 011 11129521 110
206656           2941532171                   -1  001 100 <C 11129522 110
206657           2941532174                   -4  001 <A 11129523 110
206658           2941532177                   -7  <A 100 11129523 110
206659           2941532178                   -6  001 B> 100 11129523 110
206660           2941532183                   -7  001 <C 11129524 110
206661           2941532186                   -6  010 F> 11129524 110
206662           2941620758                88566  010 00029524 F> 110
206663           2941620761                88569  010 00029524 001 C>
206664           2941620762                88568  010 00029524 001 <C 100
206665           2941620765                88569  010 00029524 010 F> 100
206666           2941620770                88572  010 00029524 010 100 C>
206667           2941620771                88571  010 00029524 010 100 <C 100
206668           2941620774                88568  010 00029524 010 <A 111 100
206669           2941620775                88569  010 00029524 011 B> 111 100
206670           2941620778                88572  010 00029524 011 000 B> 100
206671           2941620783                88571  010 00029524 011 000 <C 111
206672           2941620786                88568  010 00029524 011 <C 1112
206673           2941620789                88565  010 00029524 <E 001 1112
206674           2941620792                88566  010 00029523 010 F> 001 1112
206675           2941620795                88565  010 00029523 010 <C 1113
206676           2941620800                88566  010 00029523 100 E> 1113
206677           2941620809                88575  010 00029523 100 0003 E>
206678           2941620810                88574  010 00029523 100 0003 <A 100
206679           2941620811                88575  010 00029523 100 0002 001 B> 100
206680           2941620816                88574  010 00029523 100 0002 001 <C 111
206681           2941620819                88575  010 00029523 100 0002 010 F> 111
206682           2941620822                88578  010 00029523 100 0002 010 000 F>
206683           2941620825                88577  010 00029523 100 0002 010 000 <C 110
206684           2941620828                88574  010 00029523 100 0002 010 <C 111 110
206685           2941620833                88575  010 00029523 100 0002 100 E> 111 110
206686           2941620836                88578  010 00029523 100 0002 100 000 E> 110
206687           2941620839                88581  010 00029523 100 0002 100 0002 C>
206688           2941620840                88580  010 00029523 100 0002 100 0002 <C 100
206689           2941620846                88574  010 00029523 100 0002 100 <C 1112 100
206690           2941620849                88571  010 00029523 100 0002 <A 1113 100
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  001 000 100 000 <A 1111+V(1) 100
    1                    1                    1  001 000 100 001 B> 1111+V(1) 100
    2             4+3*V(1)             4+3*V(1)  001 000 100 001 0001+V(1) B> 100
    3             9+3*V(1)             3+3*V(1)  001 000 100 001 0001+V(1) <C 111
    4            12+6*V(1)                    0  001 000 100 001 <C 1112+V(1)
    5            15+6*V(1)                    1  001 000 100 010 F> 1112+V(1)
    6            21+9*V(1)             7+3*V(1)  001 000 100 010 0002+V(1) F>
    7            24+9*V(1)             6+3*V(1)  001 000 100 010 0002+V(1) <C 110
    8           30+12*V(1)                    0  001 000 100 010 <C 1112+V(1) 110
    9           35+12*V(1)                    1  001 000 1002 E> 1112+V(1) 110
   10           41+15*V(1)             7+3*V(1)  001 000 1002 0002+V(1) E> 110
   11           44+15*V(1)            10+3*V(1)  001 000 1002 0003+V(1) C>
   12           45+15*V(1)             9+3*V(1)  001 000 1002 0003+V(1) <C 100
   13           54+18*V(1)                    0  001 000 1002 <C 1113+V(1) 100
   14           57+18*V(1)                   -3  001 000 100 <A 1114+V(1) 100
   15           58+18*V(1)                   -2  001 000 101 B> 1114+V(1) 100
   16           70+21*V(1)            10+3*V(1)  001 000 101 0004+V(1) B> 100
   17           75+21*V(1)             9+3*V(1)  001 000 101 0004+V(1) <C 111
   18           87+24*V(1)                   -3  001 000 101 <C 1115+V(1)
   19           90+24*V(1)                   -2  001 000 110 F> 1115+V(1)
   20          105+27*V(1)            13+3*V(1)  001 000 110 0005+V(1) F>
   21          108+27*V(1)            12+3*V(1)  001 000 110 0005+V(1) <C 110
   22          123+30*V(1)                   -3  001 000 110 <C 1115+V(1) 110
   23          126+30*V(1)                   -6  001 000 <D 011 1115+V(1) 110
   24          131+30*V(1)                   -5  001 100 C> 011 1115+V(1) 110
   25          132+30*V(1)                   -6  001 100 <C 1116+V(1) 110
   26          135+30*V(1)                   -9  001 <A 1117+V(1) 110
   27          138+30*V(1)                  -12  <A 100 1117+V(1) 110
   28          139+30*V(1)                  -11  001 B> 100 1117+V(1) 110
   29          144+30*V(1)                  -12  001 <C 1118+V(1) 110
   30          147+30*V(1)                  -11  010 F> 1118+V(1) 110
   31          171+33*V(1)            13+3*V(1)  010 0008+V(1) F> 110
   32          174+33*V(1)            16+3*V(1)  010 0008+V(1) 001 C>
   33          175+33*V(1)            15+3*V(1)  010 0008+V(1) 001 <C 100
   34          178+33*V(1)            16+3*V(1)  010 0008+V(1) 010 F> 100
   35          183+33*V(1)            19+3*V(1)  010 0008+V(1) 010 100 C>
   36          184+33*V(1)            18+3*V(1)  010 0008+V(1) 010 100 <C 100
   37          187+33*V(1)            15+3*V(1)  010 0008+V(1) 010 <A 111 100
   38          188+33*V(1)            16+3*V(1)  010 0008+V(1) 011 B> 111 100
   39          191+33*V(1)            19+3*V(1)  010 0008+V(1) 011 000 B> 100
   40          196+33*V(1)            18+3*V(1)  010 0008+V(1) 011 000 <C 111
   41          199+33*V(1)            15+3*V(1)  010 0008+V(1) 011 <C 1112
   42          202+33*V(1)            12+3*V(1)  010 0008+V(1) <E 001 1112
   43          205+33*V(1)            13+3*V(1)  010 0007+V(1) 010 F> 001 1112
   44          208+33*V(1)            12+3*V(1)  010 0007+V(1) 010 <C 1113
   45          213+33*V(1)            13+3*V(1)  010 0007+V(1) 100 E> 1113
   46          222+33*V(1)            22+3*V(1)  010 0007+V(1) 100 0003 E>
   47          223+33*V(1)            21+3*V(1)  010 0007+V(1) 100 0003 <A 100
   48          224+33*V(1)            22+3*V(1)  010 0007+V(1) 100 0002 001 B> 100
   49          229+33*V(1)            21+3*V(1)  010 0007+V(1) 100 0002 001 <C 111
   50          232+33*V(1)            22+3*V(1)  010 0007+V(1) 100 0002 010 F> 111
   51          235+33*V(1)            25+3*V(1)  010 0007+V(1) 100 0002 010 000 F>
   52          238+33*V(1)            24+3*V(1)  010 0007+V(1) 100 0002 010 000 <C 110
   53          241+33*V(1)            21+3*V(1)  010 0007+V(1) 100 0002 010 <C 111 110
   54          246+33*V(1)            22+3*V(1)  010 0007+V(1) 100 0002 100 E> 111 110
   55          249+33*V(1)            25+3*V(1)  010 0007+V(1) 100 0002 100 000 E> 110
   56          252+33*V(1)            28+3*V(1)  010 0007+V(1) 100 0002 100 0002 C>
   57          253+33*V(1)            27+3*V(1)  010 0007+V(1) 100 0002 100 0002 <C 100
   58          259+33*V(1)            21+3*V(1)  010 0007+V(1) 100 0002 100 <C 1112 100
   59          262+33*V(1)            18+3*V(1)  010 0007+V(1) 100 0002 <A 1113 100
<< Success! ==> defined new CTR 6 (PPA)
206690           2941620849                88571  010 00029523 100 0002 <A 1113 100
== Executing  PA-CTR  2, V(1)=0, V(2)=2, repcount=1, factor=3/1
206704           2941620942                88568  010 00029523 100 000 <A 1116 100
== Executing PPA-CTR  4 (once), V(1)=29520, V(2)=5
206739           2941621287                88595  010 00029521 001 00012 <A 1112 100
== Executing  PA-CTR  2, V(1)=10, V(2)=1, repcount=11, factor=3/1
206893           2941625082                88562  010 00029521 001 000 <A 11135 100
== Executing PPA-CTR  5 (once), V(1)=29519, V(2)=34
206915           2941625889                88673  010 00029520 010 00039 <A 111 100
== Executing  PA-CTR  2, V(1)=37, V(2)=0, repcount=38, factor=3/1
207447           2941666017                88559  010 00029520 010 000 <A 111115 100
== Executing PPA-CTR  3 (once), V(1)=29518, V(2)=114
207483           2941669254                88910  010 00029519 100 000119 <A 1113 100
== Executing  PA-CTR  2, V(1)=117, V(2)=2, repcount=118, factor=3/1
209135           2942052990                88556  010 00029519 100 000 <A 111357 100
== Executing PPA-CTR  4 (once), V(1)=29516, V(2)=356
209170           2942064918                89636  010 00029517 001 000363 <A 1112 100
== Executing  PA-CTR  2, V(1)=361, V(2)=1, repcount=362, factor=3/1
214238           2945620482                88550  010 00029517 001 000 <A 1111088 100
== Executing PPA-CTR  5 (once), V(1)=29515, V(2)=1087
214260           2945643402                91820  010 00029516 010 0001092 <A 111 100
== Executing  PA-CTR  2, V(1)=1090, V(2)=0, repcount=1091, factor=3/1
229534           2977813719                88547  010 00029516 010 000 <A 1113274 100
== Executing PPA-CTR  3 (once), V(1)=29514, V(2)=3273
229570           2977902249                98375  010 00029515 100 0003278 <A 1113 100
== Executing  PA-CTR  2, V(1)=3276, V(2)=2, repcount=3277, factor=3/1
275448           3268064214                88544  010 00029515 100 000 <A 1119834 100
== Executing PPA-CTR  4 (once), V(1)=29512, V(2)=9833
275483           3268388883               118055  010 00029513 001 0009840 <A 1112 100
== Executing  PA-CTR  2, V(1)=9838, V(2)=1, repcount=9839, factor=3/1
413229           5882621022                88538  010 00029513 001 000 <A 11129519 100
== Executing PPA-CTR  5 (once), V(1)=29511, V(2)=29518
413251           5883240993               177101  010 00029512 010 00029523 <A 111 100
== Executing  PA-CTR  2, V(1)=29521, V(2)=0, repcount=29522, factor=3/1
826559          29415935721                88535  010 00029512 010 000 <A 11188567 100
== Executing PPA-CTR  3 (once), V(1)=29510, V(2)=88566
826595          29418327162               354242  010 00029511 100 00088571 <A 1113 100
== Executing  PA-CTR  2, V(1)=88569, V(2)=2, repcount=88570, factor=3/1
2066575         241229585082                88532  010 00029511 100 000 <A 111265713 100
== Executing PPA-CTR  4 (once), V(1)=29508, V(2)=265712
2066610         241238353758               885680  010 00029509 001 000265719 <A 1112 100
== Executing  PA-CTR  2, V(1)=265717, V(2)=1, repcount=265718, factor=3/1
5786662        2147614607370                88526  010 00029509 001 000 <A 111797156 100
== Executing PPA-CTR  5 (once), V(1)=29507, V(2)=797155
5786684        2147631347718              2480000  010 00029508 010 000797160 <A 111 100
== Executing  PA-CTR  2, V(1)=797158, V(2)=0, repcount=797159, factor=3/1
16946910       19305141987075                88523  010 00029508 010 000 <A 1112391478 100
== Executing PPA-CTR  3 (once), V(1)=29506, V(2)=2391477
16946946       19305206557113              7262963  010 00029507 100 0002391482 <A 1113 100
== Executing  PA-CTR  2, V(1)=2391480, V(2)=2, repcount=2391481, factor=3/1
50427680      173723261475606                88520  010 00029507 100 000 <A 1117174446 100
== Executing PPA-CTR  4 (once), V(1)=29504, V(2)=7174445
50427715      173723498232471             21611867  010 00029505 001 0007174452 <A 1112 100
== Executing  PA-CTR  2, V(1)=7174450, V(2)=1, repcount=7174451, factor=3/1
150870029     1563488015693946                88514  010 00029505 001 000 <A 11121523355 100
== Executing PPA-CTR  5 (once), V(1)=29503, V(2)=21523354
150870051     1563488467684473             64658585  010 00029504 010 00021523359 <A 111 100
== Executing  PA-CTR  2, V(1)=21523357, V(2)=0, repcount=21523358, factor=3/1
452197063    14071372482481641                88511  010 00029504 010 000 <A 11164570075 100
== Executing PPA-CTR  3 (once), V(1)=29502, V(2)=64570074
452197099    14071374225873798            193798742  010 00029503 100 00064570079 <A 1113 100
== Executing  PA-CTR  2, V(1)=64570077, V(2)=2, repcount=64570078, factor=3/1
1356178191    1266423[4]6503214                88508  010 00029503 100 000 <A 111193710237 100
== Executing PPA-CTR  4 (once), V(1)=29500, V(2)=193710236
1356178226    1266423[4]8941182            581219228  010 00029501 001 000193710243 <A 1112 100
== Executing  PA-CTR  2, V(1)=193710241, V(2)=1, repcount=193710242, factor=3/1
4068121614    1139781[5]0894026                88502  010 00029501 001 000 <A 111581130728 100
== Executing PPA-CTR  5 (once), V(1)=29499, V(2)=581130727
4068121636    1139781[5]4639386           1743480692  010 00029500 010 000581130732 <A 111 100
== Executing  PA-CTR  2, V(1)=581130730, V(2)=0, repcount=581130731, factor=3/1
12203951870    1025803[6]8609063                88499  010 00029500 010 000 <A 1111743392194 100
== Executing PPA-CTR  3 (once), V(1)=29498, V(2)=1743392193
12203951906    1025803[6]0198433           5230265087  010 00029499 100 0001743392198 <A 1113 100
== Executing  PA-CTR  2, V(1)=1743392196, V(2)=2, repcount=1743392197, factor=3/1
36611442664    9232227[6]7227278                88496  010 00029499 100 000 <A 1115230176594 100
== Executing PPA-CTR  4 (once), V(1)=29496, V(2)=5230176593
36611442699    9232227[6]3055027          15690618287  010 00029497 001 0005230176600 <A 1112 100
== Executing  PA-CTR  2, V(1)=5230176598, V(2)=1, repcount=5230176599, factor=3/1
109833915085    8309004[7]6115406                88490  010 00029497 001 000 <A 11115690529799 100
== Executing PPA-CTR  5 (once), V(1)=29495, V(2)=15690529798
109833915107    8309004[7]7241257          47071677893  010 00029496 010 00015690529803 <A 111 100
== Executing  PA-CTR  2, V(1)=15690529801, V(2)=0, repcount=15690529802, factor=3/1
329501332335    7478104[8]7433825                88487  010 00029496 010 000 <A 11147071589407 100
== Executing PPA-CTR  3 (once), V(1)=29494, V(2)=47071589406
329501332371    7478104[8]0347946         141214856714  010 00029495 100 00047071589411 <A 1113 100
== Executing  PA-CTR  2, V(1)=47071589409, V(2)=2, repcount=47071589410, factor=3/1
988503584111    6730293[9]7247706                88484  010 00029495 100 000 <A 111141214768233 100

Lines:       300
Top steps:   299
Macro steps: 988503584111
Basic steps: 67302936339759457247706
Tape index:  88484
ones:        423644304702
log10(ones    ):   11.627
log10(steps   ):   22.828

Some long numbers above are shortened: #(omitted digits) shown in "[]".

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.

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
    T 6-state 2-symbol #a (Pavel Kropitz)
    : >3.1x10^10566  >3.8x10^21132
    C This was the best 6x2 TM (May-2010..Jul-2010)
    5T  B1R D0L  C1R F0R  C1L A1L  E0L H1L  A1L B0R  C0R E0R
    L 4
    M	300
    pref	sim
    machv Kro62_a  	just simple
    machv Kro62_a-r	with repetitions reduced
    machv Kro62_a-1	with tape symbol exponents
    machv Kro62_a-m	as 3-macro machine
    machv Kro62_a-a	as 3-macro machine with pure additive config-TRs
    iam	Kro62_a-a
    mtype	3
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:14:25 CEST 2010
    edate	Tue Jul  6 22:14:26 CEST 2010
    bnspeed	1
    short	7

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:14:25 CEST 2010
Ready: Tue Jul 6 22:14:26 CEST 2010