z1 := (1,2,3)(4,6,7)(5,8,9)(10,12,13)(11,14,15)(16,20,21)(17,18,22)(19,23,24)
     (25,28,27);