3-state 4-symbol #b (T.J. & S. Ligocki)

Comment: This TM produces >2.4x10^26 nonzeros in >5.7x10^52 steps.
Comment: If started in state B it will run for one more step
Comment: ... but still generate the same number of non-zeros.

State on
0
on
1
on
2
on
3
on 0 on 1 on 2 on 3
Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 1LA 1LB 1RA 1 right B 1 left A 1 left B 1 right A
B 0LA 2RB 2LC 1RH 0 left A 2 right B 2 left C 1 right H
C 3RB 2LB 1RC 0RC 3 right B 2 left B 1 right C 0 right C
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-bck-macro machine.
Simulation is done as 1-bck-macro machine with pure additive config-TRs.

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

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  (0)A>
    1                    1                    1  (1)B>
    2                    3                   -1  <A(1)
    3                    5                    1  1 (2)B>
    4                    7                   -1  1 <B(1)
    5                    9                    1  2 (2)B>
    6                   11                   -1  2 <B(1)
    7                   12                   -2  <C(2) 1
    8                   16                    0  (1)C> 1
    9                   21                    1  1 (1)C>
   10                   22                    2  12 (3)B>
   11                   25                    3  13 (1)B>
   12                   27                    1  13 <A(1)
   13                   30                   -2  <A(1) 13
   14                   32                    0  1 (2)B> 13
   15                   35                    3  1 23 (2)B>
   16                   37                    1  1 23 <B(1)
   17                   38                    0  1 22 <C(2) 1
   18                   40                    2  1 2 1 (1)C> 1
   19                   45                    3  1 2 12 (1)C>
   20                   46                    4  1 2 13 (3)B>
   21                   49                    5  1 2 14 (1)B>
   22                   51                    3  1 2 14 <A(1)
   23                   55                   -1  1 2 <A(1) 14
   24                   56                   -2  1 <B(1) 15
   25                   58                    0  2 (2)B> 15
   26                   63                    5  26 (2)B>
   27                   65                    3  26 <B(1)
   28                   66                    2  25 <C(2) 1
   29                   68                    4  24 1 (1)C> 1
   30                   73                    5  24 12 (1)C>
   31                   74                    6  24 13 (3)B>
   32                   77                    7  24 14 (1)B>
   33                   79                    5  24 14 <A(1)
   34                   83                    1  24 <A(1) 14
   35                   84                    0  23 <B(1) 15
   36                   85                   -1  22 <C(2) 16
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  24+V(1) <C(2) 11+V(2)
    1                    2                    2  23+V(1) 1 (1)C> 11+V(2)
    2             7+5*V(2)               3+V(2)  23+V(1) 12+V(2) (1)C>
    3             8+5*V(2)               4+V(2)  23+V(1) 13+V(2) (3)B>
    4            11+5*V(2)               5+V(2)  23+V(1) 14+V(2) (1)B>
    5            13+5*V(2)               3+V(2)  23+V(1) 14+V(2) <A(1)
    6            17+6*V(2)                   -1  23+V(1) <A(1) 14+V(2)
    7            18+6*V(2)                   -2  22+V(1) <B(1) 15+V(2)
    8            19+6*V(2)                   -3  21+V(1) <C(2) 16+V(2)
<< Success! ==> defined new CTR 1 (PA)
   37                   87                    1  2 1 (1)C> 16
   38                  117                    7  2 17 (1)C>
   39                  118                    8  2 18 (3)B>
   40                  121                    9  2 19 (1)B>
   41                  123                    7  2 19 <A(1)
   42                  132                   -2  2 <A(1) 19
   43                  133                   -3  <B(1) 110
   44                  134                   -4  <A(0) 111
   45                  137                   -5  <A(1) 0 111
   46                  139                   -3  1 (2)B> 0 111
   47                  141                   -5  1 <B(1) 0 111
   48                  143                   -3  2 (2)B> 0 111
   49                  145                   -5  2 <B(1) 0 111
   50                  146                   -6  <C(2) 1 0 111
   51                  150                   -4  (1)C> 1 0 111
   52                  155                   -3  1 (1)C> 0 111
   53                  156                   -2  12 (3)B> 111
   54                  157                   -1  12 3 (2)B> 110
   55                  167                    9  12 3 210 (2)B>
   56                  169                    7  12 3 210 <B(1)
   57                  170                    6  12 3 29 <C(2) 1
   58                  172                    8  12 3 28 1 (1)C> 1
   59                  177                    9  12 3 28 12 (1)C>
   60                  178                   10  12 3 28 13 (3)B>
   61                  181                   11  12 3 28 14 (1)B>
   62                  183                    9  12 3 28 14 <A(1)
   63                  187                    5  12 3 28 <A(1) 14
   64                  188                    4  12 3 27 <B(1) 15
   65                  189                    3  12 3 26 <C(2) 16
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* [*]* 24+V(1) <C(2) 11+V(2)
    1                    2                    2  [*]* [*]* 23+V(1) 1 (1)C> 11+V(2)
    2             7+5*V(2)               3+V(2)  [*]* [*]* 23+V(1) 12+V(2) (1)C>
    3             8+5*V(2)               4+V(2)  [*]* [*]* 23+V(1) 13+V(2) (3)B>
    4            11+5*V(2)               5+V(2)  [*]* [*]* 23+V(1) 14+V(2) (1)B>
    5            13+5*V(2)               3+V(2)  [*]* [*]* 23+V(1) 14+V(2) <A(1)
    6            17+6*V(2)                   -1  [*]* [*]* 23+V(1) <A(1) 14+V(2)
    7            18+6*V(2)                   -2  [*]* [*]* 22+V(1) <B(1) 15+V(2)
    8            19+6*V(2)                   -3  [*]* [*]* 21+V(1) <C(2) 16+V(2)
<< Success! ==> defined new CTR 2 (PA)
   65                  189                    3  12 3 26 <C(2) 16
== Executing  PA-CTR  2, V(1)=2, V(2)=5, repcount=1, factor=5/3
   73                  238                    0  12 3 23 <C(2) 111
   74                  240                    2  12 3 22 1 (1)C> 111
   75                  295                   13  12 3 22 112 (1)C>
   76                  296                   14  12 3 22 113 (3)B>
   77                  299                   15  12 3 22 114 (1)B>
   78                  301                   13  12 3 22 114 <A(1)
   79                  315                   -1  12 3 22 <A(1) 114
   80                  316                   -2  12 3 2 <B(1) 115
   81                  317                   -3  12 3 <C(2) 116
   82                  319                   -1  12 0 (1)C> 116
   83                  399                   15  12 0 116 (1)C>
   84                  400                   16  12 0 117 (3)B>
   85                  403                   17  12 0 118 (1)B>
   86                  405                   15  12 0 118 <A(1)
   87                  423                   -3  12 0 <A(1) 118
   88                  425                   -1  13 (2)B> 118
   89                  443                   17  13 218 (2)B>
   90                  445                   15  13 218 <B(1)
   91                  446                   14  13 217 <C(2) 1
   92                  448                   16  13 216 1 (1)C> 1
   93                  453                   17  13 216 12 (1)C>
   94                  454                   18  13 216 13 (3)B>
   95                  457                   19  13 216 14 (1)B>
   96                  459                   17  13 216 14 <A(1)
   97                  463                   13  13 216 <A(1) 14
   98                  464                   12  13 215 <B(1) 15
   99                  465                   11  13 214 <C(2) 16
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* 24+V(1) <C(2) 11+V(2)
    1                    2                    2  [*]* 23+V(1) 1 (1)C> 11+V(2)
    2             7+5*V(2)               3+V(2)  [*]* 23+V(1) 12+V(2) (1)C>
    3             8+5*V(2)               4+V(2)  [*]* 23+V(1) 13+V(2) (3)B>
    4            11+5*V(2)               5+V(2)  [*]* 23+V(1) 14+V(2) (1)B>
    5            13+5*V(2)               3+V(2)  [*]* 23+V(1) 14+V(2) <A(1)
    6            17+6*V(2)                   -1  [*]* 23+V(1) <A(1) 14+V(2)
    7            18+6*V(2)                   -2  [*]* 22+V(1) <B(1) 15+V(2)
    8            19+6*V(2)                   -3  [*]* 21+V(1) <C(2) 16+V(2)
<< Success! ==> defined new CTR 3 (PA)
   99                  465                   11  13 214 <C(2) 16
== Executing  PA-CTR  3, V(1)=10, V(2)=5, repcount=4, factor=5/3
  131                  841                   -1  13 22 <C(2) 126
  132                  843                    1  13 2 1 (1)C> 126
  133                  973                   27  13 2 127 (1)C>
  134                  974                   28  13 2 128 (3)B>
  135                  977                   29  13 2 129 (1)B>
  136                  979                   27  13 2 129 <A(1)
  137                 1008                   -2  13 2 <A(1) 129
  138                 1009                   -3  13 <B(1) 130
  139                 1011                   -1  12 2 (2)B> 130
  140                 1041                   29  12 231 (2)B>
  141                 1043                   27  12 231 <B(1)
  142                 1044                   26  12 230 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  12+V(1) 22 <C(2) 11+V(2)
    1                    2                    2  12+V(1) 2 1 (1)C> 11+V(2)
    2             7+5*V(2)               3+V(2)  12+V(1) 2 12+V(2) (1)C>
    3             8+5*V(2)               4+V(2)  12+V(1) 2 13+V(2) (3)B>
    4            11+5*V(2)               5+V(2)  12+V(1) 2 14+V(2) (1)B>
    5            13+5*V(2)               3+V(2)  12+V(1) 2 14+V(2) <A(1)
    6            17+6*V(2)                   -1  12+V(1) 2 <A(1) 14+V(2)
    7            18+6*V(2)                   -2  12+V(1) <B(1) 15+V(2)
    8            20+6*V(2)                    0  11+V(1) 2 (2)B> 15+V(2)
    9            25+7*V(2)               5+V(2)  11+V(1) 26+V(2) (2)B>
   10            27+7*V(2)               3+V(2)  11+V(1) 26+V(2) <B(1)
   11            28+7*V(2)               2+V(2)  11+V(1) 25+V(2) <C(2) 1
