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