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