6-state TM #e from MaBu-List

Comment: This TM produces 33299939444 ones in 645170016895723065091 steps.

State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1R C1L 1 right B 1 left C
B A0L D0L 0 left A 0 left D
C A1L Z1R 1 left A 1 right Z
D B1L E1R 1 left B 1 right E
E D0R F0R 0 right D 0 right F
F D0R D0L 0 right D 0 left D
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-2-macro machine.
Simulation is done as 1-bck-2-macro machine with pure additive config-TRs.

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

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  (0)A>
    1                    4                   -2  <A(1) 10
    2                    8                    0  01 (0)D> 10
    3                   10                    2  012 (0)D>
    4                   12                    0  012 <A(0) 10
    5                   14                   -2  01 <A(1) 102
    6                   16                   -4  <A(1) 11 102
    7                   20                   -2  01 (0)D> 11 102
    8                   22                    0  012 (0)F> 102
    9                   24                   -2  012 <B(1) 00 10
   10                   28                   -6  <B(1) 012 00 10
   11                   32                   -8  <C(1) 013 00 10
   12                   38                   -6  10 (1)E> 013 00 10
   13                   44                    0  104 (1)E> 00 10
   14                   48                   -2  104 <C(1) 01 10
   15                   56                  -10  <C(1) 114 01 10
   16                   62                   -8  10 (1)E> 114 01 10
   17                   66                  -10  10 <D(0) 10 113 01 10
   18                   68                  -12  <D(0) 102 113 01 10
   19                   70                  -14  <A(0) 103 113 01 10
   20                   74                  -16  <A(1) 104 113 01 10
   21                   78                  -14  01 (0)D> 104 113 01 10
   22                   86                   -6  015 (0)D> 113 01 10
   23                   88                   -4  016 (0)F> 112 01 10
   24                   90                   -6  016 <B(1) 01 11 01 10
   25                  102                  -18  <B(1) 017 11 01 10
   26                  106                  -20  <C(1) 018 11 01 10
   27                  112                  -18  10 (1)E> 018 11 01 10
   28                  128                   -2  109 (1)E> 11 01 10
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  101+V(1) (1)E> 114+V(2) [*]* [*]*
    1                    4                   -2  101+V(1) <D(0) 10 113+V(2) [*]* [*]*
    2             6+2*V(1)           -4+-2*V(1)  <D(0) 102+V(1) 113+V(2) [*]* [*]*
    3             8+2*V(1)           -6+-2*V(1)  <A(0) 103+V(1) 113+V(2) [*]* [*]*
    4            12+2*V(1)           -8+-2*V(1)  <A(1) 104+V(1) 113+V(2) [*]* [*]*
    5            16+2*V(1)           -6+-2*V(1)  01 (0)D> 104+V(1) 113+V(2) [*]* [*]*
    6            24+4*V(1)                    2  015+V(1) (0)D> 113+V(2) [*]* [*]*
    7            26+4*V(1)                    4  016+V(1) (0)F> 112+V(2) [*]* [*]*
    8            28+4*V(1)                    2  016+V(1) <B(1) 01 111+V(2) [*]* [*]*
    9            40+6*V(1)          -10+-2*V(1)  <B(1) 017+V(1) 111+V(2) [*]* [*]*
   10            44+6*V(1)          -12+-2*V(1)  <C(1) 018+V(1) 111+V(2) [*]* [*]*
   11            50+6*V(1)          -10+-2*V(1)  10 (1)E> 018+V(1) 111+V(2) [*]* [*]*
   12            66+8*V(1)                    6  109+V(1) (1)E> 111+V(2) [*]* [*]*
<< Success! ==> defined new CTR 1 (PA)
   29                  132                   -4  109 <D(0) 10 01 10
   30                  150                  -22  <D(0) 1010 01 10
   31                  152                  -24  <A(0) 1011 01 10
   32                  156                  -26  <A(1) 1012 01 10
   33                  160                  -24  01 (0)D> 1012 01 10
   34                  184                    0  0113 (0)D> 01 10
   35                  186                   -2  0113 <A(0) 11 10
   36                  188                   -4  0112 <A(1) 10 11 10
   37                  212                  -28  <A(1) 1112 10 11 10
   38                  216                  -26  01 (0)D> 1112 10 11 10
   39                  218                  -24  012 (0)F> 1111 10 11 10
   40                  220                  -26  012 <B(1) 01 1110 10 11 10
   41                  224                  -30  <B(1) 013 1110 10 11 10
   42                  228                  -32  <C(1) 014 1110 10 11 10
   43                  234                  -30  10 (1)E> 014 1110 10 11 10
   44                  242                  -22  105 (1)E> 1110 10 11 10
   45                  246                  -24  105 <D(0) 10 119 10 11 10
   46                  256                  -34  <D(0) 106 119 10 11 10
   47                  258                  -36  <A(0) 107 119 10 11 10
   48                  262                  -38  <A(1) 108 119 10 11 10
   49                  266                  -36  01 (0)D> 108 119 10 11 10
   50                  282                  -20  019 (0)D> 119 10 11 10
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  011+V(1) (0)D> 114+V(2) [*]* [*]* [*]*
    1                    2                    2  012+V(1) (0)F> 113+V(2) [*]* [*]* [*]*
    2                    4                    0  012+V(1) <B(1) 01 112+V(2) [*]* [*]* [*]*
    3             8+2*V(1)           -4+-2*V(1)  <B(1) 013+V(1) 112+V(2) [*]* [*]* [*]*
    4            12+2*V(1)           -6+-2*V(1)  <C(1) 014+V(1) 112+V(2) [*]* [*]* [*]*
    5            18+2*V(1)           -4+-2*V(1)  10 (1)E> 014+V(1) 112+V(2) [*]* [*]* [*]*
    6            26+4*V(1)                    4  105+V(1) (1)E> 112+V(2) [*]* [*]* [*]*
    7            30+4*V(1)                    2  105+V(1) <D(0) 10 111+V(2) [*]* [*]* [*]*
    8            40+6*V(1)           -8+-2*V(1)  <D(0) 106+V(1) 111+V(2) [*]* [*]* [*]*
    9            42+6*V(1)          -10+-2*V(1)  <A(0) 107+V(1) 111+V(2) [*]* [*]* [*]*
   10            46+6*V(1)          -12+-2*V(1)  <A(1) 108+V(1) 111+V(2) [*]* [*]* [*]*
   11            50+6*V(1)          -10+-2*V(1)  01 (0)D> 108+V(1) 111+V(2) [*]* [*]* [*]*
   12            66+8*V(1)                    6  019+V(1) (0)D> 111+V(2) [*]* [*]* [*]*
<< Success! ==> defined new CTR 2 (PA)
   50                  282                  -20  019 (0)D> 119 10 11 10