<< Success! ==> defined new CTR 4 (PPA)
  142                 1044                   26  12 230 <C(2) 1
== Executing  PA-CTR  3, V(1)=26, V(2)=0, repcount=9, factor=5/3
  214                 2295                   -1  12 23 <C(2) 146
  215                 2297                    1  12 22 1 (1)C> 146
  216                 2527                   47  12 22 147 (1)C>
  217                 2528                   48  12 22 148 (3)B>
  218                 2531                   49  12 22 149 (1)B>
  219                 2533                   47  12 22 149 <A(1)
  220                 2582                   -2  12 22 <A(1) 149
  221                 2583                   -3  12 2 <B(1) 150
  222                 2584                   -4  12 <C(2) 151
  223                 2585                   -5  1 <B(2) 2 151
  224                 2589                   -3  1 (1)C> 2 151
  225                 2590                   -2  12 (1)C> 151
  226                 2845                   49  153 (1)C>
  227                 2846                   50  154 (3)B>
  228                 2849                   51  155 (1)B>
  229                 2851                   49  155 <A(1)
  230                 2906                   -6  <A(1) 155
  231                 2908                   -4  1 (2)B> 155
  232                 2963                   51  1 255 (2)B>
  233                 2965                   49  1 255 <B(1)
  234                 2966                   48  1 254 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  12+V(1) 23 <C(2) 11+V(2)
    1                    2                    2  12+V(1) 22 1 (1)C> 11+V(2)
    2             7+5*V(2)               3+V(2)  12+V(1) 22 12+V(2) (1)C>
    3             8+5*V(2)               4+V(2)  12+V(1) 22 13+V(2) (3)B>
    4            11+5*V(2)               5+V(2)  12+V(1) 22 14+V(2) (1)B>
    5            13+5*V(2)               3+V(2)  12+V(1) 22 14+V(2) <A(1)
    6            17+6*V(2)                   -1  12+V(1) 22 <A(1) 14+V(2)
    7            18+6*V(2)                   -2  12+V(1) 2 <B(1) 15+V(2)
    8            19+6*V(2)                   -3  12+V(1) <C(2) 16+V(2)
    9            20+6*V(2)                   -4  11+V(1) <B(2) 2 16+V(2)
   10            24+6*V(2)                   -2  11+V(1) (1)C> 2 16+V(2)
   11            25+6*V(2)                   -1  12+V(1) (1)C> 16+V(2)
   12           55+11*V(2)               5+V(2)  18+V(1)+V(2) (1)C>
   13           56+11*V(2)               6+V(2)  19+V(1)+V(2) (3)B>
   14           59+11*V(2)               7+V(2)  110+V(1)+V(2) (1)B>
   15           61+11*V(2)               5+V(2)  110+V(1)+V(2) <A(1)
   16      71+V(1)+12*V(2)           -5+-1*V(1)  <A(1) 110+V(1)+V(2)
   17      73+V(1)+12*V(2)           -3+-1*V(1)  1 (2)B> 110+V(1)+V(2)
   18    83+2*V(1)+13*V(2)               7+V(2)  1 210+V(1)+V(2) (2)B>
   19    85+2*V(1)+13*V(2)               5+V(2)  1 210+V(1)+V(2) <B(1)
   20    86+2*V(1)+13*V(2)               4+V(2)  1 29+V(1)+V(2) <C(2) 1
<< Success! ==> defined new CTR 5 (PPA)
  234                 2966                   48  1 254 <C(2) 1
== Executing  PA-CTR  3, V(1)=50, V(2)=0, repcount=17, factor=5/3
  370                 7369                   -3  1 23 <C(2) 186
  371                 7371                   -1  1 22 1 (1)C> 186
  372                 7801                   85  1 22 187 (1)C>
  373                 7802                   86  1 22 188 (3)B>
  374                 7805                   87  1 22 189 (1)B>
  375                 7807                   85  1 22 189 <A(1)
  376                 7896                   -4  1 22 <A(1) 189
  377                 7897                   -5  1 2 <B(1) 190
  378                 7898                   -6  1 <C(2) 191
  379                 7899                   -7  <B(2) 2 191
  380                 7900                   -8  <A(0) 22 191
  381                 7903                   -9  <A(1) 0 22 191
  382                 7905                   -7  1 (2)B> 0 22 191
  383                 7907                   -9  1 <B(1) 0 22 191
  384                 7909                   -7  2 (2)B> 0 22 191
  385                 7911                   -9  2 <B(1) 0 22 191
  386                 7912                  -10  <C(2) 1 0 22 191
  387                 7916                   -8  (1)C> 1 0 22 191
  388                 7921                   -7  1 (1)C> 0 22 191
  389                 7922                   -6  12 (3)B> 22 191
  390                 7925                   -5  12 0 (1)C> 2 191
  391                 7926                   -4  12 0 1 (1)C> 191
  392                 8381                   87  12 0 192 (1)C>
  393                 8382                   88  12 0 193 (3)B>
  394                 8385                   89  12 0 194 (1)B>
  395                 8387                   87  12 0 194 <A(1)
  396                 8481                   -7  12 0 <A(1) 194
  397                 8483                   -5  13 (2)B> 194
  398                 8577                   89  13 294 (2)B>
  399                 8579                   87  13 294 <B(1)
  400                 8580                   86  13 293 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  1 23 <C(2) 11+V(1)
    1                    2                    2  1 22 1 (1)C> 11+V(1)
    2             7+5*V(1)               3+V(1)  1 22 12+V(1) (1)C>
    3             8+5*V(1)               4+V(1)  1 22 13+V(1) (3)B>
    4            11+5*V(1)               5+V(1)  1 22 14+V(1) (1)B>
    5            13+5*V(1)               3+V(1)  1 22 14+V(1) <A(1)
    6            17+6*V(1)                   -1  1 22 <A(1) 14+V(1)
    7            18+6*V(1)                   -2  1 2 <B(1) 15+V(1)
    8            19+6*V(1)                   -3  1 <C(2) 16+V(1)
    9            20+6*V(1)                   -4  <B(2) 2 16+V(1)
   10            21+6*V(1)                   -5  <A(0) 22 16+V(1)
   11            24+6*V(1)                   -6  <A(1) 0 22 16+V(1)
   12            26+6*V(1)                   -4  1 (2)B> 0 22 16+V(1)
   13            28+6*V(1)                   -6  1 <B(1) 0 22 16+V(1)
   14            30+6*V(1)                   -4  2 (2)B> 0 22 16+V(1)
   15            32+6*V(1)                   -6  2 <B(1) 0 22 16+V(1)
   16            33+6*V(1)                   -7  <C(2) 1 0 22 16+V(1)
   17            37+6*V(1)                   -5  (1)C> 1 0 22 16+V(1)
   18            42+6*V(1)                   -4  1 (1)C> 0 22 16+V(1)
   19            43+6*V(1)                   -3  12 (3)B> 22 16+V(1)
   20            46+6*V(1)                   -2  12 0 (1)C> 2 16+V(1)
   21            47+6*V(1)                   -1  12 0 1 (1)C> 16+V(1)
   22           77+11*V(1)               5+V(1)  12 0 17+V(1) (1)C>
   23           78+11*V(1)               6+V(1)  12 0 18+V(1) (3)B>
   24           81+11*V(1)               7+V(1)  12 0 19+V(1) (1)B>
   25           83+11*V(1)               5+V(1)  12 0 19+V(1) <A(1)
   26           92+12*V(1)                   -4  12 0 <A(1) 19+V(1)
   27           94+12*V(1)                   -2  13 (2)B> 19+V(1)
   28          103+13*V(1)               7+V(1)  13 29+V(1) (2)B>
   29          105+13*V(1)               5+V(1)  13 29+V(1) <B(1)
   30          106+13*V(1)               4+V(1)  13 28+V(1) <C(2) 1
<< Success! ==> defined new CTR 6 (PPA)
  400                 8580                   86  13 293 <C(2) 1
== Executing  PA-CTR  3, V(1)=89, V(2)=0, repcount=30, factor=5/3
  640                22200                   -4  13 23 <C(2) 1151
== Executing PPA-CTR  5 (once), V(1)=1, V(2)=150
  660                24238                  150  1 2160 <C(2) 1
== Executing  PA-CTR  3, V(1)=156, V(2)=0, repcount=53, factor=5/3
 1084                66585                   -9  1 2 <C(2) 1266
 1085                66587                   -7  12 (1)C> 1266
 1086                67917                  259  1268 (1)C>
 1087                67918                  260  1269 (3)B>
 1088                67921                  261  1270 (1)B>
 1089                67923                  259  1270 <A(1)
 1090                68193                  -11  <A(1) 1270
 1091                68195                   -9  1 (2)B> 1270
 1092                68465                  261  1 2270 (2)B>
 1093                68467                  259  1 2270 <B(1)
 1094                68468                  258  1 2269 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  11+V(1) 2 <C(2) 11+V(2)
    1                    2                    2  12+V(1) (1)C> 11+V(2)
    2             7+5*V(2)               3+V(2)  13+V(1)+V(2) (1)C>
    3             8+5*V(2)               4+V(2)  14+V(1)+V(2) (3)B>
    4            11+5*V(2)               5+V(2)  15+V(1)+V(2) (1)B>
    5            13+5*V(2)               3+V(2)  15+V(1)+V(2) <A(1)
    6       18+V(1)+6*V(2)           -2+-1*V(1)  <A(1) 15+V(1)+V(2)
    7       20+V(1)+6*V(2)            0+-1*V(1)  1 (2)B> 15+V(1)+V(2)
    8     25+2*V(1)+7*V(2)               5+V(2)  1 25+V(1)+V(2) (2)B>
    9     27+2*V(1)+7*V(2)               3+V(2)  1 25+V(1)+V(2) <B(1)
   10     28+2*V(1)+7*V(2)               2+V(2)  1 24+V(1)+V(2) <C(2) 1
