z1 := (1,2)(3,5)(4,6)(7,10)(8,12)(9,14)(11,17)(13,20)(15,22)(16,24)(18,27)(19,
     28)(21,31)(23,34)(25,37)(26,39)(29,43)(30,45)(32,48)(33,50)(35,53)(36,54)
     (38,57)(40,60)(41,62)(42,64)(44,67)(46,70)(47,72)(49,75)(51,78)(52,80)
     (55,84)(56,86)(58,89)(59,90)(61,93)(63,96)(65,99)(66,101)(68,104)(69,105)
     (71,108)(73,111)(74,113)(76,116)(77,117)(79,120)(81,122)(82,118)(83,125)
     (85,128)(87,131)(88,133)(91,137)(92,139)(94,142)(95,143)(97,146)(98,148)
     (100,151)(102,154)(103,156)(106,160)(107,162)(109,165)(110,166)(112,168)
     (114,171)(115,173)(119,178)(121,181)(123,183)(124,185)(126,188)(127,190)
     (129,193)(130,194)(132,197)(134,200)(135,202)(136,204)(138,207)(140,210)
     (141,212)(144,216)(145,218)(147,221)(149,223)(150,225)(152,228)(153,229)
     (155,232)(157,235)(158,176)(159,175)(161,239)(163,242)(164,244)(167,248)
     (169,251)(170,252)(172,254)(174,257)(177,261)(179,264)(180,266)(182,269)
     (184,272)(186,274)(187,276)(189,279)(191,282)(192,283)(195,287)(196,289)
     (198,292)(199,293)(201,284)(203,298)(205,301)(206,303)(208,306)(209,307)
     (211,310)(213,313)(214,315)(215,317)(217,320)(219,323)(220,325)(222,328)
     (224,331)(226,334)(227,336)(230,339)(231,340)(233,343)(234,344)(236,347)
     (237,349)(238,351)(240,354)(241,355)(243,358)(245,361)(246,363)(247,365)
     (249,368)(250,370)(253,374)(255,377)(256,378)(258,380)(259,381)(260,383)
     (262,386)(263,387)(265,390)(267,393)(268,395)(270,397)(271,399)(273,402)
     (275,405)(277,407)(278,409)(280,412)(281,413)(285,418)(286,394)(288,422)
     (290,425)(291,427)(294,430)(295,432)(296,433)(297,434)(299,437)(300,439)
     (302,442)(304,445)(305,447)(308,449)(309,451)(311,454)(312,455)(314,458)
     (316,461)(318,462)(319,464)(321,467)(322,429)(324,470)(326,473)(327,475)
     (329,477)(330,479)(332,481)(333,482)(335,484)(337,338)(341,485)(342,491)
     (345,494)(346,496)(348,499)(350,501)(352,503)(353,505)(356,509)(357,511)
     (359,406)(360,513)(362,516)(364,519)(366,522)(367,457)(369,526)(371,528)
     (372,448)(373,531)(375,534)(376,536)(379,539)(382,542)(384,544)(385,546)
     (388,549)(389,551)(391,554)(392,555)(396,559)(398,562)(400,563)(401,564)
     (403,567)(404,568)(408,573)(410,576)(411,578)(414,582)(415,584)(416,540)
     (417,586)(419,577)(420,590)(421,592)(423,595)(424,596)(426,500)(428,601)
     (431,604)(435,608)(436,609)(438,495)(440,613)(441,615)(443,618)(444,619)
     (446,622)(450,521)(452,621)(453,628)(456,630)(459,530)(460,634)(463,561)
     (465,640)(466,642)(468,593)(469,645)(471,648)(472,574)(474,650)(476,652)
     (478,489)(480,656)(483,523)(486,661)(487,663)(488,550)(490,587)(492,668)
     (493,670)(497,632)(498,676)(502,678)(504,681)(506,629)(507,683)(508,685)
     (510,687)(512,690)(514,692)(515,694)(517,696)(518,697)(520,699)(524,703)
     (525,705)(527,708)(529,706)(532,712)(533,658)(535,716)(537,719)(538,710)
     (541,723)(543,725)(545,565)(547,727)(548,729)(552,733)(553,735)(556,738)
     (557,624)(558,740)(560,742)(566,746)(569,633)(570,751)(571,753)(572,755)
     (575,757)(579,664)(580,762)(581,764)(583,766)(585,769)(588,772)(589,761)
     (591,776)(594,780)(597,783)(598,674)(599,784)(600,785)(602,786)(603,788)
     (605,789)(606,775)(607,790)(610,793)(611,794)(612,795)(614,797)(616,799)
     (617,801)(620,804)(623,808)(625,798)(626,811)(627,812)(631,816)(635,819)
     (636,820)(637,822)(638,823)(639,765)(641,802)(643,828)(644,830)(646,831)
     (647,777)(649,834)(651,835)(653,836)(654,837)(655,838)(657,841)(659,840)
     (660,843)(662,728)(665,839)(666,847)(667,848)(669,842)(671,852)(672,853)
     (673,854)(675,855)(677,856)(679,859)(680,861)(682,863)(684,865)(686,739)
     (688,750)(689,866)(691,868)(693,871)(695,873)(698,774)(700,877)(701,878)
     (702,880)(704,882)(707,782)(709,885)(711,886)(713,888)(714,890)(715,796)
     (717,894)(718,895)(720,897)(721,899)(722,901)(724,904)(726,905)(730,821)
     (731,910)(732,912)(734,914)(736,876)(737,918)(741,923)(743,903)(744,926)
     (745,824)(747,930)(748,931)(749,933)(752,937)(754,939)(756,940)(758,943)
     (759,827)(760,944)(763,946)(767,950)(768,951)(770,954)(771,955)(773,957)
     (778,942)(779,915)(781,960)(787,825)(791,967)(792,803)(800,971)(805,864)
     (806,907)(807,975)(809,977)(810,979)(813,983)(814,921)(815,986)(817,987)
     (818,988)(826,993)(829,976)(832,997)(833,928)(844,1003)(845,959)(846,
     1006)(849,1008)(850,927)(851,1010)(857,1015)(858,889)(860,1017)(862,1018)
     (867,911)(869,1021)(870,949)(872,891)(874,1022)(875,1024)(879,1025)(881,
     991)(883,916)(884,1026)(887,1028)(892,1031)(893,963)(896,1009)(898,1034)
     (900,1035)(902,1037)(906,1039)(908,1041)(909,1042)(913,945)(917,1045)
     (919,984)(920,990)(922,1048)(924,1049)(925,1019)(929,1027)(932,1054)(934,
     974)(935,970)(936,1056)(938,948)(941,1002)(947,1063)(952,1066)(953,1067)
     (956,1069)(958,1071)(961,1074)(962,1055)(964,1076)(965,1005)(966,1059)
     (968,1065)(969,1080)(972,1072)(973,1083)(978,1085)(980,1086)(981,1043)
     (982,1088)(985,1038)(989,1000)(992,999)(994,1007)(995,1040)(996,1090)
     (998,1044)(1001,1030)(1004,1075)(1011,1014)(1012,1077)(1013,1053)(1016,
     1093)(1020,1094)(1023,1060)(1029,1051)(1032,1097)(1033,1052)(1036,1098)
     (1046,1078)(1047,1104)(1050,1087)(1057,1105)(1058,1107)(1061,1100)(1062,
     1109)(1064,1111)(1068,1112)(1070,1092)(1073,1108)(1079,1114)(1081,1115)
     (1082,1095)(1084,1106)(1089,1117)(1091,1103)(1096,1102)(1099,1119)(1101,
     1120)(1110,1116)(1113,1118);