== Executing  PA-CTR  2, V(1)=8, V(2)=5, repcount=2, factor=8/3
   74                  606                   -8  0125 (0)D> 113 10 11 10
   75                  608                   -6  0126 (0)F> 112 10 11 10
   76                  610                   -8  0126 <B(1) 01 11 10 11 10
   77                  662                  -60  <B(1) 0127 11 10 11 10
   78                  666                  -62  <C(1) 0128 11 10 11 10
   79                  672                  -60  10 (1)E> 0128 11 10 11 10
   80                  728                   -4  1029 (1)E> 11 10 11 10
   81                  732                   -6  1029 <D(0) 102 11 10
   82                  790                  -64  <D(0) 1031 11 10
   83                  792                  -66  <A(0) 1032 11 10
   84                  796                  -68  <A(1) 1033 11 10
   85                  800                  -66  01 (0)D> 1033 11 10
   86                  866                    0  0134 (0)D> 11 10
   87                  868                    2  0135 (0)F> 10
   88                  870                    0  0135 <B(1)
   89                  940                  -70  <B(1) 0135
   90                  944                  -72  <C(1) 0136
   91                  950                  -70  10 (1)E> 0136
   92                 1022                    2  1037 (1)E>
   93                 1026                    0  1037 <C(1) 01
   94                 1100                  -74  <C(1) 1137 01
   95                 1106                  -72  10 (1)E> 1137 01
   96                 1110                  -74  10 <D(0) 10 1136 01
   97                 1112                  -76  <D(0) 102 1136 01
   98                 1114                  -78  <A(0) 103 1136 01
   99                 1118                  -80  <A(1) 104 1136 01
  100                 1122                  -78  01 (0)D> 104 1136 01
  101                 1130                  -70  015 (0)D> 1136 01
  102                 1132                  -68  016 (0)F> 1135 01
  103                 1134                  -70  016 <B(1) 01 1134 01
  104                 1146                  -82  <B(1) 017 1134 01
  105                 1150                  -84  <C(1) 018 1134 01
  106                 1156                  -82  10 (1)E> 018 1134 01
  107                 1172                  -66  109 (1)E> 1134 01
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  101+V(1) (1)E> 114+V(2) [*]*
    1                    4                   -2  101+V(1) <D(0) 10 113+V(2) [*]*
    2             6+2*V(1)           -4+-2*V(1)  <D(0) 102+V(1) 113+V(2) [*]*
    3             8+2*V(1)           -6+-2*V(1)  <A(0) 103+V(1) 113+V(2) [*]*
    4            12+2*V(1)           -8+-2*V(1)  <A(1) 104+V(1) 113+V(2) [*]*
    5            16+2*V(1)           -6+-2*V(1)  01 (0)D> 104+V(1) 113+V(2) [*]*
    6            24+4*V(1)                    2  015+V(1) (0)D> 113+V(2) [*]*
    7            26+4*V(1)                    4  016+V(1) (0)F> 112+V(2) [*]*
    8            28+4*V(1)                    2  016+V(1) <B(1) 01 111+V(2) [*]*
    9            40+6*V(1)          -10+-2*V(1)  <B(1) 017+V(1) 111+V(2) [*]*
   10            44+6*V(1)          -12+-2*V(1)  <C(1) 018+V(1) 111+V(2) [*]*
   11            50+6*V(1)          -10+-2*V(1)  10 (1)E> 018+V(1) 111+V(2) [*]*
   12            66+8*V(1)                    6  109+V(1) (1)E> 111+V(2) [*]*
<< Success! ==> defined new CTR 3 (PA)
  107                 1172                  -66  109 (1)E> 1134 01
== Executing  PA-CTR  3, V(1)=8, V(2)=30, repcount=11, factor=8/3
  239                 6122                    0  1097 (1)E> 11 01
  240                 6126                   -2  1097 <D(0) 10 01
  241                 6320                 -196  <D(0) 1098 01
  242                 6322                 -198  <A(0) 1099 01
  243                 6326                 -200  <A(1) 10100 01
  244                 6330                 -198  01 (0)D> 10100 01
  245                 6530                    2  01101 (0)D> 01
  246                 6532                    0  01101 <A(0) 11
  247                 6534                   -2  01100 <A(1) 10 11
  248                 6734                 -202  <A(1) 11100 10 11
  249                 6738                 -200  01 (0)D> 11100 10 11
  250                 6740                 -198  012 (0)F> 1199 10 11
  251                 6742                 -200  012 <B(1) 01 1198 10 11
  252                 6746                 -204  <B(1) 013 1198 10 11
  253                 6750                 -206  <C(1) 014 1198 10 11
  254                 6756                 -204  10 (1)E> 014 1198 10 11
  255                 6764                 -196  105 (1)E> 1198 10 11
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  103+V(1) (1)E> 11 01
    1                    4                   -2  103+V(1) <D(0) 10 01
    2            10+2*V(1)           -8+-2*V(1)  <D(0) 104+V(1) 01
    3            12+2*V(1)          -10+-2*V(1)  <A(0) 105+V(1) 01
    4            16+2*V(1)          -12+-2*V(1)  <A(1) 106+V(1) 01
    5            20+2*V(1)          -10+-2*V(1)  01 (0)D> 106+V(1) 01
    6            32+4*V(1)                    2  017+V(1) (0)D> 01
    7            34+4*V(1)                    0  017+V(1) <A(0) 11
    8            36+4*V(1)                   -2  016+V(1) <A(1) 10 11
    9            48+6*V(1)          -14+-2*V(1)  <A(1) 116+V(1) 10 11
   10            52+6*V(1)          -12+-2*V(1)  01 (0)D> 116+V(1) 10 11
   11            54+6*V(1)          -10+-2*V(1)  012 (0)F> 115+V(1) 10 11
   12            56+6*V(1)          -12+-2*V(1)  012 <B(1) 01 114+V(1) 10 11
   13            60+6*V(1)          -16+-2*V(1)  <B(1) 013 114+V(1) 10 11
   14            64+6*V(1)          -18+-2*V(1)  <C(1) 014 114+V(1) 10 11
   15            70+6*V(1)          -16+-2*V(1)  10 (1)E> 014 114+V(1) 10 11
   16            78+6*V(1)           -8+-2*V(1)  105 (1)E> 114+V(1) 10 11
<< Success! ==> defined new CTR 4 (PPA)
  255                 6764                 -196  105 (1)E> 1198 10 11