<< Success! ==> defined new CTR 7 (PPA)
 1094                68468                  258  1 2269 <C(2) 1
== Executing  PA-CTR  3, V(1)=265, V(2)=0, repcount=89, factor=5/3
 1806               187639                   -9  1 22 <C(2) 1446
 1807               187641                   -7  1 2 1 (1)C> 1446
 1808               189871                  439  1 2 1447 (1)C>
 1809               189872                  440  1 2 1448 (3)B>
 1810               189875                  441  1 2 1449 (1)B>
 1811               189877                  439  1 2 1449 <A(1)
 1812               190326                  -10  1 2 <A(1) 1449
 1813               190327                  -11  1 <B(1) 1450
 1814               190329                   -9  2 (2)B> 1450
 1815               190779                  441  2451 (2)B>
 1816               190781                  439  2451 <B(1)
 1817               190782                  438  2450 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  1 22 <C(2) 11+V(1)
    1                    2                    2  1 2 1 (1)C> 11+V(1)
    2             7+5*V(1)               3+V(1)  1 2 12+V(1) (1)C>
    3             8+5*V(1)               4+V(1)  1 2 13+V(1) (3)B>
    4            11+5*V(1)               5+V(1)  1 2 14+V(1) (1)B>
    5            13+5*V(1)               3+V(1)  1 2 14+V(1) <A(1)
    6            17+6*V(1)                   -1  1 2 <A(1) 14+V(1)
    7            18+6*V(1)                   -2  1 <B(1) 15+V(1)
    8            20+6*V(1)                    0  2 (2)B> 15+V(1)
    9            25+7*V(1)               5+V(1)  26+V(1) (2)B>
   10            27+7*V(1)               3+V(1)  26+V(1) <B(1)
   11            28+7*V(1)               2+V(1)  25+V(1) <C(2) 1
<< Success! ==> defined new CTR 8 (PPA)
 1817               190782                  438  2450 <C(2) 1
== Executing  PA-CTR  1, V(1)=446, V(2)=0, repcount=149, factor=5/3
 3009               524393                   -9  23 <C(2) 1746
 3010               524395                   -7  22 1 (1)C> 1746
 3011               528125                  739  22 1747 (1)C>
 3012               528126                  740  22 1748 (3)B>
 3013               528129                  741  22 1749 (1)B>
 3014               528131                  739  22 1749 <A(1)
 3015               528880                  -10  22 <A(1) 1749
 3016               528881                  -11  2 <B(1) 1750
 3017               528882                  -12  <C(2) 1751
 3018               528886                  -10  (1)C> 1751
 3019               532641                  741  1751 (1)C>
 3020               532642                  742  1752 (3)B>
 3021               532645                  743  1753 (1)B>
 3022               532647                  741  1753 <A(1)
 3023               533400                  -12  <A(1) 1753
 3024               533402                  -10  1 (2)B> 1753
 3025               534155                  743  1 2753 (2)B>
 3026               534157                  741  1 2753 <B(1)
 3027               534158                  740  1 2752 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  23 <C(2) 11+V(1)
    1                    2                    2  22 1 (1)C> 11+V(1)
    2             7+5*V(1)               3+V(1)  22 12+V(1) (1)C>
    3             8+5*V(1)               4+V(1)  22 13+V(1) (3)B>
    4            11+5*V(1)               5+V(1)  22 14+V(1) (1)B>
    5            13+5*V(1)               3+V(1)  22 14+V(1) <A(1)
    6            17+6*V(1)                   -1  22 <A(1) 14+V(1)
    7            18+6*V(1)                   -2  2 <B(1) 15+V(1)
    8            19+6*V(1)                   -3  <C(2) 16+V(1)
    9            23+6*V(1)                   -1  (1)C> 16+V(1)
   10           53+11*V(1)               5+V(1)  16+V(1) (1)C>
   11           54+11*V(1)               6+V(1)  17+V(1) (3)B>
   12           57+11*V(1)               7+V(1)  18+V(1) (1)B>
   13           59+11*V(1)               5+V(1)  18+V(1) <A(1)
   14           67+12*V(1)                   -3  <A(1) 18+V(1)
   15           69+12*V(1)                   -1  1 (2)B> 18+V(1)
   16           77+13*V(1)               7+V(1)  1 28+V(1) (2)B>
   17           79+13*V(1)               5+V(1)  1 28+V(1) <B(1)
   18           80+13*V(1)               4+V(1)  1 27+V(1) <C(2) 1
<< Success! ==> defined new CTR 9 (PPA)
 3027               534158                  740  1 2752 <C(2) 1
== Executing  PA-CTR  3, V(1)=748, V(2)=0, repcount=250, factor=5/3
 5027              1472658                  -10  1 22 <C(2) 11251
== Executing PPA-CTR  8 (once), V(1)=1250
 5038              1481436                 1242  21255 <C(2) 1
== Executing  PA-CTR  1, V(1)=1251, V(2)=0, repcount=418, factor=5/3
 8382              4103968                  -12  2 <C(2) 12091
 8383              4103970                  -10  1 (1)C> 12091
 8384              4114425                 2081  12092 (1)C>
 8385              4114426                 2082  12093 (3)B>
 8386              4114429                 2083  12094 (1)B>
 8387              4114431                 2081  12094 <A(1)
 8388              4116525                  -13  <A(1) 12094
 8389              4116527                  -11  1 (2)B> 12094
 8390              4118621                 2083  1 22094 (2)B>
 8391              4118623                 2081  1 22094 <B(1)
 8392              4118624                 2080  1 22093 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  2 <C(2) 12+V(1)
    1                    2                    2  1 (1)C> 12+V(1)
    2            12+5*V(1)               4+V(1)  13+V(1) (1)C>
    3            13+5*V(1)               5+V(1)  14+V(1) (3)B>
    4            16+5*V(1)               6+V(1)  15+V(1) (1)B>
    5            18+5*V(1)               4+V(1)  15+V(1) <A(1)
    6            23+6*V(1)                   -1  <A(1) 15+V(1)
    7            25+6*V(1)                    1  1 (2)B> 15+V(1)
    8            30+7*V(1)               6+V(1)  1 25+V(1) (2)B>
    9            32+7*V(1)               4+V(1)  1 25+V(1) <B(1)
   10            33+7*V(1)               3+V(1)  1 24+V(1) <C(2) 1
<< Success! ==> defined new CTR 10 (PPA)
 8392              4118624                 2080  1 22093 <C(2) 1
