z1 := (2,4)(3,6)(5,10)(7,14)(9,17)(12,22)(16,28)(19,33)(21,36)(24,41)(26,44)
     (27,46)(31,51)(35,55)(38,59)(43,65)(47,71)(48,57)(49,74)(50,76)(52,80)
     (53,82)(54,84)(58,90)(60,93)(61,95)(62,97)(63,99)(69,107)(86,117)(87,106)
     (100,144)(101,146)(102,147)(103,135)(105,139)(109,132)(110,157)(112,160)
     (114,150)(115,164)(116,166)(118,169)(119,171)(121,174)(122,176)(123,178)
     (124,180)(125,182)(128,185)(129,187)(134,153)(136,194)(137,196)(138,198)
     (148,210)(161,221)(162,223)(163,225)(177,241)(179,244)(181,248)(188,259)
     (190,219)(191,262)(197,270)(200,274)(202,277)(203,216)(205,280)(206,282)
     (207,215)(208,285)(213,251)(214,291)(224,302)(228,295)(229,308)(230,310)
     (231,312)(233,315)(234,317)(235,319)(236,264)(239,321)(253,338)(255,341)
     (256,334)(257,344)(258,346)(267,324)(271,358)(273,360)(278,366)(284,371)
     (288,376)(289,378)(294,297)(296,385)(298,388)(299,354)(303,394)(305,397)
     (322,415)(326,419)(328,417)(332,426)(335,430)(337,401)(343,437)(345,440)
     (347,443)(348,445)(349,447)(350,414)(351,364)(355,452)(356,454)(361,461)
     (362,462)(367,468)(368,469)(369,470)(370,472)(374,478)(375,480)(379,486)
     (380,487)(381,489)(382,422)(384,492)(391,494)(392,498)(393,500)(398,504)
     (400,448)(403,508)(405,464)(406,511)(408,513)(409,455)(413,474)(425,524)
     (434,530)(435,476)(446,539)(449,532)(450,545)(456,521)(460,490)(463,552)
     (466,554)(481,566)(482,568)(483,570)(484,519)(491,572)(495,578)(496,579)
     (505,587)(507,589)(510,593)(515,601)(526,561)(527,609)(528,611)(529,613)
     (536,608)(538,621)(547,632)(548,633)(549,574)(557,639)(573,650)(581,656)
     (585,604)(596,664)(598,670)(599,638)(600,669)(607,674)(617,677)(623,667)
     (625,681)(630,637)(631,696)(636,659)(653,706)(658,671)(660,665)(672,717)
     (673,701)(676,716)(680,724)(682,704)(684,727)(689,719)(690,708)(691,731)
     (712,737)(714,741)(720,747)(725,726)(742,754)(745,764)(750,770)(761,773)
     (767,777)(771,780)(775,783);