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