== Executing  PA-CTR  1, V(1)=4, V(2)=94, repcount=32, factor=8/3
  639                41644                   -4  10261 (1)E> 112 10 11
  640                41648                   -6  10261 <D(0) 10 11 10 11
  641                42170                 -528  <D(0) 10262 11 10 11
  642                42172                 -530  <A(0) 10263 11 10 11
  643                42176                 -532  <A(1) 10264 11 10 11
  644                42180                 -530  01 (0)D> 10264 11 10 11
  645                42708                   -2  01265 (0)D> 11 10 11
  646                42710                    0  01266 (0)F> 10 11
  647                42712                   -2  01266 <B(1) 00 11
  648                43244                 -534  <B(1) 01266 00 11
  649                43248                 -536  <C(1) 01267 00 11
  650                43254                 -534  10 (1)E> 01267 00 11
  651                43788                    0  10268 (1)E> 00 11
  652                43792                   -2  10268 <C(1) 01 11
  653                44328                 -538  <C(1) 11268 01 11
  654                44334                 -536  10 (1)E> 11268 01 11
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  101+V(1) (1)E> 112 10 [*]*
    1                    4                   -2  101+V(1) <D(0) 10 11 10 [*]*
    2             6+2*V(1)           -4+-2*V(1)  <D(0) 102+V(1) 11 10 [*]*
    3             8+2*V(1)           -6+-2*V(1)  <A(0) 103+V(1) 11 10 [*]*
    4            12+2*V(1)           -8+-2*V(1)  <A(1) 104+V(1) 11 10 [*]*
    5            16+2*V(1)           -6+-2*V(1)  01 (0)D> 104+V(1) 11 10 [*]*
    6            24+4*V(1)                    2  015+V(1) (0)D> 11 10 [*]*
    7            26+4*V(1)                    4  016+V(1) (0)F> 10 [*]*
    8            28+4*V(1)                    2  016+V(1) <B(1) 00 [*]*
    9            40+6*V(1)          -10+-2*V(1)  <B(1) 016+V(1) 00 [*]*
   10            44+6*V(1)          -12+-2*V(1)  <C(1) 017+V(1) 00 [*]*
   11            50+6*V(1)          -10+-2*V(1)  10 (1)E> 017+V(1) 00 [*]*
   12            64+8*V(1)                    4  108+V(1) (1)E> 00 [*]*
   13            68+8*V(1)                    2  108+V(1) <C(1) 01 [*]*
   14           84+10*V(1)          -14+-2*V(1)  <C(1) 118+V(1) 01 [*]*
   15           90+10*V(1)          -12+-2*V(1)  10 (1)E> 118+V(1) 01 [*]*
<< Success! ==> defined new CTR 5 (PPA)
  654                44334                 -536  10 (1)E> 11268 01 11
== Executing  PA-CTR  1, V(1)=0, V(2)=264, repcount=89, factor=8/3
 1722               300832                   -2  10713 (1)E> 11 01 11
 1723               300836                   -4  10713 <D(0) 10 01 11
 1724               302262                -1430  <D(0) 10714 01 11
 1725               302264                -1432  <A(0) 10715 01 11
 1726               302268                -1434  <A(1) 10716 01 11
 1727               302272                -1432  01 (0)D> 10716 01 11
 1728               303704                    0  01717 (0)D> 01 11
 1729               303706                   -2  01717 <A(0) 112
 1730               303708                   -4  01716 <A(1) 10 112
 1731               305140                -1436  <A(1) 11716 10 112
 1732               305144                -1434  01 (0)D> 11716 10 112
 1733               305146                -1432  012 (0)F> 11715 10 112
 1734               305148                -1434  012 <B(1) 01 11714 10 112
 1735               305152                -1438  <B(1) 013 11714 10 112
 1736               305156                -1440  <C(1) 014 11714 10 112
 1737               305162                -1438  10 (1)E> 014 11714 10 112
 1738               305170                -1430  105 (1)E> 11714 10 112
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  103+V(1) (1)E> 11 01 111+V(2)
    1                    4                   -2  103+V(1) <D(0) 10 01 111+V(2)
    2            10+2*V(1)           -8+-2*V(1)  <D(0) 104+V(1) 01 111+V(2)
    3            12+2*V(1)          -10+-2*V(1)  <A(0) 105+V(1) 01 111+V(2)
    4            16+2*V(1)          -12+-2*V(1)  <A(1) 106+V(1) 01 111+V(2)
    5            20+2*V(1)          -10+-2*V(1)  01 (0)D> 106+V(1) 01 111+V(2)
    6            32+4*V(1)                    2  017+V(1) (0)D> 01 111+V(2)
    7            34+4*V(1)                    0  017+V(1) <A(0) 112+V(2)
    8            36+4*V(1)                   -2  016+V(1) <A(1) 10 112+V(2)
    9            48+6*V(1)          -14+-2*V(1)  <A(1) 116+V(1) 10 112+V(2)
   10            52+6*V(1)          -12+-2*V(1)  01 (0)D> 116+V(1) 10 112+V(2)
   11            54+6*V(1)          -10+-2*V(1)  012 (0)F> 115+V(1) 10 112+V(2)
   12            56+6*V(1)          -12+-2*V(1)  012 <B(1) 01 114+V(1) 10 112+V(2)
   13            60+6*V(1)          -16+-2*V(1)  <B(1) 013 114+V(1) 10 112+V(2)
   14            64+6*V(1)          -18+-2*V(1)  <C(1) 014 114+V(1) 10 112+V(2)
   15            70+6*V(1)          -16+-2*V(1)  10 (1)E> 014 114+V(1) 10 112+V(2)
   16            78+6*V(1)           -8+-2*V(1)  105 (1)E> 114+V(1) 10 112+V(2)
<< Success! ==> defined new CTR 6 (PPA)
 1738               305170                -1430  105 (1)E> 11714 10 112
== Executing  PA-CTR  1, V(1)=4, V(2)=710, repcount=237, factor=8/3
 4582              2118220                   -8  101901 (1)E> 113 10 112
 4583              2118224                  -10  101901 <D(0) 10 112 10 112
 4584              2122026                -3812  <D(0) 101902 112 10 112
 4585              2122028                -3814  <A(0) 101903 112 10 112
 4586              2122032                -3816  <A(1) 101904 112 10 112
 4587              2122036                -3814  01 (0)D> 101904 112 10 112
 4588              2125844                   -6  011905 (0)D> 112 10 112
 4589              2125846                   -4  011906 (0)F> 11 10 112
 4590              2125848                   -6  011906 <B(1) 01 10 112
 4591              2129660                -3818  <B(1) 011907 10 112
 4592              2129664                -3820  <C(1) 011908 10 112
 4593              2129670                -3818  10 (1)E> 011908 10 112
 4594              2133486                   -2  101909 (1)E> 10 112
 4595              2133488                    0  101910 (0)D> 112
 4596              2133490                    2  101910 01 (0)F> 11
 4597              2133492                    0  101910 01 <B(1) 01
 4598              2133494                   -2  101910 <B(1) 012
 4599              2133496                   -4  101909 <C(1) 013
 4600              2137314                -3822  <C(1) 111909 013
 4601              2137320                -3820  10 (1)E> 111909 013
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  101+V(1) (1)E> 113 10 112
    1                    4                   -2  101+V(1) <D(0) 10 112 10 112
    2             6+2*V(1)           -4+-2*V(1)  <D(0) 102+V(1) 112 10 112
    3             8+2*V(1)           -6+-2*V(1)  <A(0) 103+V(1) 112 10 112
    4            12+2*V(1)           -8+-2*V(1)  <A(1) 104+V(1) 112 10 112
    5            16+2*V(1)           -6+-2*V(1)  01 (0)D> 104+V(1) 112 10 112
    6            24+4*V(1)                    2  015+V(1) (0)D> 112 10 112
    7            26+4*V(1)                    4  016+V(1) (0)F> 11 10 112
    8            28+4*V(1)                    2  016+V(1) <B(1) 01 10 112
    9            40+6*V(1)          -10+-2*V(1)  <B(1) 017+V(1) 10 112
   10            44+6*V(1)          -12+-2*V(1)  <C(1) 018+V(1) 10 112
   11            50+6*V(1)          -10+-2*V(1)  10 (1)E> 018+V(1) 10 112
   12            66+8*V(1)                    6  109+V(1) (1)E> 10 112
   13            68+8*V(1)                    8  1010+V(1) (0)D> 112
   14            70+8*V(1)                   10  1010+V(1) 01 (0)F> 11
   15            72+8*V(1)                    8  1010+V(1) 01 <B(1) 01
   16            74+8*V(1)                    6  1010+V(1) <B(1) 012
   17            76+8*V(1)                    4  109+V(1) <C(1) 013
   18           94+10*V(1)          -14+-2*V(1)  <C(1) 119+V(1) 013
   19          100+10*V(1)          -12+-2*V(1)  10 (1)E> 119+V(1) 013
