z1 := (1,2,5,11,12,7,3)(4,8,14,23,26,16,9)(10,17,27,43,46,29,18)(13,20,33,52,
     56,35,21)(15,24,39,63,65,40,25)(19,30,48,75,76,49,31)(22,36,57,88,91,59,
     37)(28,44,69,104,108,71,45)(32,41,66,99,120,78,50)(34,53,82,127,129,84,
     54)(38,60,42,67,101,93,61)(47,73,112,159,161,114,74)(51,79,121,95,139,
     123,80)(55,85,62,94,137,132,86)(58,89,135,176,178,136,90)(64,83,128,170,
     141,100,96)(68,102,144,183,186,146,103)(70,105,147,187,189,148,106)(72,
     109,153,115,143,155,110)(77,117,87,133,97,140,118)(81,124,167,209,210,
     168,125)(92,138,179,217,205,165,122)(98,130,171,213,200,160,113)(107,149,
     190,224,225,191,150)(111,156,188,177,172,131,157)(116,162,202,235,229,
     196,154)(119,163,126,169,212,204,164)(134,174,197,182,142,181,175)(145,
     184,221,246,249,223,185)(151,192,214,203,236,227,193)(152,194,158,198,
     230,228,195)(166,206,232,199,231,238,207)(173,215,208,239,256,243,216)
     (180,218,244,258,254,237,219)(201,233,253,265,264,252,234)(211,241,245,
     220,240,257,242)(222,247,255,267,274,261,248)(226,250,262,275,266,263,
     251)(259,270,268,277,278,269,271)(260,272,280,285,286,281,273)(276,282,
     283,287,288,284,279);