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