z1 := (1,22,64,43)(2,23,65,44)(3,24,66,45)(4,25,67,46)(5,26,68,47)(6,27,69,48)
     (7,28,70,49)(8,29,71,50)(9,30,72,51)(10,31,73,52)(11,32,74,53)(12,33,75,
     54)(13,34,76,55)(14,35,77,56)(15,36,78,57)(16,37,79,58)(17,38,80,59)(18,
     39,81,60)(19,40,82,61)(20,41,83,62)(21,42,84,63)(85,169,127,190)(86,170,
     128,191)(87,171,129,192)(88,172,130,193)(89,173,131,194)(90,174,132,195)
     (91,175,133,196)(92,176,134,197)(93,177,135,198)(94,178,136,199)(95,179,
     137,200)(96,180,138,201)(97,181,139,202)(98,182,140,203)(99,183,141,204)
     (100,184,142,205)(101,185,143,206)(102,186,144,207)(103,187,145,208)(104,
     188,146,209)(105,189,147,210)(106,211,148,232)(107,212,149,233)(108,213,
     150,234)(109,214,151,235)(110,215,152,236)(111,216,153,237)(112,217,154,
     238)(113,218,155,239)(114,219,156,240)(115,220,157,241)(116,221,158,242)
     (117,222,159,243)(118,223,160,244)(119,224,161,245)(120,225,162,246)(121,
     226,163,247)(122,227,164,248)(123,228,165,249)(124,229,166,250)(125,230,
     167,251)(126,231,168,252)(253,324,295,282)(254,322,296,280)(255,323,297,
     281)(256,326,298,284)(257,327,299,285)(258,325,300,283)(259,321,301,279)
     (260,319,302,277)(261,320,303,278)(262,331,304,289)(263,332,305,290)(264,
     333,306,291)(265,334,307,292)(266,335,308,293)(267,336,309,294)(268,329,
     310,287)(269,330,311,288)(270,328,312,286)(271,316,313,274)(272,317,314,
     275)(273,318,315,276);