== Executing  PA-CTR  3, V(1)=2089, V(2)=0, repcount=697, factor=5/3
13968             11408547                  -11  1 22 <C(2) 13486
== Executing PPA-CTR  8 (once), V(1)=3485
13979             11432970                 3476  23490 <C(2) 1
== Executing  PA-CTR  1, V(1)=3486, V(2)=0, repcount=1163, factor=5/3
23283             31726157                  -13  2 <C(2) 15816
== Executing PPA-CTR 10 (once), V(1)=5814
23293             31766888                 5804  1 25818 <C(2) 1
== Executing  PA-CTR  3, V(1)=5814, V(2)=0, repcount=1939, factor=5/3
38805             88170459                  -13  1 2 <C(2) 19696
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=9695
38815             88238352                 9684  1 29699 <C(2) 1
== Executing  PA-CTR  3, V(1)=9695, V(2)=0, repcount=3232, factor=5/3
64671            244938640                  -12  1 23 <C(2) 116161
== Executing PPA-CTR  6 (once), V(1)=16160
64701            245148826                16152  13 216168 <C(2) 1
== Executing  PA-CTR  3, V(1)=16164, V(2)=0, repcount=5389, factor=5/3
107813            680790197                  -15  13 2 <C(2) 126946
== Executing PPA-CTR  7 (once), V(1)=2, V(2)=26945
107823            680978844                26932  1 226951 <C(2) 1
== Executing  PA-CTR  3, V(1)=26947, V(2)=0, repcount=8983, factor=5/3
179687           1891429111                  -17  1 22 <C(2) 144916
== Executing PPA-CTR  8 (once), V(1)=44915
179698           1891743544                44900  244920 <C(2) 1
== Executing  PA-CTR  1, V(1)=44916, V(2)=0, repcount=14973, factor=5/3
299482           5254664371                  -19  2 <C(2) 174866
== Executing PPA-CTR 10 (once), V(1)=74864
299492           5255188452                74848  1 274868 <C(2) 1
== Executing  PA-CTR  3, V(1)=74864, V(2)=0, repcount=24955, factor=5/3
499132          14596568647                  -17  1 23 <C(2) 1124776
== Executing PPA-CTR  6 (once), V(1)=124775
499162          14598190828               124762  13 2124783 <C(2) 1
== Executing  PA-CTR  3, V(1)=124779, V(2)=0, repcount=41594, factor=5/3
831914          40549269744                  -20  13 2 <C(2) 1207971
== Executing PPA-CTR  7 (once), V(1)=2, V(2)=207970
831924          40550725566               207952  1 2207976 <C(2) 1
== Executing  PA-CTR  3, V(1)=207972, V(2)=0, repcount=69325, factor=5/3
1386524         112640337241                  -23  1 2 <C(2) 1346626
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=346625
1386534         112642763644               346604  1 2346629 <C(2) 1
== Executing  PA-CTR  3, V(1)=346625, V(2)=0, repcount=115542, factor=5/3
2310870         312892532272                  -22  1 23 <C(2) 1577711
== Executing PPA-CTR  6 (once), V(1)=577710
2310900         312900042608               577692  13 2577718 <C(2) 1
== Executing  PA-CTR  3, V(1)=577714, V(2)=0, repcount=192572, factor=5/3
3851476         869160440656                  -24  13 22 <C(2) 1962861
== Executing PPA-CTR  4 (once), V(1)=1, V(2)=962860
3851487         869167180704               962838  12 2962865 <C(2) 1
== Executing  PA-CTR  3, V(1)=962861, V(2)=0, repcount=320954, factor=5/3
6419119        2414340516260                  -24  12 23 <C(2) 11604771
== Executing PPA-CTR  5 (once), V(1)=0, V(2)=1604770
6419139        2414361378356              1604750  1 21604779 <C(2) 1
== Executing  PA-CTR  3, V(1)=1604775, V(2)=0, repcount=534926, factor=5/3
10698547        6706550900200                  -28  1 2 <C(2) 12674631
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=2674630
10698557        6706569622638              2674604  1 22674634 <C(2) 1
== Executing  PA-CTR  3, V(1)=2674630, V(2)=0, repcount=891544, factor=5/3
17830909       18629333747854                  -28  1 22 <C(2) 14457721
== Executing PPA-CTR  8 (once), V(1)=4457720
17830920       18629364951922              4457694  24457725 <C(2) 1
== Executing  PA-CTR  1, V(1)=4457721, V(2)=0, repcount=1485908, factor=5/3
29718184       51748209662514                  -30  2 <C(2) 17429541
== Executing PPA-CTR 10 (once), V(1)=7429539
29718194       51748261669320              7429512  1 27429543 <C(2) 1
== Executing  PA-CTR  3, V(1)=7429539, V(2)=0, repcount=2476514, factor=5/3
49530306      143745095458316                  -30  1 2 <C(2) 112382571
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=12382570
49530316      143745182136334             12382542  1 212382574 <C(2) 1
== Executing  PA-CTR  3, V(1)=12382570, V(2)=0, repcount=4127524, factor=5/3
82550508      399292014205070                  -30  1 22 <C(2) 120637621
== Executing PPA-CTR  8 (once), V(1)=20637620
82550519      399292158668438             20637592  220637625 <C(2) 1
== Executing  PA-CTR  1, V(1)=20637621, V(2)=0, repcount=6879208, factor=5/3
137584183     1109144726794230                  -32  2 <C(2) 134396041
== Executing PPA-CTR 10 (once), V(1)=34396039
137584193     1109144967566536             34396010  1 234396043 <C(2) 1
== Executing  PA-CTR  3, V(1)=34396039, V(2)=0, repcount=11465347, factor=5/3
229306969     3080957740884059                  -31  1 22 <C(2) 157326736
== Executing PPA-CTR  8 (once), V(1)=57326735
229306980     3080958142171232             57326706  257326740 <C(2) 1
== Executing  PA-CTR  1, V(1)=57326736, V(2)=0, repcount=19108913, factor=5/3
382178284     8558216559230419                  -33  2 <C(2) 195544566
== Executing PPA-CTR 10 (once), V(1)=95544564
382178294     8558217228042400             95544534  1 295544568 <C(2) 1
== Executing  PA-CTR  3, V(1)=95544564, V(2)=0, repcount=31848189, factor=5/3
636963806    23772824494130971                  -33  1 2 <C(2) 1159240946
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=159240945
636963816    23772825608817614            159240914  1 2159240949 <C(2) 1
== Executing  PA-CTR  3, V(1)=159240945, V(2)=0, repcount=53080316, factor=5/3
1061606344    66035625021036718                  -34  1 2 <C(2) 1265401581
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=265401580
1061606354    66035626878847806            265401548  1 2265401584 <C(2) 1
== Executing  PA-CTR  3, V(1)=265401580, V(2)=0, repcount=88467194, factor=5/3
1769343906   183432293446221122                  -34  1 22 <C(2) 1442335971
== Executing PPA-CTR  8 (once), V(1)=442335970
1769343917   183432296542572940            442335938  2442335975 <C(2) 1
== Executing  PA-CTR  1, V(1)=442335971, V(2)=0, repcount=147445324, factor=5/3
2948906509   509534150674328876                  -34  23 <C(2) 1737226621
== Executing PPA-CTR  9 (once), V(1)=737226620
2948906527   509534160258275016            737226590  1 2737226627 <C(2) 1
== Executing  PA-CTR  3, V(1)=737226623, V(2)=0, repcount=245742208, factor=5/3
4914844191  1415372653131972808                  -34  1 23 <C(2) 11228711041
== Executing PPA-CTR  6 (once), V(1)=1228711040
4914844221  1415372669105216434           1228711010  13 21228711048 <C(2) 1
== Executing  PA-CTR  3, V(1)=1228711044, V(2)=0, repcount=409570349, factor=5/3
8191407013  3931590732443224845                  -37  13 2 <C(2) 12047851746
== Executing PPA-CTR  7 (once), V(1)=2, V(2)=2047851745
8191407023  3931590746778187092           2047851710  1 22047851751 <C(2) 1
== Executing  PA-CTR  3, V(1)=2047851747, V(2)=0, repcount=682617250, factor=5/3
13652345023 10921085399472093592                  -40  1 2 <C(2) 13413086251
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=3413086250
13652345033 10921085423363697370           3413086212  1 23413086254 <C(2) 1
== Executing  PA-CTR  3, V(1)=3413086250, V(2)=0, repcount=1137695417, factor=5/3
22753908369 30336348355856537373                  -39  1 23 <C(2) 15688477086
== Executing PPA-CTR  6 (once), V(1)=5688477085
22753908399 30336348429806739584           5688477050  13 25688477093 <C(2) 1
== Executing  PA-CTR  3, V(1)=5688477089, V(2)=0, repcount=1896159030, factor=5/3
37923180639 84267634443149489204                  -40  13 23 <C(2) 19480795151
== Executing PPA-CTR  5 (once), V(1)=1, V(2)=9480795150
37923180659 84267634566399826242           9480795114  1 29480795160 <C(2) 1
== Executing  PA-CTR  3, V(1)=9480795156, V(2)=0, repcount=3160265053, factor=5/3
63205301083 234076762657237278589                  -45  1 2 <C(2) 115801325266
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=15801325265
63205301093 234076762767846555472          15801325222  1 215801325269 <C(2) 1
== Executing  PA-CTR  3, V(1)=15801325265, V(2)=0, repcount=5267108422, factor=5/3
105342168469 650213229725464940420                  -44  1 23 <C(2) 126335542111
== Executing PPA-CTR  6 (once), V(1)=26335542110
105342168499 650213230067826987956          26335542070  13 226335542118 <C(2) 1
== Executing  PA-CTR  3, V(1)=26335542114, V(2)=0, repcount=8778514039, factor=5/3
175570280811 1806147861096742446927                  -47  13 2 <C(2) 143892570196
== Executing PPA-CTR  7 (once), V(1)=2, V(2)=43892570195
175570280821 1806147861403990438324          43892570150  1 243892570201 <C(2) 1
== Executing  PA-CTR  3, V(1)=43892570197, V(2)=0, repcount=14630856733, factor=5/3
292617134685 5017077392586085364591                  -49  1 22 <C(2) 173154283666
== Executing PPA-CTR  8 (once), V(1)=73154283665
292617134696 5017077393098165350274          73154283618  273154283670 <C(2) 1
== Executing  PA-CTR  1, V(1)=73154283666, V(2)=0, repcount=24384761223, factor=5/3
487695224480 13936326091736571231101                  -51  2 <C(2) 1121923806116
== Executing PPA-CTR 10 (once), V(1)=121923806114
487695224490 13936326092590037873932         121923806066  1 2121923806118 <C(2) 1
== Executing  PA-CTR  3, V(1)=121923806114, V(2)=0, repcount=40641268705, factor=5/3
812825374130 38712016922032788604127                  -49  1 23 <C(2) 1203206343526
== Executing PPA-CTR  6 (once), V(1)=203206343525
812825374160 38712016924674471070058         203206343480  13 2203206343533 <C(2) 1
== Executing  PA-CTR  3, V(1)=203206343529, V(2)=0, repcount=67735447844, factor=5/3
1354708956912 107533380344354076586474                  -52  13 2 <C(2) 1338677239221
== Executing PPA-CTR  7 (once), V(1)=2, V(2)=338677239220
1354708956922 107533380346724817261046         338677239170  1 2338677239226 <C(2) 1
== Executing  PA-CTR  3, V(1)=338677239222, V(2)=0, repcount=112892413075, factor=5/3
2257848261522 298703834295622851247721                  -55  1 2 <C(2) 1564462065376
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=564462065375
2257848261532 298703834299574085705374         564462065322  1 2564462065379 <C(2) 1
== Executing  PA-CTR  3, V(1)=564462065375, V(2)=0, repcount=188154021792, factor=5/3
3763080435868 829732873047892865161502                  -54  1 23 <C(2) 1940770108961
== Executing PPA-CTR  6 (once), V(1)=940770108960
3763080435898 829732873060122876578088         940770108910  13 2940770108968 <C(2) 1
== Executing  PA-CTR  3, V(1)=940770108964, V(2)=0, repcount=313590036322, factor=5/3
6271800726474 2304813536267876426038636                  -56  13 22 <C(2) 11567950181611
== Executing PPA-CTR  4 (once), V(1)=1, V(2)=1567950181610
6271800726485 2304813536278852077309934        1567950181556  12 21567950181615 <C(2) 1
== Executing  PA-CTR  3, V(1)=1567950181611, V(2)=0, repcount=522650060538, factor=5/3
10453001210789 6402259822986568650293746                  -58  12 2 <C(2) 12613250302691
== Executing PPA-CTR  7 (once), V(1)=1, V(2)=2613250302690
10453001210799 6402259823004861402412606        2613250302634  1 22613250302695 <C(2) 1
== Executing  PA-CTR  3, V(1)=2613250302691, V(2)=0, repcount=871083434231, factor=5/3
17421668684647 17784055063883439274569945                  -59  1 22 <C(2) 14355417171156
== Executing PPA-CTR  8 (once), V(1)=4355417171155
17421668684658 17784055063913927194768058        4355417171098  24355417171160 <C(2) 1
== Executing  PA-CTR  1, V(1)=4355417171156, V(2)=0, repcount=1451805723719, factor=5/3
29036114474410 49400152955268474805527349                  -59  23 <C(2) 17259028618596
== Executing PPA-CTR  9 (once), V(1)=7259028618595
29036114474428 49400152955362842177569164        7259028618540  1 27259028618602 <C(2) 1
== Executing  PA-CTR  3, V(1)=7259028618598, V(2)=0, repcount=2419676206200, factor=5/3
48393524124028 137222647098128894658993964                  -60  1 22 <C(2) 112098381031001
== Executing PPA-CTR  8 (once), V(1)=12098381031000
48393524124039 137222647098213583326210992       12098381030942  212098381031005 <C(2) 1
== Executing  PA-CTR  1, V(1)=12098381031001, V(2)=0, repcount=4032793677001, factor=5/3
80655873540047 381174019717118403246229011                  -61  22 <C(2) 120163968385006
80655873540048 381174019717118403246229013                  -59  2 1 (1)C> 120163968385006
80655873540049 381174019717219223088154043       20163968384947  2 120163968385007 (1)C>
80655873540050 381174019717219223088154044       20163968384948  2 120163968385008 (3)B>
80655873540051 381174019717219223088154047       20163968384949  2 120163968385009 (1)B>
80655873540052 381174019717219223088154049       20163968384947  2 120163968385009 <A(1)
80655873540053 381174019717239387056539058                  -62  2 <A(1) 120163968385009
80655873540054 381174019717239387056539059                  -63  <B(1) 120163968385010
80655873540055 381174019717239387056539060                  -64  <A(0) 120163968385011
80655873540056 381174019717239387056539063                  -65  <A(1) 0 120163968385011
80655873540057 381174019717239387056539065                  -63  1 (2)B> 0 120163968385011
80655873540058 381174019717239387056539067                  -65  1 <B(1) 0 120163968385011
80655873540059 381174019717239387056539069                  -63  2 (2)B> 0 120163968385011
80655873540060 381174019717239387056539071                  -65  2 <B(1) 0 120163968385011
80655873540061 381174019717239387056539072                  -66  <C(2) 1 0 120163968385011
80655873540062 381174019717239387056539076                  -64  (1)C> 1 0 120163968385011
80655873540063 381174019717239387056539081                  -63  1 (1)C> 0 120163968385011
80655873540064 381174019717239387056539082                  -62  12 (3)B> 120163968385011
80655873540065 381174019717239387056539083                  -61  12 3 (2)B> 120163968385010
80655873540066 381174019717259551024924093       20163968384949  12 3 220163968385010 (2)B>
80655873540067 381174019717259551024924095       20163968384947  12 3 220163968385010 <B(1)
80655873540068 381174019717259551024924096       20163968384946  12 3 220163968385009 <C(2) 1
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  22 <C(2) 11+V(1)
    1                    2                    2  2 1 (1)C> 11+V(1)
    2             7+5*V(1)               3+V(1)  2 12+V(1) (1)C>
    3             8+5*V(1)               4+V(1)  2 13+V(1) (3)B>
    4            11+5*V(1)               5+V(1)  2 14+V(1) (1)B>
    5            13+5*V(1)               3+V(1)  2 14+V(1) <A(1)
    6            17+6*V(1)                   -1  2 <A(1) 14+V(1)
    7            18+6*V(1)                   -2  <B(1) 15+V(1)
    8            19+6*V(1)                   -3  <A(0) 16+V(1)
    9            22+6*V(1)                   -4  <A(1) 0 16+V(1)
   10            24+6*V(1)                   -2  1 (2)B> 0 16+V(1)
   11            26+6*V(1)                   -4  1 <B(1) 0 16+V(1)
   12            28+6*V(1)                   -2  2 (2)B> 0 16+V(1)
   13            30+6*V(1)                   -4  2 <B(1) 0 16+V(1)
   14            31+6*V(1)                   -5  <C(2) 1 0 16+V(1)
   15            35+6*V(1)                   -3  (1)C> 1 0 16+V(1)
   16            40+6*V(1)                   -2  1 (1)C> 0 16+V(1)
   17            41+6*V(1)                   -1  12 (3)B> 16+V(1)
   18            42+6*V(1)                    0  12 3 (2)B> 15+V(1)
   19            47+7*V(1)               5+V(1)  12 3 25+V(1) (2)B>
   20            49+7*V(1)               3+V(1)  12 3 25+V(1) <B(1)
   21            50+7*V(1)               2+V(1)  12 3 24+V(1) <C(2) 1
