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