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