<< Success! ==> defined new CTR 11 (PPA)
80655873540068 381174019717259551024924096       20163968384946  12 3 220163968385009 <C(2) 1
== Executing  PA-CTR  2, V(1)=20163968385005, V(2)=0, repcount=6721322795002, factor=5/3
134426455900084 1058816721436488896058804164                  -60  12 3 23 <C(2) 133606613975011
134426455900085 1058816721436488896058804166                  -58  12 3 22 1 (1)C> 133606613975011
134426455900086 1058816721436656929128679221       33606613974953  12 3 22 133606613975012 (1)C>
134426455900087 1058816721436656929128679222       33606613974954  12 3 22 133606613975013 (3)B>
134426455900088 1058816721436656929128679225       33606613974955  12 3 22 133606613975014 (1)B>
134426455900089 1058816721436656929128679227       33606613974953  12 3 22 133606613975014 <A(1)
134426455900090 1058816721436690535742654241                  -61  12 3 22 <A(1) 133606613975014
134426455900091 1058816721436690535742654242                  -62  12 3 2 <B(1) 133606613975015
134426455900092 1058816721436690535742654243                  -63  12 3 <C(2) 133606613975016
134426455900093 1058816721436690535742654245                  -61  12 0 (1)C> 133606613975016
134426455900094 1058816721436858568812529325       33606613974955  12 0 133606613975016 (1)C>
134426455900095 1058816721436858568812529326       33606613974956  12 0 133606613975017 (3)B>
134426455900096 1058816721436858568812529329       33606613974957  12 0 133606613975018 (1)B>
134426455900097 1058816721436858568812529331       33606613974955  12 0 133606613975018 <A(1)
134426455900098 1058816721436892175426504349                  -63  12 0 <A(1) 133606613975018
134426455900099 1058816721436892175426504351                  -61  13 (2)B> 133606613975018
134426455900100 1058816721436925782040479369       33606613974957  13 233606613975018 (2)B>
134426455900101 1058816721436925782040479371       33606613974955  13 233606613975018 <B(1)
134426455900102 1058816721436925782040479372       33606613974954  13 233606613975017 <C(2) 1
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  11+V(1) 3 23 <C(2) 11+V(2)
    1                    2                    2  11+V(1) 3 22 1 (1)C> 11+V(2)
    2             7+5*V(2)               3+V(2)  11+V(1) 3 22 12+V(2) (1)C>
    3             8+5*V(2)               4+V(2)  11+V(1) 3 22 13+V(2) (3)B>
    4            11+5*V(2)               5+V(2)  11+V(1) 3 22 14+V(2) (1)B>
    5            13+5*V(2)               3+V(2)  11+V(1) 3 22 14+V(2) <A(1)
    6            17+6*V(2)                   -1  11+V(1) 3 22 <A(1) 14+V(2)
    7            18+6*V(2)                   -2  11+V(1) 3 2 <B(1) 15+V(2)
    8            19+6*V(2)                   -3  11+V(1) 3 <C(2) 16+V(2)
    9            21+6*V(2)                   -1  11+V(1) 0 (1)C> 16+V(2)
   10           51+11*V(2)               5+V(2)  11+V(1) 0 16+V(2) (1)C>
   11           52+11*V(2)               6+V(2)  11+V(1) 0 17+V(2) (3)B>
   12           55+11*V(2)               7+V(2)  11+V(1) 0 18+V(2) (1)B>
   13           57+11*V(2)               5+V(2)  11+V(1) 0 18+V(2) <A(1)
   14           65+12*V(2)                   -3  11+V(1) 0 <A(1) 18+V(2)
   15           67+12*V(2)                   -1  12+V(1) (2)B> 18+V(2)
   16           75+13*V(2)               7+V(2)  12+V(1) 28+V(2) (2)B>
   17           77+13*V(2)               5+V(2)  12+V(1) 28+V(2) <B(1)
   18           78+13*V(2)               4+V(2)  12+V(1) 27+V(2) <C(2) 1
