z1 := (2,4)(3,6)(5,9)(7,12)(8,14)(10,17)(11,19)(13,22)(15,24)(16,26)(18,29)
     (21,33)(23,35)(25,38)(27,40)(28,42)(30,44)(31,46)(32,47)(34,49)(36,50)
     (37,52)(39,54)(41,55)(43,58)(45,61)(48,66)(51,71)(53,74)(56,78)(57,80)
     (59,83)(60,85)(62,88)(63,90)(64,91)(65,93)(67,96)(68,98)(69,99)(70,101)
     (72,104)(75,108)(76,109)(79,113)(81,116)(82,118)(84,121)(86,123)(87,125)
     (89,128)(92,97)(94,134)(95,136)(100,140)(103,144)(105,147)(106,148)(107,
     150)(110,124)(111,155)(112,157)(114,160)(115,162)(117,165)(119,167)(122,
     171)(126,174)(127,145)(129,178)(130,131)(132,180)(133,181)(135,143)(137,
     185)(138,186)(139,187)(141,190)(142,192)(146,196)(149,201)(151,202)(152,
     205)(154,207)(156,210)(158,212)(159,200)(161,215)(163,217)(164,219)(166,
     220)(169,197)(170,222)(172,225)(175,228)(176,229)(177,231)(179,232)(183,
     235)(184,236)(188,241)(189,239)(191,193)(194,248)(195,249)(198,253)(199,
     254)(203,259)(204,260)(206,263)(208,266)(209,244)(213,272)(214,273)(216,
     276)(218,279)(221,230)(224,283)(226,284)(227,286)(233,295)(234,274)(237,
     300)(238,302)(240,304)(242,252)(243,307)(246,309)(247,310)(250,311)(251,
     313)(255,318)(256,319)(257,321)(258,322)(261,281)(262,328)(264,329)(265,
     331)(269,335)(270,291)(271,337)(275,303)(277,341)(278,343)(280,346)(282,
     347)(285,350)(288,353)(290,355)(292,357)(293,297)(294,332)(296,361)(298,
     354)(299,363)(301,365)(306,370)(308,373)(312,377)(315,372)(316,381)(317,
     383)(323,391)(324,393)(325,394)(326,396)(327,384)(330,398)(333,387)(334,
     340)(336,402)(338,404)(339,405)(345,409)(348,360)(351,407)(352,358)(356,
     414)(359,417)(362,364)(366,422)(367,423)(369,425)(371,428)(374,429)(375,
     386)(376,430)(379,432)(380,418)(382,433)(385,392)(388,399)(389,436)(390,
     438)(397,400)(401,421)(403,410)(408,444)(411,420)(412,435)(413,447)(415,
     427)(416,448)(419,431)(424,446)(434,437)(439,450)(440,455)(441,453)(442,
     454)(443,458)(445,457)(452,460)(456,459)(461,462);