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