cycle index of symmetric group of degree 4