z1 := (2,4)(3,6)(5,9)(7,12)(8,14)(10,17)(11,19)(13,20)(15,23)(16,24)(18,27)
     (21,32)(22,34)(25,39)(26,41)(28,44)(29,40)(30,46)(31,45)(33,36)(35,52)
     (37,53)(38,55)(43,58)(48,61)(49,63)(50,64)(51,65)(54,60)(56,70)(57,67)
     (59,72)(62,75)(66,78)(68,79)(69,80)(71,82)(73,84)(74,85)(76,87)(81,92)
     (83,89)(86,98)(88,99)(90,101)(91,103)(93,105)(95,107)(97,104)(100,102)
     (106,113)(108,118)(109,119)(110,115)(111,116)(112,114)(117,124)(120,125)
     (121,123)(122,126);