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