z1 := (2,6)(4,11)(7,17)(8,14)(9,16)(10,20)(12,22)(13,23)(18,30)(19,32)(21,34)
     (25,29)(26,37)(31,42)(33,36)(35,40)(41,44)(43,45);