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