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