<< Success! ==> defined new CTR 7 (PPA)
 4601              2137320                -3820  10 (1)E> 111909 013
== Executing  PA-CTR  3, V(1)=0, V(2)=1905, repcount=636, factor=8/3
12233             15102816                   -4  105089 (1)E> 11 013
12234             15102820                   -6  105089 <D(0) 10 013
12235             15112998               -10184  <D(0) 105090 013
12236             15113000               -10186  <A(0) 105091 013
12237             15113004               -10188  <A(1) 105092 013
12238             15113008               -10186  01 (0)D> 105092 013
12239             15123192                   -2  015093 (0)D> 013
12240             15123194                   -4  015093 <A(0) 11 012
12241             15123196                   -6  015092 <A(1) 10 11 012
12242             15133380               -10190  <A(1) 115092 10 11 012
12243             15133384               -10188  01 (0)D> 115092 10 11 012
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  101+V(1) (1)E> 11 012+V(2)
    1                    4                   -2  101+V(1) <D(0) 10 012+V(2)
    2             6+2*V(1)           -4+-2*V(1)  <D(0) 102+V(1) 012+V(2)
    3             8+2*V(1)           -6+-2*V(1)  <A(0) 103+V(1) 012+V(2)
    4            12+2*V(1)           -8+-2*V(1)  <A(1) 104+V(1) 012+V(2)
    5            16+2*V(1)           -6+-2*V(1)  01 (0)D> 104+V(1) 012+V(2)
    6            24+4*V(1)                    2  015+V(1) (0)D> 012+V(2)
    7            26+4*V(1)                    0  015+V(1) <A(0) 11 011+V(2)
    8            28+4*V(1)                   -2  014+V(1) <A(1) 10 11 011+V(2)
    9            36+6*V(1)          -10+-2*V(1)  <A(1) 114+V(1) 10 11 011+V(2)
   10            40+6*V(1)           -8+-2*V(1)  01 (0)D> 114+V(1) 10 11 011+V(2)
<< Success! ==> defined new CTR 8 (PPA)
12243             15133384               -10188  01 (0)D> 115092 10 11 012
== Executing  PA-CTR  2, V(1)=0, V(2)=5088, repcount=1697, factor=8/3
32607            107344970                   -6  0113577 (0)D> 11 10 11 012
32608            107344972                   -4  0113578 (0)F> 10 11 012
32609            107344974                   -6  0113578 <B(1) 00 11 012
32610            107372130               -27162  <B(1) 0113578 00 11 012
32611            107372134               -27164  <C(1) 0113579 00 11 012
32612            107372140               -27162  10 (1)E> 0113579 00 11 012
32613            107399298                   -4  1013580 (1)E> 00 11 012
32614            107399302                   -6  1013580 <C(1) 01 11 012
32615            107426462               -27166  <C(1) 1113580 01 11 012
32616            107426468               -27164  10 (1)E> 1113580 01 11 012
32617            107426472               -27166  10 <D(0) 10 1113579 01 11 012
32618            107426474               -27168  <D(0) 102 1113579 01 11 012
32619            107426476               -27170  <A(0) 103 1113579 01 11 012
32620            107426480               -27172  <A(1) 104 1113579 01 11 012
32621            107426484               -27170  01 (0)D> 104 1113579 01 11 012
32622            107426492               -27162  015 (0)D> 1113579 01 11 012
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  012+V(1) (0)D> 11 10 [*]* [*]*
    1                    2                    2  013+V(1) (0)F> 10 [*]* [*]*
    2                    4                    0  013+V(1) <B(1) 00 [*]* [*]*
    3            10+2*V(1)           -6+-2*V(1)  <B(1) 013+V(1) 00 [*]* [*]*
    4            14+2*V(1)           -8+-2*V(1)  <C(1) 014+V(1) 00 [*]* [*]*
    5            20+2*V(1)           -6+-2*V(1)  10 (1)E> 014+V(1) 00 [*]* [*]*
    6            28+4*V(1)                    2  105+V(1) (1)E> 00 [*]* [*]*
    7            32+4*V(1)                    0  105+V(1) <C(1) 01 [*]* [*]*
    8            42+6*V(1)          -10+-2*V(1)  <C(1) 115+V(1) 01 [*]* [*]*
    9            48+6*V(1)           -8+-2*V(1)  10 (1)E> 115+V(1) 01 [*]* [*]*
   10            52+6*V(1)          -10+-2*V(1)  10 <D(0) 10 114+V(1) 01 [*]* [*]*
   11            54+6*V(1)          -12+-2*V(1)  <D(0) 102 114+V(1) 01 [*]* [*]*
   12            56+6*V(1)          -14+-2*V(1)  <A(0) 103 114+V(1) 01 [*]* [*]*
   13            60+6*V(1)          -16+-2*V(1)  <A(1) 104 114+V(1) 01 [*]* [*]*
   14            64+6*V(1)          -14+-2*V(1)  01 (0)D> 104 114+V(1) 01 [*]* [*]*
   15            72+6*V(1)           -6+-2*V(1)  015 (0)D> 114+V(1) 01 [*]* [*]*
