z1 := (2,4)(5,9)(6,11)(7,13)(10,18)(12,21)(14,24)(15,26)(16,28)(17,23)(20,34)
     (22,38)(25,43)(27,46)(29,49)(30,51)(31,53)(32,48)(33,56)(35,60)(36,58)
     (37,63)(39,64)(40,68)(41,70)(42,66)(45,76)(47,80)(52,87)(54,89)(55,91)
     (57,95)(59,97)(62,101)(65,105)(67,108)(69,111)(71,114)(72,116)(73,118)
     (74,113)(77,124)(78,122)(79,127)(81,131)(82,133)(84,130)(85,109)(86,138)
     (88,142)(90,146)(92,148)(93,149)(96,154)(98,158)(99,156)(102,164)(103,
     165)(104,167)(106,169)(107,171)(110,175)(112,179)(115,184)(117,187)(119,
     189)(120,191)(121,193)(123,195)(125,199)(126,200)(128,203)(129,205)(132,
     209)(135,212)(136,214)(139,219)(140,217)(143,225)(144,227)(145,224)(147,
     210)(150,235)(153,234)(155,240)(157,242)(160,246)(161,248)(162,250)(163,
     239)(166,256)(168,258)(170,262)(172,265)(173,266)(177,269)(178,273)(180,
     276)(181,278)(182,280)(183,275)(185,263)(186,286)(188,290)(190,294)(192,
     297)(194,300)(197,302)(198,305)(201,311)(202,312)(204,316)(206,319)(207,
     321)(208,318)(213,328)(215,330)(218,332)(220,336)(221,337)(222,339)(223,
     341)(226,346)(228,349)(229,351)(230,353)(231,348)(232,285)(233,357)(236,
     361)(237,363)(238,365)(241,369)(243,372)(244,371)(247,378)(249,379)(251,
     382)(253,385)(254,381)(255,388)(257,392)(259,395)(260,397)(261,394)(264,
     403)(268,409)(271,412)(272,413)(274,415)(277,420)(279,423)(282,427)(283,
     429)(284,425)(287,435)(288,433)(289,438)(292,443)(293,441)(295,421)(296,
     448)(298,452)(301,457)(304,460)(307,462)(308,466)(309,468)(310,456)(313,
     426)(314,473)(315,476)(317,459)(320,484)(322,486)(324,402)(326,329)(331,
     495)(333,499)(334,497)(335,502)(340,510)(342,513)(343,515)(344,472)(345,
     512)(347,520)(352,526)(354,528)(355,529)(356,530)(358,533)(359,535)(360,
     532)(364,541)(366,543)(370,548)(373,550)(375,552)(376,544)(377,547)(380,
     558)(383,563)(384,564)(386,447)(387,567)(389,571)(390,569)(391,573)(393,
     576)(398,581)(399,583)(400,585)(401,580)(404,591)(405,589)(406,593)(410,
     536)(414,492)(416,606)(417,608)(418,610)(419,605)(422,613)(428,620)(430,
     621)(431,449)(432,624)(434,626)(436,630)(437,464)(444,638)(445,640)(446,
     637)(450,644)(451,647)(454,651)(455,653)(458,657)(461,662)(467,667)(471,
     672)(474,676)(475,678)(478,680)(479,684)(482,686)(483,659)(485,691)(487,
     695)(488,696)(489,493)(490,698)(491,700)(494,704)(496,708)(498,710)(500,
     697)(503,717)(504,715)(507,707)(509,724)(511,599)(514,732)(517,734)(518,
     736)(519,674)(521,738)(522,740)(524,737)(525,744)(527,748)(531,755)(534,
     603)(539,759)(540,556)(542,764)(545,767)(546,768)(551,773)(553,741)(554,
     776)(555,777)(557,778)(559,780)(560,782)(561,784)(562,779)(565,612)(566,
     790)(570,794)(572,798)(574,800)(575,801)(577,805)(579,806)(582,809)(584,
     811)(586,813)(587,815)(588,817)(590,819)(592,822)(594,825)(595,827)(596,
     828)(598,731)(601,831)(602,833)(604,835)(607,838)(614,634)(615,845)(617,
     645)(618,839)(619,849)(622,853)(623,854)(625,856)(627,859)(628,858)(629,
     862)(633,865)(635,867)(636,868)(639,873)(641,875)(643,876)(646,879)(648,
     650)(652,884)(654,886)(656,885)(658,892)(660,893)(661,891)(664,896)(665,
     898)(666,899)(668,902)(675,904)(677,907)(683,912)(687,918)(688,793)(689,
     919)(690,917)(692,706)(693,921)(694,922)(699,929)(701,880)(702,931)(703,
     933)(705,935)(711,939)(712,938)(713,941)(716,942)(718,946)(719,947)(720,
     949)(721,951)(722,834)(723,954)(725,958)(726,956)(729,871)(730,962)(735,
     969)(739,971)(742,974)(743,976)(745,980)(746,978)(749,984)(750,983)(751,
     972)(754,855)(756,990)(758,989)(760,964)(761,995)(765,924)(766,996)(771,
     877)(772,821)(775,973)(783,1009)(785,1011)(786,1013)(788,1014)(791,1007)
     (795,1021)(796,1020)(799,889)(802,928)(803,1025)(807,1030)(808,1029)(810,
     1023)(812,1033)(814,1035)(816,1037)(818,1039)(820,1040)(823,986)(824,
     1043)(832,887)(836,934)(837,913)(843,1055)(850,1060)(851,1058)(852,1063)
     (857,1069)(861,1006)(863,1071)(864,1073)(866,1000)(869,1078)(872,1077)
     (874,1085)(881,906)(883,1094)(888,1097)(890,1098)(894,1099)(895,1100)
     (897,1102)(901,1104)(905,975)(908,1111)(910,1112)(911,1114)(915,1117)
     (916,1118)(923,1126)(925,1038)(930,1129)(932,1132)(936,1125)(937,1135)
     (940,1137)(944,1139)(945,1064)(948,1145)(950,1148)(953,1151)(955,1153)
     (957,1155)(960,1157)(961,1084)(963,1159)(966,1158)(967,992)(968,1081)
     (970,1166)(977,1172)(979,1174)(982,1179)(985,1048)(988,1185)(994,1189)
     (997,1194)(1003,1168)(1004,1106)(1008,1200)(1010,1204)(1012,1186)(1015,
     1208)(1016,1134)(1018,1088)(1022,1213)(1026,1215)(1028,1218)(1031,1214)
     (1032,1121)(1034,1222)(1036,1224)(1042,1228)(1044,1230)(1045,1229)(1047,
     1164)(1049,1231)(1051,1133)(1052,1190)(1054,1234)(1056,1235)(1059,1239)
     (1061,1091)(1065,1242)(1066,1090)(1067,1243)(1068,1244)(1072,1096)(1075,
     1177)(1076,1250)(1080,1254)(1082,1095)(1083,1257)(1086,1258)(1087,1260)
     (1089,1261)(1092,1110)(1107,1248)(1108,1271)(1113,1275)(1115,1278)(1116,
     1274)(1119,1236)(1122,1281)(1123,1272)(1127,1273)(1128,1285)(1131,1287)
     (1136,1293)(1138,1199)(1142,1298)(1143,1241)(1147,1305)(1152,1256)(1154,
     1192)(1156,1310)(1161,1195)(1162,1315)(1169,1282)(1170,1255)(1175,1294)
     (1176,1322)(1178,1184)(1180,1206)(1181,1309)(1183,1325)(1188,1280)(1196,
     1330)(1201,1334)(1202,1332)(1207,1338)(1212,1301)(1217,1223)(1219,1345)
     (1220,1326)(1226,1303)(1232,1350)(1233,1297)(1237,1341)(1240,1306)(1245,
     1351)(1246,1359)(1247,1354)(1251,1265)(1253,1363)(1259,1356)(1267,1366)
     (1277,1362)(1284,1329)(1289,1376)(1291,1378)(1295,1375)(1299,1349)(1302,
     1339)(1307,1348)(1314,1361)(1317,1388)(1320,1355)(1327,1343)(1328,1373)
     (1333,1344)(1347,1400)(1357,1401)(1358,1390)(1369,1395)(1381,1398)(1383,
     1393)(1396,1399);