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