<< Success! ==> defined new CTR 12 (PPA)
134426455900102 1058816721436925782040479372       33606613974954  13 233606613975017 <C(2) 1
== Executing  PA-CTR  3, V(1)=33606613975013, V(2)=0, repcount=11202204658338, factor=5/3
224044093166806 2941157559546314400552946384                  -60  13 23 <C(2) 156011023291691
== Executing PPA-CTR  5 (once), V(1)=1, V(2)=56011023291690
224044093166826 2941157559547042543855738442       56011023291634  1 256011023291700 <C(2) 1
== Executing  PA-CTR  3, V(1)=56011023291696, V(2)=0, repcount=18670341097233, factor=5/3
373406821944690 8169882109852530360623971709                  -65  1 2 <C(2) 193351705486166
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=93351705486165
373406821944700 8169882109853183822562374892       93351705486102  1 293351705486169 <C(2) 1
== Executing  PA-CTR  3, V(1)=93351705486165, V(2)=0, repcount=31117235162056, factor=5/3
622344703241148 22694116971813722740235230156                  -66  1 2 <C(2) 1155586175810281
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=155586175810280
622344703241158 22694116971814811843465902144      155586175810216  1 2155586175810284 <C(2) 1
== Executing  PA-CTR  3, V(1)=155586175810280, V(2)=0, repcount=51862058603427, factor=5/3
1037241172068574 63039213810594466936542480787                  -65  1 23 <C(2) 1259310293017136
== Executing PPA-CTR  6 (once), V(1)=259310293017135
1037241172068604 63039213810597837970351703648      259310293017074  13 2259310293017143 <C(2) 1
== Executing  PA-CTR  3, V(1)=259310293017139, V(2)=0, repcount=86436764339047, factor=5/3
1728735286780980 175108927251657391158942082971                  -67  13 22 <C(2) 1432183821695236
== Executing PPA-CTR  4 (once), V(1)=1, V(2)=432183821695235
1728735286780991 175108927251660416445693949644      432183821695170  12 2432183821695240 <C(2) 1
== Executing  PA-CTR  3, V(1)=432183821695236, V(2)=0, repcount=144061273898413, factor=5/3
2881225477968295 486413686810164553590448321831                  -69  12 2 <C(2) 1720306369492066
== Executing PPA-CTR  7 (once), V(1)=1, V(2)=720306369492065
2881225477968305 486413686810169595735034766316      720306369491998  1 2720306369492070 <C(2) 1
== Executing  PA-CTR  3, V(1)=720306369492066, V(2)=0, repcount=240102123164023, factor=5/3
4802042463280489 1351149130028245607171950590343                  -71  1 2 <C(2) 11200510615820116
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=1200510615820115
4802042463280499 1351149130028254010746261331176     1200510615820046  1 21200510615820119 <C(2) 1
== Executing  PA-CTR  3, V(1)=1200510615820115, V(2)=0, repcount=400170205273372, factor=5/3
8003404105467475 3753192027856245865985866180424                  -70  1 23 <C(2) 12000851026366861
== Executing PPA-CTR  6 (once), V(1)=2000851026366860
8003404105467505 3753192027856271877049208949710     2000851026366794  13 22000851026366868 <C(2) 1
== Executing  PA-CTR  3, V(1)=2000851026366864, V(2)=0, repcount=666950342122289, factor=5/3
13339006842445817 10425533410711849716260036431681                  -73  13 2 <C(2) 13334751710611446
== Executing PPA-CTR  7 (once), V(1)=2, V(2)=3334751710611445
13339006842445827 10425533410711873059522010711828     3334751710611374  1 23334751710611451 <C(2) 1
== Executing  PA-CTR  3, V(1)=3334751710611447, V(2)=0, repcount=1111583903537150, factor=5/3
22231678070743027 28959815029755197450079076697928                  -76  1 2 <C(2) 15557919517685751
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=5557919517685750
22231678070743037 28959815029755236355515700498206     5557919517685676  1 25557919517685754 <C(2) 1
== Executing  PA-CTR  3, V(1)=5557919517685750, V(2)=0, repcount=1852639839228584, factor=5/3
37052796784571709 80443930638208947330598097088382                  -76  1 22 <C(2) 19263199196142921
== Executing PPA-CTR  8 (once), V(1)=9263199196142920
37052796784571720 80443930638209012172992470088850     9263199196142846  29263199196142925 <C(2) 1
== Executing  PA-CTR  1, V(1)=9263199196142921, V(2)=0, repcount=3087733065380974, factor=5/3
61754661307619512 223455362883913818402261149442886                  -76  23 <C(2) 115438665326904871
== Executing PPA-CTR  9 (once), V(1)=15438665326904870
61754661307619530 223455362883914019104910399206276    15438665326904798  1 215438665326904877 <C(2) 1
== Executing  PA-CTR  3, V(1)=15438665326904873, V(2)=0, repcount=5146221775634958, factor=5/3
102924435512699194 620709341344205339645158576672568                  -76  1 23 <C(2) 125731108878174791
== Executing PPA-CTR  6 (once), V(1)=25731108878174790
102924435512699224 620709341344205674149573992944944    25731108878174718  13 225731108878174798 <C(2) 1
== Executing  PA-CTR  3, V(1)=25731108878174794, V(2)=0, repcount=8577036292724932, factor=5/3
171540725854498680 1724192614845015389622566379914032                  -78  13 22 <C(2) 142885181463624661
== Executing PPA-CTR  4 (once), V(1)=1, V(2)=42885181463624660
171540725854498691 1724192614845015689818836625286680    42885181463624584  12 242885181463624665 <C(2) 1
== Executing  PA-CTR  3, V(1)=42885181463624661, V(2)=0, repcount=14295060487874888, factor=5/3
285901209757497795 4789423930125043210926073691974392                  -80  12 2 <C(2) 171475302439374441
== Executing PPA-CTR  7 (once), V(1)=1, V(2)=71475302439374440
285901209757497805 4789423930125043711253190767595502    71475302439374362  1 271475302439374445 <C(2) 1
== Executing  PA-CTR  3, V(1)=71475302439374441, V(2)=0, repcount=23825100813124814, factor=5/3
476502016262496317 13303955361458453905075041158113698                  -80  1 23 <C(2) 1119125504065624071
== Executing PPA-CTR  6 (once), V(1)=119125504065624070
476502016262496347 13303955361458455453706594011226714   119125504065623994  13 2119125504065624078 <C(2) 1
== Executing  PA-CTR  3, V(1)=119125504065624074, V(2)=0, repcount=39708501355208025, factor=5/3
794170027104160547 36955431559606818982747464798068189                  -81  13 23 <C(2) 1198542506776040126
== Executing PPA-CTR  5 (once), V(1)=1, V(2)=198542506776040125
794170027104160567 36955431559606821563800052886589902   198542506776040048  1 2198542506776040135 <C(2) 1
== Executing  PA-CTR  3, V(1)=198542506776040131, V(2)=0, repcount=66180835592013378, factor=5/3
1323616711840267591 102653976554463392702039891219206674                  -86  1 2 <C(2) 1330904177960066891
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=330904177960066890
1323616711840267601 102653976554463395018369136939674932   330904177960066806  1 2330904177960066894 <C(2) 1
== Executing  PA-CTR  3, V(1)=330904177960066890, V(2)=0, repcount=110301392653355631, factor=5/3
2206027853067112649 285149934873509428972828975944219871                  -87  1 2 <C(2) 1551506963266778156
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=551506963266778155
2206027853067112659 285149934873509432833377718811666984   551506963266778070  1 2551506963266778159 <C(2) 1
== Executing  PA-CTR  3, V(1)=551506963266778155, V(2)=0, repcount=183835654422259386, factor=5/3
3676713088445187747 792083152426415087731718492477159468                  -88  1 2 <C(2) 1919178272111296931
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=919178272111296930
3676713088445187757 792083152426415094165966397256238006   919178272111296844  1 2919178272111296934 <C(2) 1
== Executing  PA-CTR  3, V(1)=919178272111296930, V(2)=0, repcount=306392757370432311, factor=5/3
6127855147408646245 2200230978962264143924981692229978065                  -89  1 2 <C(2) 11531963786852161556
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=1531963786852161555
6127855147408646255 2200230978962264154648728200195108978  1531963786852161468  1 21531963786852161559 <C(2) 1
== Executing  PA-CTR  3, V(1)=1531963786852161555, V(2)=0, repcount=510654595617387186, factor=5/3
10213091912347743743 6111752719339622640159440744219636662                  -90  1 2 <C(2) 12553272978086935931
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=2553272978086935930
10213091912347743753 6111752719339622658032351590828188200  2553272978086935842  1 22553272978086935934 <C(2) 1
== Executing  PA-CTR  3, V(1)=2553272978086935930, V(2)=0, repcount=851090992695645311, factor=5/3
17021819853912906241 16977090887054507363269706902355070259                  -91  1 2 <C(2) 14255454963478226556
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=4255454963478226555
17021819853912906251 16977090887054507393057891646702656172  4255454963478226466  1 24255454963478226559 <C(2) 1
== Executing  PA-CTR  3, V(1)=4255454963478226555, V(2)=0, repcount=1418484987826075519, factor=5/3
28369699756521510403 47158585797373631598859840634373748663                  -91  1 22 <C(2) 17092424939130377596
== Executing PPA-CTR  8 (once), V(1)=7092424939130377595
28369699756521510414 47158585797373631648506815208286391856  7092424939130377506  27092424939130377600 <C(2) 1
== Executing  PA-CTR  1, V(1)=7092424939130377596, V(2)=0, repcount=2364141646376792533, factor=5/3
47282832927535850678 130996071659371198975106850527661903323                  -93  2 <C(2) 111820708231883962666
== Executing PPA-CTR 10 (once), V(1)=11820708231883962664
47282832927535850688 130996071659371199057851808150849642004 11820708231883962574  1 211820708231883962668 <C(2) 1
== Executing  PA-CTR  3, V(1)=11820708231883962664, V(2)=0, repcount=3940236077294654222, factor=5/3
78804721545893084464 363877976831586663882858081938164638152                  -92  1 22 <C(2) 119701180386473271111
== Executing PPA-CTR  8 (once), V(1)=19701180386473271110
78804721545893084475 363877976831586664020766344643477535950 19701180386473271020  219701180386473271115 <C(2) 1
== Executing  PA-CTR  1, V(1)=19701180386473271111, V(2)=0, repcount=6567060128824423704, factor=5/3
131341202576488474107 1010772157865518510870723925174531425006                  -92  23 <C(2) 132835300644122118521
== Executing PPA-CTR  9 (once), V(1)=32835300644122118520
131341202576488474125 1010772157865518511297582833548118965846 32835300644122118432  1 232835300644122118527 <C(2) 1
== Executing  PA-CTR  3, V(1)=32835300644122118523, V(2)=0, repcount=10945100214707372842, factor=5/3
218902004294147456861 2807700438515329197619428525110935811674                  -94  1 2 <C(2) 154725501073536864211
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=54725501073536864210
218902004294147456871 2807700438515329198002507032625693861172 54725501073536864118  1 254725501073536864214 <C(2) 1
== Executing  PA-CTR  3, V(1)=54725501073536864210, V(2)=0, repcount=18241833691178954737, factor=5/3
364836673823579094767 7799167884764803326808074067368830767655                  -93  1 23 <C(2) 191209168455894773686
== Executing PPA-CTR  6 (once), V(1)=91209168455894773685
364836673823579094797 7799167884764803327993793257295462825666 91209168455894773596  13 291209168455894773693 <C(2) 1
== Executing  PA-CTR  3, V(1)=91209168455894773689, V(2)=0, repcount=30403056151964924564, factor=5/3
608061123039298491309 21664355235457787021167507468036481375362                  -96  13 2 <C(2) 1152015280759824622821
== Executing PPA-CTR  7 (once), V(1)=2, V(2)=152015280759824622820
608061123039298491319 21664355235457787022231614433355253735134 152015280759824622726  1 2152015280759824622826 <C(2) 1
== Executing  PA-CTR  3, V(1)=152015280759824622822, V(2)=0, repcount=50671760253274874275, factor=5/3
1013435205065497485519 60178764542938297283445950559624204866609                  -99  1 2 <C(2) 1253358801266374371376
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=253358801266374371375
1013435205065497485529 60178764542938297285219462168488825466262 253358801266374371278  1 2253358801266374371379 <C(2) 1
== Executing  PA-CTR  3, V(1)=253358801266374371375, V(2)=0, repcount=84452933755458123792, factor=5/3
1689058675109162475865 167163234841495270233656384033442604850390                  -98  1 23 <C(2) 1422264668777290618961
== Executing PPA-CTR  6 (once), V(1)=422264668777290618960
1689058675109162475895 167163234841495270239145824727547382896976 422264668777290618866  13 2422264668777290618968 <C(2) 1
== Executing  PA-CTR  3, V(1)=422264668777290618964, V(2)=0, repcount=140754889592430206322, factor=5/3
2815097791848604126471 464342319004153528437318332466829435237524                 -100  13 22 <C(2) 1703774447962151031611
== Executing PPA-CTR  4 (once), V(1)=1, V(2)=703774447962151031610
2815097791848604126482 464342319004153528442244753602564492458822 703774447962151031512  12 2703774447962151031615 <C(2) 1
== Executing  PA-CTR  3, V(1)=703774447962151031611, V(2)=0, repcount=234591482654050343871, factor=5/3
4691829653081006877450 1289839775011537578999136108959780902803921                 -101  12 22 <C(2) 11172957413270251719356
== Executing PPA-CTR  4 (once), V(1)=0, V(2)=1172957413270251719355
4691829653081006877461 1289839775011537579007346810852672664839434 1172957413270251719256  1 21172957413270251719360 <C(2) 1
== Executing  PA-CTR  3, V(1)=1172957413270251719356, V(2)=0, repcount=390985804423417239786, factor=5/3
7819716088468344795749 3582888263920937719453843076610291653685518                 -102  1 22 <C(2) 11954929022117086198931
== Executing PPA-CTR  8 (once), V(1)=1954929022117086198930
7819716088468344795760 3582888263920937719467527579765111257078056 1954929022117086198830  21954929022117086198935 <C(2) 1
== Executing  PA-CTR  1, V(1)=1954929022117086198931, V(2)=0, repcount=651643007372362066311, factor=5/3
13032860147447241326248 9952467399780382554058939893515564122574115                 -103  22 <C(2) 13258215036861810331556
== Executing PPA-CTR 11 (once), V(1)=3258215036861810331555
13032860147447241326269 9952467399780382554081747398773596794895050 3258215036861810331454  12 3 23258215036861810331559 <C(2) 1
== Executing  PA-CTR  2, V(1)=3258215036861810331555, V(2)=0, repcount=1086071678953936777186, factor=5/3
21721433579078735543757 27645742777167729316865356451749595693182734                 -104  12 3 2 <C(2) 15430358394769683885931
21721433579078735543758 27645742777167729316865356451749595693182736                 -102  12 3 1 (1)C> 15430358394769683885931
21721433579078735543759 27645742777167729316892508243723444112612391 5430358394769683885829  12 3 15430358394769683885932 (1)C>
21721433579078735543760 27645742777167729316892508243723444112612392 5430358394769683885830  12 3 15430358394769683885933 (3)B>
21721433579078735543761 27645742777167729316892508243723444112612395 5430358394769683885831  12 3 15430358394769683885934 (1)B>
21721433579078735543762 27645742777167729316892508243723444112612397 5430358394769683885829  12 3 15430358394769683885934 <A(1)
21721433579078735543763 27645742777167729316897938602118213796498331                 -105  12 3 <A(1) 15430358394769683885934
21721433579078735543764 27645742777167729316897938602118213796498334                 -106  12 <A(1) 15430358394769683885935
21721433579078735543765 27645742777167729316897938602118213796498336                 -108  <A(1) 15430358394769683885937
21721433579078735543766 27645742777167729316897938602118213796498338                 -106  1 (2)B> 15430358394769683885937
21721433579078735543767 27645742777167729316903368960512983480384275 5430358394769683885831  1 25430358394769683885937 (2)B>
21721433579078735543768 27645742777167729316903368960512983480384277 5430358394769683885829  1 25430358394769683885937 <B(1)
21721433579078735543769 27645742777167729316903368960512983480384278 5430358394769683885828  1 25430358394769683885936 <C(2) 1
>> Try to prove a PPA-CTR with 3 Vars...
    0                    0                    0  11+V(2) 31+V(1) 2 <C(2) 11+V(3)
    1                    2                    2  11+V(2) 31+V(1) 1 (1)C> 11+V(3)
    2             7+5*V(3)               3+V(3)  11+V(2) 31+V(1) 12+V(3) (1)C>
    3             8+5*V(3)               4+V(3)  11+V(2) 31+V(1) 13+V(3) (3)B>
    4            11+5*V(3)               5+V(3)  11+V(2) 31+V(1) 14+V(3) (1)B>
    5            13+5*V(3)               3+V(3)  11+V(2) 31+V(1) 14+V(3) <A(1)
    6            17+6*V(3)                   -1  11+V(2) 31+V(1) <A(1) 14+V(3)
    7     20+3*V(1)+6*V(3)           -2+-1*V(1)  11+V(2) <A(1) 15+V(1)+V(3)
    8 21+3*V(1)+V(2)+6*V(3)   -3+-1*V(1)+-1*V(2)  <A(1) 16+V(1)+V(2)+V(3)
    9 23+3*V(1)+V(2)+6*V(3)   -1+-1*V(1)+-1*V(2)  1 (2)B> 16+V(1)+V(2)+V(3)
   10 29+4*V(1)+2*V(2)+7*V(3)               5+V(3)  1 26+V(1)+V(2)+V(3) (2)B>
   11 31+4*V(1)+2*V(2)+7*V(3)               3+V(3)  1 26+V(1)+V(2)+V(3) <B(1)
   12 32+4*V(1)+2*V(2)+7*V(3)               2+V(3)  1 25+V(1)+V(2)+V(3) <C(2) 1
