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