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