z1 := (1,2)(3,7)(4,8)(5,9)(6,11)(10,19)(12,23)(13,24)(14,26)(15,28)(16,30)(17,
     32)(18,34)(20,38)(21,39)(22,41)(25,46)(27,50)(29,53)(31,56)(33,58)(35,62)
     (36,63)(37,64)(40,70)(42,73)(43,74)(44,76)(45,77)(47,48)(49,82)(51,85)
     (52,54)(55,89)(57,84)(59,95)(60,79)(61,97)(65,105)(66,106)(67,107)(68,
     108)(69,92)(71,113)(72,88)(75,117)(78,101)(80,123)(81,103)(83,111)(86,
     100)(87,116)(90,119)(91,131)(93,134)(94,135)(96,139)(98,142)(99,143)(102,
     146)(104,149)(109,155)(110,157)(112,159)(114,162)(115,163)(118,167)(120,
     170)(121,172)(122,174)(124,178)(125,179)(126,180)(127,182)(128,184)(129,
     185)(130,187)(132,190)(133,192)(136,196)(137,197)(138,198)(140,201)(141,
     202)(144,206)(145,207)(147,208)(148,209)(150,210)(151,212)(152,214)(153,
     215)(154,216)(156,204)(158,220)(160,221)(161,222)(164,224)(165,193)(166,
     211)(168,226)(169,227)(171,229)(173,233)(175,236)(176,237)(177,239)(181,
     203)(183,217)(186,243)(188,245)(189,246)(191,248)(194,250)(195,251)(199,
     254)(200,235)(205,238)(213,232)(218,249)(219,263)(223,267)(225,242)(228,
     268)(230,269)(231,270)(234,273)(240,277)(241,278)(244,279)(247,281)(252,
     284)(253,285)(255,287)(256,283)(257,288)(258,280)(259,289)(260,290)(261,
     276)(262,291)(264,292)(265,293)(266,286)(271,295)(272,275)(274,297)(282,
     303)(294,308)(296,312)(298,313)(299,314)(300,306)(301,315)(302,317)(304,
     318)(305,319)(307,320)(309,321)(310,322)(311,323)(316,324);