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