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