<< Success! ==> defined new CTR 9 (PPA)
32622            107426492               -27162  015 (0)D> 1113579 01 11 012
== Executing  PA-CTR  2, V(1)=4, V(2)=13575, repcount=4526, factor=8/3
86934            763234840                   -6  0136213 (0)D> 11 01 11 012
86935            763234842                   -4  0136214 (0)F> 01 11 012
86936            763234844                   -2  0136214 00 (1)E> 11 012
86937            763234848                   -4  0136214 00 <D(0) 10 012
86938            763234850                   -6  0136214 <A(0) 102 012
86939            763234852                   -8  0136213 <A(1) 103 012
86940            763307278               -72434  <A(1) 1136213 103 012
86941            763307282               -72432  01 (0)D> 1136213 103 012
86942            763307284               -72430  012 (0)F> 1136212 103 012
86943            763307286               -72432  012 <B(1) 01 1136211 103 012
86944            763307290               -72436  <B(1) 013 1136211 103 012
86945            763307294               -72438  <C(1) 014 1136211 103 012
86946            763307300               -72436  10 (1)E> 014 1136211 103 012
86947            763307308               -72428  105 (1)E> 1136211 103 012
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  016+V(1) (0)D> 11 01 11 [*]*
    1                    2                    2  017+V(1) (0)F> 01 11 [*]*
    2                    4                    4  017+V(1) 00 (1)E> 11 [*]*
    3                    8                    2  017+V(1) 00 <D(0) 10 [*]*
    4                   10                    0  017+V(1) <A(0) 102 [*]*
    5                   12                   -2  016+V(1) <A(1) 103 [*]*
    6            24+2*V(1)          -14+-2*V(1)  <A(1) 116+V(1) 103 [*]*
    7            28+2*V(1)          -12+-2*V(1)  01 (0)D> 116+V(1) 103 [*]*
    8            30+2*V(1)          -10+-2*V(1)  012 (0)F> 115+V(1) 103 [*]*
    9            32+2*V(1)          -12+-2*V(1)  012 <B(1) 01 114+V(1) 103 [*]*
   10            36+2*V(1)          -16+-2*V(1)  <B(1) 013 114+V(1) 103 [*]*
   11            40+2*V(1)          -18+-2*V(1)  <C(1) 014 114+V(1) 103 [*]*
   12            46+2*V(1)          -16+-2*V(1)  10 (1)E> 014 114+V(1) 103 [*]*
   13            54+2*V(1)           -8+-2*V(1)  105 (1)E> 114+V(1) 103 [*]*
<< Success! ==> defined new CTR 10 (PPA)
86947            763307308               -72428  105 (1)E> 1136211 103 012
== Executing  PA-CTR  1, V(1)=4, V(2)=36207, repcount=12070, factor=8/3
231787           5426020728                   -8  1096565 (1)E> 11 103 012
231788           5426020732                  -10  1096565 <D(0) 104 012
231789           5426213862              -193140  <D(0) 1096569 012
231790           5426213864              -193142  <A(0) 1096570 012
231791           5426213868              -193144  <A(1) 1096571 012
231792           5426213872              -193142  01 (0)D> 1096571 012
231793           5426407014                    0  0196572 (0)D> 012
231794           5426407016                   -2  0196572 <A(0) 11 01
231795           5426407018                   -4  0196571 <A(1) 10 11 01
231796           5426600160              -193146  <A(1) 1196571 10 11 01
231797           5426600164              -193144  01 (0)D> 1196571 10 11 01
>> Try to prove a PPA-CTR with 3 Vars...
    0                    0                    0  101+V(1) (1)E> 11 101+V(3) 012+V(2)
    1                    4                   -2  101+V(1) <D(0) 102+V(3) 012+V(2)
    2             6+2*V(1)           -4+-2*V(1)  <D(0) 103+V(1)+V(3) 012+V(2)
    3             8+2*V(1)           -6+-2*V(1)  <A(0) 104+V(1)+V(3) 012+V(2)
    4            12+2*V(1)           -8+-2*V(1)  <A(1) 105+V(1)+V(3) 012+V(2)
    5            16+2*V(1)           -6+-2*V(1)  01 (0)D> 105+V(1)+V(3) 012+V(2)
    6     26+4*V(1)+2*V(3)             4+2*V(3)  016+V(1)+V(3) (0)D> 012+V(2)
    7     28+4*V(1)+2*V(3)             2+2*V(3)  016+V(1)+V(3) <A(0) 11 011+V(2)
    8     30+4*V(1)+2*V(3)             0+2*V(3)  015+V(1)+V(3) <A(1) 10 11 011+V(2)
    9     40+6*V(1)+4*V(3)          -10+-2*V(1)  <A(1) 115+V(1)+V(3) 10 11 011+V(2)
   10     44+6*V(1)+4*V(3)           -8+-2*V(1)  01 (0)D> 115+V(1)+V(3) 10 11 011+V(2)
<< Success! ==> defined new CTR 11 (PPA)
231797           5426600164              -193144  01 (0)D> 1196571 10 11 01
== Executing  PA-CTR  2, V(1)=0, V(2)=96567, repcount=32190, factor=8/3
618077          38585969824                   -4  01257521 (0)D> 11 10 11 01
== Executing PPA-CTR  9 (once), V(1)=257519
618092          38587515010              -515048  015 (0)D> 11257523 01 11 01
== Executing  PA-CTR  2, V(1)=4, V(2)=257519, repcount=85840, factor=8/3
1648172         274385359650                   -8  01686725 (0)D> 113 01 11 01
1648173         274385359652                   -6  01686726 (0)F> 112 01 11 01
1648174         274385359654                   -8  01686726 <B(1) 01 11 01 11 01
1648175         274386733106             -1373460  <B(1) 01686727 11 01 11 01
1648176         274386733110             -1373462  <C(1) 01686728 11 01 11 01
1648177         274386733116             -1373460  10 (1)E> 01686728 11 01 11 01
1648178         274388106572                   -4  10686729 (1)E> 11 01 11 01
1648179         274388106576                   -6  10686729 <D(0) 10 01 11 01
1648180         274389480034             -1373464  <D(0) 10686730 01 11 01
1648181         274389480036             -1373466  <A(0) 10686731 01 11 01
1648182         274389480040             -1373468  <A(1) 10686732 01 11 01
1648183         274389480044             -1373466  01 (0)D> 10686732 01 11 01
1648184         274390853508                   -2  01686733 (0)D> 01 11 01
1648185         274390853510                   -4  01686733 <A(0) 112 01
1648186         274390853512                   -6  01686732 <A(1) 10 112 01
1648187         274392226976             -1373470  <A(1) 11686732 10 112 01
1648188         274392226980             -1373468  01 (0)D> 11686732 10 112 01
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  011+V(1) (0)D> 113 01 111+V(2) [*]*
    1                    2                    2  012+V(1) (0)F> 112 01 111+V(2) [*]*
    2                    4                    0  012+V(1) <B(1) 01 11 01 111+V(2) [*]*
    3             8+2*V(1)           -4+-2*V(1)  <B(1) 013+V(1) 11 01 111+V(2) [*]*
    4            12+2*V(1)           -6+-2*V(1)  <C(1) 014+V(1) 11 01 111+V(2) [*]*
    5            18+2*V(1)           -4+-2*V(1)  10 (1)E> 014+V(1) 11 01 111+V(2) [*]*
    6            26+4*V(1)                    4  105+V(1) (1)E> 11 01 111+V(2) [*]*
    7            30+4*V(1)                    2  105+V(1) <D(0) 10 01 111+V(2) [*]*
    8            40+6*V(1)           -8+-2*V(1)  <D(0) 106+V(1) 01 111+V(2) [*]*
    9            42+6*V(1)          -10+-2*V(1)  <A(0) 107+V(1) 01 111+V(2) [*]*
   10            46+6*V(1)          -12+-2*V(1)  <A(1) 108+V(1) 01 111+V(2) [*]*
   11            50+6*V(1)          -10+-2*V(1)  01 (0)D> 108+V(1) 01 111+V(2) [*]*
   12            66+8*V(1)                    6  019+V(1) (0)D> 01 111+V(2) [*]*
   13            68+8*V(1)                    4  019+V(1) <A(0) 112+V(2) [*]*
   14            70+8*V(1)                    2  018+V(1) <A(1) 10 112+V(2) [*]*
   15           86+10*V(1)          -14+-2*V(1)  <A(1) 118+V(1) 10 112+V(2) [*]*
   16           90+10*V(1)          -12+-2*V(1)  01 (0)D> 118+V(1) 10 112+V(2) [*]*
