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