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