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