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