no_mach = 10;
no_jobs = 100;
no_task = 2000;
no_optt = 3037;
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, 1001..1020, 1021..1040, 1041..1060, 1061..1080, 1081..1100, 1101..1120, 1121..1140, 1141..1160, 1161..1180, 1181..1200, 1201..1220, 1221..1240, 1241..1260, 1261..1280, 1281..1300, 1301..1320, 1321..1340, 1341..1360, 1361..1380, 1381..1400, 1401..1420, 1421..1440, 1441..1460, 1461..1480, 1481..1500, 1501..1520, 1521..1540, 1541..1560, 1561..1580, 1581..1600, 1601..1620, 1621..1640, 1641..1660, 1661..1680, 1681..1700, 1701..1720, 1721..1740, 1741..1760, 1761..1780, 1781..1800, 1801..1820, 1821..1840, 1841..1860, 1861..1880, 1881..1900, 1901..1920, 1921..1940, 1941..1960, 1961..1980, 1981..2000];
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}, {1523}, {1524}, 1525..1526, {1527}, 1528..1530, 1531..1532, {1533}, {1534}, {1535}, {1536}, 1537..1538, {1539}, {1540}, {1541}, {1542}, {1543}, 1544..1545, {1546}, 1547..1549, {1550}, 1551..1553, 1554..1556, {1557}, 1558..1559, {1560}, 1561..1562, {1563}, 1564..1566, {1567}, 1568..1569, 1570..1571, 1572..1574, 1575..1576, 1577..1578, 1579..1580, {1581}, 1582..1583, {1584}, 1585..1586, {1587}, {1588}, 1589..1590, {1591}, {1592}, {1593}, {1594}, {1595}, {1596}, 1597..1599, 1600..1601, 1602..1603, 1604..1605, {1606}, 1607..1608, {1609}, {1610}, 1611..1612, {1613}, {1614}, 1615..1617, {1618}, 1619..1620, {1621}, 1622..1623, {1624}, 1625..1626, {1627}, {1628}, 1629..1630, {1631}, {1632}, {1633}, {1634}, 1635..1636, 1637..1638, {1639}, 1640..1641, {1642}, {1643}, 1644..1646, 1647..1649, {1650}, 1651..1652, {1653}, 1654..1655, {1656}, 1657..1658, 1659..1661, {1662}, {1663}, 1664..1665, 1666..1667, 1668..1670, {1671}, 1672..1673, 1674..1675, 1676..1677, {1678}, 1679..1681, {1682}, 1683..1684, {1685}, {1686}, 1687..1688, {1689}, 1690..1692, {1693}, {1694}, {1695}, {1696}, 1697..1698, {1699}, {1700}, 1701..1702, 1703..1704, 1705..1706, 1707..1708, {1709}, {1710}, {1711}, 1712..1713, 1714..1715, {1716}, {1717}, 1718..1719, {1720}, 1721..1722, 1723..1725, {1726}, {1727}, 1728..1730, 1731..1732, 1733..1735, 1736..1737, 1738..1739, {1740}, 1741..1742, 1743..1744, 1745..1747, {1748}, {1749}, 1750..1751, 1752..1753, {1754}, {1755}, 1756..1757, {1758}, {1759}, 1760..1761, {1762}, 1763..1764, {1765}, {1766}, 1767..1768, 1769..1770, {1771}, {1772}, 1773..1775, {1776}, {1777}, {1778}, {1779}, {1780}, 1781..1782, 1783..1784, {1785}, {1786}, {1787}, 1788..1789, 1790..1792, 1793..1795, 1796..1797, 1798..1799, {1800}, 1801..1803, 1804..1805, 1806..1808, 1809..1810, {1811}, 1812..1813, 1814..1815, {1816}, {1817}, {1818}, {1819}, {1820}, {1821}, 1822..1823, {1824}, {1825}, {1826}, {1827}, {1828}, 1829..1830, {1831}, {1832}, {1833}, {1834}, 1835..1837, 1838..1839, 1840..1841, 1842..1843, 1844..1846, {1847}, {1848}, {1849}, {1850}, {1851}, 1852..1853, {1854}, {1855}, 1856..1857, {1858}, {1859}, {1860}, {1861}, 1862..1863, 1864..1865, {1866}, {1867}, {1868}, {1869}, 1870..1871, 1872..1873, {1874}, {1875}, {1876}, {1877}, {1878}, 1879..1881, {1882}, {1883}, {1884}, {1885}, {1886}, 1887..1888, {1889}, {1890}, {1891}, {1892}, {1893}, 1894..1895, {1896}, {1897}, {1898}, 1899..1900, {1901}, 1902..1903, 1904..1905, {1906}, {1907}, 1908..1909, 1910..1912, 1913..1914, 1915..1917, {1918}, 1919..1920, 1921..1922, {1923}, {1924}, {1925}, {1926}, {1927}, {1928}, 1929..1930, 1931..1933, 1934..1935, {1936}, {1937}, {1938}, 1939..1940, {1941}, 1942..1943, {1944}, 1945..1946, {1947}, {1948}, {1949}, 1950..1952, {1953}, {1954}, {1955}, {1956}, {1957}, {1958}, {1959}, 1960..1961, {1962}, {1963}, {1964}, {1965}, 1966..1967, 1968..1970, 1971..1972, 1973..1974, 1975..1976, {1977}, 1978..1980, {1981}, {1982}, {1983}, 1984..1985, {1986}, {1987}, {1988}, 1989..1990, {1991}, {1992}, {1993}, {1994}, {1995}, {1996}, 1997..1998, {1999}, {2000}, 2001..2002, {2003}, 2004..2005, 2006..2008, 2009..2010, {2011}, {2012}, 2013..2015, 2016..2017, 2018..2020, {2021}, {2022}, {2023}, 2024..2025, {2026}, {2027}, {2028}, 2029..2030, {2031}, {2032}, {2033}, 2034..2035, {2036}, 2037..2038, {2039}, {2040}, 2041..2042, 2043..2045, {2046}, {2047}, {2048}, 2049..2050, {2051}, {2052}, {2053}, 2054..2055, 2056..2057, {2058}, 2059..2060, {2061}, 2062..2063, {2064}, {2065}, {2066}, {2067}, 2068..2069, {2070}, 2071..2072, {2073}, 2074..2076, {2077}, {2078}, 2079..2080, 2081..2082, 2083..2084, 2085..2086, 2087..2089, {2090}, 2091..2092, 2093..2094, {2095}, {2096}, {2097}, {2098}, {2099}, 2100..2101, 2102..2103, {2104}, 2105..2106, 2107..2108, {2109}, 2110..2111, 2112..2113, {2114}, {2115}, {2116}, {2117}, {2118}, {2119}, {2120}, {2121}, {2122}, {2123}, {2124}, {2125}, {2126}, {2127}, 2128..2129, {2130}, 2131..2132, {2133}, 2134..2135, 2136..2138, {2139}, {2140}, 2141..2142, {2143}, 2144..2145, {2146}, 2147..2148, {2149}, {2150}, 2151..2153, {2154}, {2155}, 2156..2157, {2158}, 2159..2160, {2161}, 2162..2163, {2164}, 2165..2166, {2167}, 2168..2169, 2170..2171, 2172..2173, {2174}, 2175..2177, 2178..2179, {2180}, {2181}, 2182..2183, {2184}, 2185..2186, {2187}, {2188}, 2189..2191, {2192}, 2193..2195, {2196}, {2197}, {2198}, {2199}, 2200..2201, {2202}, 2203..2204, {2205}, 2206..2207, 2208..2209, {2210}, {2211}, 2212..2213, {2214}, {2215}, 2216..2218, {2219}, {2220}, 2221..2222, {2223}, {2224}, {2225}, 2226..2227, {2228}, {2229}, {2230}, {2231}, 2232..2233, {2234}, {2235}, {2236}, 2237..2239, {2240}, {2241}, {2242}, {2243}, 2244..2245, {2246}, {2247}, {2248}, {2249}, {2250}, {2251}, {2252}, {2253}, {2254}, {2255}, {2256}, {2257}, {2258}, {2259}, {2260}, 2261..2262, 2263..2265, 2266..2267, 2268..2270, {2271}, {2272}, {2273}, {2274}, 2275..2276, 2277..2279, {2280}, {2281}, {2282}, 2283..2284, 2285..2286, 2287..2289, {2290}, 2291..2293, {2294}, {2295}, {2296}, 2297..2299, 2300..2301, {2302}, {2303}, 2304..2306, {2307}, {2308}, {2309}, {2310}, {2311}, {2312}, 2313..2315, {2316}, 2317..2318, {2319}, 2320..2321, 2322..2323, 2324..2325, {2326}, 2327..2328, {2329}, 2330..2331, {2332}, 2333..2334, 2335..2336, 2337..2339, {2340}, 2341..2342, 2343..2345, {2346}, {2347}, {2348}, 2349..2350, {2351}, 2352..2353, 2354..2355, 2356..2357, {2358}, {2359}, {2360}, {2361}, {2362}, 2363..2364, 2365..2366, {2367}, 2368..2370, 2371..2373, 2374..2375, 2376..2377, {2378}, {2379}, {2380}, 2381..2382, {2383}, {2384}, 2385..2386, 2387..2388, {2389}, {2390}, {2391}, {2392}, {2393}, 2394..2395, 2396..2397, {2398}, 2399..2400, {2401}, 2402..2403, {2404}, {2405}, 2406..2408, 2409..2411, 2412..2414, {2415}, {2416}, {2417}, 2418..2419, 2420..2422, 2423..2424, {2425}, {2426}, 2427..2428, 2429..2430, {2431}, {2432}, {2433}, {2434}, {2435}, 2436..2437, {2438}, {2439}, 2440..2441, 2442..2443, 2444..2445, {2446}, 2447..2448, {2449}, {2450}, {2451}, {2452}, {2453}, {2454}, {2455}, 2456..2457, {2458}, 2459..2461, {2462}, {2463}, 2464..2465, {2466}, {2467}, 2468..2469, {2470}, {2471}, {2472}, {2473}, {2474}, {2475}, {2476}, {2477}, 2478..2479, {2480}, {2481}, {2482}, 2483..2484, {2485}, 2486..2487, {2488}, 2489..2490, 2491..2492, {2493}, 2494..2496, {2497}, {2498}, {2499}, 2500..2501, {2502}, {2503}, {2504}, {2505}, {2506}, {2507}, 2508..2509, {2510}, 2511..2512, {2513}, {2514}, {2515}, {2516}, {2517}, 2518..2519, {2520}, {2521}, 2522..2523, {2524}, 2525..2526, 2527..2528, 2529..2531, 2532..2533, 2534..2536, 2537..2538, {2539}, {2540}, {2541}, {2542}, 2543..2544, 2545..2547, {2548}, {2549}, {2550}, {2551}, 2552..2553, 2554..2555, {2556}, {2557}, {2558}, {2559}, {2560}, {2561}, 2562..2563, {2564}, {2565}, 2566..2567, 2568..2570, {2571}, {2572}, {2573}, {2574}, {2575}, {2576}, 2577..2579, {2580}, {2581}, 2582..2583, 2584..2586, 2587..2588, {2589}, 2590..2592, {2593}, 2594..2595, {2596}, {2597}, {2598}, {2599}, {2600}, {2601}, 2602..2603, 2604..2605, {2606}, 2607..2608, 2609..2610, 2611..2612, 2613..2614, {2615}, {2616}, {2617}, {2618}, 2619..2620, {2621}, {2622}, 2623..2625, 2626..2628, 2629..2630, {2631}, {2632}, 2633..2635, 2636..2637, {2638}, 2639..2640, {2641}, {2642}, {2643}, 2644..2645, {2646}, {2647}, 2648..2650, 2651..2652, {2653}, {2654}, 2655..2656, {2657}, 2658..2660, {2661}, {2662}, 2663..2664, {2665}, {2666}, 2667..2669, 2670..2671, {2672}, {2673}, 2674..2675, 2676..2677, {2678}, 2679..2681, 2682..2684, {2685}, 2686..2687, 2688..2689, {2690}, {2691}, {2692}, {2693}, {2694}, {2695}, {2696}, 2697..2698, {2699}, {2700}, 2701..2702, {2703}, 2704..2705, 2706..2707, 2708..2709, 2710..2712, 2713..2715, {2716}, 2717..2718, 2719..2720, {2721}, 2722..2723, 2724..2725, {2726}, {2727}, {2728}, {2729}, {2730}, 2731..2732, 2733..2734, {2735}, 2736..2737, {2738}, 2739..2740, {2741}, {2742}, {2743}, {2744}, {2745}, {2746}, {2747}, 2748..2749, 2750..2751, 2752..2753, {2754}, {2755}, {2756}, 2757..2758, {2759}, 2760..2762, 2763..2764, {2765}, {2766}, 2767..2768, {2769}, {2770}, 2771..2772, 2773..2774, 2775..2776, {2777}, {2778}, 2779..2781, 2782..2784, {2785}, {2786}, {2787}, 2788..2790, 2791..2793, {2794}, {2795}, {2796}, 2797..2798, {2799}, 2800..2801, {2802}, 2803..2805, {2806}, {2807}, {2808}, {2809}, 2810..2811, {2812}, 2813..2815, {2816}, 2817..2818, {2819}, 2820..2821, 2822..2823, {2824}, 2825..2827, 2828..2829, {2830}, {2831}, {2832}, {2833}, {2834}, 2835..2837, 2838..2839, 2840..2842, {2843}, 2844..2846, 2847..2848, {2849}, 2850..2851, {2852}, {2853}, 2854..2855, {2856}, 2857..2858, {2859}, {2860}, {2861}, 2862..2863, {2864}, 2865..2867, 2868..2870, 2871..2872, {2873}, {2874}, {2875}, {2876}, 2877..2878, {2879}, 2880..2882, {2883}, {2884}, 2885..2886, {2887}, 2888..2889, 2890..2891, 2892..2893, {2894}, 2895..2896, 2897..2898, 2899..2900, {2901}, 2902..2903, {2904}, 2905..2907, 2908..2910, 2911..2912, 2913..2914, 2915..2916, 2917..2918, {2919}, {2920}, {2921}, 2922..2923, 2924..2925, {2926}, {2927}, {2928}, {2929}, 2930..2931, 2932..2933, {2934}, 2935..2936, {2937}, {2938}, 2939..2940, 2941..2943, {2944}, {2945}, 2946..2947, 2948..2949, 2950..2951, {2952}, {2953}, {2954}, 2955..2957, 2958..2959, 2960..2962, {2963}, 2964..2966, 2967..2968, {2969}, {2970}, 2971..2972, {2973}, 2974..2975, 2976..2978, 2979..2980, 2981..2982, 2983..2985, {2986}, 2987..2988, 2989..2990, 2991..2992, {2993}, {2994}, {2995}, {2996}, {2997}, {2998}, {2999}, 3000..3001, {3002}, {3003}, 3004..3005, {3006}, {3007}, {3008}, {3009}, 3010..3011, {3012}, 3013..3014, 3015..3016, 3017..3018, {3019}, 3020..3021, {3022}, {3023}, 3024..3025, {3026}, {3027}, {3028}, {3029}, {3030}, {3031}, 3032..3033, {3034}, {3035}, {3036}, {3037}];
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, 2, 8, 5, 7, 8, 7, 8, 6, 2, 5, 9, 4, 1, 1, 5, 6, 2, 6, 3, 6, 5, 2, 5, 10, 4, 10, 9, 1, 3, 1, 4, 5, 7, 9, 8, 10, 7, 6, 10, 5, 2, 6, 5, 9, 3, 1, 7, 1, 8, 7, 10, 1, 6, 4, 8, 6, 9, 3, 5, 3, 6, 4, 7, 6, 8, 1, 10, 2, 7, 1, 4, 10, 3, 6, 6, 1, 9, 3, 10, 2, 3, 7, 10, 9, 1, 6, 1, 4, 6, 5, 10, 1, 8, 9, 6, 8, 3, 7, 3, 10, 9, 1, 5, 9, 1, 1, 7, 8, 8, 1, 2, 10, 7, 2, 5, 2, 10, 9, 4, 3, 4, 6, 4, 1, 10, 8, 3, 2, 8, 5, 3, 6, 10, 1, 3, 6, 5, 2, 6, 7, 7, 7, 3, 1, 3, 8, 10, 3, 1, 3, 8, 8, 1, 1, 9, 10, 6, 9, 2, 6, 7, 3, 10, 3, 8, 3, 4, 1, 9, 4, 4, 10, 8, 8, 2, 7, 1, 10, 9, 10, 6, 10, 8, 6, 8, 6, 4, 5, 2, 8, 3, 7, 2, 2, 8, 6, 2, 10, 8, 10, 3, 8, 1, 7, 9, 3, 10, 9, 6, 9, 4, 5, 7, 3, 7, 9, 5, 6, 9, 4, 5, 6, 3, 9, 6, 8, 7, 9, 5, 9, 2, 1, 3, 3, 1, 9, 8, 9, 4, 4, 5, 1, 6, 5, 8, 4, 6, 9, 4, 2, 9, 2, 7, 3, 5, 3, 6, 10, 8, 9, 6, 9, 9, 9, 4, 6, 10, 10, 9, 8, 1, 2, 6, 10, 4, 7, 2, 5, 6, 9, 8, 4, 6, 3, 9, 1, 4, 7, 7, 2, 3, 1, 2, 5, 4, 8, 6, 2, 10, 10, 1, 9, 5, 8, 1, 4, 9, 5, 6, 9, 1, 9, 5, 4, 6, 3, 10, 5, 4, 10, 1, 9, 8, 2, 4, 6, 4, 2, 8, 5, 3, 6, 6, 7, 5, 6, 6, 9, 10, 3, 9, 2, 10, 1, 7, 1, 9, 3, 6, 10, 5, 2, 1, 10, 9, 3, 3, 8, 6, 2, 1, 6, 8, 6, 9, 5, 9, 7, 2, 4, 6, 10, 1, 4, 5, 3, 2, 4, 2, 8, 4, 7, 1, 10, 9, 3, 1, 9, 7, 1, 2, 4, 8, 3, 4, 10, 10, 9, 6, 8, 7, 1, 9, 3, 8, 9, 2, 8, 9, 1, 7, 9, 7, 7, 10, 5, 2, 5, 4, 1, 9, 4, 7, 6, 10, 9, 10, 7, 4, 10, 6, 5, 7, 2, 3, 7, 9, 1, 3, 2, 10, 5, 10, 7, 9, 1, 3, 8, 9, 5, 9, 10, 1, 6, 3, 7, 6, 10, 2, 9, 5, 4, 8, 3, 9, 6, 5, 9, 8, 4, 8, 10, 2, 4, 6, 7, 5, 7, 6, 2, 6, 5, 3, 4, 8, 10, 4, 10, 10, 2, 8, 1, 9, 8, 5, 9, 5, 7, 9, 9, 7, 3, 8, 6, 4, 6, 5, 3, 8, 3, 7, 6, 7, 3, 2, 5, 7, 3, 3, 7, 9, 10, 6, 10, 3, 5, 2, 8, 6, 5, 2, 10, 4, 9, 3, 9, 8, 2, 3, 6, 7, 2, 4, 5, 7, 6, 9, 1, 5, 2, 2, 8, 9, 1, 2, 3, 7, 5, 8, 3, 1, 10, 6, 8, 9, 8, 3, 8, 10, 7, 5, 6, 2, 7, 1, 3, 9, 8, 10, 5, 4, 4, 7, 10, 7, 10, 4, 10, 5, 5, 7, 3, 8, 10, 1, 9, 2, 8, 2, 4, 8, 1, 3, 7, 3, 5, 7, 4, 8, 4, 2, 4, 8, 6, 3, 1, 8, 6, 4, 2, 1, 10, 2, 1, 8, 3, 3, 10, 1, 10, 6, 2, 6, 6, 8, 7, 5, 1, 5, 4, 3, 8, 10, 9, 8, 9, 6, 9, 7, 10, 6, 2, 7, 4, 8, 6, 7, 9, 3, 4, 2, 10, 8, 9, 1, 2, 4, 8, 2, 9, 7, 6, 1, 2, 4, 4, 4, 10, 3, 2, 6, 8, 2, 9, 7, 9, 8, 6, 7, 10, 4, 9, 8, 1, 10, 5, 5, 4, 1, 5, 10, 8, 5, 4, 10, 10, 4, 6, 8, 10, 2, 10, 1, 7, 2, 4, 1, 5, 9, 9, 1, 7, 8, 2, 7, 2, 1, 2, 3, 9, 10, 9, 5, 10, 7, 4, 1, 6, 8, 3, 4, 10, 6, 2, 1, 5, 1, 6, 8, 9, 9, 8, 3, 1, 9, 1, 5, 10, 1, 5, 6, 2, 7, 4, 2, 6, 8, 4, 9, 1, 10, 7, 6, 5, 9, 5, 1, 1, 9, 7, 7, 10, 4, 7, 5, 9, 3, 4, 9, 3, 3, 6, 2, 6, 1, 6, 5, 2, 3, 10, 5, 10, 4, 2, 3, 9, 6, 8, 10, 1, 1, 5, 4, 10, 8, 10, 6, 1, 7, 6, 10, 9, 1, 1, 7, 7, 1, 4, 5, 8, 3, 1, 9, 8, 2, 10, 7, 1, 4, 6, 3, 2, 6, 2, 9, 7, 9, 10, 10, 3, 9, 7, 5, 8, 5, 3, 5, 8, 10, 8, 8, 2, 4, 9, 4, 1, 6, 1, 10, 2, 3, 10, 9, 6, 1, 6, 7, 9, 2, 6, 9, 4, 10, 9, 2, 8, 5, 7, 6, 6, 3, 8, 3, 5, 1, 2, 4, 7, 1, 6, 1, 4, 2, 9, 2, 6, 10, 1, 6, 8, 3, 8, 6, 7, 1, 6, 4, 6, 2, 6, 7, 10, 7, 5, 1, 5, 4, 5, 3, 1, 2, 8, 6, 9, 5, 2, 9, 3, 4, 9, 1, 2, 6, 5, 5, 6, 4, 6, 2, 5, 10, 4, 6, 5, 2, 6, 9, 8, 7, 7, 10, 8, 4, 9, 2, 3, 8, 2, 8, 10, 10, 7, 3, 6, 1, 6, 3, 10, 3, 2, 2, 8, 4, 3, 6, 10, 7, 6, 3, 2, 8, 8, 8, 7, 10, 6, 8, 4, 10, 1, 3, 5, 8, 4, 5, 10, 6, 2, 1, 5, 1, 1, 9, 6, 4, 7, 6, 7, 3, 9, 6, 7, 3, 10, 1, 8, 3, 7, 10, 8, 9, 7, 6, 1, 4, 7, 1, 6, 2, 9, 5, 10, 2, 10, 5, 9, 1, 8, 6, 5, 10, 10, 8, 1, 10, 1, 5, 5, 5, 1, 2, 3, 8, 6, 4, 8, 1, 3, 10, 8, 8, 4, 6, 2, 7, 9, 7, 9, 8, 9, 1, 7, 5, 2, 7, 8, 10, 4, 3, 6, 2, 1, 8, 5, 1, 10, 4, 2, 10, 10, 2, 3, 5, 8, 5, 7, 5, 3, 1, 1, 5, 3, 8, 3, 8, 7, 2, 8, 2, 5, 8, 1, 10, 6, 9, 8, 10, 7, 2, 9, 8, 6, 7, 1, 9, 2, 8, 5, 7, 7, 6, 8, 4, 1, 4, 8, 7, 8, 9, 1, 6, 7, 2, 9, 8, 10, 1, 3, 8, 10, 1, 4, 1, 2, 8, 2, 10, 10, 4, 7, 10, 4, 3, 5, 3, 6, 10, 10, 1, 8, 2, 5, 7, 8, 3, 9, 8, 10, 1, 3, 5, 6, 7, 9, 9, 10, 4, 5, 3, 8, 10, 1, 10, 7, 8, 1, 1, 2, 10, 6, 6, 4, 2, 4, 7, 8, 3, 4, 6, 4, 5, 1, 5, 8, 6, 10, 3, 10, 3, 2, 7, 4, 8, 7, 4, 6, 10, 1, 7, 10, 1, 7, 2, 2, 7, 4, 2, 5, 10, 1, 7, 3, 1, 2, 1, 5, 9, 4, 2, 9, 6, 1, 1, 9, 4, 4, 9, 2, 10, 4, 9, 7, 6, 9, 8, 9, 5, 2, 4, 3, 2, 10, 3, 3, 1, 9, 7, 1, 5, 4, 6, 7, 10, 10, 9, 8, 5, 4, 8, 1, 3, 3, 9, 5, 3, 3, 10, 6, 5, 9, 6, 8, 9, 5, 2, 8, 6, 9, 10, 6, 5, 10, 3, 8, 1, 3, 1, 4, 8, 10, 9, 5, 4, 8, 2, 9, 10, 1, 3, 6, 7, 6, 9, 2, 4, 8, 5, 3, 7, 3, 3, 9, 10, 1, 5, 7, 10, 4, 3, 7, 5, 8, 4, 1, 5, 8, 2, 7, 3, 1, 2, 2, 10, 8, 8, 2, 1, 5, 6, 3, 6, 7, 6, 1, 5, 9, 4, 3, 9, 6, 5, 10, 2, 9, 1, 3, 8, 3, 9, 9, 10, 2, 7, 3, 5, 8, 6, 1, 2, 3, 4, 2, 2, 10, 7, 1, 10, 1, 1, 2, 5, 2, 4, 1, 2, 5, 6, 10, 4, 10, 4, 5, 9, 1, 2, 6, 3, 3, 6, 7, 2, 2, 8, 10, 5, 9, 8, 8, 8, 4, 7, 8, 6, 8, 2, 7, 2, 3, 2, 3, 6, 4, 7, 8, 10, 5, 7, 6, 7, 8, 8, 8, 3, 1, 1, 6, 10, 9, 8, 8, 9, 9, 10, 7, 6, 8, 9, 5, 3, 7, 10, 8, 10, 8, 9, 1, 7, 5, 6, 3, 10, 6, 7, 6, 4, 5, 2, 3, 1, 7, 9, 8, 6, 6, 8];
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, 39, 109, 87, 92, 37, 115, 17, 75, 100, 74, 82, 116, 41, 56, 115, 69, 97, 72, 70, 54, 105, 13, 59, 109, 44, 93, 62, 70, 42, 87, 113, 119, 54, 68, 48, 84, 23, 81, 48, 97, 53, 93, 101, 93, 76, 94, 50, 47, 43, 84, 100, 83, 97, 78, 74, 48, 47, 22, 102, 93, 21, 105, 57, 43, 118, 120, 70, 34, 77, 119, 53, 68, 109, 90, 67, 45, 36, 72, 110, 88, 65, 71, 59, 35, 106, 116, 96, 38, 26, 23, 49, 48, 65, 97, 27, 55, 12, 39, 37, 31, 25, 58, 89, 16, 94, 16, 58, 25, 99, 48, 94, 87, 75, 102, 110, 23, 35, 55, 100, 15, 98, 11, 95, 21, 21, 109, 75, 42, 43, 69, 15, 64, 104, 11, 55, 66, 114, 53, 33, 68, 98, 24, 26, 23, 63, 88, 58, 109, 120, 72, 24, 18, 43, 108, 105, 38, 65, 94, 103, 94, 117, 115, 16, 74, 19, 106, 52, 80, 92, 58, 20, 67, 67, 105, 62, 14, 115, 89, 36, 93, 115, 16, 81, 108, 101, 67, 10, 80, 15, 115, 101, 42, 88, 119, 115, 106, 63, 25, 94, 85, 77, 104, 16, 117, 109, 23, 59, 94, 59, 63, 53, 47, 67, 87, 99, 117, 99, 101, 35, 36, 96, 26, 100, 24, 107, 84, 96, 118, 64, 13, 58, 35, 46, 98, 110, 14, 23, 105, 92, 75, 58, 59, 80, 35, 91, 100, 104, 87, 47, 33, 15, 64, 45, 30, 10, 15, 86, 117, 55, 19, 38, 33, 30, 61, 37, 47, 37, 81, 115, 106, 67, 40, 92, 15, 97, 59, 42, 13, 72, 15, 47, 75, 20, 90, 18, 36, 116, 23, 92, 13, 68, 19, 16, 81, 43, 90, 12, 78, 18, 99, 118, 23, 87, 58, 70, 27, 91, 28, 11, 28, 83, 80, 37, 62, 92, 33, 38, 24, 33, 118, 106, 47, 95, 18, 102, 55, 22, 34, 52, 82, 82, 64, 41, 117, 56, 71, 109, 23, 20, 35, 43, 12, 118, 114, 108, 80, 70, 60, 38, 27, 69, 60, 94, 97, 27, 82, 15, 38, 107, 43, 95, 59, 15, 23, 116, 104, 82, 56, 76, 76, 72, 74, 27, 19, 37, 56, 63, 113, 71, 85, 30, 41, 15, 30, 15, 31, 43, 102, 103, 94, 67, 87, 116, 62, 86, 115, 43, 31, 86, 85, 59, 35, 97, 87, 88, 74, 94, 26, 76, 63, 57, 39, 112, 54, 22, 71, 86, 79, 10, 25, 76, 98, 23, 29, 42, 64, 45, 80, 110, 81, 81, 49, 104, 105, 22, 110, 88, 59, 91, 115, 65, 38, 14, 46, 101, 66, 11, 35, 34, 14, 99, 39, 40, 93, 21, 61, 85, 35, 21, 84, 38, 61, 83, 62, 19, 24, 114, 111, 58, 106, 97, 120, 43, 96, 55, 76, 41, 96, 80, 32, 37, 105, 97, 40, 104, 40, 35, 116, 55, 25, 118, 71, 57, 72, 33, 38, 106, 83, 112, 14, 120, 25, 99, 98, 58, 56, 80, 43, 88, 73, 99, 45, 67, 83, 112, 40, 35, 70, 73, 27, 110, 72, 48, 16, 17, 70, 105, 52, 81, 54, 54, 83, 83, 109, 46, 72, 58, 88, 31, 90, 88, 20, 50, 100, 44, 67, 62, 26, 36, 31, 18, 13, 108, 60, 23, 20, 39, 41, 26, 77, 94, 55, 69, 79, 99, 79, 32, 90, 77, 91, 71, 79, 66, 43, 10, 54, 11, 48, 11, 111, 10, 62, 41, 30, 38, 43, 76, 46, 93, 34, 119, 47, 89, 72, 29, 12, 46, 103, 29, 53, 57, 52, 17, 19, 34, 116, 11, 59, 104, 14, 76, 59, 97, 105, 80, 76, 91, 16, 40, 91, 31, 60, 111, 84, 57, 108, 73, 53, 92, 29, 99, 26, 81, 103, 34, 55, 72, 100, 79, 79, 54, 45, 30, 18, 47, 68, 10, 103, 33, 109, 89, 94, 108, 80, 29, 92, 51, 94, 32, 72, 34, 92, 89, 99, 56, 11, 69, 112, 91, 105, 115, 88, 44, 116, 76, 78, 77, 81, 105, 108, 99, 95, 31, 74, 53, 55, 50, 118, 115, 82, 79, 105, 67, 86, 12, 76, 10, 37, 80, 75, 29, 55, 56, 42, 113, 61, 103, 111, 115, 86, 92, 58, 108, 63, 91, 109, 90, 77, 82, 99, 96, 106, 86, 38, 28, 70, 80, 61, 107, 35, 35, 41, 109, 21, 64, 51, 108, 88, 66, 15, 29, 106, 103, 41, 89, 98, 112, 24, 12, 37, 106, 89, 58, 84, 31, 17, 46, 44, 18, 94, 12, 47, 58, 75, 120, 86, 78, 74, 41, 77, 49, 105, 97, 40, 90, 42, 59, 45, 38, 94, 76, 40, 83, 29, 87, 26, 84, 120, 27, 93, 81, 78, 102, 117, 62, 62, 29, 33, 13, 87, 82, 39, 97, 98, 118, 87, 33, 27, 30, 62, 62, 38, 18, 32, 120, 68, 41, 87, 60, 88, 76, 23, 67, 41, 104, 76, 47, 66, 109, 64, 47, 28, 69, 102, 74, 99, 62, 32, 68, 98, 21, 24, 77, 100, 88, 15, 108, 31, 28, 32, 108, 49, 103, 90, 33, 35, 11, 79, 40, 37, 68, 86, 45, 89, 33, 28, 14, 95, 48, 16, 30, 32, 68, 21, 108, 58, 18, 47, 98, 62, 77, 88, 103, 102, 98, 87, 43, 77, 83, 76, 103, 90, 88, 34, 69, 112, 88, 54, 81, 113, 98, 46, 49, 51, 53, 60, 116, 32, 96, 112, 71, 120, 69, 116, 76, 81, 83, 29, 45, 90, 78, 33, 86, 100, 62, 21, 57, 37, 24, 109, 66, 74, 71, 109, 51, 115, 102, 14, 68, 24, 97, 69, 15, 12, 91, 34, 46, 108, 44, 24, 81, 79, 44, 83, 49, 66, 16, 96, 16, 32, 88, 55, 101, 106, 107, 21, 68, 49, 39, 38, 43, 110, 120, 51, 18, 71, 46, 75, 23, 51, 111, 61, 89, 71, 36, 110, 65, 79, 104, 101, 24, 51, 32, 18, 108, 92, 94, 114, 106, 94, 29, 59, 36, 97, 65, 101, 88, 75, 61, 57, 80, 24, 120, 46, 99, 85, 101, 65, 70, 59, 29, 46, 19, 92, 12, 94, 20, 120, 64, 64, 80, 38, 33, 83, 101, 79, 14, 24, 28, 69, 76, 21, 97, 88, 16, 68, 75, 70, 63, 47, 105, 43, 84, 94, 72, 20, 26, 42, 45, 87, 32, 113, 32, 43, 33, 112, 53, 106, 62, 108, 102, 16, 92, 16, 70, 39, 70, 65, 58, 22, 78, 52, 44, 42, 108, 96, 76, 53, 80, 11, 62, 22, 54, 42, 89, 94, 100, 25, 26, 112, 47, 69, 94, 98, 95, 108, 109, 19, 58, 43, 18, 72, 35, 23, 28, 37, 101, 43, 19, 109, 29, 95, 59, 60, 100, 61, 118, 103, 38, 10, 25, 52, 90, 92, 119, 92, 35, 32, 94, 23, 20, 90, 27, 102, 18, 111, 79, 116, 113, 14, 110, 37, 113, 96, 78, 39, 93, 12, 70, 99, 93, 26, 49, 88, 31, 24, 73, 38, 64, 51, 79, 107, 52, 28, 80, 31, 15, 58, 20, 10, 100, 98, 113, 36, 28, 62, 40, 101, 73, 88, 10, 81, 40, 22, 38, 69, 16, 34, 97, 32, 30, 92, 56, 42, 15, 78, 72, 40, 63, 35, 109, 24, 40, 38, 19, 16, 88, 68, 27, 90, 35, 98, 27, 68, 38, 111, 111, 83, 80, 119, 76, 85, 45, 104, 65, 84, 29, 15, 70, 103, 77, 60, 67, 81, 26, 55, 12, 30, 68, 69, 111, 57, 59, 98, 47, 99, 89, 52, 104, 24, 59, 56, 56, 100, 27, 93, 71, 104, 51, 55, 44, 45, 54, 77, 96, 115, 67, 68, 21, 46, 45, 24, 99, 36, 47, 26, 66, 34, 18, 116, 93, 92, 110, 95, 68, 48, 31, 57, 46, 55, 46, 89, 32, 117, 100, 40, 24, 83, 57, 100, 54, 79, 13, 61, 73, 29, 10, 92, 100, 47, 106, 53, 98, 24, 96, 80, 61, 55, 21, 92, 38, 12, 20, 96, 60, 34, 87, 95, 101, 57, 11, 49, 103, 66, 104, 113, 103, 64, 116, 85, 36, 52, 106, 62, 32, 81, 106, 47, 80, 72, 116, 81, 111, 10, 91, 93, 95, 72, 98, 107, 45, 86, 82, 65, 57, 75, 30, 84, 69, 30, 16, 91, 47, 77, 91, 107, 22, 86, 50, 115, 97, 99, 84, 55, 76, 46, 62, 23, 38, 118, 78, 68, 19, 12, 98, 86, 32, 38, 26, 49, 26, 64, 12, 109, 15, 111, 70, 25, 95, 11, 106, 87, 33, 28, 118, 55, 30, 74, 82, 107, 101, 31, 37, 74, 118, 66, 96, 64, 37, 75, 107, 76, 27, 73, 102, 15, 24, 86, 80, 62, 34, 32, 11, 66, 76, 94, 60, 61, 18, 56, 25, 39, 117, 45, 106, 111, 70, 95, 75, 45, 23, 73, 13, 116, 32, 29, 22, 111, 69, 72, 53, 12, 107, 25, 119, 14, 94, 72, 65, 72, 94, 80, 70, 81, 60, 43, 88, 17, 13, 117, 13, 22, 64, 62, 41, 85, 49, 12, 68, 63, 44, 85, 58, 83, 22];