z1 := (2,4)(3,6)(5,9)(7,12)(8,14)(10,17)(11,19)(13,22)(15,25)(16,27)(18,30)
     (20,33)(21,35)(23,38)(24,40)(26,43)(28,44)(29,46)(31,49)(32,51)(34,54)
     (36,56)(37,58)(39,61)(41,64)(42,66)(45,69)(47,72)(48,74)(50,77)(52,80)
     (53,82)(55,85)(57,73)(59,90)(60,92)(62,95)(63,97)(67,101)(68,103)(70,106)
     (71,108)(75,100)(76,114)(78,117)(79,119)(83,124)(86,128)(87,130)(88,131)
     (89,133)(91,135)(93,138)(94,140)(96,143)(98,146)(99,127)(102,149)(104,
     152)(105,154)(107,157)(109,159)(110,161)(111,162)(112,164)(113,165)(115,
     168)(116,170)(118,172)(120,175)(121,177)(122,178)(123,180)(125,139)(126,
     183)(129,155)(132,191)(134,193)(136,196)(137,198)(141,203)(142,205)(144,
     208)(147,212)(148,213)(150,216)(151,218)(153,169)(156,224)(158,173)(160,
     229)(163,234)(166,239)(167,241)(171,245)(174,249)(176,251)(179,256)(181,
     259)(182,261)(184,264)(185,265)(186,228)(187,267)(188,269)(189,270)(190,
     195)(192,274)(194,277)(197,281)(199,284)(200,286)(201,287)(202,289)(204,
     292)(206,295)(207,297)(209,300)(210,301)(211,303)(214,308)(215,310)(217,
     240)(219,315)(220,317)(221,318)(222,320)(226,322)(227,323)(230,326)(231,
     328)(232,329)(233,331)(235,325)(236,335)(237,336)(238,338)(242,342)(243,
     344)(244,345)(247,349)(248,350)(252,354)(253,305)(254,282)(255,276)(257,
     359)(258,360)(260,363)(263,366)(266,370)(268,373)(272,377)(275,380)(278,
     296)(279,384)(283,389)(285,392)(288,397)(290,400)(291,313)(293,361)(294,
     404)(298,408)(299,410)(302,413)(304,416)(306,418)(307,420)(309,321)(311,
     422)(312,424)(314,426)(316,429)(319,434)(324,439)(327,442)(330,445)(332,
     448)(333,450)(334,451)(337,348)(339,456)(340,457)(341,459)(343,462)(346,
     467)(347,362)(351,472)(352,473)(353,428)(355,368)(356,476)(357,477)(358,
     479)(364,449)(365,483)(367,471)(369,487)(371,490)(372,482)(375,493)(376,
     495)(378,498)(379,500)(381,502)(382,503)(383,505)(385,508)(386,396)(387,
     510)(388,511)(390,513)(391,514)(393,517)(394,519)(398,523)(399,525)(401,
     432)(402,431)(403,527)(405,529)(406,530)(407,532)(409,533)(411,536)(412,
     443)(414,538)(415,455)(417,419)(421,545)(423,547)(425,548)(430,463)(433,
     553)(435,552)(436,556)(437,444)(438,557)(440,559)(441,561)(446,565)(447,
     567)(452,563)(453,575)(454,558)(458,578)(460,580)(461,582)(464,560)(465,
     585)(468,509)(469,587)(470,589)(474,478)(480,595)(481,574)(484,596)(485,
     562)(486,588)(488,598)(489,520)(491,600)(494,602)(496,605)(497,569)(499,
     608)(501,610)(504,612)(506,614)(507,616)(512,621)(515,625)(516,627)(518,
     630)(522,632)(524,634)(526,581)(528,636)(534,641)(535,642)(537,644)(539,
     645)(540,618)(541,647)(542,648)(543,619)(544,650)(546,653)(550,657)(551,
     658)(554,659)(555,592)(564,594)(566,664)(568,667)(570,669)(571,671)(572,
     672)(573,674)(577,676)(579,678)(584,682)(586,611)(590,685)(591,597)(593,
     686)(599,660)(601,643)(603,691)(604,623)(606,613)(607,662)(609,695)(615,
     696)(617,699)(620,701)(622,703)(624,673)(626,631)(628,665)(629,708)(633,
     700)(635,654)(637,711)(638,713)(639,694)(640,663)(646,718)(649,698)(651,
     721)(655,661)(656,722)(666,726)(668,727)(670,728)(675,681)(679,733)(680,
     735)(683,707)(684,738)(687,740)(688,697)(689,741)(690,734)(693,704)(702,
     744)(706,745)(709,746)(710,720)(712,742)(714,749)(715,751)(716,719)(717,
     736)(723,754)(725,730)(729,758)(731,759)(732,761)(737,764)(748,760)(750,
     757)(752,766)(753,767)(755,768)(756,765)(763,770);