<< Success! ==> defined new CTR 12 (PPA)
1648188         274392226980             -1373468  01 (0)D> 11686732 10 112 01
== Executing  PA-CTR  2, V(1)=0, V(2)=686728, repcount=228910, factor=8/3
4395108        1951193229120                   -8  011831281 (0)D> 112 10 112 01
4395109        1951193229122                   -6  011831282 (0)F> 11 10 112 01
4395110        1951193229124                   -8  011831282 <B(1) 01 10 112 01
4395111        1951196891688             -3662572  <B(1) 011831283 10 112 01
4395112        1951196891692             -3662574  <C(1) 011831284 10 112 01
4395113        1951196891698             -3662572  10 (1)E> 011831284 10 112 01
4395114        1951200554266                   -4  101831285 (1)E> 10 112 01
4395115        1951200554268                   -2  101831286 (0)D> 112 01
4395116        1951200554270                    0  101831286 01 (0)F> 11 01
4395117        1951200554272                   -2  101831286 01 <B(1) 012
4395118        1951200554274                   -4  101831286 <B(1) 013
4395119        1951200554276                   -6  101831285 <C(1) 014
4395120        1951204216846             -3662576  <C(1) 111831285 014
4395121        1951204216852             -3662574  10 (1)E> 111831285 014
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  011+V(1) (0)D> 112 10 112 011+V(2)
    1                    2                    2  012+V(1) (0)F> 11 10 112 011+V(2)
    2                    4                    0  012+V(1) <B(1) 01 10 112 011+V(2)
    3             8+2*V(1)           -4+-2*V(1)  <B(1) 013+V(1) 10 112 011+V(2)
    4            12+2*V(1)           -6+-2*V(1)  <C(1) 014+V(1) 10 112 011+V(2)
    5            18+2*V(1)           -4+-2*V(1)  10 (1)E> 014+V(1) 10 112 011+V(2)
    6            26+4*V(1)                    4  105+V(1) (1)E> 10 112 011+V(2)
    7            28+4*V(1)                    6  106+V(1) (0)D> 112 011+V(2)
    8            30+4*V(1)                    8  106+V(1) 01 (0)F> 11 011+V(2)
    9            32+4*V(1)                    6  106+V(1) 01 <B(1) 012+V(2)
   10            34+4*V(1)                    4  106+V(1) <B(1) 013+V(2)
   11            36+4*V(1)                    2  105+V(1) <C(1) 014+V(2)
   12            46+6*V(1)           -8+-2*V(1)  <C(1) 115+V(1) 014+V(2)
   13            52+6*V(1)           -6+-2*V(1)  10 (1)E> 115+V(1) 014+V(2)
<< Success! ==> defined new CTR 13 (PPA)
4395121        1951204216852             -3662574  10 (1)E> 111831285 014
== Executing  PA-CTR  3, V(1)=0, V(2)=1831281, repcount=610428, factor=8/3
11720257       13875139953292                   -6  104883425 (1)E> 11 014
== Executing PPA-CTR  8 (once), V(1)=4883424, V(2)=2
11720267       13875169253876             -9766862  01 (0)D> 114883428 10 11 013
== Executing  PA-CTR  2, V(1)=0, V(2)=4883424, repcount=1627809, factor=8/3
31253975       98667613094774                   -8  0113022473 (0)D> 11 10 11 013
== Executing PPA-CTR  9 (once), V(1)=13022471
31253990       98667691229672            -26044956  015 (0)D> 1113022475 01 11 013
== Executing  PA-CTR  2, V(1)=4, V(2)=13022471, repcount=4340824, factor=8/3
83343878      701636073691288                  -12  0134726597 (0)D> 113 01 11 013
== Executing PPA-CTR 12 (once), V(1)=34726596, V(2)=0
83343894      701636420957338            -69453216  01 (0)D> 1134726604 10 112 013
== Executing  PA-CTR  2, V(1)=0, V(2)=34726600, repcount=11575534, factor=8/3
222250302     4989412410850486                  -12  0192604273 (0)D> 112 10 112 013
== Executing PPA-CTR 13 (once), V(1)=92604272, V(2)=2
222250315     4989412966476170           -185208562  10 (1)E> 1192604277 016
== Executing  PA-CTR  3, V(1)=0, V(2)=92604273, repcount=30868092, factor=8/3
592667419    35480265335046146                  -10  10246944737 (1)E> 11 016
== Executing PPA-CTR  8 (once), V(1)=246944736, V(2)=4
592667429    35480266816714602           -493889490  01 (0)D> 11246944740 10 11 015
== Executing  PA-CTR  2, V(1)=0, V(2)=246944736, repcount=82314913, factor=8/3
1580446385   252304106485743852                  -12  01658519305 (0)D> 11 10 11 015
== Executing PPA-CTR  9 (once), V(1)=658519303
1580446400   252304110436859742          -1317038624  015 (0)D> 11658519307 01 11 015
== Executing  PA-CTR  2, V(1)=4, V(2)=658519303, repcount=219506435, factor=8/3
4214523620  1794162525129379652                  -14  011756051485 (0)D> 112 01 11 015
4214523621  1794162525129379654                  -12  011756051486 (0)F> 11 01 11 015
4214523622  1794162525129379656                  -14  011756051486 <B(1) 012 11 015
4214523623  1794162528641482628          -3512102986  <B(1) 011756051488 11 015
4214523624  1794162528641482632          -3512102988  <C(1) 011756051489 11 015
4214523625  1794162528641482638          -3512102986  10 (1)E> 011756051489 11 015
4214523626  1794162532153585616                   -8  101756051490 (1)E> 11 015
4214523627  1794162532153585620                  -10  101756051490 <D(0) 10 015
4214523628  1794162535665688600          -3512102990  <D(0) 101756051491 015
4214523629  1794162535665688602          -3512102992  <A(0) 101756051492 015
4214523630  1794162535665688606          -3512102994  <A(1) 101756051493 015
4214523631  1794162535665688610          -3512102992  01 (0)D> 101756051493 015
4214523632  1794162539177791596                   -6  011756051494 (0)D> 015
4214523633  1794162539177791598                   -8  011756051494 <A(0) 11 014
4214523634  1794162539177791600                  -10  011756051493 <A(1) 10 11 014
4214523635  1794162542689894586          -3512102996  <A(1) 111756051493 10 11 014
4214523636  1794162542689894590          -3512102994  01 (0)D> 111756051493 10 11 014
>> Try to prove a PPA-CTR with 3 Vars...
    0                    0                    0  011+V(1) (0)D> 112 011+V(3) 11 012+V(2)
    1                    2                    2  012+V(1) (0)F> 11 011+V(3) 11 012+V(2)
    2                    4                    0  012+V(1) <B(1) 012+V(3) 11 012+V(2)
    3             8+2*V(1)           -4+-2*V(1)  <B(1) 014+V(1)+V(3) 11 012+V(2)
    4            12+2*V(1)           -6+-2*V(1)  <C(1) 015+V(1)+V(3) 11 012+V(2)
    5            18+2*V(1)           -4+-2*V(1)  10 (1)E> 015+V(1)+V(3) 11 012+V(2)
    6     28+4*V(1)+2*V(3)             6+2*V(3)  106+V(1)+V(3) (1)E> 11 012+V(2)
    7     32+4*V(1)+2*V(3)             4+2*V(3)  106+V(1)+V(3) <D(0) 10 012+V(2)
    8     44+6*V(1)+4*V(3)           -8+-2*V(1)  <D(0) 107+V(1)+V(3) 012+V(2)
    9     46+6*V(1)+4*V(3)          -10+-2*V(1)  <A(0) 108+V(1)+V(3) 012+V(2)
   10     50+6*V(1)+4*V(3)          -12+-2*V(1)  <A(1) 109+V(1)+V(3) 012+V(2)
   11     54+6*V(1)+4*V(3)          -10+-2*V(1)  01 (0)D> 109+V(1)+V(3) 012+V(2)
   12     72+8*V(1)+6*V(3)             8+2*V(3)  0110+V(1)+V(3) (0)D> 012+V(2)
   13     74+8*V(1)+6*V(3)             6+2*V(3)  0110+V(1)+V(3) <A(0) 11 011+V(2)
   14     76+8*V(1)+6*V(3)             4+2*V(3)  019+V(1)+V(3) <A(1) 10 11 011+V(2)
   15    94+10*V(1)+8*V(3)          -14+-2*V(1)  <A(1) 119+V(1)+V(3) 10 11 011+V(2)
   16    98+10*V(1)+8*V(3)          -12+-2*V(1)  01 (0)D> 119+V(1)+V(3) 10 11 011+V(2)
