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