z1 := (1,2,5,3)(4,7,12,8)(6,10)(9,11,14,13);