<< Success! ==> defined new CTR 14 (PPA)
4214523636  1794162542689894590          -3512102994  01 (0)D> 111756051493 10 11 014
== Executing  PA-CTR  2, V(1)=0, V(2)=1756051489, repcount=585350497, factor=8/3
11238729600 12758489101412515776                  -12  014682803977 (0)D> 112 10 11 014
11238729601 12758489101412515778                  -10  014682803978 (0)F> 11 10 11 014
11238729602 12758489101412515780                  -12  014682803978 <B(1) 01 10 11 014
11238729603 12758489110778123736          -9365607968  <B(1) 014682803979 10 11 014
11238729604 12758489110778123740          -9365607970  <C(1) 014682803980 10 11 014
11238729605 12758489110778123746          -9365607968  10 (1)E> 014682803980 10 11 014
11238729606 12758489120143731706                   -8  104682803981 (1)E> 10 11 014
11238729607 12758489120143731708                   -6  104682803982 (0)D> 11 014
11238729608 12758489120143731710                   -4  104682803982 01 (0)F> 014
11238729609 12758489120143731712                   -2  104682803982 01 00 (1)E> 013
11238729610 12758489120143731718                    4  104682803982 01 00 103 (1)E>
11238729611 12758489120143731722                    2  104682803982 01 00 103 <C(1) 01
11238729612 12758489120143731728                   -4  104682803982 01 00 <C(1) 113 01
11238729613 12758489120143731734                   -2  104682803982 01 10 (1)E> 113 01
11238729614 12758489120143731738                   -4  104682803982 01 10 <D(0) 10 112 01
11238729615 12758489120143731740                   -6  104682803982 01 <D(0) 102 112 01
11238729616 12758489120143731742                   -4  104682803982 01 (0)D> 102 112 01
11238729617 12758489120143731746                    0  104682803982 013 (0)D> 112 01
11238729618 12758489120143731748                    2  104682803982 014 (0)F> 11 01
11238729619 12758489120143731750                    0  104682803982 014 <B(1) 012
11238729620 12758489120143731758                   -8  104682803982 <B(1) 016
11238729621 12758489120143731760                  -10  104682803981 <C(1) 017
11238729622 12758489129509339722          -9365607972  <C(1) 114682803981 017
11238729623 12758489129509339728          -9365607970  10 (1)E> 114682803981 017
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  011+V(1) (0)D> 112 10 11 014
    1                    2                    2  012+V(1) (0)F> 11 10 11 014
    2                    4                    0  012+V(1) <B(1) 01 10 11 014
    3             8+2*V(1)           -4+-2*V(1)  <B(1) 013+V(1) 10 11 014
    4            12+2*V(1)           -6+-2*V(1)  <C(1) 014+V(1) 10 11 014
    5            18+2*V(1)           -4+-2*V(1)  10 (1)E> 014+V(1) 10 11 014
    6            26+4*V(1)                    4  105+V(1) (1)E> 10 11 014
    7            28+4*V(1)                    6  106+V(1) (0)D> 11 014
    8            30+4*V(1)                    8  106+V(1) 01 (0)F> 014
    9            32+4*V(1)                   10  106+V(1) 01 00 (1)E> 013
   10            38+4*V(1)                   16  106+V(1) 01 00 103 (1)E>
   11            42+4*V(1)                   14  106+V(1) 01 00 103 <C(1) 01
   12            48+4*V(1)                    8  106+V(1) 01 00 <C(1) 113 01
   13            54+4*V(1)                   10  106+V(1) 01 10 (1)E> 113 01
   14            58+4*V(1)                    8  106+V(1) 01 10 <D(0) 10 112 01
   15            60+4*V(1)                    6  106+V(1) 01 <D(0) 102 112 01
   16            62+4*V(1)                    8  106+V(1) 01 (0)D> 102 112 01
   17            66+4*V(1)                   12  106+V(1) 013 (0)D> 112 01
   18            68+4*V(1)                   14  106+V(1) 014 (0)F> 11 01
   19            70+4*V(1)                   12  106+V(1) 014 <B(1) 012
   20            78+4*V(1)                    4  106+V(1) <B(1) 016
   21            80+4*V(1)                    2  105+V(1) <C(1) 017
   22            90+6*V(1)           -8+-2*V(1)  <C(1) 115+V(1) 017
   23            96+6*V(1)           -6+-2*V(1)  10 (1)E> 115+V(1) 017
