z1 := (1,2,4,3)(5,9,7,11)(6,12,8,13)(10,19,15,21)(14,28,16,29)(17,33,22,35)
     (18,36,23,37)(20,41,31,42)(24,47,26,49)(25,50,27,51)(30,57,32,58)(34,52,
     45,54)(38,66,46,67)(39,69,43,71)(40,72,44,73)(48,82,53,84)(55,93,56,94)
     (59,101,62,103)(60,104,63,105)(61,107,79,108)(64,111,65,112)(68,119,80,
     120)(70,122,78,123)(74,129,76,131)(75,97,77,99)(81,135,85,137)(83,132,91,
     134)(86,141,88,143)(87,144,89,145)(90,149,92,150)(95,153,96,154)(98,155,
     100,156)(102,161,109,163)(106,170,110,171)(113,181,114,182)(115,185,117,
     186)(116,187,118,188)(121,193,124,195)(125,168,127,166)(126,202,128,203)
     (130,209,133,211)(136,219,140,220)(138,223,139,225)(142,228,147,230)(146,
     236,148,237)(151,243,152,244)(157,255,158,256)(159,233,164,235)(160,260,
     165,261)(162,264,175,262)(167,267,169,268)(172,239,176,229)(173,269,174,
     270)(177,273,179,274)(178,199,180,197)(183,277,184,278)(189,275,190,276)
     (191,287,192,288)(194,246,200,245)(196,292,198,294)(201,254,205,252)(204,
     212,206,207)(208,301,213,302)(210,304,215,305)(214,307,216,308)(217,249,
     221,247)(218,309,222,310)(224,311,226,312)(227,317,231,318)(232,319,234,
     321)(238,323,240,320)(241,327,242,329)(248,333,250,334)(251,337,253,339)
     (257,291,258,289)(259,341,266,343)(263,345,265,346)(271,295,272,293)(279,
     365,281,367)(280,358,282,356)(283,354,285,353)(284,372,286,373)(290,380,
     296,381)(297,383,299,384)(298,350,300,352)(303,387,306,388)(313,399,315,
     401)(314,392,316,389)(322,403,324,400)(325,409,326,410)(328,335,330,336)
     (331,411,332,412)(338,378,340,376)(342,416,348,417)(344,419,347,420)(349,
     425,351,426)(355,396,357,395)(359,429,360,430)(361,433,363,434)(362,435,
     364,436)(366,437,369,438)(368,439,370,440)(371,441,374,442)(375,445,377,
     447)(379,391,382,390)(385,451,386,452)(393,450,394,449)(397,453,398,454)
     (402,458,404,459)(405,432,407,431)(406,462,408,460)(413,427,414,428)(415,
     466,418,464)(421,456,423,461)(422,468,424,469)(443,455,444,457)(446,470,
     448,467)(463,474,465,473)(471,479,472,480)(475,477,476,478);