2-state 5-symbol #n from T.J. & S. Ligocki

Comment: This TM produces >1.7x10^352 nonzeros in >1.9x10^704 steps.
Comment: This is a current 2x5 champion

State on
0
on
1
on
2
on
3
on
4
on 0 on 1 on 2 on 3 on 4
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 2LA 1RA 2LB 2LA 1 right B 2 left A 1 right A 2 left B 2 left A
B 0LA 2RB 3RB 4RA 1RH 0 left A 2 right B 3 right B 4 right A 1 right H
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
Simulation is done as 1-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 1.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  A>
    1                    1                    1  1 B>
    2                    2                    0  1 <A
    3                    3                   -1  <A 2
    4                    4                    0  1 B> 2
    5                    5                    1  1 3 B>
    6                    6                    0  1 3 <A
    7                    7                   -1  1 <B 2
    8                    8                    0  2 B> 2
    9                    9                    1  2 3 B>
   10                   10                    0  2 3 <A
   11                   11                   -1  2 <B 2
   12                   12                    0  3 B> 2
   13                   13                    1  32 B>
   14                   14                    0  32 <A
   15                   15                   -1  3 <B 2
   16                   16                    0  4 A> 2
   17                   17                    1  4 1 A>
   18                   18                    2  4 12 B>
   19                   19                    1  4 12 <A
   20                   21                   -1  4 <A 22
   21                   22                   -2  <A 23
   22                   23                   -1  1 B> 23
   23                   26                    2  1 33 B>
   24                   27                    1  1 33 <A
   25                   28                    0  1 32 <B 2
   26                   29                    1  1 3 4 A> 2
   27                   30                    2  1 3 4 1 A>
   28                   31                    3  1 3 4 12 B>
   29                   32                    2  1 3 4 12 <A
   30                   34                    0  1 3 4 <A 22
   31                   35                   -1  1 3 <A 23
   32                   36                   -2  1 <B 24
   33                   37                   -1  2 B> 24
   34                   41                    3  2 34 B>
   35                   42                    2  2 34 <A
   36                   43                    1  2 33 <B 2
   37                   44                    2  2 32 4 A> 2
   38                   45                    3  2 32 4 1 A>
   39                   46                    4  2 32 4 12 B>
   40                   47                    3  2 32 4 12 <A
   41                   49                    1  2 32 4 <A 22
   42                   50                    0  2 32 <A 23
   43                   51                   -1  2 3 <B 24
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* 33+V(1) <B 21+V(2)
    1                    1                    1  [*]* 32+V(1) 4 A> 21+V(2)
    2               2+V(2)               2+V(2)  [*]* 32+V(1) 4 11+V(2) A>
    3               3+V(2)               3+V(2)  [*]* 32+V(1) 4 12+V(2) B>
    4               4+V(2)               2+V(2)  [*]* 32+V(1) 4 12+V(2) <A
    5             6+2*V(2)                    0  [*]* 32+V(1) 4 <A 22+V(2)
    6             7+2*V(2)                   -1  [*]* 32+V(1) <A 23+V(2)
    7             8+2*V(2)                   -2  [*]* 31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 1 (PA)
   44                   52                    0  2 4 A> 24
   45                   56                    4  2 4 14 A>
   46                   57                    5  2 4 15 B>
   47                   58                    4  2 4 15 <A
   48                   63                   -1  2 4 <A 25
   49                   64                   -2  2 <A 26
   50                   65                   -1  1 A> 26
   51                   71                    5  17 A>
   52                   72                    6  18 B>
   53                   73                    5  18 <A
   54                   81                   -3  <A 28
   55                   82                   -2  1 B> 28
   56                   90                    6  1 38 B>
   57                   91                    5  1 38 <A
   58                   92                    4  1 37 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  2 3 <B 21+V(1)
    1                    1                    1  2 4 A> 21+V(1)
    2               2+V(1)               2+V(1)  2 4 11+V(1) A>
    3               3+V(1)               3+V(1)  2 4 12+V(1) B>
    4               4+V(1)               2+V(1)  2 4 12+V(1) <A
    5             6+2*V(1)                    0  2 4 <A 22+V(1)
    6             7+2*V(1)                   -1  2 <A 23+V(1)
    7             8+2*V(1)                    0  1 A> 23+V(1)
    8            11+3*V(1)               3+V(1)  14+V(1) A>
    9            12+3*V(1)               4+V(1)  15+V(1) B>
   10            13+3*V(1)               3+V(1)  15+V(1) <A
   11            18+4*V(1)                   -2  <A 25+V(1)
   12            19+4*V(1)                   -1  1 B> 25+V(1)
   13            24+5*V(1)               4+V(1)  1 35+V(1) B>
   14            25+5*V(1)               3+V(1)  1 35+V(1) <A
   15            26+5*V(1)               2+V(1)  1 34+V(1) <B 2
