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