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