<< Success! ==> defined new CTR 2 (PPA)
   58                   92                    4  1 37 <B 2
== Executing  PA-CTR  1, V(1)=4, V(2)=0, repcount=3, factor=3/2
   79                  134                   -2  1 3 <B 210
   80                  135                   -1  1 4 A> 210
   81                  145                    9  1 4 110 A>
   82                  146                   10  1 4 111 B>
   83                  147                    9  1 4 111 <A
   84                  158                   -2  1 4 <A 211
   85                  159                   -3  1 <A 212
   86                  160                   -4  <A 213
   87                  161                   -3  1 B> 213
   88                  174                   10  1 313 B>
   89                  175                    9  1 313 <A
   90                  176                    8  1 312 <B 2
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  11+V(1) 3 <B 21+V(2)
    1                    1                    1  11+V(1) 4 A> 21+V(2)
    2               2+V(2)               2+V(2)  11+V(1) 4 11+V(2) A>
    3               3+V(2)               3+V(2)  11+V(1) 4 12+V(2) B>
    4               4+V(2)               2+V(2)  11+V(1) 4 12+V(2) <A
    5             6+2*V(2)                    0  11+V(1) 4 <A 22+V(2)
    6             7+2*V(2)                   -1  11+V(1) <A 23+V(2)
    7        8+V(1)+2*V(2)           -2+-1*V(1)  <A 24+V(1)+V(2)
    8        9+V(1)+2*V(2)           -1+-1*V(1)  1 B> 24+V(1)+V(2)
    9     13+2*V(1)+3*V(2)               3+V(2)  1 34+V(1)+V(2) B>
   10     14+2*V(1)+3*V(2)               2+V(2)  1 34+V(1)+V(2) <A
   11     15+2*V(1)+3*V(2)               1+V(2)  1 33+V(1)+V(2) <B 2
<< Success! ==> defined new CTR 3 (PPA)
   90                  176                    8  1 312 <B 2
== Executing  PA-CTR  1, V(1)=9, V(2)=0, repcount=5, factor=3/2
  125                  276                   -2  1 32 <B 216
  126                  277                   -1  1 3 4 A> 216
  127                  293                   15  1 3 4 116 A>
  128                  294                   16  1 3 4 117 B>
  129                  295                   15  1 3 4 117 <A
  130                  312                   -2  1 3 4 <A 217
  131                  313                   -3  1 3 <A 218
  132                  314                   -4  1 <B 219
  133                  315                   -3  2 B> 219
  134                  334                   16  2 319 B>
  135                  335                   15  2 319 <A
  136                  336                   14  2 318 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  1 32 <B 21+V(1)
    1                    1                    1  1 3 4 A> 21+V(1)
    2               2+V(1)               2+V(1)  1 3 4 11+V(1) A>
    3               3+V(1)               3+V(1)  1 3 4 12+V(1) B>
    4               4+V(1)               2+V(1)  1 3 4 12+V(1) <A
    5             6+2*V(1)                    0  1 3 4 <A 22+V(1)
    6             7+2*V(1)                   -1  1 3 <A 23+V(1)
    7             8+2*V(1)                   -2  1 <B 24+V(1)
    8             9+2*V(1)                   -1  2 B> 24+V(1)
    9            13+3*V(1)               3+V(1)  2 34+V(1) B>
   10            14+3*V(1)               2+V(1)  2 34+V(1) <A
   11            15+3*V(1)               1+V(1)  2 33+V(1) <B 2
<< Success! ==> defined new CTR 4 (PPA)
  136                  336                   14  2 318 <B 2
== Executing  PA-CTR  1, V(1)=15, V(2)=0, repcount=8, factor=3/2
  192                  568                   -2  2 32 <B 225
  193                  569                   -1  2 3 4 A> 225
  194                  594                   24  2 3 4 125 A>
  195                  595                   25  2 3 4 126 B>
  196                  596                   24  2 3 4 126 <A
  197                  622                   -2  2 3 4 <A 226
  198                  623                   -3  2 3 <A 227
  199                  624                   -4  2 <B 228
  200                  625                   -3  3 B> 228
  201                  653                   25  329 B>
  202                  654                   24  329 <A
  203                  655                   23  328 <B 2
  204                  656                   24  327 4 A> 2
  205                  657                   25  327 4 1 A>
  206                  658                   26  327 4 12 B>
  207                  659                   25  327 4 12 <A
  208                  661                   23  327 4 <A 22
  209                  662                   22  327 <A 23
  210                  663                   21  326 <B 24
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  33+V(1) <B 21+V(2)
    1                    1                    1  32+V(1) 4 A> 21+V(2)
    2               2+V(2)               2+V(2)  32+V(1) 4 11+V(2) A>
    3               3+V(2)               3+V(2)  32+V(1) 4 12+V(2) B>
    4               4+V(2)               2+V(2)  32+V(1) 4 12+V(2) <A
    5             6+2*V(2)                    0  32+V(1) 4 <A 22+V(2)
    6             7+2*V(2)                   -1  32+V(1) <A 23+V(2)
    7             8+2*V(2)                   -2  31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 5 (PA)
  210                  663                   21  326 <B 24
