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