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