== Executing  PA-CTR  5, V(1)=23, V(2)=3, repcount=12, factor=3/2
  294                 1227                   -3  32 <B 240
  295                 1228                   -2  3 4 A> 240
  296                 1268                   38  3 4 140 A>
  297                 1269                   39  3 4 141 B>
  298                 1270                   38  3 4 141 <A
  299                 1311                   -3  3 4 <A 241
  300                 1312                   -4  3 <A 242
  301                 1313                   -5  <B 243
  302                 1314                   -6  <A 0 243
  303                 1315                   -5  1 B> 0 243
  304                 1316                   -6  1 <A 0 243
  305                 1317                   -7  <A 2 0 243
  306                 1318                   -6  1 B> 2 0 243
  307                 1319                   -5  1 3 B> 0 243
  308                 1320                   -6  1 3 <A 0 243
  309                 1321                   -7  1 <B 2 0 243
  310                 1322                   -6  2 B> 2 0 243
  311                 1323                   -5  2 3 B> 0 243
  312                 1324                   -6  2 3 <A 0 243
  313                 1325                   -7  2 <B 2 0 243
  314                 1326                   -6  3 B> 2 0 243
  315                 1327                   -5  32 B> 0 243
  316                 1328                   -6  32 <A 0 243
  317                 1329                   -7  3 <B 2 0 243
  318                 1330                   -6  4 A> 2 0 243
  319                 1331                   -5  4 1 A> 0 243
  320                 1332                   -4  4 12 B> 243
  321                 1375                   39  4 12 343 B>
  322                 1376                   38  4 12 343 <A
  323                 1377                   37  4 12 342 <B 2
  324                 1378                   38  4 12 341 4 A> 2
  325                 1379                   39  4 12 341 4 1 A>
  326                 1380                   40  4 12 341 4 12 B>
  327                 1381                   39  4 12 341 4 12 <A
  328                 1383                   37  4 12 341 4 <A 22
  329                 1384                   36  4 12 341 <A 23
  330                 1385                   35  4 12 340 <B 24
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* [*]* 33+V(1) <B 21+V(2)
    1                    1                    1  [*]* [*]* 32+V(1) 4 A> 21+V(2)
    2               2+V(2)               2+V(2)  [*]* [*]* 32+V(1) 4 11+V(2) A>
    3               3+V(2)               3+V(2)  [*]* [*]* 32+V(1) 4 12+V(2) B>
    4               4+V(2)               2+V(2)  [*]* [*]* 32+V(1) 4 12+V(2) <A
    5             6+2*V(2)                    0  [*]* [*]* 32+V(1) 4 <A 22+V(2)
    6             7+2*V(2)                   -1  [*]* [*]* 32+V(1) <A 23+V(2)
    7             8+2*V(2)                   -2  [*]* [*]* 31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 6 (PA)
  330                 1385                   35  4 12 340 <B 24