<< Success! ==> defined new CTR 13 (PPA)
21721433579078735543769 27645742777167729316903368960512983480384278 5430358394769683885828  1 25430358394769683885936 <C(2) 1
== Executing  PA-CTR  3, V(1)=5430358394769683885932, V(2)=0, repcount=1810119464923227961978, factor=5/3
36202389298464559239593 76793729936577025880258749678803447597319450                 -106  1 22 <C(2) 19050597324616139809891
== Executing PPA-CTR  8 (once), V(1)=9050597324616139809890
36202389298464559239604 76793729936577025880322103860075760575988708 9050597324616139809786  29050597324616139809895 <C(2) 1
== Executing  PA-CTR  1, V(1)=9050597324616139809891, V(2)=0, repcount=3016865774872046603298, factor=5/3
60337315497440932065988 213315916490491738556421902177588939529553960                 -108  2 <C(2) 115084328874360233016491
== Executing PPA-CTR 10 (once), V(1)=15084328874360233016489
60337315497440932065998 213315916490491738556527492479709461160669416 15084328874360233016384  1 215084328874360233016493 <C(2) 1
== Executing  PA-CTR  3, V(1)=15084328874360233016489, V(2)=0, repcount=5028109624786744338830, factor=5/3
100562192495734886776638 592544212473588162656791301736024415824558236                 -106  1 23 <C(2) 125140548123933721694151
== Executing PPA-CTR  6 (once), V(1)=25140548123933721694150
100562192495734886776668 592544212473588162657118128861635554206582292 25140548123933721694048  13 225140548123933721694158 <C(2) 1
== Executing  PA-CTR  3, V(1)=25140548123933721694154, V(2)=0, repcount=8380182707977907231385, factor=5/3
167603654159558144627748 1645956145759967118491580927666243604770781207                 -107  13 23 <C(2) 141900913539889536156926
== Executing PPA-CTR  5 (once), V(1)=1, V(2)=41900913539889536156925
167603654159558144627768 1645956145759967118492125639542262168740821320 41900913539889536156822  1 241900913539889536156935 <C(2) 1
== Executing  PA-CTR  3, V(1)=41900913539889536156931, V(2)=0, repcount=13966971179963178718978, factor=5/3
279339423599263574379592 4572100404888797551366853196149223537916164492                 -112  1 2 <C(2) 169834855899815893594891
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=69834855899815893594890
279339423599263574379602 4572100404888797551367342040140522249171328750 69834855899815893594780  1 269834855899815893594894 <C(2) 1
== Executing  PA-CTR  3, V(1)=69834855899815893594890, V(2)=0, repcount=23278285299938631198297, factor=5/3
465565705998772623965978 12700278902468882087130644849252058935731625073                 -111  1 23 <C(2) 1116391426499693155991486
== Executing PPA-CTR  6 (once), V(1)=116391426499693155991485
465565705998772623966008 12700278902468882087132157937796554946759514484 116391426499693155991378  13 2116391426499693155991493 <C(2) 1
== Executing  PA-CTR  3, V(1)=116391426499693155991489, V(2)=0, repcount=38797142166564385330497, factor=5/3
775942843331287706609984 35278552506858005797588001221479484323074841607                 -113  13 22 <C(2) 1193985710832821926652486
== Executing PPA-CTR  4 (once), V(1)=1, V(2)=193985710832821926652485
775942843331287706609995 35278552506858005797589359121455314076561409030 193985710832821926652374  12 2193985710832821926652490 <C(2) 1
== Executing  PA-CTR  3, V(1)=193985710832821926652486, V(2)=0, repcount=64661903610940642217496, factor=5/3
1293238072218812844349963 97995979185716682771079580112606594721657929254                 -114  12 22 <C(2) 1323309518054703211087481
== Executing PPA-CTR  4 (once), V(1)=0, V(2)=323309518054703211087480
1293238072218812844349974 97995979185716682771081843279232977644135541642 323309518054703211087368  1 2323309518054703211087485 <C(2) 1
== Executing  PA-CTR  3, V(1)=323309518054703211087481, V(2)=0, repcount=107769839351567737029161, factor=5/3
2155396787031354740583262 272211053293657452141890958408039922287549117101                 -115  1 22 <C(2) 1538849196757838685145806
== Executing PPA-CTR  8 (once), V(1)=538849196757838685145805
2155396787031354740583273 272211053293657452141894730352417227158345137764 538849196757838685145692  2538849196757838685145810 <C(2) 1
== Executing  PA-CTR  1, V(1)=538849196757838685145806, V(2)=0, repcount=179616398919279561715269, factor=5/3
3592327978385591234305425 756141814704604033727478719061128896458008134255                 -115  23 <C(2) 1898081994596397808576346
== Executing PPA-CTR  9 (once), V(1)=898081994596397808576345
3592327978385591234305443 756141814704604033727490394127058649629519626820 898081994596397808576234  1 2898081994596397808576352 <C(2) 1
== Executing  PA-CTR  3, V(1)=898081994596397808576348, V(2)=0, repcount=299360664865465936192117, factor=5/3
5987213297309318723842379 2100393929735011204798574192773821128842258520623                 -117  1 2 <C(2) 11496803324327329680960586
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=1496803324327329680960585
5987213297309318723842389 2100393929735011204798584670397091420150025244746 1496803324327329680960470  1 21496803324327329680960589 <C(2) 1
== Executing  PA-CTR  3, V(1)=1496803324327329680960585, V(2)=0, repcount=498934441442443226986862, factor=5/3
9978688828848864539737285 5834427582597253346662709992157335551435742297854                 -116  1 23 <C(2) 12494672207212216134934311
== Executing PPA-CTR  6 (once), V(1)=2494672207212216134934310
9978688828848864539737315 5834427582597253346662742422896029310245496443990 2494672207212216134934198  13 22494672207212216134934318 <C(2) 1
== Executing  PA-CTR  3, V(1)=2494672207212216134934314, V(2)=0, repcount=831557402404072044978105, factor=5/3
16631148048081440899562155 16206743284992370407396463232613754578782617221785                 -117  13 23 <C(2) 14157787012020360224890526
== Executing PPA-CTR  5 (once), V(1)=1, V(2)=4157787012020360224890525
16631148048081440899562175 16206743284992370407396517283844910843465540798698 4157787012020360224890412  1 24157787012020360224890535 <C(2) 1
== Executing  PA-CTR  3, V(1)=4157787012020360224890531, V(2)=0, repcount=1385929004006786741630178, factor=5/3
27718580080135734832603599 45018731347201028909434751681971608737666311994670                 -122  1 2 <C(2) 16929645020033933708150891
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=6929645020033933708150890
27718580080135734832603609 45018731347201028909434800189486748975202269050928 6929645020033933708150770  1 26929645020033933708150894 <C(2) 1
== Executing  PA-CTR  3, V(1)=6929645020033933708150890, V(2)=0, repcount=2309881673344644569383631, factor=5/3
46197633466892891387672657 125052031520002858081763292209937758990489307747867                 -123  1 2 <C(2) 111549408366723222846918156
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=11549408366723222846918155
46197633466892891387672667 125052031520002858081763373055796326053049236174980 11549408366723222846918034  1 211549408366723222846918159 <C(2) 1
== Executing  PA-CTR  3, V(1)=11549408366723222846918155, V(2)=0, repcount=3849802788907740948972719, factor=5/3
76996055778154818979454419 347366754222230161338231473175853028274134125860271                 -123  1 22 <C(2) 119249013944538704744863596
== Executing PPA-CTR  8 (once), V(1)=19249013944538704744863595
76996055778154818979454430 347366754222230161338231607918950640045067339905464 19249013944538704744863474  219249013944538704744863600 <C(2) 1
== Executing  PA-CTR  1, V(1)=19249013944538704744863596, V(2)=0, repcount=6416337981512901581621199, factor=5/3
128326759630258031632424022 964907650617306003717309775024522047993930559354275                 -123  23 <C(2) 132081689907564507908105996
== Executing PPA-CTR  9 (once), V(1)=32081689907564507908105995
128326759630258031632424040 964907650617306003717310192086490846332533364732290 32081689907564507908105876  1 232081689907564507908106002 <C(2) 1
== Executing  PA-CTR  3, V(1)=32081689907564507908105998, V(2)=0, repcount=10693896635854835969368667, factor=5/3
213877932717096719387373376 2680299029492516676992527936052040768534415662560293                 -125  1 2 <C(2) 153469483179274179846843336
== Executing PPA-CTR  7 (once), V(1)=0, V(2)=53469483179274179846843335
213877932717096719387373386 2680299029492516676992528310338423023453674590463666 53469483179274179846843212  1 253469483179274179846843339 <C(2) 1
== Executing  PA-CTR  3, V(1)=53469483179274179846843335, V(2)=0, repcount=17823161059758059948947779, factor=5/3
356463221195161198978955618 7445275081923657436090355685844186732043053421747397                 -125  1 22 <C(2) 189115805298790299744738896
== Executing PPA-CTR  8 (once), V(1)=89115805298790299744738895
356463221195161198978955629 7445275081923657436090356309654823823575151634919690 89115805298790299744738772  289115805298790299744738900 <C(2) 1
== Executing  PA-CTR  1, V(1)=89115805298790299744738896, V(2)=0, repcount=29705268432930099914912966, factor=5/3
594105368658601998298259357 20681319672010159544695433164670393514190601618328894                 -126  22 <C(2) 1148526342164650499574564831
== Executing PPA-CTR 11 (once), V(1)=148526342164650499574564830
594105368658601998298259378 20681319672010159544695434204354788666744098640282754 148526342164650499574564706  12 3 2148526342164650499574564834 <C(2) 1
== Executing  PA-CTR  2, V(1)=148526342164650499574564830, V(2)=0, repcount=49508780721550166524854944, factor=5/3
990175614431003330497098930 57448110200028220957487315215328014758656568358349570                 -126  12 3 22 <C(2) 1247543903607750832624274721
990175614431003330497098931 57448110200028220957487315215328014758656568358349572                 -124  12 3 2 1 (1)C> 1247543903607750832624274721
990175614431003330497098932 57448110200028220957487316453047532797410731479723177 247543903607750832624274597  12 3 2 1247543903607750832624274722 (1)C>
990175614431003330497098933 57448110200028220957487316453047532797410731479723178 247543903607750832624274598  12 3 2 1247543903607750832624274723 (3)B>
990175614431003330497098934 57448110200028220957487316453047532797410731479723181 247543903607750832624274599  12 3 2 1247543903607750832624274724 (1)B>
990175614431003330497098935 57448110200028220957487316453047532797410731479723183 247543903607750832624274597  12 3 2 1247543903607750832624274724 <A(1)
990175614431003330497098936 57448110200028220957487316700591436405161564103997907                 -127  12 3 2 <A(1) 1247543903607750832624274724
990175614431003330497098937 57448110200028220957487316700591436405161564103997908                 -128  12 3 <B(1) 1247543903607750832624274725
990175614431003330497098938 57448110200028220957487316700591436405161564103997909                 -127  12 1 H> 1 1247543903607750832624274725   [stop]

Lines:       477
Top steps:   476
Macro steps: 990175614431003330497098938
Basic steps: 57448110200028220957487316700591436405161564103997909
Tape index:  -127
nonzeros:    247543903607750832624274729
log10(nonzeros):   26.394
log10(steps   ):   52.759
Run state:   stop

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-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 4
    T 3-state 4-symbol #b (T.J. & S. Ligocki)
    : >2.4x10^26 >5.7x10^52
    5T  1RB 1LA 1LB 1RA  0LA 2RB 2LC 1RH  3RB 2LB 1RC 0RC
    C If started in state B it will run for one more step
    C ... but still generate the same number of non-zeros.
    L 6
    M	500
    pref	sim
    machv Lig34_b  	just simple
    machv Lig34_b-r	with repetitions reduced
    machv Lig34_b-1	with tape symbol exponents
    machv Lig34_b-m	as 1-bck-macro machine
    machv Lig34_b-a	as 1-bck-macro machine with pure additive config-TRs
    iam	Lig34_b-a
    mtype	1 0
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:13:33 CEST 2010
    edate	Tue Jul  6 22:13:35 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:33 CEST 2010
Ready: Tue Jul 6 22:13:35 CEST 2010