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