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