lex rank of permutation (1 5 6 8)^2