== Executing  PA-CTR  6, V(1)=37, V(2)=3, repcount=19, factor=3/2
  463                 2677                   -3  4 12 32 <B 261
  464                 2678                   -2  4 12 3 4 A> 261
  465                 2739                   59  4 12 3 4 161 A>
  466                 2740                   60  4 12 3 4 162 B>
  467                 2741                   59  4 12 3 4 162 <A
  468                 2803                   -3  4 12 3 4 <A 262
  469                 2804                   -4  4 12 3 <A 263
  470                 2805                   -5  4 12 <B 264
  471                 2806                   -4  4 1 2 B> 264
  472                 2870                   60  4 1 2 364 B>
  473                 2871                   59  4 1 2 364 <A
  474                 2872                   58  4 1 2 363 <B 2
  475                 2873                   59  4 1 2 362 4 A> 2
  476                 2874                   60  4 1 2 362 4 1 A>
  477                 2875                   61  4 1 2 362 4 12 B>
  478                 2876                   60  4 1 2 362 4 12 <A
  479                 2878                   58  4 1 2 362 4 <A 22
  480                 2879                   57  4 1 2 362 <A 23
  481                 2880                   56  4 1 2 361 <B 24
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* [*]* [*]* 33+V(1) <B 21+V(2)
    1                    1                    1  [*]* [*]* [*]* 32+V(1) 4 A> 21+V(2)
    2               2+V(2)               2+V(2)  [*]* [*]* [*]* 32+V(1) 4 11+V(2) A>
    3               3+V(2)               3+V(2)  [*]* [*]* [*]* 32+V(1) 4 12+V(2) B>
    4               4+V(2)               2+V(2)  [*]* [*]* [*]* 32+V(1) 4 12+V(2) <A
    5             6+2*V(2)                    0  [*]* [*]* [*]* 32+V(1) 4 <A 22+V(2)
    6             7+2*V(2)                   -1  [*]* [*]* [*]* 32+V(1) <A 23+V(2)
    7             8+2*V(2)                   -2  [*]* [*]* [*]* 31+V(1) <B 24+V(2)
<< Success! ==> defined new CTR 7 (PA)
  481                 2880                   56  4 1 2 361 <B 24
== Executing  PA-CTR  7, V(1)=58, V(2)=3, repcount=30, factor=3/2
  691                 5910                   -4  4 1 2 3 <B 294
  692                 5911                   -3  4 1 2 4 A> 294
  693                 6005                   91  4 1 2 4 194 A>
  694                 6006                   92  4 1 2 4 195 B>
  695                 6007                   91  4 1 2 4 195 <A
  696                 6102                   -4  4 1 2 4 <A 295
  697                 6103                   -5  4 1 2 <A 296
  698                 6104                   -4  4 12 A> 296
  699                 6200                   92  4 198 A>
  700                 6201                   93  4 199 B>
  701                 6202                   92  4 199 <A
  702                 6301                   -7  4 <A 299
  703                 6302                   -8  <A 2100
  704                 6303                   -7  1 B> 2100
  705                 6403                   93  1 3100 B>
  706                 6404                   92  1 3100 <A
  707                 6405                   91  1 399 <B 2
>> Try to prove a PPA-CTR with 3 Vars...
    0                    0                    0  41+V(2) 11+V(1) 2 3 <B 21+V(3)
    1                    1                    1  41+V(2) 11+V(1) 2 4 A> 21+V(3)
    2               2+V(3)               2+V(3)  41+V(2) 11+V(1) 2 4 11+V(3) A>
    3               3+V(3)               3+V(3)  41+V(2) 11+V(1) 2 4 12+V(3) B>
    4               4+V(3)               2+V(3)  41+V(2) 11+V(1) 2 4 12+V(3) <A
    5             6+2*V(3)                    0  41+V(2) 11+V(1) 2 4 <A 22+V(3)
    6             7+2*V(3)                   -1  41+V(2) 11+V(1) 2 <A 23+V(3)
    7             8+2*V(3)                    0  41+V(2) 12+V(1) A> 23+V(3)
    8            11+3*V(3)               3+V(3)  41+V(2) 15+V(1)+V(3) A>
    9            12+3*V(3)               4+V(3)  41+V(2) 16+V(1)+V(3) B>
   10            13+3*V(3)               3+V(3)  41+V(2) 16+V(1)+V(3) <A
   11       19+V(1)+4*V(3)           -3+-1*V(1)  41+V(2) <A 26+V(1)+V(3)
   12  20+V(1)+V(2)+4*V(3)   -4+-1*V(1)+-1*V(2)  <A 27+V(1)+V(2)+V(3)
   13  21+V(1)+V(2)+4*V(3)   -3+-1*V(1)+-1*V(2)  1 B> 27+V(1)+V(2)+V(3)
   14 28+2*V(1)+2*V(2)+5*V(3)               4+V(3)  1 37+V(1)+V(2)+V(3) B>
   15 29+2*V(1)+2*V(2)+5*V(3)               3+V(3)  1 37+V(1)+V(2)+V(3) <A
   16 30+2*V(1)+2*V(2)+5*V(3)               2+V(3)  1 36+V(1)+V(2)+V(3) <B 2
<< Success! ==> defined new CTR 8 (PPA)
  707                 6405                   91  1 399 <B 2
== Executing  PA-CTR  1, V(1)=96, V(2)=0, repcount=49, factor=3/2
 1050                13853                   -7  1 3 <B 2148
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=147
 1061                14309                  141  1 3150 <B 2
== Executing  PA-CTR  1, V(1)=147, V(2)=0, repcount=74, factor=3/2
 1579                31107                   -7  1 32 <B 2223
