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