<< Success! ==> defined new CTR 15 (PPA)
11238729623 12758489129509339728          -9365607970  10 (1)E> 114682803981 017
== Executing  PA-CTR  3, V(1)=0, V(2)=4682803977, repcount=1560934660, factor=8/3
29969945543 90727033591839217368                  -10  1012487477281 (1)E> 11 017
== Executing PPA-CTR  8 (once), V(1)=12487477280, V(2)=5
29969945553 90727033666764081088         -24974954578  01 (0)D> 1112487477284 10 11 016
== Executing  PA-CTR  2, V(1)=0, V(2)=12487477280, repcount=4162492427, factor=8/3
79919854677 645170016362924034134                  -16  0133299939417 (0)D> 113 10 11 016
79919854678 645170016362924034136                  -14  0133299939418 (0)F> 112 10 11 016
79919854679 645170016362924034138                  -16  0133299939418 <B(1) 01 11 10 11 016
79919854680 645170016429523912974         -66599878852  <B(1) 0133299939419 11 10 11 016
79919854681 645170016429523912978         -66599878854  <C(1) 0133299939420 11 10 11 016
79919854682 645170016429523912984         -66599878852  10 (1)E> 0133299939420 11 10 11 016
79919854683 645170016496123791824                  -12  1033299939421 (1)E> 11 10 11 016
79919854684 645170016496123791828                  -14  1033299939421 <D(0) 102 11 016
79919854685 645170016562723670670         -66599878856  <D(0) 1033299939423 11 016
79919854686 645170016562723670672         -66599878858  <A(0) 1033299939424 11 016
79919854687 645170016562723670676         -66599878860  <A(1) 1033299939425 11 016
79919854688 645170016562723670680         -66599878858  01 (0)D> 1033299939425 11 016
79919854689 645170016629323549530                   -8  0133299939426 (0)D> 11 016
79919854690 645170016629323549532                   -6  0133299939427 (0)F> 016
79919854691 645170016629323549534                   -4  0133299939427 00 (1)E> 015
79919854692 645170016629323549544                    6  0133299939427 00 105 (1)E>
79919854693 645170016629323549548                    4  0133299939427 00 105 <C(1) 01
79919854694 645170016629323549558                   -6  0133299939427 00 <C(1) 115 01
79919854695 645170016629323549564                   -4  0133299939427 10 (1)E> 115 01
79919854696 645170016629323549568                   -6  0133299939427 10 <D(0) 10 114 01
79919854697 645170016629323549570                   -8  0133299939427 <D(0) 102 114 01
79919854698 645170016629323549572                   -6  0133299939427 (0)D> 102 114 01
79919854699 645170016629323549576                   -2  0133299939429 (0)D> 114 01
79919854700 645170016629323549578                    0  0133299939430 (0)F> 113 01
79919854701 645170016629323549580                   -2  0133299939430 <B(1) 01 112 01
79919854702 645170016695923428440         -66599878862  <B(1) 0133299939431 112 01
79919854703 645170016695923428444         -66599878864  <C(1) 0133299939432 112 01
79919854704 645170016695923428450         -66599878862  10 (1)E> 0133299939432 112 01
79919854705 645170016762523307314                    2  1033299939433 (1)E> 112 01
79919854706 645170016762523307318                    0  1033299939433 <D(0) 10 11 01
79919854707 645170016829123186184         -66599878866  <D(0) 1033299939434 11 01
79919854708 645170016829123186186         -66599878868  <A(0) 1033299939435 11 01
79919854709 645170016829123186190         -66599878870  <A(1) 1033299939436 11 01
79919854710 645170016829123186194         -66599878868  01 (0)D> 1033299939436 11 01
79919854711 645170016895723065066                    4  0133299939437 (0)D> 11 01
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  011+V(1) (0)D> 114+V(2) [*]*
    1                    2                    2  012+V(1) (0)F> 113+V(2) [*]*
    2                    4                    0  012+V(1) <B(1) 01 112+V(2) [*]*
    3             8+2*V(1)           -4+-2*V(1)  <B(1) 013+V(1) 112+V(2) [*]*
    4            12+2*V(1)           -6+-2*V(1)  <C(1) 014+V(1) 112+V(2) [*]*
    5            18+2*V(1)           -4+-2*V(1)  10 (1)E> 014+V(1) 112+V(2) [*]*
    6            26+4*V(1)                    4  105+V(1) (1)E> 112+V(2) [*]*
    7            30+4*V(1)                    2  105+V(1) <D(0) 10 111+V(2) [*]*
    8            40+6*V(1)           -8+-2*V(1)  <D(0) 106+V(1) 111+V(2) [*]*
    9            42+6*V(1)          -10+-2*V(1)  <A(0) 107+V(1) 111+V(2) [*]*
   10            46+6*V(1)          -12+-2*V(1)  <A(1) 108+V(1) 111+V(2) [*]*
   11            50+6*V(1)          -10+-2*V(1)  01 (0)D> 108+V(1) 111+V(2) [*]*
   12            66+8*V(1)                    6  019+V(1) (0)D> 111+V(2) [*]*
<< Success! ==> defined new CTR 16 (PA)
79919854712 645170016895723065068                    6  0133299939438 (0)F> 01
79919854713 645170016895723065070                    8  0133299939438 00 (1)E>
79919854714 645170016895723065074                    6  0133299939438 00 <C(1) 01
79919854715 645170016895723065080                    8  0133299939438 10 (1)E> 01
79919854716 645170016895723065082                   10  0133299939438 102 (1)E>
79919854717 645170016895723065086                    8  0133299939438 102 <C(1) 01
79919854718 645170016895723065090                    4  0133299939438 <C(1) 112 01
79919854719 645170016895723065091                    5  0133299939437 01 Z> 1 112 01   [stop]

Lines:       338
Top steps:   337
Macro steps: 79919854719
Basic steps: 645170016895723065091
Tape index:  5
ones:        33299939444
log10(ones    ):   10.522
log10(steps   ):   20.810
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-2-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
    L 38
    5T B1R C1L A0L D0L A1L Z1R B1L E1R D0R F0R D0R D0L : 33299939444 645170016895723065091
    T 6-state TM #e from MaBu-List
    M	450
    pref	sim
    machv mbL6_e  	just simple
    machv mbL6_e-r	with repetitions reduced
    machv mbL6_e-1	with tape symbol exponents
    machv mbL6_e-m	as 1-bck-2-macro machine
    machv mbL6_e-a	as 1-bck-2-macro machine with pure additive config-TRs
    iam	mbL6_e-a
    mtype	1 0 2
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:10:48 CEST 2010
    edate	Tue Jul  6 22:10:50 CEST 2010
    bnspeed	1

Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $ $Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $ $Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $ $Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $ $Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $ $Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $ bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:10:48 CEST 2010
Ready: Tue Jul 6 22:10:50 CEST 2010