== Executing PPA-CTR  4 (once), V(1)=222
 1590                31788                  216  2 3225 <B 2
== Executing  PA-CTR  1, V(1)=222, V(2)=0, repcount=112, factor=3/2
 2374                69980                   -8  2 3 <B 2337
== Executing PPA-CTR  2 (once), V(1)=336
 2389                71686                  330  1 3340 <B 2
== Executing  PA-CTR  1, V(1)=337, V(2)=0, repcount=169, factor=3/2
 3572               158214                   -8  1 32 <B 2508
== Executing PPA-CTR  4 (once), V(1)=507
 3583               159750                  500  2 3510 <B 2
== Executing  PA-CTR  1, V(1)=507, V(2)=0, repcount=254, factor=3/2
 5361               354568                   -8  2 32 <B 2763
 5362               354569                   -7  2 3 4 A> 2763
 5363               355332                  756  2 3 4 1763 A>
 5364               355333                  757  2 3 4 1764 B>
 5365               355334                  756  2 3 4 1764 <A
 5366               356098                   -8  2 3 4 <A 2764
 5367               356099                   -9  2 3 <A 2765
 5368               356100                  -10  2 <B 2766
 5369               356101                   -9  3 B> 2766
 5370               356867                  757  3767 B>
 5371               356868                  756  3767 <A
 5372               356869                  755  3766 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  2 32 <B 21+V(1)
    1                    1                    1  2 3 4 A> 21+V(1)
    2               2+V(1)               2+V(1)  2 3 4 11+V(1) A>
    3               3+V(1)               3+V(1)  2 3 4 12+V(1) B>
    4               4+V(1)               2+V(1)  2 3 4 12+V(1) <A
    5             6+2*V(1)                    0  2 3 4 <A 22+V(1)
    6             7+2*V(1)                   -1  2 3 <A 23+V(1)
    7             8+2*V(1)                   -2  2 <B 24+V(1)
    8             9+2*V(1)                   -1  3 B> 24+V(1)
    9            13+3*V(1)               3+V(1)  35+V(1) B>
   10            14+3*V(1)               2+V(1)  35+V(1) <A
   11            15+3*V(1)               1+V(1)  34+V(1) <B 2
<< Success! ==> defined new CTR 9 (PPA)
 5372               356869                  755  3766 <B 2
== Executing  PA-CTR  5, V(1)=763, V(2)=0, repcount=382, factor=3/2
 8046               796551                   -9  32 <B 21147
 8047               796552                   -8  3 4 A> 21147
 8048               797699                 1139  3 4 11147 A>
 8049               797700                 1140  3 4 11148 B>
 8050               797701                 1139  3 4 11148 <A
 8051               798849                   -9  3 4 <A 21148
 8052               798850                  -10  3 <A 21149
 8053               798851                  -11  <B 21150
 8054               798852                  -12  <A 0 21150
 8055               798853                  -11  1 B> 0 21150
 8056               798854                  -12  1 <A 0 21150
 8057               798855                  -13  <A 2 0 21150
 8058               798856                  -12  1 B> 2 0 21150
 8059               798857                  -11  1 3 B> 0 21150
 8060               798858                  -12  1 3 <A 0 21150
 8061               798859                  -13  1 <B 2 0 21150
 8062               798860                  -12  2 B> 2 0 21150
 8063               798861                  -11  2 3 B> 0 21150
 8064               798862                  -12  2 3 <A 0 21150
 8065               798863                  -13  2 <B 2 0 21150
 8066               798864                  -12  3 B> 2 0 21150
 8067               798865                  -11  32 B> 0 21150
 8068               798866                  -12  32 <A 0 21150
 8069               798867                  -13  3 <B 2 0 21150
 8070               798868                  -12  4 A> 2 0 21150
 8071               798869                  -11  4 1 A> 0 21150
 8072               798870                  -10  4 12 B> 21150
 8073               800020                 1140  4 12 31150 B>
 8074               800021                 1139  4 12 31150 <A
 8075               800022                 1138  4 12 31149 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  32 <B 21+V(1)
    1                    1                    1  3 4 A> 21+V(1)
    2               2+V(1)               2+V(1)  3 4 11+V(1) A>
    3               3+V(1)               3+V(1)  3 4 12+V(1) B>
    4               4+V(1)               2+V(1)  3 4 12+V(1) <A
    5             6+2*V(1)                    0  3 4 <A 22+V(1)
    6             7+2*V(1)                   -1  3 <A 23+V(1)
    7             8+2*V(1)                   -2  <B 24+V(1)
    8             9+2*V(1)                   -3  <A 0 24+V(1)
    9            10+2*V(1)                   -2  1 B> 0 24+V(1)
   10            11+2*V(1)                   -3  1 <A 0 24+V(1)
   11            12+2*V(1)                   -4  <A 2 0 24+V(1)
   12            13+2*V(1)                   -3  1 B> 2 0 24+V(1)
   13            14+2*V(1)                   -2  1 3 B> 0 24+V(1)
   14            15+2*V(1)                   -3  1 3 <A 0 24+V(1)
   15            16+2*V(1)                   -4  1 <B 2 0 24+V(1)
   16            17+2*V(1)                   -3  2 B> 2 0 24+V(1)
   17            18+2*V(1)                   -2  2 3 B> 0 24+V(1)
   18            19+2*V(1)                   -3  2 3 <A 0 24+V(1)
   19            20+2*V(1)                   -4  2 <B 2 0 24+V(1)
   20            21+2*V(1)                   -3  3 B> 2 0 24+V(1)
   21            22+2*V(1)                   -2  32 B> 0 24+V(1)
   22            23+2*V(1)                   -3  32 <A 0 24+V(1)
   23            24+2*V(1)                   -4  3 <B 2 0 24+V(1)
   24            25+2*V(1)                   -3  4 A> 2 0 24+V(1)
   25            26+2*V(1)                   -2  4 1 A> 0 24+V(1)
   26            27+2*V(1)                   -1  4 12 B> 24+V(1)
   27            31+3*V(1)               3+V(1)  4 12 34+V(1) B>
   28            32+3*V(1)               2+V(1)  4 12 34+V(1) <A
   29            33+3*V(1)               1+V(1)  4 12 33+V(1) <B 2
