permutation for head tail permu cons head tail