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