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