<< Success! ==> defined new CTR 10 (PPA)
 8075               800022                 1138  4 12 31149 <B 2
== Executing  PA-CTR  6, V(1)=1146, V(2)=0, repcount=574, factor=3/2
12093              1791320                  -10  4 12 3 <B 21723
12094              1791321                   -9  4 12 4 A> 21723
12095              1793044                 1714  4 12 4 11723 A>
12096              1793045                 1715  4 12 4 11724 B>
12097              1793046                 1714  4 12 4 11724 <A
12098              1794770                  -10  4 12 4 <A 21724
12099              1794771                  -11  4 12 <A 21725
12100              1794773                  -13  4 <A 21727
12101              1794774                  -14  <A 21728
12102              1794775                  -13  1 B> 21728
12103              1796503                 1715  1 31728 B>
12104              1796504                 1714  1 31728 <A
12105              1796505                 1713  1 31727 <B 2
>> Try to prove a PPA-CTR with 3 Vars...
    0                    0                    0  41+V(2) 11+V(1) 3 <B 21+V(3)
    1                    1                    1  41+V(2) 11+V(1) 4 A> 21+V(3)
    2               2+V(3)               2+V(3)  41+V(2) 11+V(1) 4 11+V(3) A>
    3               3+V(3)               3+V(3)  41+V(2) 11+V(1) 4 12+V(3) B>
    4               4+V(3)               2+V(3)  41+V(2) 11+V(1) 4 12+V(3) <A
    5             6+2*V(3)                    0  41+V(2) 11+V(1) 4 <A 22+V(3)
    6             7+2*V(3)                   -1  41+V(2) 11+V(1) <A 23+V(3)
    7        8+V(1)+2*V(3)           -2+-1*V(1)  41+V(2) <A 24+V(1)+V(3)
    8   9+V(1)+V(2)+2*V(3)   -3+-1*V(1)+-1*V(2)  <A 25+V(1)+V(2)+V(3)
    9  10+V(1)+V(2)+2*V(3)   -2+-1*V(1)+-1*V(2)  1 B> 25+V(1)+V(2)+V(3)
   10 15+2*V(1)+2*V(2)+3*V(3)               3+V(3)  1 35+V(1)+V(2)+V(3) B>
   11 16+2*V(1)+2*V(2)+3*V(3)               2+V(3)  1 35+V(1)+V(2)+V(3) <A
   12 17+2*V(1)+2*V(2)+3*V(3)               1+V(3)  1 34+V(1)+V(2)+V(3) <B 2
