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