2-state 3-symbol contender (cited from P.Michel)

Comment: This TM produces 8 nonzeros in 29 steps.

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

Pushing initial machine.
Pushing macro factor 2.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  A>
    1                    3                   -1  <B 02
    2                    6                    0  11 A> 02
    3                    8                    2  112 A>
    4                   11                    1  112 <B 02
    5                   12                    2  112 B> 02
    6                   13                    1  112 <A 22
    7                   17                   -1  11 <B 02 22
    8                   18                    0  11 B> 02 22
    9                   19                   -1  11 <A 222
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  112+V(1) <A 221+V(2)
    1                    4                   -2  111+V(1) <B 02 221+V(2)
    2                    5                   -1  111+V(1) B> 02 221+V(2)
    3                    6                   -2  111+V(1) <A 222+V(2)
<< Success! ==> defined new CTR 1 (PA)
   10                   23                   -3  <B 02 222
   11                   26                   -2  11 A> 02 222
   12                   28                    0  112 A> 222
   13                   29                    1  112 1 H> 2 22   [stop]

Lines:       14
Top steps:   13
Macro steps: 13
Basic steps: 29
Tape index:  1
nonzeros:    8
log10(nonzeros):    0.903
log10(steps   ):    1.462
Run state:   stop

Input to awk program:
    gohalt 1
    nbs 3
    T 2-state 3-symbol contender (cited from P.Michel)
    : 8 29
    5T  1RB 0LB 1RH  2LA 1RB 1RA
    L 6
    M	201
    pref	sim
    machv TM23_b  	just simple
    machv TM23_b-r	with repetitions reduced
    machv TM23_b-1	with tape symbol exponents
    machv TM23_b-m	as 2-macro machine
    machv TM23_b-a	as 2-macro machine with pure additive config-TRs
    iam	TM23_b-a
    mtype	2
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:12:34 CEST 2010
    edate	Tue Jul  6 22:12:34 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;