permutation (172536)(1234)^(-1)