z1 := (2,4)(3,6)(5,7)(8,14)(10,17)(12,19)(13,21)(16,24)(18,27)(23,33)(25,36)
     (26,37)(28,41)(30,43)(31,44)(32,46)(35,51)(39,57)(42,62)(47,68)(48,69)
     (50,72)(52,76)(53,74)(54,78)(56,81)(58,84)(59,86)(60,88)(61,83)(64,92)
     (66,95)(70,101)(71,103)(75,108)(77,112)(79,114)(80,115)(82,119)(85,124)
     (90,128)(91,130)(93,133)(94,135)(96,137)(97,139)(99,136)(100,132)(102,
     146)(104,149)(107,151)(109,154)(110,153)(111,157)(113,161)(117,167)(120,
     171)(121,173)(122,175)(123,170)(126,181)(127,183)(129,185)(131,189)(134,
     193)(141,200)(142,202)(143,191)(144,205)(145,190)(148,211)(150,215)(155,
     219)(156,220)(158,224)(159,222)(163,228)(164,231)(168,235)(169,237)(172,
     240)(176,218)(177,245)(179,243)(180,249)(187,254)(192,259)(196,263)(201,
     268)(203,271)(204,272)(206,275)(207,277)(208,279)(209,274)(210,255)(213,
     282)(214,285)(217,290)(221,297)(223,299)(225,302)(226,303)(227,305)(233,
     312)(234,313)(236,316)(238,318)(239,319)(242,322)(244,293)(246,327)(247,
     328)(248,330)(251,335)(256,339)(257,338)(258,342)(260,346)(261,344)(262,
     349)(265,353)(266,355)(269,351)(270,359)(273,365)(276,370)(278,372)(281,
     375)(284,379)(286,381)(287,382)(289,385)(291,388)(292,389)(295,393)(296,
     387)(298,397)(301,399)(306,406)(308,408)(309,410)(311,398)(314,415)(315,
     414)(321,423)(324,425)(325,364)(326,426)(329,432)(333,435)(334,437)(336,
     440)(340,444)(341,445)(343,447)(345,449)(347,453)(348,454)(354,461)(356,
     462)(357,463)(360,467)(361,465)(362,469)(366,471)(367,473)(368,475)(369,
     470)(371,479)(374,483)(377,486)(380,489)(383,492)(384,493)(391,498)(392,
     500)(395,503)(396,428)(402,505)(405,509)(409,514)(416,519)(418,522)(419,
     518)(420,515)(421,523)(422,474)(429,526)(430,528)(434,532)(436,533)(438,
     535)(442,538)(443,539)(446,543)(448,545)(450,546)(451,494)(452,549)(457,
     555)(459,556)(464,561)(466,563)(476,568)(477,570)(478,567)(480,574)(481,
     572)(484,553)(488,580)(490,583)(491,582)(495,496)(501,571)(508,530)(510,
     590)(511,589)(517,595)(521,597)(524,598)(527,599)(529,601)(537,605)(540,
     607)(541,600)(542,606)(544,611)(548,566)(550,615)(551,614)(558,621)(559,
     620)(560,594)(565,603)(573,629)(578,584)(585,613)(592,636)(608,617)(610,
     645)(619,649)(624,654)(625,628)(626,656)(630,657)(637,647)(638,662)(642,
     650)(643,663)(646,665)(651,666)(652,667)(655,659)(658,670)(664,668);