00#  a0 > b0
01   a0 > a0r
02   a0 >+ b0 > b0r
03#  an > (at) > bt > btr
04#  a0 > b0
05#  an > (at) > bt > btr
06   an > at
07#  an > (at) > bt > btr
08#  an > (at) > bt
09   a0 > b0
10   a0 > b0 > c0
11   a0 > b0 > b0v
12   a0 > b0 > c0 ; b0 > b0v 
13#  at > (bt) > bn > bnv ; at > an
14#  at > (bt) > bn > cn > ct ; at > an
15#  at > (bt) > bn ; (bt) > ct > cn
16   a0 ># a0g
17   a0 ># a0g ; a0 ># a0v
18#  at > an > anv ; at > atv ; at > atg
19   a0 > b0 > b0v
20#  a0 > b0 > b0g
21#  at > bt > bn ; bt > btg
22   at > bt > bn > bnv ; bt > btv
23#  at > bt > bn > bnv ; bt > btv ; at > an
24#  an > bn > bt > btv ; bn > bnv 
25   at >* bt > bn > bnv ; bt > btv 
26   a0 ># a0r
27   a0
28   at > an
29   at > an
30   at >+ (bt) > bn
31   a0 > b0
32#  at > (bt) > bn
33#  at > (bt) > bn
34#  at > (bt) > bn > cn
35#  at > (bt) > bn > cn ; (bt) > ct
36#  an > bn > bt ; bn > cn > ct
37#  at > an
38#  at > an ; at > bt > bn ; bt > ct > cn

