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