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