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