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