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