z1 := (1,7,13)(2,8,14)(3,9,15)(4,10,16)(5,11,17)(6,12,18)(19,25,31)(20,26,32)
     (21,27,33)(22,28,34)(23,29,35)(24,30,36)(37,39,42)(38,40,41);