z1 := (1,2)(3,5)(4,6)(7,11)(8,12)(9,13)(10,14)(15,23)(16,24)(17,25)(18,26)(19,
     27)(20,28)(21,29)(22,30)(31,47)(32,48)(33,49)(34,50)(35,51)(36,52)(37,53)
     (38,54)(39,55)(40,56)(41,57)(42,58)(43,59)(44,60)(45,61)(46,62)(63,95)
     (64,96)(65,97)(66,98)(67,99)(68,100)(69,101)(70,102)(71,103)(72,104)(73,
     105)(74,106)(75,107)(76,108)(77,109)(78,110)(79,111)(80,112)(81,113)(82,
     114)(83,115)(84,116)(85,117)(86,118)(87,119)(88,120)(89,121)(90,122)(91,
     123)(92,124)(93,125)(94,126)(127,155)(128,156)(129,157)(130,158)(131,159)
     (132,160)(133,161)(134,162)(135,163)(136,164)(137,165)(138,166)(139,167)
     (140,168)(141,169)(142,170)(143,171)(144,172)(145,173)(146,174)(147,175)
     (148,176)(149,177)(150,178)(151,179)(152,180)(153,181)(154,182)(183,196)
     (184,197)(185,198)(186,199)(187,200)(188,201)(189,202)(190,203)(191,204)
     (192,205)(193,206)(194,207)(195,208)(209,215)(210,216)(211,217)(212,218)
     (213,219)(214,220)(221,223)(222,224);