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