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