((((3:2,4:6,(5:1,6:2)-1:1)-1:2,2:2)-1:8)1:1)0:0;

((((5:2,3:2,4:6,6:1)-1:2,2:2)-1:8)1:1)0:0;

((((3:2,4:6,(5:1,6:2)-1:1)-1:1,2:2)-1:8)1:1)0:0;

((((4:5)6:1,3:2,(2:2)5:2)-1:9)1:1)0:0;

(((((4:5)6:1,3:2)-1:1,(5:1,2:1)-1:2)-1:8)1:1)0:0;


Examples in Robinson and Fould.

man -- 0
mky -- 1
rab -- 2
dog -- 3
hos -- 4
wha -- 5
pig -- 6
