RES
1r:r1
REP
REP1:17o(2+1)2d=-1--1
RES
2b:a-dman-HEX-1:5
3b:a-dman-HEX-1:5
4b:a-dman-HEX-1:5
5b:b-dgal-HEX-1:4
6b:b-dgal-HEX-1:4
7b:b-dgal-HEX-1:4
8b:a-dman-HEX-1:5
9b:a-dman-HEX-1:5
10b:a-dman-HEX-1:5
11b:a-dman-HEX-1:5
12b:a-dman-HEX-1:5
13b:a-dman-HEX-1:5
14b:a-dman-HEX-1:5
15b:a-dman-HEX-1:5
16b:a-dman-HEX-1:5
17b:a-dman-HEX-1:5
18b:b-dgal-HEX-1:4
19b:b-dgal-HEX-1:4
20b:b-dgal-HEX-1:4
21b:b-dgal-HEX-1:4
22b:b-dgal-HEX-1:4
23b:b-dgal-HEX-1:4
24b:b-dgal-HEX-1:4
25b:b-dgal-HEX-1:4
26b:b-dgal-HEX-1:4
27b:b-dgal-HEX-1:4
28b:b-dgal-HEX-1:4
29b:b-dgal-HEX-1:4
30b:b-dgal-HEX-1:4
31b:b-dgal-HEX-1:4
LIN
1:2o(2+1)3d
2:3o(2+1)4d
3:4o(2+1)5d
4:5o(5+1)6d
5:6o(5+1)7d
6:4o(6+1)8d
7:8o(2+1)9d
8:9o(2+1)10d
9:10o(2+1)11d
10:11o(2+1)12d
11:12o(2+1)13d
12:13o(6+1)14d
13:14o(2+1)15d
14:15o(2+1)16d
15:16o(2+1)17d
16:16o(6+1)18d
17:18o(5+1)19d
18:19o(5+1)20d
19:20o(6+1)21d
20:21o(5+1)22d
21:22o(5+1)23d
22:12o(6+1)24d
23:24o(5+1)25d
24:25o(5+1)26d
25:26o(5+1)27d
26:10o(3+1)28d
27:28o(5+1)29d
28:29o(5+1)30d
29:30o(5+1)31d