z1 := (1,2)(3,5)(4,7)(6,9)(8,12)(10,15)(11,17)(13,20)(16,24)(18,27)(21,31)(22,
     32)(23,34)(25,36)(26,38)(29,40)(30,42)(33,46)(35,48)(37,51)(39,54)(41,57)
     (43,60)(45,62)(47,65)(49,68)(50,70)(52,73)(53,75)(55,64)(56,74)(58,81)
     (59,83)(61,86)(63,89)(66,93)(67,95)(69,97)(71,99)(72,101)(76,105)(77,107)
     (79,100)(80,90)(84,106)(85,112)(87,115)(88,117)(91,120)(92,122)(96,127)
     (98,128)(102,133)(103,135)(104,136)(109,140)(110,141)(111,142)(116,145)
     (118,148)(119,149)(124,144)(125,155)(126,157)(129,160)(130,162)(131,163)
     (132,165)(134,168)(137,172)(139,174)(143,180)(147,185)(150,190)(151,192)
     (152,193)(153,195)(154,196)(156,198)(158,201)(159,203)(161,206)(164,182)
     (166,211)(169,215)(171,216)(173,219)(175,221)(176,222)(177,205)(178,183)
     (179,225)(181,228)(184,230)(186,233)(188,235)(189,237)(191,194)(199,245)
     (204,236)(207,253)(208,248)(210,256)(213,259)(217,263)(218,265)(220,266)
     (223,270)(224,271)(227,251)(231,277)(234,281)(238,284)(239,286)(241,287)
     (242,288)(243,289)(246,247)(249,276)(252,293)(257,296)(260,298)(261,299)
     (264,301)(274,278)(275,303)(279,306)(280,307)(282,285)(291,315)(292,316)
     (295,319)(297,311)(300,304)(305,318)(308,317)(309,325)(313,326)(321,328)
     (322,329);