z1 := (2,3)(4,6)(5,7)(8,11)(9,12)(10,14)(13,18)(15,20)(16,21)(17,23)(19,26)
     (22,30)(24,32)(25,33)(27,36)(28,37)(29,39)(31,41)(34,45)(35,46)(38,50)
     (40,52)(42,54)(43,55)(44,57)(47,61)(48,62)(49,64)(51,66)(53,69)(56,73)
     (58,75)(59,76)(60,78)(63,82)(65,84)(67,87)(68,88)(70,91)(71,92)(72,94)
     (74,97)(77,101)(80,103)(81,105)(83,108)(85,111)(86,112)(89,116)(90,117)
     (93,121)(95,123)(96,124)(98,127)(99,128)(100,130)(102,133)(104,136)(106,
     138)(107,139)(109,142)(110,143)(113,147)(114,148)(115,150)(118,153)(119,
     154)(120,156)(122,159)(125,163)(126,164)(129,168)(131,170)(132,171)(134,
     174)(135,175)(140,180)(141,181)(144,185)(145,186)(146,188)(149,192)(151,
     194)(152,195)(155,199)(157,201)(158,202)(160,205)(161,206)(162,208)(166,
     212)(167,214)(169,217)(172,221)(173,222)(176,226)(177,228)(178,229)(179,
     231)(182,234)(183,235)(184,237)(187,241)(189,243)(190,244)(191,246)(193,
     249)(196,252)(197,253)(198,255)(200,258)(203,262)(204,263)(207,267)(209,
     269)(210,270)(211,272)(213,275)(215,277)(216,278)(218,281)(219,282)(220,
     284)(223,288)(224,289)(225,291)(227,293)(230,296)(232,298)(233,299)(236,
     302)(238,304)(239,305)(240,307)(242,310)(245,312)(247,314)(248,308)(250,
     317)(251,318)(254,322)(256,324)(257,325)(259,328)(260,329)(261,331)(264,
     335)(265,336)(266,338)(268,340)(271,343)(273,345)(274,346)(276,349)(279,
     353)(280,354)(283,358)(285,360)(286,361)(287,362)(290,323)(292,365)(294,
     367)(295,369)(297,372)(300,332)(301,376)(303,379)(306,383)(309,385)(311,
     388)(313,391)(315,394)(316,395)(319,399)(320,400)(321,402)(326,407)(327,
     408)(330,412)(333,414)(334,411)(337,419)(339,421)(341,424)(342,426)(344,
     429)(347,431)(348,432)(350,435)(351,436)(352,438)(355,442)(356,443)(357,
     445)(359,448)(363,382)(364,452)(366,455)(368,458)(370,460)(371,461)(373,
     464)(374,465)(375,467)(377,470)(378,471)(380,474)(381,475)(384,446)(386,
     481)(387,482)(389,485)(390,486)(392,489)(393,490)(396,493)(397,494)(398,
     472)(401,499)(403,501)(404,502)(405,503)(406,453)(409,507)(410,508)(413,
     512)(415,514)(416,515)(417,516)(418,518)(420,430)(422,523)(423,524)(425,
     526)(427,528)(428,529)(433,535)(434,536)(437,540)(439,542)(440,543)(441,
     545)(444,549)(447,551)(449,554)(450,555)(451,557)(454,560)(456,562)(457,
     563)(459,566)(462,570)(463,571)(466,575)(468,577)(469,578)(473,582)(476,
     585)(477,586)(478,587)(480,589)(483,593)(484,513)(487,597)(488,598)(491,
     602)(492,604)(495,608)(496,609)(497,610)(498,509)(500,614)(504,619)(505,
     620)(506,621)(511,625)(517,631)(519,633)(520,634)(521,636)(522,637)(525,
     641)(527,644)(530,648)(531,573)(532,650)(533,651)(534,653)(537,657)(538,
     658)(539,660)(541,663)(544,667)(546,669)(547,670)(548,672)(550,675)(552,
     678)(553,679)(556,683)(558,685)(559,686)(561,689)(564,692)(565,693)(567,
     696)(568,697)(569,699)(572,703)(574,705)(576,708)(579,712)(580,713)(581,
     715)(583,717)(584,718)(588,723)(590,725)(591,726)(592,727)(594,730)(595,
     731)(596,733)(599,735)(600,736)(601,738)(603,741)(605,743)(606,744)(607,
     746)(611,749)(612,750)(613,751)(615,754)(616,755)(617,757)(618,758)(622,
     763)(623,764)(624,766)(626,767)(627,768)(628,770)(629,771)(630,773)(632,
     776)(635,674)(638,782)(639,783)(640,785)(642,788)(643,789)(645,792)(646,
     793)(647,795)(649,798)(652,801)(654,803)(655,804)(659,702)(661,809)(662,
     778)(664,812)(665,813)(666,815)(668,817)(671,819)(673,821)(677,824)(680,
     828)(681,829)(682,831)(684,834)(687,838)(688,839)(690,842)(691,844)(694,
     848)(695,849)(698,852)(700,854)(701,855)(704,857)(706,859)(707,860)(709,
     862)(710,863)(711,865)(714,869)(716,871)(719,874)(720,875)(721,877)(722,
     879)(724,864)(728,747)(729,884)(732,841)(734,856)(737,889)(739,891)(740,
     892)(742,894)(745,897)(748,900)(752,905)(753,906)(756,910)(759,913)(760,
     914)(761,915)(762,917)(765,921)(769,924)(772,926)(774,928)(775,929)(777,
     931)(779,933)(780,935)(781,937)(784,940)(786,942)(787,943)(790,947)(791,
     948)(794,952)(796,954)(799,870)(800,957)(802,959)(805,962)(806,963)(807,
     939)(808,965)(810,967)(811,968)(814,970)(816,972)(818,898)(820,976)(822,
     979)(823,980)(825,983)(826,984)(827,986)(830,990)(832,992)(833,993)(836,
     995)(837,996)(840,999)(843,1000)(845,1002)(846,1003)(847,1005)(850,1008)
     (851,1009)(853,925)(858,977)(861,1016)(866,1020)(867,1021)(868,1023)(872,
     1027)(873,1028)(876,1032)(878,1033)(880,1035)(881,1036)(882,1038)(883,
     1039)(885,1042)(886,1043)(887,944)(888,1045)(890,1046)(893,1050)(895,
     1029)(896,1052)(899,1055)(901,1057)(902,1058)(903,1059)(904,1060)(907,
     1062)(908,1063)(909,1064)(911,1067)(912,1069)(916,1072)(918,1074)(919,
     1075)(920,1076)(922,1079)(923,1080)(930,945)(932,1012)(934,1040)(936,
     1085)(938,1004)(941,1089)(946,969)(949,1096)(950,1097)(951,1099)(953,
     1077)(955,988)(956,1103)(958,1104)(960,1106)(961,1107)(964,1110)(966,987)
     (971,1114)(973,1116)(974,1117)(975,1118)(978,1061)(981,1124)(982,1122)
     (985,1128)(989,1131)(991,1134)(994,1137)(997,1053)(998,1092)(1001,1142)
     (1006,1144)(1007,1126)(1010,1148)(1011,1093)(1013,1026)(1014,1151)(1015,
     1152)(1017,1154)(1018,1155)(1019,1146)(1022,1159)(1024,1160)(1025,1161)
     (1030,1164)(1031,1165)(1034,1087)(1037,1170)(1041,1173)(1044,1176)(1047,
     1178)(1048,1179)(1049,1181)(1051,1084)(1054,1185)(1056,1187)(1065,1086)
     (1066,1193)(1068,1195)(1070,1129)(1071,1162)(1073,1199)(1078,1204)(1081,
     1208)(1082,1194)(1083,1115)(1088,1212)(1090,1120)(1091,1214)(1094,1217)
     (1095,1219)(1098,1222)(1100,1224)(1101,1225)(1102,1227)(1105,1149)(1108,
     1232)(1109,1233)(1111,1235)(1112,1237)(1113,1239)(1119,1241)(1121,1150)
     (1123,1244)(1125,1168)(1127,1246)(1130,1249)(1132,1251)(1133,1252)(1135,
     1213)(1136,1253)(1138,1203)(1139,1257)(1140,1196)(1141,1259)(1143,1145)
     (1147,1262)(1153,1265)(1156,1207)(1157,1267)(1158,1268)(1163,1272)(1166,
     1275)(1167,1190)(1169,1276)(1171,1242)(1172,1250)(1174,1282)(1175,1284)
     (1177,1266)(1180,1289)(1182,1291)(1183,1292)(1186,1293)(1188,1295)(1189,
     1297)(1191,1299)(1192,1300)(1197,1305)(1198,1288)(1200,1307)(1201,1263)
     (1202,1309)(1205,1304)(1206,1312)(1209,1315)(1210,1316)(1211,1229)(1215,
     1271)(1216,1277)(1218,1318)(1220,1320)(1221,1321)(1223,1324)(1226,1327)
     (1228,1254)(1230,1256)(1231,1240)(1234,1328)(1236,1330)(1238,1331)(1243,
     1334)(1245,1336)(1247,1322)(1248,1281)(1255,1342)(1258,1344)(1260,1345)
     (1261,1346)(1264,1348)(1269,1352)(1270,1343)(1273,1329)(1274,1354)(1278,
     1357)(1279,1356)(1280,1351)(1283,1359)(1285,1339)(1286,1360)(1287,1361)
     (1290,1364)(1294,1302)(1296,1366)(1298,1367)(1301,1369)(1306,1371)(1308,
     1373)(1310,1355)(1311,1375)(1313,1377)(1314,1341)(1317,1379)(1319,1382)
     (1323,1385)(1325,1388)(1326,1390)(1332,1394)(1333,1395)(1335,1397)(1337,
     1370)(1338,1365)(1340,1401)(1347,1386)(1349,1392)(1350,1372)(1353,1407)
     (1358,1410)(1362,1396)(1363,1413)(1368,1414)(1374,1380)(1376,1419)(1378,
     1420)(1381,1409)(1383,1384)(1387,1389)(1391,1425)(1393,1427)(1398,1422)
     (1399,1430)(1400,1431)(1402,1432)(1403,1418)(1404,1415)(1405,1433)(1406,
     1434)(1408,1435)(1411,1416)(1412,1424)(1417,1436)(1421,1440)(1423,1442)
     (1426,1441)(1428,1444)(1429,1446)(1438,1449)(1439,1447)(1443,1445)(1451,
     1452)(1453,1454)(1455,1456);