RES
1b:x-dman-HEX-x:x
2r:r1
3b:b-dman-HEX-1:5
4b:b-dman-HEX-1:5
5b:b-dman-HEX-1:5
6b:b-dman-HEX-1:5
7b:b-dman-HEX-1:5
8b:b-dman-HEX-1:5
9b:a-dgal-HEX-1:5
10b:a-dgal-HEX-1:5
11b:a-dgal-HEX-1:5
LIN
1:1o(4+1)2n
2:2n(4+1)3d
3:3o(4+1)4d
4:4o(4+1)5d
5:5o(4+1)6d
6:6o(4+1)7d
7:7o(4+1)8d
8:6o(6+1)9d
9:5o(6+1)10d
10:3o(6+1)11d
REP
REP1:12o(4+1)12d=-1--1
RES
12b:b-dman-HEX-1:5