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