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