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