z1 := (2,4)(3,6)(8,12)(9,14)(10,15)(11,17)(13,20)(16,25)(18,28)(22,32)(23,34)
     (24,36)(26,40)(27,42)(30,46)(31,48)(35,49)(38,54)(39,59)(41,58)(44,66)
     (45,68)(47,72)(50,64)(51,77)(55,81)(56,82)(57,84)(60,89)(62,92)(63,93)
     (70,101)(74,98)(78,109)(79,111)(80,113)(88,121)(91,124)(94,128)(99,133)
     (100,135)(103,120)(104,139)(105,141)(106,142)(107,143)(108,144)(110,148)
     (112,150)(114,137)(116,152)(117,154)(123,158)(125,162)(127,163)(129,166)
     (130,167)(131,168)(132,151)(134,172)(136,176)(138,178)(145,185)(146,187)
     (149,181)(153,184)(155,173)(156,197)(157,191)(160,200)(161,180)(164,204)
     (169,209)(170,210)(174,212)(175,188)(183,220)(193,229)(194,231)(195,205)
     (196,232)(201,238)(203,241)(216,249)(217,252)(218,254)(219,256)(222,246)
     (223,261)(225,259)(226,260)(228,267)(233,272)(235,276)(236,277)(240,283)
     (242,286)(243,247)(245,288)(253,298)(255,299)(257,301)(262,307)(263,309)
     (265,294)(266,312)(268,314)(269,300)(270,316)(279,323)(280,325)(281,296)
     (284,329)(287,332)(289,335)(290,320)(293,321)(303,318)(308,311)(310,351)
     (322,333)(324,358)(342,365)(343,366)(346,347)(356,363);