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