z1 := (1,3,14,30,8,29,26,6)(2,9,32,22,5,21,39,11)(4,15,46,70,28,54,60,20)(7,
     17,48,55,18,49,69,27)(10,33,75,57,19,56,83,36)(12,35,77,62,23,61,90,40)
     (13,41,92,52,16,51,99,43)(24,63,116,67,25,66,121,64)(31,71,105,47,34,79,
     102,45)(37,84,144,88,38,87,149,85)(42,93,158,108,50,107,167,96)(44,95,
     160,110,53,109,170,100)(58,111,178,114,59,113,182,112)(65,118,188,124,68,
     123,198,122)(72,126,175,104,78,137,171,101)(73,128,176,106,80,138,174,
     103)(74,129,203,135,76,134,207,131)(81,139,212,142,82,141,216,140)(86,
     146,222,152,89,151,228,150)(91,153,229,163,94,162,233,155)(97,168,209,
     133,98,169,204,130)(115,183,264,190,117,189,269,184)(119,192,279,196,120,
     195,281,193)(125,197,282,201,127,194,280,199)(132,166,246,210,136,165,
     245,208)(143,217,304,224,145,223,309,218)(147,226,243,161,148,227,230,
     154)(156,215,302,244,164,214,301,234)(157,235,332,241,159,240,339,237)
     (172,249,350,253,173,252,353,250)(177,255,355,260,179,259,358,256)(180,
     261,286,202,181,262,285,200)(185,266,366,278,191,277,374,270)(186,271,
     376,275,187,274,381,272)(205,289,397,293,206,292,398,290)(211,295,399,
     300,213,299,402,296)(219,306,412,318,225,317,420,310)(220,311,422,315,
     221,314,427,312)(231,325,444,329,232,328,449,326)(236,333,457,342,239,
     341,463,336)(238,335,458,344,242,343,468,340)(247,345,470,348,248,347,
     472,346)(251,352,367,265,254,354,363,263)(257,359,486,362,258,361,488,
     360)(267,368,497,372,268,371,501,369)(273,378,508,384,276,383,512,382)
     (283,387,515,391,284,390,518,388)(287,393,521,396,288,395,522,394)(291,
     380,413,305,294,379,409,303)(297,403,532,406,298,405,536,404)(307,414,
     549,418,308,417,553,415)(313,424,489,430,316,429,490,428)(319,431,541,
     434,320,433,542,432)(321,435,574,438,322,437,578,436)(323,439,580,442,
     324,441,584,440)(327,446,590,452,330,451,596,450)(331,453,597,461,334,
     460,598,455)(337,464,519,389,338,466,520,392)(349,473,605,477,351,476,
     607,474)(356,481,615,484,357,483,618,482)(364,491,622,495,365,494,625,
     492)(370,498,631,504,373,503,634,502)(375,505,635,510,377,509,636,506)
     (385,465,601,514,386,467,602,513)(400,527,647,530,401,529,650,528)(407,
     537,524,540,408,539,523,538)(410,543,654,547,411,546,659,544)(416,550,
     663,556,419,555,666,554)(421,557,667,561,423,560,668,558)(425,563,672,
     567,426,566,675,564)(443,585,685,592,445,591,687,586)(447,594,576,459,
     448,595,577,454)(456,583,680,572,462,582,679,571)(469,517,642,604,471,
     516,641,603)(475,606,695,610,478,609,696,608)(479,611,600,614,480,613,
     599,612)(485,499,632,620,487,500,633,619)(493,624,640,628,496,627,639,
     626)(507,617,700,638,511,616,699,637)(525,643,690,646,526,645,689,644)
     (531,551,664,621,533,552,665,623)(534,651,653,573,535,652,655,575)(545,
     656,588,662,548,661,589,660)(559,649,712,670,562,648,711,669)(565,674,
     678,570,568,676,677,569)(579,681,715,684,581,683,716,682)(587,686,673,
     692,593,691,671,688)(629,701,717,705,630,704,718,702)(657,693,713,698,
     658,694,714,697)(703,710,707,720,706,709,708,719);