<< Success! ==> defined new CTR 11 (PPA)
12105              1796505                 1713  1 31727 <B 2
== Executing  PA-CTR  1, V(1)=1724, V(2)=0, repcount=863, factor=3/2
18146              4035127                  -13  1 3 <B 22590
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=2589
18157              4042909                 2577  1 32592 <B 2
== Executing  PA-CTR  1, V(1)=2589, V(2)=0, repcount=1295, factor=3/2
27222              9080459                  -13  1 32 <B 23886
== Executing PPA-CTR  4 (once), V(1)=3885
27233              9092129                 3873  2 33888 <B 2
== Executing  PA-CTR  1, V(1)=3885, V(2)=0, repcount=1943, factor=3/2
40834             20427591                  -13  2 32 <B 25830
== Executing PPA-CTR  9 (once), V(1)=5829
40845             20445093                 5817  35833 <B 2
== Executing  PA-CTR  5, V(1)=5830, V(2)=0, repcount=2916, factor=3/2
61257             45968841                  -15  3 <B 28749
61258             45968842                  -14  4 A> 28749
61259             45977591                 8735  4 18749 A>
61260             45977592                 8736  4 18750 B>
61261             45977593                 8735  4 18750 <A
61262             45986343                  -15  4 <A 28750
61263             45986344                  -16  <A 28751
61264             45986345                  -15  1 B> 28751
61265             45995096                 8736  1 38751 B>
61266             45995097                 8735  1 38751 <A
61267             45995098                 8734  1 38750 <B 2
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  3 <B 22+V(1)
    1                    1                    1  4 A> 22+V(1)
    2               3+V(1)               3+V(1)  4 12+V(1) A>
    3               4+V(1)               4+V(1)  4 13+V(1) B>
    4               5+V(1)               3+V(1)  4 13+V(1) <A
    5             8+2*V(1)                    0  4 <A 23+V(1)
    6             9+2*V(1)                   -1  <A 24+V(1)
    7            10+2*V(1)                    0  1 B> 24+V(1)
    8            14+3*V(1)               4+V(1)  1 34+V(1) B>
    9            15+3*V(1)               3+V(1)  1 34+V(1) <A
   10            16+3*V(1)               2+V(1)  1 33+V(1) <B 2
