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