RES 1b:a-dman-HEX-1:5 2r:r1 3b:a-dman-HEX-1:5 LIN 1:1o(3+1)2n 2:2n(3+1)3d REP REP1:4o(3+1)4d=1-4 RES 4b:a-dman-HEX-1:5