<< Success! ==> defined new CTR 12 (PPA)
61267             45995098                 8734  1 38750 <B 2
== Executing  PA-CTR  1, V(1)=8747, V(2)=0, repcount=4374, factor=3/2
91885            103412596                  -14  1 32 <B 213123
== Executing PPA-CTR  4 (once), V(1)=13122
91896            103451977                13109  2 313125 <B 2
== Executing  PA-CTR  1, V(1)=13122, V(2)=0, repcount=6562, factor=3/2
137830            232664319                  -15  2 3 <B 219687
== Executing PPA-CTR  2 (once), V(1)=19686
137845            232762775                19673  1 319690 <B 2
== Executing  PA-CTR  1, V(1)=19687, V(2)=0, repcount=9844, factor=3/2
206753            523525003                  -15  1 32 <B 229533
== Executing PPA-CTR  4 (once), V(1)=29532
206764            523613614                29518  2 329535 <B 2
== Executing  PA-CTR  1, V(1)=29532, V(2)=0, repcount=14767, factor=3/2
310133           1177880316                  -16  2 3 <B 244302
== Executing PPA-CTR  2 (once), V(1)=44301
310148           1178101847                44287  1 344305 <B 2
== Executing  PA-CTR  1, V(1)=44302, V(2)=0, repcount=22152, factor=3/2
465212           2650345919                  -17  1 3 <B 266457
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=66456
465223           2650545302                66440  1 366459 <B 2
== Executing  PA-CTR  1, V(1)=66456, V(2)=0, repcount=33229, factor=3/2
697826           5963210770                  -18  1 3 <B 299688
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=99687
697837           5963509846                99670  1 399690 <B 2
== Executing  PA-CTR  1, V(1)=99687, V(2)=0, repcount=49844, factor=3/2
1046745          13417032074                  -18  1 32 <B 2149533
== Executing PPA-CTR  4 (once), V(1)=149532
1046756          13417480685               149515  2 3149535 <B 2
== Executing  PA-CTR  1, V(1)=149532, V(2)=0, repcount=74767, factor=3/2
1570125          30188167387                  -19  2 3 <B 2224302
== Executing PPA-CTR  2 (once), V(1)=224301
1570140          30189288918               224284  1 3224305 <B 2
== Executing  PA-CTR  1, V(1)=224302, V(2)=0, repcount=112152, factor=3/2
2355204          67924062990                  -20  1 3 <B 2336457
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=336456
2355215          67925072373               336437  1 3336459 <B 2
== Executing  PA-CTR  1, V(1)=336456, V(2)=0, repcount=168229, factor=3/2
3532818         152828902841                  -21  1 3 <B 2504688
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=504687
3532829         152830416917               504667  1 3504690 <B 2
== Executing  PA-CTR  1, V(1)=504687, V(2)=0, repcount=252344, factor=3/2
5299237         343864161645                  -21  1 32 <B 2757033
== Executing PPA-CTR  4 (once), V(1)=757032
5299248         343866432756               757012  2 3757035 <B 2
== Executing  PA-CTR  1, V(1)=757032, V(2)=0, repcount=378517, factor=3/2
7948867         773693683208                  -22  2 3 <B 21135552
== Executing PPA-CTR  2 (once), V(1)=1135551
7948882         773699360989              1135531  1 31135555 <B 2
== Executing  PA-CTR  1, V(1)=1135552, V(2)=0, repcount=567777, factor=3/2
11923321        1740814365061                  -23  1 3 <B 21703332
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=1703331
11923332        1740819475069              1703309  1 31703334 <B 2
== Executing  PA-CTR  1, V(1)=1703331, V(2)=0, repcount=851666, factor=3/2
17884994        3916828660067                  -23  1 32 <B 22554999
== Executing PPA-CTR  4 (once), V(1)=2554998
17885005        3916836325076              2554976  2 32555001 <B 2
== Executing  PA-CTR  1, V(1)=2554998, V(2)=0, repcount=1277500, factor=3/2
26827505        8812861462576                  -24  2 3 <B 23832501
== Executing PPA-CTR  2 (once), V(1)=3832500
26827520        8812880625102              3832478  1 33832504 <B 2
== Executing  PA-CTR  1, V(1)=3832501, V(2)=0, repcount=1916251, factor=3/2
40241277       19828943891360                  -24  1 32 <B 25748754
== Executing PPA-CTR  4 (once), V(1)=5748753
40241288       19828961137634              5748730  2 35748756 <B 2
== Executing  PA-CTR  1, V(1)=5748753, V(2)=0, repcount=2874377, factor=3/2
60361927       44615104923906                  -24  2 32 <B 28623132
== Executing PPA-CTR  9 (once), V(1)=8623131
60361938       44615130793314              8623108  38623135 <B 2
== Executing  PA-CTR  5, V(1)=8623132, V(2)=0, repcount=4311567, factor=3/2
90542907      100383982337616                  -26  3 <B 212934702
== Executing PPA-CTR 12 (once), V(1)=12934700
90542917      100384021141732             12934676  1 312934703 <B 2
== Executing  PA-CTR  1, V(1)=12934700, V(2)=0, repcount=6467351, factor=3/2
135814374      225863940350090                  -26  1 3 <B 219402054
== Executing PPA-CTR  3 (once), V(1)=0, V(2)=19402053
135814385      225863998556264             19402028  1 319402056 <B 2
== Executing  PA-CTR  1, V(1)=19402053, V(2)=0, repcount=9701027, factor=3/2
203721574      508193821625586                  -26  1 32 <B 229103082
== Executing PPA-CTR  4 (once), V(1)=29103081
203721585      508193908934844             29103056  2 329103084 <B 2
== Executing  PA-CTR  1, V(1)=29103081, V(2)=0, repcount=14551541, factor=3/2
305582372     1143436018116592                  -26  2 32 <B 243654624
== Executing PPA-CTR  9 (once), V(1)=43654623
305582383     1143436149080476             43654598  343654627 <B 2
== Executing  PA-CTR  5, V(1)=43654624, V(2)=0, repcount=21827313, factor=3/2
458373574     2572731036616948                  -28  3 <B 265481940
== Executing PPA-CTR 12 (once), V(1)=65481938
458373584     2572731233062778             65481912  1 365481941 <B 2
== Executing  PA-CTR  1, V(1)=65481938, V(2)=0, repcount=32740970, factor=3/2
687560374     5788644746390328                  -28  1 3 <B 298222911

Lines:       300
Top steps:   299
Macro steps: 687560374
Basic steps: 5788644746390328
Tape index:  -28
nonzeros:    98222913
log10(nonzeros):    7.992
log10(steps   ):   15.763

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-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
    nbs 5
    T 2-state 5-symbol #n from T.J. & S. Ligocki
    5T  1RB 2LA 1RA 2LB 2LA  0LA 2RB 3RB 4RA 1RH
    : >1.7x10^352  >1.9x10^704
    C This is a current 2x5 champion
    L 4
    M	300
    pref	sim
    machv Lig25_n  	just simple
    machv Lig25_n-r	with repetitions reduced
    machv Lig25_n-1	with tape symbol exponents
    machv Lig25_n-m	as 1-macro machine
    machv Lig25_n-a	as 1-macro machine with pure additive config-TRs
    iam	Lig25_n-a
    mtype	1
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:13:10 CEST 2010
    edate	Tue Jul  6 22:13:11 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:13:10 CEST 2010
Ready: Tue Jul 6 22:13:11 CEST 2010