#include #include int data_10ul_kx[][350] = { {2221, 2213, 2196, 2184, 2193, 2202, 2207, 2219, 2229, 2229, 2230, 2230, 2223, 2214, 2209, 2203, 2203, 2210, 2217, 2221, 2225, 2225, 2233, 2252, 2214, 2180, 2230, 2248, 2177, 2181, 2250, 2223, 2174, 2218, 2253, 2213, 2193, 2171, 1960, 1519, 1051, 752, 580, 493, 667, 1027, 1314, 1557, 1725, 1634, 1340, 1014, 740, 558, 470, 503, 659, 852, 948, 972, 994, 927, 763, 643, 589, 521, 490, 557, 734, 973, 1207, 1460, 1668, 1694, 1610, 1536, 1433, 1264, 1164, 1222, 1306, 1363, 1465, 1568, 1569, 1481, 1407, 1359, 1264, 1175, 1207, 1308, 1368, 1443, 1570, 1656, 1644, 1591, 1530, 1427, 1302, 1243, 1263, 1284, 1287, 1334, 1410, 1427, 1409, 1449, 1516, 1523, 1511, 1529, 1509, 1410, 1335, 1338, 1337, 1280, 1270, 1343, 1384, 1406, 1494, 1586, 1609, 1626, 1626, 1569, 1450, 1307, 1235, 1227, 1206, 1223, 1333, 1439, 1456, 1496, 1593, 1604, 1558, 1571, 1591, 1526, 1416, 1355, 1311, 1221, 1167, 1227, 1315, 1374, 1470, 1600, 1675, 1679, 1680, 1686, 1631, 1523, 1433, 1357, 1253, 1165, 1182, 1280, 1369, 1462, 1597, 1692, 1680, 1646, 1642, 1599, 1510, 1456, 1447, 1407, 1314, 1273, 1307, 1325, 1360, 1468, 1562, 1583, 1606, 1640, 1653, 1621, 1569, 1550, 1512, 1406, 1320, 1308, 1305, 1303, 1411, 1585, 1654, 1646, 1651, 1624, 1529, 1454, 1455, 1467, 1432, 1410, 1435, 1420, 1372, 1403, 1497, 1553, 1563, 1579, 1590, 1562, 1538, 1560, 1572, 1543, 1516, 1470, 1390, 1331, 1332, 1381, 1466, 1562, 1630, 1655, 1649, 1625, 1590, 1553, 1513, 1517, 1642, 1876, 2169, 2476, 2713, 2829, 2837, 2765, 2643, 2528, 2473, 2482, 2550, 2684, 2829, 2933, 2999, 3020, 2994, 2954, 2926, 2907, 2899, 2935, 2985, 3037, 3137, 3197, 3186, 3172, 3101, 2933, 2729, 2501, 2263, 2108, 2076, 2125, 2237, 2383, 2501, 2563, 2573, 2530}, {2215, 2209, 2192, 2186, 2201, 2208, 2211, 2222, 2229, 2227, 2228, 2227, 2220, 2215, 2212, 2206, 2206, 2214, 2219, 2222, 2226, 2224, 2231, 2249, 2207, 2177, 2234, 2246, 2175, 2189, 2255, 2217, 2172, 2220, 2249, 2208, 2200, 2206, 2056, 1667, 1178, 808, 621, 526, 614, 947, 1256, 1477, 1703, 1707, 1408, 1065, 805, 591, 464, 496, 654, 836, 941, 981, 1005, 933, 765, 646, 596, 532, 504, 557, 692, 899, 1126, 1387, 1616, 1667, 1608, 1562, 1468, 1290, 1185, 1232, 1298, 1347, 1455, 1560, 1558, 1478, 1420, 1374, 1273, 1180, 1207, 1296, 1348, 1428, 1560, 1641, 1636, 1604, 1549, 1439, 1311, 1247, 1262, 1281, 1284, 1331, 1405, 1419, 1404, 1449, 1509, 1507, 1505, 1542, 1521, 1420, 1346, 1341, 1334, 1283, 1276, 1343, 1373, 1387, 1477, 1569, 1595, 1622, 1636, 1588, 1473, 1328, 1246, 1228, 1199, 1216, 1328, 1424, 1435, 1482, 1582, 1590, 1551, 1575, 1597, 1536, 1442, 1384, 1330, 1232, 1170, 1216, 1293, 1352, 1451, 1582, 1656, 1666, 1672, 1682, 1639, 1543, 1458, 1387, 1279, 1179, 1180, 1260, 1338, 1435, 1576, 1673, 1668, 1645, 1646, 1603, 1522, 1473, 1460, 1419, 1330, 1284, 1305, 1312, 1342, 1451, 1547, 1573, 1596, 1626, 1640, 1613, 1572, 1560, 1525, 1424, 1343, 1323, 1300, 1283, 1384, 1555, 1641, 1652, 1660, 1634, 1538, 1457, 1455, 1464, 1426, 1409, 1441, 1427, 1374, 1397, 1486, 1544, 1565, 1585, 1590, 1556, 1525, 1545, 1567, 1553, 1532, 1489, 1407, 1336, 1319, 1356, 1441, 1545, 1622, 1656, 1654, 1627, 1591, 1555, 1513, 1494, 1581, 1793, 2078, 2393, 2661, 2810, 2839, 2782, 2665, 2539, 2466, 2467, 2529, 2651, 2803, 2921, 2990, 3015, 2991, 2947, 2912, 2896, 2891, 2919, 2978, 3030, 3116, 3199, 3199, 3174, 3126, 2985, 2788, 2570, 2331, 2145, 2084, 2120, 2217, 2356, 2482, 2551, 2567, 2530}, {2224, 2220, 2203, 2185, 2193, 2204, 2204, 2214, 2227, 2227, 2227, 2230, 2225, 2215, 2209, 2205, 2203, 2209, 2217, 2221, 2225, 2225, 2231, 2251, 2221, 2179, 2221, 2253, 2185, 2171, 2246, 2235, 2173, 2207, 2256, 2218, 2194, 2222, 2163, 1886, 1438, 993, 699, 537, 497, 724, 1083, 1334, 1591, 1767, 1592, 1231, 959, 725, 503, 451, 576, 741, 862, 948, 1015, 987, 847, 719, 649, 571, 514, 527, 605, 761, 972, 1237, 1512, 1646, 1640, 1619, 1559, 1384, 1225, 1219, 1263, 1288, 1384, 1519, 1560, 1503, 1456, 1427, 1330, 1208, 1190, 1258, 1303, 1367, 1502, 1615, 1638, 1632, 1608, 1512, 1367, 1266, 1248, 1258, 1256, 1298, 1384, 1419, 1405, 1442, 1513, 1513, 1492, 1530, 1538, 1448, 1365, 1354, 1350, 1298, 1273, 1329, 1361, 1357, 1429, 1538, 1579, 1608, 1646, 1631, 1535, 1387, 1281, 1241, 1194, 1178, 1276, 1391, 1412, 1447, 1563, 1603, 1554, 1567, 1610, 1565, 1469, 1415, 1373, 1270, 1174, 1193, 1266, 1308, 1388, 1531, 1631, 1654, 1672, 1697, 1671, 1584, 1499, 1433, 1327, 1201, 1163, 1224, 1291, 1371, 1522, 1653, 1671, 1651, 1663, 1635, 1551, 1494, 1477, 1439, 1351, 1293, 1305, 1307, 1312, 1405, 1522, 1564, 1587, 1622, 1642, 1621, 1582, 1580, 1562, 1465, 1370, 1341, 1309, 1256, 1316, 1490, 1608, 1645, 1675, 1674, 1585, 1481, 1459, 1467, 1423, 1392, 1429, 1441, 1385, 1380, 1463, 1529, 1554, 1584, 1602, 1570, 1525, 1532, 1559, 1556, 1549, 1523, 1450, 1369, 1326, 1329, 1392, 1496, 1587, 1640, 1657, 1645, 1613, 1577, 1538, 1495, 1512, 1659, 1913, 2223, 2529, 2748, 2844, 2836, 2747, 2613, 2501, 2459, 2484, 2573, 2717, 2859, 2955, 3009, 3015, 2981, 2938, 2908, 2894, 2898, 2942, 2997, 3060, 3156, 3203, 3188, 3163, 3077, 2907, 2697, 2459, 2227, 2094, 2081, 2145, 2268, 2415, 2524, 2571, 2565, 2508}, {2200, 2196, 2189, 2199, 2215, 2221, 2227, 2231, 2228, 2224, 2222, 2218, 2214, 2211, 2210, 2210, 2213, 2218, 2222, 2225, 2226, 2223, 2232, 2243, 2205, 2186, 2236, 2240, 2185, 2201, 2247, 2215, 2188, 2223, 2239, 2215, 2200, 2100, 1765, 1285, 883, 606, 439, 493, 796, 1218, 1616, 1805, 1714, 1468, 1118, 729, 506, 466, 500, 643, 871, 1029, 1046, 991, 911, 775, 625, 551, 538, 533, 564, 675, 893, 1148, 1361, 1549, 1660, 1621, 1518, 1437, 1345, 1233, 1207, 1303, 1397, 1455, 1518, 1549, 1500, 1403, 1328, 1287, 1232, 1201, 1275, 1392, 1463, 1536, 1628, 1662, 1611, 1527, 1434, 1331, 1249, 1235, 1284, 1325, 1341, 1379, 1436, 1446, 1436, 1476, 1529, 1527, 1504, 1496, 1446, 1356, 1311, 1328, 1337, 1308, 1313, 1375, 1418, 1462, 1546, 1612, 1628, 1623, 1579, 1492, 1366, 1237, 1198, 1223, 1238, 1291, 1405, 1485, 1500, 1541, 1598, 1585, 1554, 1556, 1542, 1475, 1378, 1310, 1269, 1214, 1199, 1279, 1380, 1455, 1547, 1644, 1681, 1671, 1662, 1643, 1573, 1468, 1369, 1287, 1210, 1171, 1230, 1357, 1467, 1558, 1650, 1691, 1654, 1607, 1589, 1550, 1481, 1436, 1418, 1373, 1300, 1282, 1329, 1377, 1445, 1541, 1591, 1594, 1602, 1614, 1624, 1603, 1550, 1519, 1466, 1360, 1289, 1292, 1321, 1382, 1521, 1662, 1689, 1648, 1612, 1556, 1479, 1430, 1436, 1452, 1429, 1407, 1419, 1412, 1406, 1469, 1559, 1596, 1586, 1572, 1559, 1539, 1534, 1561, 1568, 1537, 1492, 1420, 1341, 1312, 1350, 1441, 1550, 1631, 1664, 1657, 1627, 1590, 1553, 1515, 1490, 1556, 1758, 2048, 2371, 2646, 2803, 2841, 2785, 2664, 2535, 2459, 2460, 2531, 2658, 2808, 2926, 2991, 3007, 2977, 2934, 2901, 2887, 2895, 2928, 2987, 3038, 3102, 3189, 3204, 3142, 3057, 2946, 2792, 2619, 2429, 2245, 2150, 2156, 2219, 2326, 2441, 2511, 2533, 2513}, {2247, 2243, 2223, 2198, 2194, 2195, 2192, 2201, 2217, 2223, 2230, 2238, 2234, 2223, 2217, 2210, 2202, 2204, 2211, 2215, 2220, 2224, 2223, 2221, 2220, 2232, 2245, 2213, 2193, 2237, 2240, 2175, 2182, 2246, 2224, 2154, 2022, 1677, 1199, 819, 554, 389, 479, 807, 1201, 1578, 1781, 1703, 1486, 1192, 817, 544, 475, 476, 530, 722, 921, 982, 983, 984, 907, 739, 611, 569, 518, 477, 593, 851, 1118, 1383, 1624, 1753, 1736, 1618, 1489, 1369, 1235, 1167, 1234, 1345, 1395, 1447, 1536, 1540, 1448, 1378, 1340, 1267, 1205, 1254, 1369, 1440, 1500, 1612, 1684, 1632, 1536, 1459, 1360, 1252, 1219, 1253, 1282, 1302, 1355, 1434, 1480, 1490, 1524, 1576, 1563, 1494, 1458, 1426, 1335, 1272, 1302, 1327, 1303, 1321, 1403, 1471, 1500, 1560, 1649, 1661, 1596, 1535, 1451, 1318, 1222, 1204, 1229, 1256, 1298, 1392, 1491, 1529, 1557, 1622, 1645, 1580, 1531, 1528, 1451, 1323, 1264, 1252, 1213, 1203, 1298, 1421, 1487, 1551, 1659, 1714, 1685, 1664, 1652, 1568, 1440, 1336, 1253, 1181, 1161, 1235, 1369, 1489, 1577, 1662, 1719, 1694, 1634, 1611, 1571, 1466, 1383, 1364, 1320, 1259, 1275, 1360, 1433, 1482, 1558, 1624, 1615, 1588, 1607, 1613, 1577, 1545, 1514, 1455, 1360, 1279, 1282, 1340, 1407, 1521, 1660, 1702, 1645, 1608, 1586, 1509, 1437, 1431, 1440, 1403, 1367, 1385, 1417, 1432, 1487, 1587, 1626, 1589, 1568, 1572, 1551, 1532, 1552, 1565, 1524, 1454, 1393, 1338, 1315, 1371, 1471, 1556, 1626, 1668, 1664, 1638, 1611, 1570, 1513, 1498, 1596, 1807, 2094, 2412, 2677, 2834, 2886, 2840, 2722, 2585, 2494, 2470, 2508, 2616, 2762, 2889, 2981, 3032, 3034, 3001, 2961, 2929, 2906, 2915, 2956, 3003, 3089, 3181, 3192, 3142, 3077, 2960, 2775, 2581, 2379, 2188, 2097, 2118, 2191, 2303, 2435, 2526, 2559, 2549}, {2224, 2212, 2190, 2190, 2201, 2203, 2211, 2225, 2228, 2228, 2233, 2230, 2222, 2217, 2211, 2205, 2206, 2213, 2218, 2222, 2225, 2224, 2221, 2217, 2214, 2232, 2248, 2206, 2193, 2249, 2237, 2167, 2195, 2249, 2208, 2189, 2236, 2180, 1893, 1477, 1093, 753, 469, 397, 617, 987, 1386, 1728, 1830, 1641, 1311, 973, 686, 479, 411, 522, 705, 850, 967, 1054, 1033, 892, 752, 677, 588, 500, 499, 568, 702, 955, 1261, 1527, 1675, 1691, 1662, 1579, 1403, 1256, 1232, 1258, 1273, 1358, 1488, 1524, 1491, 1474, 1439, 1344, 1245, 1229, 1278, 1315, 1371, 1497, 1607, 1632, 1632, 1614, 1514, 1373, 1282, 1256, 1250, 1254, 1301, 1376, 1415, 1426, 1473, 1533, 1533, 1515, 1536, 1527, 1432, 1345, 1335, 1324, 1289, 1302, 1356, 1384, 1382, 1449, 1565, 1605, 1610, 1640, 1607, 1494, 1385, 1297, 1239, 1205, 1202, 1283, 1381, 1415, 1470, 1582, 1627, 1577, 1579, 1613, 1545, 1452, 1409, 1351, 1251, 1191, 1221, 1288, 1333, 1408, 1544, 1632, 1647, 1670, 1701, 1672, 1593, 1516, 1433, 1310, 1199, 1170, 1218, 1292, 1395, 1542, 1657, 1674, 1665, 1677, 1648, 1560, 1495, 1465, 1403, 1327, 1298, 1313, 1325, 1348, 1446, 1560, 1584, 1576, 1601, 1603, 1584, 1594, 1596, 1568, 1487, 1387, 1340, 1300, 1267, 1342, 1504, 1611, 1640, 1672, 1674, 1589, 1509, 1490, 1468, 1419, 1393, 1412, 1414, 1374, 1385, 1484, 1558, 1579, 1604, 1614, 1569, 1525, 1533, 1561, 1556, 1532, 1513, 1454, 1370, 1329, 1340, 1404, 1510, 1601, 1649, 1665, 1654, 1623, 1587, 1547, 1501, 1515, 1659, 1912, 2221, 2527, 2751, 2861, 2864, 2777, 2642, 2520, 2464, 2478, 2559, 2694, 2833, 2943, 3011, 3026, 3002, 2963, 2923, 2899, 2900, 2936, 2985, 3044, 3142, 3206, 3184, 3118, 3027, 2882, 2698, 2500, 2295, 2148, 2113, 2157, 2249, 2376, 2483, 2539, 2549, 2512}, {2241, 2239, 2220, 2205, 2203, 2199, 2198, 2207, 2216, 2222, 2231, 2236, 2231, 2225, 2219, 2211, 2207, 2210, 2214, 2217, 2221, 2223, 2235, 2250, 2214, 2192, 2240, 2245, 2182, 2193, 2246, 2215, 2181, 2223, 2245, 2198, 2089, 1822, 1424, 1048, 718, 496, 494, 686, 1036, 1482, 1770, 1732, 1536, 1286, 922, 595, 481, 500, 565, 718, 914, 1030, 1020, 951, 882, 768, 624, 552, 536, 518, 569, 755, 1030, 1295, 1496, 1648, 1719, 1646, 1507, 1411, 1330, 1227, 1213, 1326, 1416, 1446, 1497, 1533, 1484, 1384, 1320, 1294, 1247, 1223, 1313, 1439, 1506, 1577, 1665, 1674, 1585, 1477, 1381, 1289, 1223, 1227, 1287, 1334, 1354, 1407, 1484, 1507, 1496, 1534, 1573, 1525, 1455, 1427, 1378, 1308, 1295, 1335, 1357, 1332, 1347, 1430, 1488, 1523, 1594, 1651, 1634, 1581, 1508, 1409, 1291, 1196, 1193, 1247, 1279, 1333, 1453, 1546, 1556, 1583, 1638, 1617, 1554, 1526, 1493, 1401, 1292, 1247, 1248, 1228, 1247, 1361, 1474, 1534, 1605, 1685, 1700, 1670, 1650, 1611, 1519, 1397, 1290, 1224, 1187, 1197, 1302, 1457, 1561, 1623, 1688, 1714, 1657, 1596, 1576, 1520, 1428, 1376, 1360, 1323, 1279, 1313, 1411, 1479, 1528, 1589, 1608, 1590, 1593, 1609, 1619, 1584, 1518, 1477, 1416, 1310, 1262, 1320, 1405, 1479, 1601, 1703, 1683, 1625, 1591, 1546, 1475, 1419, 1423, 1436, 1396, 1366, 1401, 1439, 1472, 1550, 1623, 1621, 1582, 1561, 1551, 1537, 1534, 1547, 1541, 1502, 1446, 1381, 1333, 1348, 1427, 1521, 1603, 1656, 1666, 1650, 1626, 1593, 1544, 1497, 1525, 1682, 1943, 2259, 2560, 2769, 2867, 2861, 2769, 2633, 2518, 2468, 2487, 2575, 2712, 2848, 2953, 3015, 3025, 3001, 2961, 2920, 2900, 2904, 2941, 2995, 3052, 3147, 3218, 3202, 3124, 3009, 2846, 2645, 2457, 2282, 2151, 2133, 2194, 2286, 2400, 2499, 2540, 2534}, {2221, 2208, 2194, 2201, 2209, 2212, 2221, 2228, 2227, 2227, 2226, 2222, 2215, 2211, 2210, 2210, 2214, 2219, 2223, 2224, 2224, 2222, 2218, 2216, 2214, 2232, 2250, 2208, 2196, 2251, 2239, 2173, 2201, 2249, 2208, 2190, 2228, 2203, 2007, 1650, 1279, 948, 637, 476, 565, 852, 1252, 1644, 1830, 1702, 1390, 1051, 752, 529, 445, 538, 716, 858, 975, 1060, 1036, 893, 755, 681, 602, 534, 535, 573, 650, 851, 1130, 1408, 1596, 1647, 1658, 1617, 1455, 1307, 1276, 1278, 1272, 1348, 1474, 1507, 1481, 1471, 1446, 1369, 1276, 1246, 1277, 1297, 1342, 1466, 1583, 1620, 1639, 1643, 1562, 1416, 1304, 1258, 1240, 1243, 1294, 1373, 1413, 1425, 1473, 1531, 1527, 1510, 1535, 1533, 1450, 1368, 1350, 1332, 1298, 1315, 1369, 1388, 1374, 1419, 1527, 1577, 1590, 1636, 1630, 1541, 1444, 1341, 1265, 1212, 1187, 1261, 1361, 1392, 1447, 1564, 1617, 1579, 1578, 1610, 1556, 1479, 1444, 1392, 1293, 1216, 1225, 1280, 1314, 1377, 1509, 1603, 1623, 1654, 1687, 1667, 1613, 1557, 1489, 1378, 1253, 1194, 1210, 1253, 1342, 1494, 1626, 1661, 1662, 1682, 1659, 1576, 1519, 1492, 1428, 1351, 1318, 1323, 1326, 1337, 1424, 1540, 1575, 1572, 1593, 1590, 1572, 1588, 1602, 1590, 1523, 1427, 1375, 1319, 1259, 1311, 1463, 1577, 1629, 1680, 1690, 1613, 1534, 1504, 1478, 1425, 1395, 1417, 1423, 1380, 1380, 1468, 1543, 1576, 1612, 1625, 1580, 1530, 1525, 1549, 1553, 1541, 1535, 1490, 1410, 1353, 1330, 1366, 1469, 1568, 1632, 1665, 1661, 1635, 1608, 1571, 1519, 1490, 1562, 1767, 2067, 2396, 2665, 2822, 2868, 2814, 2693, 2559, 2470, 2460, 2525, 2649, 2792, 2913, 2994, 3017, 2998, 2964, 2917, 2888, 2894, 2919, 2976, 3034, 3097, 3188, 3223, 3171, 3068, 2930, 2754, 2565, 2387, 2227, 2149, 2172, 2243, 2345, 2451, 2515, 2529, 2506}, {2225, 2208, 2191, 2194, 2201, 2204, 2216, 2226, 2229, 2233, 2234, 2228, 2221, 2216, 2210, 2206, 2208, 2214, 2219, 2225, 2231, 2230, 2224, 2219, 2216, 2232, 2243, 2204, 2202, 2251, 2229, 2173, 2209, 2246, 2204, 2190, 2168, 1944, 1546, 1180, 842, 524, 408, 559, 907, 1338, 1656, 1760, 1678, 1409, 1029, 733, 569, 467, 494, 667, 828, 923, 999, 1024, 962, 825, 698, 638, 564, 489, 514, 650, 862, 1148, 1443, 1660, 1742, 1704, 1630, 1511, 1334, 1221, 1232, 1280, 1316, 1401, 1504, 1515, 1476, 1449, 1404, 1319, 1243, 1247, 1318, 1371, 1438, 1572, 1664, 1654, 1616, 1555, 1432, 1299, 1234, 1232, 1246, 1271, 1332, 1417, 1470, 1493, 1539, 1587, 1566, 1515, 1496, 1450, 1347, 1291, 1311, 1319, 1314, 1342, 1398, 1438, 1456, 1528, 1620, 1637, 1619, 1602, 1526, 1400, 1300, 1240, 1221, 1220, 1248, 1346, 1444, 1483, 1545, 1640, 1652, 1589, 1575, 1567, 1475, 1385, 1335, 1284, 1226, 1207, 1268, 1367, 1429, 1504, 1621, 1678, 1668, 1675, 1682, 1625, 1530, 1439, 1340, 1235, 1173, 1194, 1289, 1397, 1505, 1627, 1704, 1695, 1668, 1660, 1610, 1512, 1441, 1402, 1339, 1281, 1281, 1336, 1395, 1451, 1545, 1619, 1606, 1587, 1600, 1593, 1581, 1578, 1556, 1515, 1424, 1327, 1303, 1311, 1340, 1456, 1608, 1672, 1662, 1669, 1645, 1555, 1486, 1455, 1425, 1387, 1362, 1379, 1402, 1407, 1469, 1584, 1631, 1615, 1607, 1591, 1546, 1520, 1537, 1555, 1538, 1506, 1469, 1401, 1342, 1345, 1405, 1495, 1584, 1641, 1661, 1660, 1643, 1613, 1569, 1515, 1501, 1605, 1832, 2137, 2457, 2708, 2857, 2898, 2838, 2713, 2577, 2484, 2465, 2526, 2645, 2782, 2908, 2996, 3030, 3029, 2998, 2947, 2915, 2903, 2918, 2970, 3021, 3104, 3197, 3216, 3158, 3056, 2911, 2723, 2527, 2336, 2178, 2118, 2150, 2231, 2348, 2461, 2529, 2550, 2527}, {2248, 2234, 2209, 2201, 2201, 2198, 2202, 2212, 2218, 2225, 2231, 2234, 2231, 2226, 2220, 2213, 2209, 2210, 2214, 2220, 2225, 2225, 2236, 2249, 2216, 2199, 2239, 2238, 2189, 2201, 2238, 2211, 2191, 2222, 2227, 2141, 1904, 1547, 1186, 813, 501, 437, 601, 913, 1345, 1707, 1777, 1611, 1355, 1034, 711, 509, 470, 553, 685, 826, 966, 1040, 991, 899, 826, 715, 598, 543, 521, 528, 654, 902, 1199, 1468, 1633, 1717, 1727, 1612, 1448, 1350, 1287, 1227, 1250, 1359, 1432, 1460, 1498, 1508, 1453, 1364, 1303, 1280, 1261, 1278, 1376, 1493, 1573, 1636, 1679, 1643, 1527, 1401, 1309, 1244, 1212, 1235, 1302, 1359, 1400, 1468, 1542, 1558, 1549, 1564, 1552, 1477, 1395, 1352, 1322, 1293, 1303, 1353, 1380, 1373, 1406, 1490, 1553, 1585, 1632, 1651, 1593, 1506, 1411, 1314, 1232, 1183, 1211, 1290, 1346, 1414, 1530, 1608, 1609, 1613, 1629, 1589, 1516, 1466, 1417, 1328, 1242, 1229, 1258, 1278, 1335, 1450, 1551, 1607, 1654, 1693, 1689, 1651, 1605, 1542, 1441, 1313, 1222, 1197, 1210, 1273, 1409, 1556, 1635, 1675, 1710, 1701, 1636, 1571, 1525, 1456, 1372, 1320, 1309, 1306, 1318, 1396, 1507, 1569, 1591, 1610, 1604, 1580, 1579, 1593, 1592, 1545, 1475, 1421, 1357, 1286, 1296, 1400, 1505, 1579, 1655, 1698, 1665, 1607, 1566, 1524, 1453, 1396, 1394, 1394, 1359, 1361, 1435, 1516, 1576, 1628, 1649, 1616, 1563, 1535, 1533, 1533, 1528, 1530, 1513, 1461, 1403, 1362, 1356, 1417, 1514, 1590, 1642, 1667, 1659, 1642, 1617, 1568, 1514, 1508, 1615, 1844, 2154, 2473, 2721, 2867, 2902, 2833, 2705, 2571, 2481, 2467, 2532, 2653, 2788, 2914, 3000, 3032, 3031, 2999, 2943, 2912, 2901, 2918, 2976, 3030, 3115, 3207, 3219, 3156, 3052, 2904, 2710, 2515, 2327, 2174, 2124, 2163, 2246, 2364, 2473, 2533, 2548, 2520}, {2225, 2213, 2195, 2193, 2202, 2206, 2214, 2225, 2230, 2232, 2234, 2232, 2225, 2218, 2213, 2208, 2208, 2214, 2220, 2225, 2228, 2228, 2225, 2221, 2218, 2231, 2244, 2213, 2201, 2243, 2235, 2182, 2200, 2241, 2214, 2196, 2213, 2107, 1779, 1392, 1054, 687, 431, 453, 707, 1109, 1522, 1762, 1760, 1557, 1212, 863, 635, 492, 457, 594, 779, 892, 982, 1040, 995, 867, 745, 670, 596, 520, 505, 574, 731, 986, 1285, 1554, 1702, 1716, 1679, 1588, 1417, 1276, 1249, 1268, 1289, 1364, 1468, 1504, 1484, 1464, 1428, 1351, 1270, 1251, 1294, 1341, 1400, 1519, 1630, 1656, 1642, 1604, 1494, 1352, 1261, 1230, 1230, 1251, 1307, 1390, 1453, 1488, 1536, 1582, 1575, 1532, 1504, 1465, 1376, 1308, 1314, 1324, 1317, 1341, 1386, 1418, 1432, 1490, 1587, 1625, 1624, 1628, 1573, 1459, 1351, 1269, 1228, 1214, 1226, 1309, 1409, 1459, 1520, 1617, 1654, 1607, 1585, 1584, 1508, 1415, 1367, 1316, 1249, 1220, 1259, 1334, 1395, 1465, 1575, 1650, 1657, 1664, 1680, 1646, 1570, 1493, 1406, 1292, 1200, 1188, 1252, 1343, 1453, 1583, 1678, 1693, 1676, 1671, 1636, 1551, 1476, 1431, 1365, 1294, 1280, 1324, 1378, 1434, 1527, 1608, 1607, 1580, 1585, 1577, 1567, 1578, 1575, 1545, 1471, 1374, 1327, 1309, 1314, 1408, 1556, 1643, 1658, 1673, 1671, 1597, 1525, 1493, 1453, 1395, 1362, 1367, 1379, 1385, 1444, 1561, 1635, 1635, 1625, 1604, 1549, 1510, 1520, 1542, 1538, 1519, 1497, 1442, 1376, 1353, 1380, 1452, 1549, 1621, 1654, 1663, 1652, 1630, 1597, 1545, 1497, 1528, 1687, 1952, 2276, 2579, 2792, 2894, 2884, 2785, 2646, 2529, 2469, 2484, 2575, 2706, 2837, 2951, 3016, 3030, 3021, 2977, 2924, 2905, 2902, 2935, 2999, 3060, 3154, 3224, 3205, 3120, 3000, 2835, 2634, 2443, 2266, 2145, 2132, 2192, 2288, 2408, 2503, 2542, 2539}, {0}, }; int data_10ul_one5ul_kx[][350] = { {2228, 2283, 2315, 2315, 2285, 2242, 2202, 2172, 2160, 2168, 2190, 2217, 2241, 2256, 2259, 2250, 2234, 2219, 2208, 2203, 2205, 2212, 2220, 2225, 2227, 2230, 2230, 2228, 2226, 2224, 2221, 2218, 2218, 2218, 2220, 2223, 2227, 2228, 2213, 2127, 1899, 1609, 1316, 914, 525, 426, 632, 1011, 1456, 1738, 1712, 1514, 1244, 926, 683, 574, 537, 598, 775, 978, 1225, 1510, 1716, 1843, 1905, 1852, 1751, 1658, 1524, 1443, 1485, 1540, 1622, 1748, 1798, 1795, 1792, 1728, 1647, 1606, 1534, 1496, 1554, 1598, 1643, 1708, 1681, 1638, 1658, 1636, 1617, 1660, 1652, 1637, 1695, 1719, 1725, 1782, 1822, 1917, 2153, 2412, 2645, 2849, 2937, 2908, 2841, 2749, 2660, 2640, 2673, 2732, 2828, 2933, 3033, 3102, 3125, 3087, 2949, 2815, 2706, 2535, 2375, 2242, 2104, 2053, 2096, 2160, 2246, 2339, 2384, 2387, 2364}, {2260, 2297, 2301, 2277, 2241, 2203, 2174, 2165, 2173, 2192, 2216, 2238, 2249, 2249, 2241, 2227, 2212, 2204, 2203, 2208, 2217, 2225, 2228, 2229, 2227, 2222, 2218, 2218, 2218, 2218, 2218, 2218, 2220, 2221, 2221, 2208, 2116, 1852, 1527, 1211, 791, 472, 437, 699, 1212, 1649, 1784, 1678, 1395, 1028, 742, 579, 546, 649, 762, 898, 1108, 1305, 1510, 1721, 1798, 1787, 1768, 1673, 1582, 1559, 1503, 1511, 1625, 1681, 1738, 1811, 1771, 1708, 1673, 1596, 1552, 1569, 1548, 1570, 1649, 1662, 1674, 1696, 1629, 1591, 1620, 1601, 1626, 1693, 1684, 1696, 1743, 1730, 1748, 1834, 1949, 2179, 2482, 2715, 2871, 2929, 2869, 2772, 2685, 2623, 2634, 2706, 2791, 2894, 2974, 3032, 3097, 3094, 3036, 2978, 2873, 2720, 2531, 2301, 2101, 2008, 2014, 2093, 2222, 2340, 2408, 2423, 2387, 2317}, {2268, 2306, 2306, 2277, 2236, 2195, 2167, 2161, 2175, 2200, 2226, 2245, 2253, 2249, 2236, 2220, 2208, 2201, 2202, 2208, 2216, 2224, 2229, 2230, 2228, 2226, 2222, 2219, 2217, 2215, 2214, 2216, 2219, 2222, 2223, 2209, 2102, 1826, 1513, 1172, 698, 421, 503, 750, 1228, 1705, 1775, 1622, 1389, 1013, 711, 586, 536, 626, 813, 929, 1099, 1355, 1532, 1706, 1847, 1802, 1727, 1684, 1565, 1514, 1560, 1541, 1587, 1714, 1742, 1769, 1813, 1725, 1632, 1610, 1544, 1530, 1601, 1595, 1609, 1684, 1666, 1651, 1683, 1616, 1575, 1632, 1632, 1655, 1732, 1721, 1707, 1749, 1750, 1811, 2008, 2231, 2483, 2747, 2884, 2907, 2872, 2771, 2667, 2625, 2643, 2709, 2804, 2907, 2981, 3044, 3102, 3086, 3033, 2973, 2862, 2702, 2503, 2274, 2086, 2003, 2019, 2108, 2235, 2347, 2412, 2423, 2381, 2309}, {2254, 2288, 2293, 2275, 2243, 2208, 2181, 2170, 2176, 2193, 2214, 2233, 2245, 2246, 2238, 2226, 2213, 2203, 2202, 2208, 2218, 2225, 2229, 2230, 2225, 2219, 2217, 2217, 2217, 2219, 2221, 2221, 2222, 2222, 2222, 2212, 2129, 1877, 1548, 1245, 839, 472, 465, 740, 1151, 1613, 1821, 1678, 1410, 1086, 756, 583, 566, 596, 717, 917, 1090, 1303, 1551, 1691, 1773, 1818, 1748, 1670, 1629, 1518, 1465, 1554, 1609, 1678, 1795, 1794, 1752, 1744, 1657, 1585, 1590, 1530, 1508, 1599, 1629, 1658, 1732, 1676, 1608, 1639, 1602, 1586, 1666, 1665, 1656, 1728, 1734, 1729, 1789, 1814, 1913, 2177, 2445, 2678, 2871, 2927, 2873, 2793, 2696, 2625, 2631, 2696, 2779, 2886, 2977, 3027, 3091, 3106, 3025, 2921, 2819, 2692, 2543, 2381, 2202, 2077, 2056, 2098, 2185, 2290, 2363, 2390, 2379, 2331}, {2268, 2309, 2316, 2295, 2255, 2212, 2183, 2173, 2181, 2203, 2228, 2248, 2259, 2258, 2248, 2235, 2223, 2215, 2214, 2216, 2220, 2227, 2234, 2238, 2239, 2238, 2236, 2231, 2227, 2223, 2223, 2225, 2228, 2231, 2233, 2222, 2133, 1873, 1547, 1223, 785, 471, 464, 702, 1190, 1645, 1783, 1683, 1436, 1076, 770, 594, 535, 626, 756, 885, 1104, 1332, 1524, 1731, 1828, 1792, 1762, 1685, 1574, 1550, 1522, 1505, 1617, 1704, 1743, 1817, 1805, 1716, 1668, 1604, 1537, 1554, 1560, 1558, 1637, 1681, 1678, 1708, 1665, 1592, 1611, 1612, 1614, 1689, 1708, 1690, 1738, 1748, 1746, 1836, 1968, 2163, 2458, 2711, 2858, 2925, 2890, 2787, 2700, 2642, 2633, 2696, 2783, 2881, 2973, 3031, 3097, 3111, 3029, 2919, 2814, 2681, 2525, 2365, 2189, 2067, 2054, 2101, 2183, 2290, 2366, 2391, 2381, 2336}, {2237, 2286, 2304, 2296, 2264, 2223, 2189, 2168, 2166, 2182, 2206, 2230, 2248, 2255, 2248, 2236, 2223, 2212, 2206, 2206, 2212, 2219, 2224, 2228, 2230, 2231, 2229, 2226, 2224, 2219, 2216, 2217, 2219, 2220, 2223, 2210, 2132, 1935, 1657, 1317, 829, 415, 399, 669, 1091, 1585, 1817, 1708, 1485, 1173, 828, 630, 539, 528, 676, 865, 1048, 1317, 1551, 1691, 1824, 1850, 1768, 1716, 1615, 1477, 1481, 1535, 1580, 1704, 1791, 1785, 1798, 1772, 1676, 1629, 1572, 1487, 1520, 1590, 1619, 1698, 1732, 1668, 1658, 1652, 1598, 1617, 1648, 1636, 1680, 1732, 1732, 1758, 1779, 1788, 1917, 2153, 2405, 2661, 2859, 2927, 2904, 2831, 2730, 2654, 2640, 2684, 2757, 2857, 2957, 3015, 3082, 3132, 3083, 2967, 2837, 2688, 2514, 2359, 2216, 2093, 2063, 2112, 2185, 2277, 2357, 2387, 2377, 2342}, {2242, 2286, 2301, 2290, 2260, 2222, 2190, 2171, 2170, 2186, 2210, 2232, 2246, 2251, 2245, 2232, 2220, 2211, 2207, 2210, 2216, 2222, 2227, 2230, 2231, 2229, 2227, 2224, 2221, 2218, 2217, 2219, 2223, 2225, 2225, 2207, 2115, 1902, 1606, 1234, 774, 417, 415, 733, 1172, 1600, 1813, 1704, 1434, 1123, 806, 594, 549, 586, 683, 874, 1092, 1322, 1571, 1748, 1823, 1837, 1777, 1678, 1607, 1522, 1464, 1526, 1615, 1688, 1790, 1828, 1787, 1747, 1677, 1591, 1562, 1530, 1512, 1580, 1643, 1674, 1730, 1715, 1641, 1633, 1619, 1592, 1642, 1684, 1680, 1724, 1757, 1745, 1773, 1829, 1931, 2165, 2450, 2688, 2864, 2941, 2904, 2813, 2724, 2655, 2636, 2691, 2772, 2868, 2968, 3027, 3088, 3128, 3071, 2949, 2823, 2677, 2497, 2342, 2203, 2084, 2063, 2122, 2198, 2286, 2363, 2389, 2374, 2336}, {2214, 2225, 2283, 2367, 2455, 2536, 2599, 2632, 2632, 2607, 2565, 2513, 2463, 2424, 2400, 2392, 2401, 2425, 2455, 2486, 2513, 2531, 2538, 2533, 2521, 2506, 2488, 2471, 2459, 2452, 2451, 2456, 2466, 2477, 2486, 2477, 2415, 2279, 2068, 1766, 1368, 985, 764, 725, 827, 1033, 1262, 1422, 1508, 1543, 1497, 1334, 1083, 831, 618, 431, 328, 389, 601, 898, 1246, 1591, 1871, 2058, 2140, 2114, 1997, 1812, 1614, 1458, 1351, 1298, 1308, 1364, 1437, 1524, 1614, 1690, 1736, 1742, 1722, 1689, 1646, 1595, 1551, 1509, 1481, 1490, 1534, 1589, 1648, 1700, 1736, 1760, 1782, 1817, 1895, 2032, 2220, 2437, 2650, 2824, 2940, 2997, 2996, 2947, 2872, 2801, 2742, 2707, 2712, 2750, 2821, 2925, 3011, 3051, 3053, 2990, 2834, 2614, 2371, 2136, 1948, 1843, 1826, 1878, 1987, 2132, 2280, 2400}, {2141, 2217, 2280, 2321, 2327, 2303, 2263, 2217, 2178, 2159, 2158, 2173, 2198, 2224, 2246, 2260, 2262, 2253, 2240, 2227, 2212, 2203, 2202, 2206, 2213, 2224, 2233, 2238, 2238, 2235, 2228, 2222, 2217, 2215, 2216, 2202, 2128, 1967, 1732, 1414, 987, 554, 392, 554, 880, 1291, 1601, 1664, 1589, 1407, 1116, 866, 686, 539, 530, 641, 795, 1070, 1407, 1669, 1890, 2016, 1979, 1894, 1767, 1560, 1444, 1434, 1435, 1529, 1676, 1750, 1818, 1865, 1805, 1734, 1669, 1543, 1486, 1516, 1525, 1588, 1677, 1675, 1686, 1717, 1676, 1660, 1684, 1655, 1657, 1700, 1700, 1720, 1766, 1784, 1882, 2096, 2335, 2589, 2820, 2940, 2968, 2933, 2839, 2739, 2673, 2655, 2685, 2757, 2863, 2960, 3050, 3139, 3155, 3093, 2999, 2837, 2616, 2391, 2166, 1995, 1942, 1981, 2077, 2218, 2350, 2434, 2467, 2446}, {2239, 2285, 2302, 2288, 2256, 2220, 2189, 2172, 2172, 2186, 2209, 2232, 2247, 2252, 2246, 2234, 2220, 2211, 2207, 2209, 2216, 2223, 2228, 2232, 2231, 2228, 2225, 2223, 2220, 2219, 2220, 2222, 2223, 2223, 2224, 2217, 2147, 1931, 1616, 1272, 880, 524, 422, 684, 1136, 1561, 1782, 1703, 1443, 1118, 803, 610, 568, 621, 729, 894, 1076, 1276, 1513, 1702, 1790, 1813, 1764, 1672, 1614, 1559, 1506, 1551, 1625, 1682, 1778, 1820, 1781, 1744, 1667, 1581, 1564, 1548, 1531, 1592, 1648, 1671, 1727, 1724, 1650, 1628, 1605, 1579, 1638, 1692, 1709, 1753, 1764, 1743, 1763, 1795, 1876, 2101, 2385, 2649, 2860, 2942, 2916, 2834, 2723, 2646, 2629, 2671, 2763, 2867, 2972, 3035, 3066, 3108, 3089, 2990, 2877, 2725, 2536, 2363, 2188, 2064, 2052, 2103, 2192, 2303, 2374, 2400, 2388, 2333}, {2229, 2272, 2284, 2272, 2242, 2203, 2171, 2155, 2153, 2168, 2194, 2217, 2231, 2236, 2230, 2218, 2204, 2194, 2189, 2190, 2196, 2206, 2211, 2213, 2214, 2211, 2209, 2207, 2207, 2205, 2202, 2200, 2201, 2204, 2205, 2190, 2109, 1902, 1599, 1209, 759, 449, 394, 683, 1175, 1564, 1745, 1682, 1414, 1075, 786, 580, 523, 604, 678, 826, 1076, 1292, 1521, 1747, 1808, 1781, 1755, 1645, 1557, 1546, 1477, 1480, 1607, 1663, 1728, 1811, 1769, 1691, 1651, 1565, 1517, 1543, 1510, 1526, 1625, 1645, 1671, 1722, 1637, 1566, 1601, 1576, 1596, 1696, 1702, 1691, 1740, 1727, 1719, 1796, 1896, 2093, 2400, 2659, 2835, 2925, 2906, 2801, 2703, 2636, 2608, 2655, 2747, 2849, 2948, 3015, 3082, 3117, 3061, 2936, 2800, 2652, 2475, 2317, 2181, 2068, 2045, 2105, 2185, 2270, 2343, 2368, 2350, 2312}, {2139, 2228, 2294, 2330, 2332, 2302, 2255, 2207, 2170, 2151, 2152, 2169, 2197, 2225, 2247, 2258, 2259, 2250, 2235, 2218, 2204, 2197, 2195, 2201, 2212, 2224, 2233, 2237, 2237, 2231, 2222, 2217, 2214, 2211, 2211, 2203, 2148, 1990, 1737, 1400, 941, 549, 425, 511, 818, 1260, 1560, 1644, 1605, 1422, 1132, 867, 669, 559, 542, 592, 772, 1065, 1372, 1679, 1927, 2002, 1970, 1886, 1725, 1578, 1491, 1405, 1416, 1529, 1632, 1741, 1841, 1841, 1781, 1719, 1631, 1555, 1523, 1493, 1511, 1576, 1628, 1684, 1719, 1680, 1660, 1666, 1647, 1665, 1705, 1692, 1691, 1724, 1737, 1778, 1899, 2072, 2305, 2573, 2795, 2924, 2967, 2931, 2842, 2747, 2676, 2654, 2679, 2749, 2851, 2943, 3052, 3154, 3159, 3074, 2954, 2791, 2574, 2374, 2206, 2050, 1980, 2020, 2103, 2207, 2327, 2407, 2429, 2415}, {2215, 2266, 2293, 2296, 2271, 2235, 2200, 2176, 2169, 2178, 2197, 2218, 2237, 2246, 2245, 2239, 2228, 2216, 2209, 2205, 2206, 2211, 2216, 2220, 2225, 2228, 2226, 2223, 2219, 2213, 2210, 2211, 2213, 2217, 2220, 2197, 2096, 1905, 1631, 1242, 789, 473, 461, 701, 1118, 1543, 1702, 1640, 1468, 1159, 848, 661, 558, 574, 698, 816, 991, 1265, 1508, 1723, 1891, 1879, 1788, 1714, 1588, 1507, 1525, 1512, 1546, 1673, 1742, 1787, 1837, 1769, 1662, 1609, 1539, 1506, 1552, 1566, 1588, 1664, 1686, 1690, 1707, 1643, 1583, 1606, 1619, 1656, 1735, 1743, 1727, 1751, 1747, 1773, 1915, 2114, 2363, 2650, 2852, 2936, 2941, 2864, 2751, 2670, 2632, 2655, 2731, 2834, 2943, 3013, 3081, 3144, 3116, 3028, 2917, 2735, 2519, 2318, 2121, 1997, 1998, 2068, 2177, 2308, 2398, 2427, 2412, 2356}, {2228, 2271, 2294, 2293, 2265, 2228, 2197, 2174, 2170, 2181, 2202, 2223, 2238, 2245, 2243, 2234, 2222, 2213, 2209, 2208, 2210, 2215, 2219, 2222, 2226, 2229, 2227, 2225, 2224, 2220, 2216, 2215, 2216, 2218, 2219, 2193, 2086, 1888, 1616, 1254, 797, 444, 462, 755, 1167, 1594, 1755, 1633, 1424, 1115, 800, 646, 563, 547, 698, 869, 1037, 1324, 1567, 1706, 1848, 1861, 1757, 1710, 1605, 1468, 1501, 1552, 1576, 1712, 1795, 1768, 1791, 1756, 1639, 1609, 1562, 1472, 1527, 1597, 1609, 1701, 1731, 1654, 1661, 1649, 1573, 1610, 1656, 1645, 1719, 1773, 1740, 1763, 1774, 1753, 1887, 2131, 2381, 2665, 2885, 2951, 2933, 2857, 2738, 2653, 2629, 2660, 2738, 2849, 2961, 3029, 3093, 3142, 3097, 3006, 2896, 2715, 2504, 2305, 2113, 2002, 2012, 2087, 2199, 2323, 2401, 2422, 2402, 2343}, {2471, 2524, 2541, 2535, 2510, 2470, 2434, 2413, 2407, 2418, 2441, 2466, 2485, 2495, 2492, 2479, 2465, 2453, 2445, 2446, 2452, 2460, 2468, 2473, 2474, 2471, 2469, 2468, 2467, 2465, 2463, 2463, 2463, 2465, 2466, 2446, 2347, 2158, 1894, 1530, 1090, 696, 619, 883, 1235, 1589, 1814, 1760, 1526, 1195, 798, 494, 366, 325, 398, 612, 853, 1128, 1440, 1648, 1758, 1812, 1742, 1629, 1558, 1443, 1375, 1444, 1503, 1574, 1708, 1752, 1724, 1716, 1638, 1538, 1516, 1466, 1434, 1513, 1562, 1590, 1670, 1661, 1613, 1655, 1650, 1621, 1685, 1711, 1692, 1738, 1750, 1721, 1752, 1785, 1861, 2092, 2376, 2629, 2853, 2971, 2950, 2868, 2774, 2673, 2619, 2653, 2725, 2815, 2937, 3024, 3087, 3151, 3124, 3022, 2918, 2749, 2517, 2315, 2136, 2002, 1989, 2073, 2179, 2297, 2397, 2432, 2412, 2361}, {2230, 2280, 2306, 2301, 2272, 2234, 2196, 2170, 2164, 2174, 2197, 2223, 2242, 2251, 2251, 2241, 2225, 2212, 2204, 2202, 2205, 2214, 2222, 2228, 2230, 2230, 2229, 2226, 2222, 2219, 2216, 2213, 2215, 2219, 2222, 2212, 2125, 1893, 1586, 1244, 835, 489, 428, 695, 1101, 1496, 1722, 1669, 1453, 1172, 865, 650, 579, 581, 648, 817, 1025, 1266, 1554, 1768, 1861, 1884, 1809, 1683, 1604, 1524, 1464, 1520, 1598, 1666, 1782, 1825, 1781, 1750, 1675, 1579, 1560, 1537, 1507, 1571, 1629, 1650, 1718, 1721, 1644, 1636, 1621, 1583, 1646, 1702, 1700, 1751, 1773, 1738, 1761, 1798, 1872, 2102, 2392, 2648, 2868, 2973, 2947, 2865, 2759, 2659, 2620, 2655, 2729, 2829, 2951, 3030, 3085, 3147, 3121, 3006, 2886, 2713, 2492, 2311, 2142, 2019, 2022, 2097, 2193, 2309, 2392, 2413, 2398, 2348}, {0}, }; int data_10ul_one5ul_kx2[][1000] = { {2460, 2430, 2401, 2372, 2341, 2312, 2283, 2255, 2227, 2199, 2172, 2146, 2122, 2098, 2075, 2055, 2035, 2017, 2000, 1984, 1970, 1958, 1948, 1939, 1931, 1927, 1925, 1923, 1923, 1925, 1929, 1935, 1943, 1951, 1960, 1970, 1982, 1995, 2008, 2023, 2039, 2057, 2075, 2091, 2107, 2125, 2144, 2163, 2180, 2196, 2214, 2232, 2250, 2266, 2282, 2299, 2315, 2330, 2343, 2355, 2367, 2379, 2388, 2395, 2402, 2409, 2415, 2420, 2423, 2426, 2427, 2427, 2426, 2425, 2422, 2418, 2414, 2408, 2402, 2396, 2390, 2383, 2373, 2363, 2354, 2344, 2332, 2320, 2308, 2298, 2288, 2277, 2265, 2254, 2244, 2235, 2225, 2214, 2205, 2196, 2187, 2179, 2171, 2164, 2158, 2152, 2144, 2139, 2134, 2131, 2128, 2124, 2122, 2119, 2115, 2106, 2095, 2083, 2071, 2058, 2041, 2020, 1991, 1947, 1890, 1828, 1765, 1699, 1636, 1568, 1491, 1417, 1358, 1327, 1313, 1257, 1168, 1095, 1019, 970, 982, 1001, 983, 931, 863, 810, 780, 757, 727, 691, 667, 672, 673, 663, 668, 650, 607, 573, 552, 570, 619, 634, 620, 624, 626, 622, 633, 646, 655, 662, 676, 709, 736, 748, 764, 768, 763, 780, 800, 820, 851, 872, 890, 913, 936, 969, 1005, 1039, 1078, 1117, 1162, 1212, 1257, 1311, 1384, 1433, 1448, 1477, 1513, 1557, 1631, 1702, 1757, 1794, 1811, 1839, 1887, 1930, 1965, 1989, 2015, 2051, 2083, 2112, 2158, 2174, 2150, 2143, 2147, 2156, 2192, 2219, 2217, 2200, 2173, 2156, 2152, 2138, 2114, 2092, 2073, 2061, 2042, 2021, 2024, 1999, 1924, 1862, 1825, 1797, 1799, 1801, 1779, 1743, 1693, 1648, 1623, 1598, 1566, 1537, 1515, 1500, 1484, 1467, 1464, 1443, 1390, 1356, 1343, 1333, 1348, 1360, 1347, 1330, 1313, 1302, 1305, 1311, 1312, 1312, 1319, 1332, 1348, 1364, 1399, 1419, 1397, 1387, 1404, 1424, 1470, 1520, 1548, 1562, 1567, 1576, 1603, 1633, 1654, 1672, 1697, 1728, 1760, 1792, 1840, 1862, 1838, 1827, 1842, 1861, 1905, 1951, 1969, 1971, 1961, 1951, 1960, 1974, 1973, 1966, 1966, 1975, 1985, 1991, 2010, 2016, 1989, 1982, 2003, 2028, 2065, 2108, 2131, 2148, 2166, 2186, 2220, 2259, 2291, 2322, 2363, 2413, 2458, 2486, 2520, 2561, 2586, 2622, 2684, 2730, 2756, 2788, 2837, 2876, 2896, 2919, 2963, 3006, 3025, 3046, 3083, 3112, 3130, 3150, 3170, 3180, 3192, 3210, 3223, 3230, 3245, 3260, 3258, 3251, 3259, 3273, 3269, 3254, 3247, 3246, 3238, 3229, 3227, 3222, 3210, 3198, 3196, 3186, 3162, 3139, 3130, 3118, 3087, 3059, 3041, 3021, 2986, 2945, 2909, 2876, 2837, 2787, 2737, 2695, 2654, 2602, 2547, 2499, 2453, 2408, 2358, 2307, 2263, 2222, 2179, 2133, 2091, 2055, 2019, 1985, 1953, 1923, 1898, 1875, 1852, 1832, 1815, 1803, 1795, 1789, 1784, 1782, 1782, 1784, 1789, 1797, 1808, 1821, 1835, 1851, 1870, 1890}, {2323, 2339, 2353, 2364, 2373, 2376, 2376, 2372, 2364, 2353, 2340, 2325, 2310, 2294, 2278, 2262, 2247, 2233, 2217, 2202, 2188, 2176, 2166, 2160, 2156, 2156, 2158, 2160, 2163, 2168, 2174, 2183, 2190, 2199, 2209, 2218, 2229, 2242, 2252, 2260, 2266, 2271, 2278, 2283, 2285, 2287, 2286, 2285, 2284, 2281, 2277, 2274, 2269, 2264, 2257, 2250, 2243, 2237, 2231, 2227, 2223, 2219, 2217, 2215, 2212, 2212, 2210, 2209, 2210, 2211, 2215, 2219, 2222, 2223, 2225, 2227, 2231, 2235, 2237, 2241, 2245, 2247, 2251, 2252, 2253, 2254, 2253, 2253, 2253, 2253, 2254, 2254, 2252, 2251, 2249, 2247, 2244, 2240, 2237, 2236, 2236, 2235, 2234, 2231, 2230, 2230, 2230, 2230, 2229, 2229, 2231, 2231, 2230, 2224, 2215, 2195, 2155, 2078, 1984, 1909, 1877, 1826, 1726, 1561, 1349, 1097, 854, 662, 518, 480, 510, 457, 344, 279, 202, 166, 262, 449, 666, 845, 965, 1100, 1258, 1375, 1455, 1481, 1462, 1529, 1619, 1707, 1800, 1815, 1816, 1771, 1610, 1454, 1405, 1337, 1256, 1217, 1181, 1137, 1052, 956, 889, 778, 655, 600, 555, 526, 549, 566, 576, 583, 552, 537, 549, 555, 577, 606, 652, 759, 907, 1026, 1128, 1211, 1284, 1388, 1481, 1599, 1773, 1892, 2002, 2094, 2095, 2094, 2129, 2166, 2193, 2192, 2165, 2139, 2138, 2111, 2056, 1973, 1865, 1795, 1715, 1657, 1673, 1636, 1582, 1544, 1444, 1370, 1363, 1375, 1380, 1381, 1379, 1402, 1466, 1510, 1537, 1553, 1540, 1563, 1586, 1624, 1743, 1801, 1815, 1831, 1768, 1709, 1733, 1776, 1800, 1817, 1817, 1811, 1841, 1845, 1812, 1769, 1700, 1678, 1674, 1663, 1710, 1722, 1693, 1667, 1594, 1526, 1518, 1520, 1505, 1497, 1493, 1488, 1535, 1570, 1561, 1550, 1519, 1520, 1538, 1554, 1639, 1689, 1695, 1717, 1680, 1638, 1666, 1721, 1750, 1772, 1792, 1803, 1847, 1875, 1859, 1845, 1803, 1794, 1806, 1810, 1875, 1905, 1872, 1833, 1745, 1672, 1679, 1712, 1723, 1730, 1723, 1691, 1709, 1724, 1693, 1661, 1615, 1605, 1620, 1626, 1682, 1712, 1714, 1750, 1764, 1796, 1889, 1990, 2088, 2200, 2296, 2396, 2518, 2638, 2755, 2844, 2881, 2942, 3021, 3065, 3105, 3157, 3165, 3131, 3126, 3131, 3106, 3037, 3001, 2991, 2934, 2829, 2797, 2800, 2757, 2683, 2625, 2646, 2670, 2650, 2610, 2561, 2538, 2585, 2665, 2698, 2684, 2693, 2726, 2767, 2819, 2904, 2969, 2990, 2989, 3023, 3103, 3163, 3165, 3128, 3131, 3178, 3214, 3211, 3186, 3157, 3161, 3143, 3122, 3078, 3046, 3020, 2991, 2957, 2896, 2817, 2726, 2628, 2538, 2451, 2374, 2300, 2227, 2151, 2077, 2019, 1970, 1925, 1889, 1867, 1866, 1878, 1899, 1925, 1955, 1990, 2030, 2072, 2117, 2168, 2220, 2270, 2318, 2367, 2412, 2448, 2474, 2493, 2508, 2520, 2526, 2526, 2520, 2509, 2493, 2471, 2445, 2417, 2386, 2354, 2324}, {2336, 2340, 2343, 2343, 2339, 2330, 2318, 2305, 2290, 2275, 2260, 2245, 2229, 2216, 2205, 2195, 2187, 2179, 2173, 2169, 2166, 2163, 2164, 2168, 2173, 2180, 2187, 2197, 2207, 2215, 2223, 2232, 2239, 2248, 2256, 2261, 2267, 2272, 2275, 2277, 2277, 2276, 2274, 2271, 2268, 2264, 2257, 2251, 2246, 2239, 2234, 2230, 2227, 2223, 2220, 2217, 2215, 2214, 2213, 2213, 2214, 2214, 2214, 2215, 2218, 2220, 2221, 2225, 2230, 2234, 2236, 2238, 2239, 2241, 2242, 2243, 2244, 2246, 2247, 2247, 2245, 2244, 2243, 2242, 2239, 2236, 2235, 2234, 2233, 2230, 2229, 2228, 2228, 2229, 2230, 2228, 2228, 2228, 2227, 2225, 2223, 2224, 2227, 2229, 2230, 2230, 2232, 2236, 2236, 2235, 2234, 2237, 2234, 2225, 2209, 2182, 2133, 2047, 1950, 1886, 1853, 1784, 1616, 1392, 1155, 908, 682, 468, 375, 469, 533, 433, 268, 146, 102, 204, 430, 705, 964, 1103, 1175, 1331, 1496, 1572, 1601, 1596, 1601, 1726, 1863, 1954, 1945, 1840, 1693, 1528, 1337, 1252, 1257, 1174, 1072, 1040, 1021, 941, 798, 676, 602, 512, 439, 468, 526, 567, 601, 624, 629, 622, 608, 620, 664, 716, 768, 835, 920, 1040, 1170, 1239, 1291, 1353, 1415, 1502, 1614, 1791, 1960, 2029, 2033, 1984, 1932, 1971, 2048, 2078, 2067, 2035, 1977, 1954, 1966, 1919, 1827, 1712, 1613, 1586, 1586, 1624, 1658, 1585, 1457, 1332, 1246, 1257, 1322, 1367, 1389, 1405, 1398, 1434, 1511, 1518, 1495, 1484, 1482, 1532, 1613, 1738, 1840, 1816, 1714, 1591, 1499, 1513, 1611, 1676, 1700, 1715, 1698, 1691, 1713, 1669, 1605, 1561, 1519, 1542, 1614, 1688, 1733, 1693, 1616, 1534, 1465, 1459, 1507, 1539, 1533, 1536, 1536, 1544, 1595, 1586, 1530, 1495, 1471, 1494, 1550, 1647, 1748, 1744, 1661, 1562, 1498, 1529, 1615, 1693, 1733, 1757, 1744, 1748, 1810, 1802, 1738, 1702, 1683, 1704, 1762, 1860, 1934, 1887, 1761, 1631, 1548, 1564, 1648, 1712, 1732, 1737, 1710, 1681, 1704, 1676, 1605, 1564, 1546, 1576, 1642, 1716, 1775, 1753, 1697, 1663, 1681, 1792, 1940, 2066, 2182, 2288, 2377, 2489, 2610, 2701, 2767, 2818, 2853, 2943, 3048, 3078, 3087, 3119, 3103, 3044, 3027, 2998, 2927, 2865, 2877, 2887, 2810, 2694, 2697, 2714, 2653, 2550, 2524, 2594, 2645, 2632, 2603, 2585, 2597, 2661, 2751, 2780, 2758, 2778, 2830, 2871, 2917, 3010, 3086, 3098, 3079, 3081, 3140, 3190, 3188, 3131, 3100, 3146, 3187, 3186, 3096, 3036, 2985, 2958, 2936, 2923, 2918, 2890, 2856, 2817, 2764, 2689, 2599, 2507, 2440, 2390, 2352, 2308, 2241, 2160, 2087, 2034, 2000, 1972, 1952, 1949, 1967, 1994, 2023, 2048, 2070, 2091, 2114, 2147, 2193, 2246, 2293, 2331, 2366, 2399, 2423, 2436, 2438, 2439, 2443, 2445, 2445, 2440, 2431, 2415, 2390, 2361, 2332, 2307, 2282, 2261, 2243}, {2340, 2346, 2345, 2339, 2331, 2322, 2310, 2297, 2283, 2272, 2261, 2249, 2234, 2217, 2202, 2191, 2181, 2174, 2170, 2170, 2173, 2175, 2176, 2178, 2183, 2189, 2196, 2203, 2211, 2221, 2231, 2238, 2245, 2251, 2258, 2264, 2268, 2271, 2274, 2275, 2276, 2274, 2269, 2264, 2259, 2254, 2249, 2243, 2241, 2240, 2236, 2230, 2224, 2221, 2219, 2217, 2216, 2216, 2218, 2222, 2223, 2223, 2223, 2223, 2225, 2225, 2225, 2228, 2234, 2240, 2244, 2244, 2244, 2245, 2246, 2245, 2245, 2246, 2247, 2247, 2244, 2243, 2242, 2241, 2240, 2239, 2237, 2238, 2238, 2237, 2235, 2232, 2230, 2230, 2228, 2228, 2228, 2229, 2230, 2229, 2228, 2229, 2230, 2232, 2233, 2233, 2235, 2236, 2240, 2241, 2241, 2241, 2241, 2233, 2220, 2195, 2164, 2096, 2000, 1905, 1863, 1820, 1725, 1514, 1274, 1021, 782, 573, 482, 462, 422, 330, 211, 147, 170, 240, 397, 632, 870, 1067, 1178, 1280, 1415, 1490, 1555, 1676, 1747, 1822, 1948, 1970, 1886, 1757, 1624, 1539, 1447, 1292, 1255, 1239, 1145, 1058, 983, 869, 726, 599, 554, 544, 500, 513, 586, 584, 566, 588, 586, 593, 618, 655, 732, 807, 850, 897, 941, 999, 1104, 1184, 1237, 1325, 1403, 1525, 1691, 1804, 1872, 1896, 1901, 1948, 1979, 1995, 2039, 2065, 2058, 2043, 2004, 1943, 1906, 1856, 1785, 1740, 1672, 1648, 1690, 1669, 1604, 1540, 1452, 1413, 1402, 1412, 1458, 1509, 1536, 1564, 1569, 1551, 1587, 1623, 1631, 1671, 1700, 1738, 1841, 1881, 1853, 1796, 1710, 1680, 1687, 1695, 1735, 1784, 1788, 1770, 1730, 1673, 1652, 1634, 1600, 1624, 1649, 1661, 1713, 1706, 1648, 1596, 1542, 1535, 1555, 1561, 1587, 1627, 1634, 1612, 1591, 1556, 1561, 1581, 1573, 1591, 1600, 1617, 1704, 1750, 1712, 1652, 1593, 1594, 1623, 1653, 1706, 1766, 1796, 1800, 1797, 1766, 1757, 1761, 1741, 1763, 1797, 1814, 1881, 1911, 1864, 1800, 1709, 1649, 1645, 1674, 1728, 1784, 1793, 1776, 1745, 1677, 1645, 1651, 1629, 1642, 1680, 1712, 1773, 1779, 1719, 1673, 1627, 1647, 1736, 1838, 1964, 2099, 2208, 2301, 2362, 2428, 2526, 2625, 2728, 2861, 2952, 3007, 3072, 3095, 3067, 3076, 3105, 3059, 3015, 3011, 3000, 2941, 2901, 2889, 2841, 2708, 2645, 2682, 2679, 2614, 2555, 2590, 2658, 2666, 2628, 2590, 2577, 2618, 2731, 2817, 2814, 2804, 2849, 2903, 2914, 2953, 3038, 3106, 3125, 3120, 3132, 3169, 3191, 3180, 3132, 3126, 3148, 3158, 3116, 3055, 3027, 2992, 2966, 2919, 2903, 2897, 2893, 2866, 2807, 2717, 2634, 2566, 2511, 2459, 2400, 2340, 2277, 2208, 2140, 2075, 2025, 1989, 1972, 1976, 1992, 2008, 2020, 2036, 2059, 2087, 2118, 2154, 2196, 2246, 2298, 2341, 2374, 2397, 2416, 2431, 2441, 2450, 2457, 2461, 2458, 2451, 2438, 2418, 2392, 2364, 2337, 2315, 2297, 2278, 2258, 2237}, {2332, 2343, 2350, 2356, 2359, 2357, 2349, 2338, 2323, 2307, 2288, 2272, 2256, 2242, 2229, 2217, 2205, 2192, 2182, 2173, 2165, 2160, 2156, 2156, 2160, 2165, 2171, 2179, 2187, 2196, 2203, 2211, 2220, 2228, 2238, 2247, 2255, 2262, 2268, 2272, 2274, 2277, 2278, 2278, 2278, 2275, 2273, 2268, 2262, 2257, 2251, 2246, 2241, 2235, 2229, 2225, 2222, 2220, 2218, 2214, 2210, 2210, 2210, 2211, 2212, 2212, 2215, 2217, 2220, 2223, 2227, 2229, 2232, 2234, 2236, 2239, 2241, 2244, 2245, 2246, 2247, 2247, 2247, 2246, 2246, 2245, 2244, 2243, 2243, 2243, 2241, 2240, 2237, 2235, 2232, 2231, 2229, 2228, 2227, 2226, 2226, 2227, 2227, 2226, 2226, 2227, 2229, 2230, 2230, 2233, 2237, 2239, 2237, 2222, 2199, 2168, 2134, 2080, 2013, 1951, 1916, 1849, 1731, 1505, 1261, 1036, 814, 654, 600, 558, 458, 310, 177, 124, 224, 329, 395, 567, 776, 924, 1059, 1164, 1267, 1382, 1440, 1513, 1617, 1724, 1871, 1937, 1863, 1715, 1635, 1574, 1520, 1427, 1342, 1321, 1253, 1146, 1123, 1058, 879, 735, 669, 617, 572, 556, 568, 579, 548, 533, 564, 570, 555, 551, 564, 642, 718, 748, 816, 912, 1026, 1137, 1190, 1252, 1330, 1449, 1649, 1812, 1872, 1872, 1892, 1962, 2054, 2114, 2106, 2130, 2142, 2096, 2101, 2077, 2019, 1977, 1888, 1806, 1765, 1748, 1767, 1733, 1627, 1490, 1405, 1374, 1387, 1417, 1400, 1434, 1477, 1448, 1465, 1482, 1484, 1529, 1553, 1573, 1622, 1702, 1819, 1884, 1836, 1732, 1662, 1647, 1694, 1771, 1783, 1824, 1872, 1822, 1791, 1772, 1718, 1687, 1649, 1629, 1664, 1717, 1767, 1768, 1701, 1587, 1518, 1502, 1504, 1535, 1538, 1561, 1604, 1574, 1564, 1562, 1525, 1521, 1519, 1518, 1545, 1612, 1716, 1766, 1728, 1627, 1560, 1555, 1598, 1679, 1721, 1770, 1828, 1808, 1810, 1818, 1779, 1771, 1768, 1753, 1770, 1847, 1947, 1977, 1903, 1761, 1658, 1632, 1654, 1710, 1726, 1754, 1804, 1775, 1751, 1724, 1655, 1621, 1606, 1593, 1607, 1672, 1771, 1809, 1751, 1647, 1608, 1645, 1706, 1824, 1940, 2056, 2191, 2290, 2382, 2474, 2531, 2599, 2706, 2800, 2890, 2997, 3069, 3094, 3107, 3127, 3160, 3106, 3009, 3006, 3018, 2964, 2942, 2962, 2913, 2794, 2721, 2739, 2719, 2627, 2542, 2580, 2661, 2669, 2641, 2618, 2595, 2600, 2660, 2738, 2755, 2739, 2772, 2836, 2875, 2914, 3003, 3071, 3086, 3086, 3093, 3130, 3178, 3200, 3185, 3144, 3156, 3201, 3193, 3123, 3054, 2983, 2951, 2925, 2933, 2923, 2887, 2848, 2808, 2751, 2668, 2570, 2479, 2418, 2381, 2345, 2296, 2228, 2149, 2086, 2038, 2000, 1967, 1943, 1940, 1964, 2000, 2032, 2054, 2068, 2088, 2120, 2157, 2198, 2242, 2282, 2323, 2367, 2406, 2431, 2442, 2446, 2449, 2454, 2460, 2460, 2454, 2442, 2429, 2412, 2392, 2366, 2337, 2307, 2281}, {2332, 2345, 2355, 2359, 2358, 2354, 2345, 2332, 2318, 2304, 2290, 2278, 2264, 2250, 2236, 2223, 2209, 2194, 2180, 2170, 2164, 2160, 2159, 2160, 2163, 2169, 2174, 2178, 2184, 2192, 2200, 2208, 2219, 2230, 2241, 2250, 2257, 2264, 2268, 2273, 2275, 2278, 2279, 2278, 2277, 2276, 2272, 2268, 2263, 2259, 2253, 2248, 2242, 2237, 2231, 2226, 2222, 2218, 2214, 2213, 2212, 2211, 2211, 2211, 2214, 2217, 2219, 2221, 2225, 2228, 2231, 2233, 2235, 2238, 2240, 2241, 2244, 2246, 2248, 2250, 2250, 2251, 2252, 2251, 2249, 2247, 2244, 2244, 2244, 2245, 2243, 2241, 2238, 2237, 2235, 2233, 2229, 2228, 2227, 2228, 2229, 2229, 2230, 2231, 2231, 2230, 2230, 2229, 2230, 2232, 2233, 2235, 2238, 2231, 2212, 2184, 2152, 2109, 2044, 1974, 1930, 1880, 1792, 1621, 1365, 1124, 917, 789, 672, 511, 401, 290, 177, 103, 122, 234, 351, 463, 684, 891, 999, 1103, 1190, 1300, 1457, 1563, 1654, 1762, 1846, 1883, 1872, 1730, 1618, 1620, 1563, 1483, 1412, 1353, 1300, 1187, 1077, 1040, 908, 726, 681, 656, 598, 591, 578, 556, 545, 498, 517, 565, 541, 562, 607, 644, 736, 777, 792, 880, 959, 1068, 1187, 1244, 1319, 1472, 1635, 1748, 1812, 1806, 1839, 1965, 2057, 2120, 2125, 2096, 2134, 2136, 2097, 2081, 2012, 1943, 1917, 1863, 1807, 1787, 1760, 1687, 1614, 1495, 1399, 1409, 1407, 1411, 1432, 1433, 1475, 1474, 1438, 1464, 1478, 1498, 1566, 1609, 1635, 1725, 1829, 1837, 1797, 1691, 1623, 1690, 1750, 1792, 1830, 1825, 1852, 1838, 1766, 1739, 1697, 1652, 1674, 1698, 1703, 1739, 1763, 1716, 1658, 1565, 1484, 1517, 1542, 1549, 1570, 1565, 1602, 1613, 1555, 1517, 1491, 1507, 1554, 1574, 1583, 1660, 1747, 1731, 1680, 1602, 1527, 1573, 1644, 1704, 1752, 1757, 1810, 1844, 1805, 1768, 1737, 1740, 1782, 1812, 1819, 1886, 1964, 1924, 1850, 1743, 1633, 1643, 1685, 1719, 1768, 1774, 1795, 1792, 1721, 1672, 1622, 1592, 1621, 1656, 1669, 1729, 1797, 1763, 1693, 1620, 1563, 1622, 1709, 1804, 1946, 2049, 2157, 2268, 2322, 2381, 2460, 2529, 2659, 2807, 2907, 2986, 3061, 3090, 3095, 3098, 3106, 3095, 3028, 3014, 3048, 3026, 2957, 2953, 2931, 2831, 2710, 2689, 2702, 2663, 2595, 2582, 2652, 2687, 2660, 2628, 2590, 2573, 2623, 2719, 2774, 2771, 2792, 2853, 2894, 2894, 2948, 3037, 3084, 3095, 3095, 3111, 3163, 3205, 3213, 3170, 3139, 3159, 3184, 3137, 3081, 3010, 2961, 2931, 2921, 2922, 2894, 2860, 2821, 2769, 2688, 2598, 2516, 2452, 2412, 2376, 2326, 2258, 2179, 2107, 2053, 2015, 1982, 1959, 1956, 1975, 2004, 2029, 2044, 2057, 2076, 2107, 2149, 2191, 2234, 2279, 2322, 2363, 2399, 2420, 2430, 2437, 2443, 2454, 2463, 2465, 2459, 2447, 2432, 2415, 2391, 2361, 2332, 2306, 2284, 2265}, {2171, 2200, 2231, 2259, 2288, 2319, 2346, 2372, 2394, 2410, 2421, 2427, 2428, 2424, 2419, 2410, 2398, 2386, 2372, 2356, 2337, 2317, 2296, 2274, 2251, 2231, 2212, 2196, 2182, 2168, 2157, 2146, 2138, 2132, 2128, 2127, 2128, 2131, 2138, 2147, 2157, 2168, 2179, 2193, 2205, 2216, 2227, 2238, 2249, 2260, 2271, 2281, 2290, 2296, 2301, 2307, 2309, 2309, 2309, 2307, 2306, 2302, 2297, 2293, 2288, 2280, 2273, 2267, 2258, 2249, 2241, 2232, 2226, 2221, 2214, 2209, 2205, 2201, 2200, 2199, 2197, 2197, 2199, 2202, 2205, 2208, 2215, 2222, 2225, 2229, 2235, 2239, 2242, 2247, 2250, 2252, 2256, 2261, 2264, 2265, 2266, 2269, 2270, 2268, 2267, 2267, 2266, 2265, 2263, 2259, 2257, 2256, 2251, 2235, 2215, 2188, 2152, 2111, 2066, 2022, 1991, 1936, 1853, 1715, 1508, 1286, 1167, 1058, 835, 616, 512, 410, 278, 231, 228, 224, 294, 375, 468, 590, 669, 730, 817, 911, 1015, 1126, 1258, 1376, 1453, 1491, 1540, 1566, 1553, 1584, 1599, 1563, 1588, 1591, 1526, 1504, 1473, 1381, 1308, 1228, 1123, 1025, 959, 914, 829, 730, 693, 629, 546, 503, 436, 377, 363, 324, 302, 321, 337, 368, 433, 515, 596, 689, 826, 985, 1097, 1169, 1300, 1433, 1526, 1679, 1827, 1928, 2055, 2137, 2191, 2265, 2289, 2281, 2300, 2313, 2287, 2261, 2264, 2260, 2197, 2071, 1978, 1896, 1760, 1687, 1639, 1554, 1536, 1503, 1428, 1394, 1341, 1263, 1231, 1216, 1178, 1180, 1258, 1334, 1352, 1313, 1321, 1350, 1312, 1334, 1409, 1444, 1530, 1611, 1642, 1702, 1744, 1733, 1746, 1781, 1776, 1796, 1868, 1916, 1923, 1892, 1868, 1850, 1780, 1748, 1747, 1703, 1694, 1692, 1657, 1642, 1618, 1557, 1513, 1498, 1450, 1416, 1456, 1500, 1490, 1443, 1430, 1435, 1387, 1389, 1442, 1455, 1505, 1570, 1593, 1636, 1676, 1674, 1686, 1724, 1727, 1740, 1832, 1918, 1927, 1889, 1883, 1879, 1817, 1803, 1833, 1823, 1852, 1879, 1860, 1861, 1844, 1779, 1730, 1714, 1669, 1636, 1665, 1694, 1690, 1645, 1616, 1609, 1557, 1546, 1600, 1633, 1716, 1825, 1905, 2017, 2121, 2186, 2280, 2373, 2452, 2570, 2673, 2758, 2880, 2966, 3022, 3114, 3155, 3148, 3170, 3182, 3153, 3143, 3150, 3151, 3144, 3109, 3043, 3004, 2956, 2893, 2849, 2790, 2756, 2761, 2735, 2712, 2676, 2624, 2625, 2636, 2613, 2620, 2647, 2636, 2642, 2674, 2718, 2785, 2841, 2877, 2914, 2924, 2946, 3007, 3055, 3100, 3135, 3142, 3157, 3176, 3200, 3187, 3151, 3118, 3090, 3087, 3087, 3064, 3032, 2981, 2913, 2829, 2742, 2655, 2570, 2490, 2409, 2329, 2256, 2182, 2105, 2032, 1972, 1919, 1876, 1846, 1827, 1824, 1832, 1844, 1863, 1888, 1917, 1952, 1988, 2028, 2079, 2131, 2185, 2240, 2292, 2343, 2390, 2428, 2459, 2485, 2506, 2523, 2538, 2548, 2554, 2553, 2546, 2534, 2514, 2487}, {2344, 2349, 2350, 2350, 2347, 2338, 2326, 2307, 2288, 2272, 2257, 2244, 2234, 2225, 2215, 2204, 2194, 2184, 2177, 2173, 2170, 2169, 2172, 2179, 2188, 2197, 2204, 2211, 2218, 2225, 2232, 2238, 2246, 2255, 2263, 2269, 2275, 2280, 2281, 2283, 2281, 2279, 2277, 2274, 2271, 2268, 2263, 2259, 2255, 2250, 2245, 2239, 2235, 2232, 2228, 2224, 2221, 2219, 2218, 2218, 2219, 2220, 2223, 2227, 2230, 2232, 2234, 2236, 2240, 2242, 2244, 2246, 2248, 2251, 2253, 2253, 2256, 2259, 2259, 2257, 2255, 2255, 2254, 2253, 2252, 2252, 2252, 2252, 2250, 2248, 2245, 2244, 2242, 2240, 2238, 2237, 2237, 2238, 2238, 2238, 2238, 2238, 2239, 2238, 2239, 2238, 2239, 2241, 2242, 2245, 2247, 2249, 2240, 2216, 2180, 2138, 2095, 2044, 1998, 1970, 1934, 1839, 1663, 1404, 1139, 989, 874, 693, 477, 294, 220, 193, 158, 177, 249, 330, 456, 627, 854, 1027, 1077, 1156, 1342, 1513, 1647, 1771, 1795, 1804, 1847, 1799, 1730, 1634, 1586, 1606, 1553, 1425, 1373, 1283, 1136, 1040, 972, 892, 770, 661, 652, 651, 586, 564, 560, 503, 491, 518, 553, 593, 590, 598, 678, 752, 793, 831, 872, 956, 1086, 1176, 1271, 1408, 1508, 1620, 1714, 1721, 1753, 1819, 1938, 2076, 2122, 2116, 2114, 2115, 2115, 2100, 2030, 1953, 1938, 1913, 1886, 1889, 1831, 1762, 1691, 1557, 1465, 1426, 1419, 1450, 1445, 1439, 1473, 1483, 1469, 1465, 1442, 1423, 1495, 1576, 1627, 1722, 1792, 1826, 1816, 1704, 1635, 1629, 1676, 1776, 1826, 1827, 1843, 1845, 1809, 1765, 1696, 1621, 1638, 1683, 1710, 1768, 1772, 1750, 1719, 1611, 1525, 1489, 1501, 1560, 1593, 1591, 1612, 1633, 1610, 1569, 1519, 1463, 1492, 1553, 1586, 1660, 1717, 1729, 1713, 1611, 1537, 1531, 1571, 1661, 1718, 1741, 1783, 1822, 1821, 1802, 1752, 1692, 1718, 1776, 1810, 1887, 1944, 1940, 1903, 1779, 1680, 1642, 1648, 1715, 1759, 1764, 1777, 1802, 1796, 1753, 1671, 1582, 1590, 1636, 1657, 1720, 1756, 1760, 1762, 1683, 1602, 1580, 1614, 1711, 1811, 1909, 2034, 2153, 2241, 2333, 2390, 2428, 2514, 2635, 2775, 2901, 2970, 3028, 3099, 3120, 3101, 3114, 3106, 3022, 2988, 3022, 3028, 2953, 2914, 2929, 2887, 2742, 2661, 2690, 2669, 2595, 2546, 2598, 2682, 2692, 2654, 2624, 2598, 2604, 2690, 2784, 2791, 2777, 2835, 2917, 2941, 2934, 3000, 3087, 3122, 3120, 3120, 3123, 3151, 3196, 3222, 3202, 3146, 3133, 3124, 3127, 3079, 2985, 2915, 2891, 2916, 2907, 2866, 2802, 2737, 2681, 2622, 2543, 2452, 2373, 2324, 2300, 2268, 2204, 2130, 2065, 2023, 2000, 1982, 1969, 1968, 1985, 2019, 2061, 2094, 2114, 2130, 2156, 2196, 2244, 2284, 2318, 2353, 2388, 2421, 2446, 2456, 2455, 2450, 2447, 2448, 2445, 2435, 2417, 2400, 2383, 2364, 2338, 2307, 2278, 2253}, {2526, 2535, 2544, 2554, 2563, 2567, 2562, 2551, 2538, 2525, 2512, 2496, 2481, 2472, 2465, 2458, 2446, 2435, 2424, 2413, 2402, 2394, 2388, 2388, 2391, 2395, 2399, 2403, 2408, 2413, 2417, 2421, 2426, 2434, 2443, 2453, 2462, 2470, 2480, 2487, 2489, 2488, 2488, 2487, 2486, 2485, 2483, 2485, 2485, 2482, 2476, 2469, 2463, 2458, 2453, 2448, 2446, 2445, 2444, 2442, 2439, 2436, 2437, 2436, 2436, 2435, 2436, 2436, 2438, 2439, 2440, 2443, 2448, 2452, 2453, 2455, 2457, 2458, 2459, 2459, 2459, 2463, 2466, 2466, 2464, 2463, 2464, 2466, 2464, 2463, 2461, 2459, 2458, 2456, 2454, 2454, 2454, 2455, 2454, 2454, 2452, 2452, 2450, 2448, 2446, 2446, 2447, 2450, 2452, 2452, 2452, 2453, 2452, 2438, 2414, 2377, 2330, 2271, 2215, 2186, 2185, 2161, 2064, 1841, 1561, 1346, 1287, 1197, 940, 603, 349, 298, 413, 490, 479, 535, 593, 630, 784, 1011, 1157, 1225, 1285, 1429, 1659, 1870, 1992, 2000, 1917, 1858, 1828, 1796, 1782, 1805, 1766, 1693, 1585, 1521, 1468, 1323, 1145, 1051, 983, 862, 802, 804, 773, 712, 644, 600, 573, 542, 543, 569, 570, 572, 547, 505, 507, 512, 513, 548, 615, 743, 853, 953, 1108, 1241, 1312, 1305, 1282, 1337, 1506, 1719, 1844, 1918, 1955, 1962, 2012, 2017, 1967, 1930, 1885, 1872, 1886, 1926, 1987, 1976, 1855, 1665, 1501, 1414, 1422, 1484, 1474, 1446, 1436, 1426, 1454, 1439, 1364, 1312, 1280, 1309, 1393, 1502, 1641, 1726, 1699, 1574, 1450, 1413, 1484, 1619, 1676, 1709, 1751, 1751, 1788, 1796, 1720, 1649, 1598, 1599, 1653, 1737, 1826, 1847, 1780, 1653, 1552, 1506, 1491, 1529, 1536, 1529, 1544, 1547, 1590, 1594, 1511, 1433, 1390, 1401, 1443, 1512, 1623, 1694, 1667, 1561, 1457, 1420, 1458, 1564, 1619, 1645, 1685, 1700, 1767, 1815, 1768, 1709, 1676, 1677, 1721, 1809, 1928, 1981, 1931, 1803, 1673, 1621, 1641, 1718, 1739, 1727, 1743, 1750, 1787, 1791, 1703, 1613, 1546, 1537, 1582, 1650, 1730, 1762, 1726, 1629, 1543, 1521, 1562, 1646, 1701, 1763, 1884, 2004, 2135, 2248, 2300, 2335, 2401, 2481, 2616, 2786, 2887, 2942, 3014, 3084, 3118, 3111, 3097, 3081, 3018, 3003, 3045, 3045, 2959, 2933, 2947, 2892, 2760, 2677, 2698, 2674, 2598, 2527, 2567, 2656, 2672, 2624, 2583, 2566, 2576, 2629, 2707, 2728, 2722, 2777, 2848, 2891, 2900, 2958, 3039, 3080, 3079, 3091, 3114, 3129, 3159, 3201, 3231, 3218, 3194, 3123, 3078, 3015, 2988, 2969, 2971, 2977, 2958, 2911, 2835, 2744, 2655, 2578, 2506, 2439, 2376, 2321, 2268, 2210, 2139, 2063, 1995, 1941, 1909, 1896, 1902, 1920, 1944, 1970, 2000, 2030, 2059, 2085, 2114, 2150, 2199, 2253, 2304, 2351, 2391, 2423, 2444, 2456, 2463, 2467, 2467, 2462, 2455, 2450, 2444, 2429, 2404, 2376, 2347, 2316, 2284, 2253}, {0}, }; int data_10ul_water[][350] = { {2812, 2807, 2803, 2807, 2807, 2806, 2811, 2813, 2813, 2814, 2811, 2807, 2806, 2807, 2808, 2810, 2811, 2812, 2811, 2810, 2793, 2679, 2355, 1884, 1494, 1320, 1343, 1513, 1720, 1863, 1917, 1862, 1735, 1594, 1436, 1311, 1284, 1300, 1295, 1296, 1298, 1248, 1157, 1090, 1066, 1038, 986, 970, 973, 913, 827, 825, 943, 1122, 1351, 1636, 1850, 1908, 1886, 1821, 1696, 1573, 1509, 1503, 1523, 1530, 1556, 1620, 1635, 1595, 1583, 1589, 1545, 1494, 1528, 1597, 1632, 1693, 1789, 1828, 1778, 1700, 1638, 1548, 1429, 1389, 1437, 1475, 1507, 1591, 1680, 1718, 1733, 1759, 1759, 1688, 1599, 1548, 1509, 1460, 1446, 1495, 1542, 1545, 1563, 1629, 1664, 1671, 1734, 1810, 1803, 1738, 1677, 1603, 1475, 1364, 1353, 1384, 1403, 1474, 1593, 1679, 1732, 1778, 1813, 1802, 1723, 1652, 1614, 1527, 1423, 1394, 1419, 1413, 1421, 1528, 1639, 1675, 1714, 1782, 1802, 1762, 1738, 1746, 1692, 1566, 1473, 1425, 1363, 1337, 1422, 1557, 1657, 1729, 1794, 1821, 1783, 1738, 1724, 1676, 1572, 1485, 1447, 1409, 1378, 1437, 1570, 1666, 1706, 1743, 1756, 1703, 1646, 1653, 1683, 1654, 1602, 1592, 1551, 1453, 1412, 1460, 1532, 1609, 1690, 1758, 1767, 1721, 1703, 1709, 1653, 1560, 1517, 1502, 1438, 1383, 1429, 1519, 1591, 1677, 1771, 1786, 1712, 1652, 1645, 1622, 1569, 1567, 1599, 1578, 1525, 1508, 1504, 1484, 1492, 1570, 1655, 1680, 1695, 1737, 1746, 1700, 1651, 1614, 1557, 1533, 1676, 1975, 2321, 2654, 2919, 3040, 3026, 2924, 2785, 2672, 2615, 2634, 2727, 2856, 2980, 3080, 3147, 3173, 3153, 3116, 3084, 3066, 3080, 3132, 3220, 3299, 3339, 3373, 3390, 3354, 3278, 3131, 2893, 2642, 2429, 2295, 2277, 2350, 2473, 2610, 2709, 2753, 2743, 2685}, {2809, 2810, 2804, 2801, 2805, 2805, 2806, 2811, 2812, 2810, 2809, 2808, 2806, 2805, 2807, 2808, 2808, 2808, 2807, 2807, 2790, 2657, 2305, 1830, 1454, 1295, 1330, 1510, 1725, 1866, 1916, 1865, 1735, 1594, 1441, 1305, 1262, 1283, 1278, 1262, 1271, 1244, 1156, 1082, 1064, 1039, 982, 958, 966, 914, 812, 810, 961, 1153, 1374, 1655, 1865, 1921, 1901, 1841, 1730, 1587, 1487, 1481, 1504, 1501, 1533, 1622, 1654, 1598, 1575, 1593, 1551, 1496, 1531, 1612, 1648, 1685, 1778, 1833, 1771, 1679, 1629, 1551, 1433, 1388, 1438, 1482, 1508, 1583, 1686, 1736, 1740, 1764, 1775, 1694, 1582, 1532, 1508, 1451, 1424, 1485, 1551, 1548, 1559, 1636, 1686, 1689, 1741, 1824, 1815, 1712, 1636, 1584, 1470, 1361, 1350, 1382, 1416, 1492, 1612, 1713, 1748, 1760, 1802, 1802, 1708, 1633, 1612, 1536, 1411, 1373, 1414, 1417, 1424, 1533, 1658, 1695, 1707, 1774, 1814, 1763, 1722, 1734, 1688, 1561, 1462, 1420, 1374, 1350, 1427, 1565, 1668, 1725, 1787, 1833, 1798, 1735, 1720, 1680, 1563, 1457, 1428, 1407, 1376, 1431, 1572, 1679, 1716, 1747, 1772, 1725, 1640, 1636, 1677, 1646, 1585, 1570, 1535, 1456, 1429, 1493, 1580, 1626, 1668, 1741, 1759, 1705, 1690, 1718, 1672, 1555, 1499, 1494, 1434, 1374, 1427, 1540, 1612, 1671, 1764, 1797, 1716, 1640, 1642, 1630, 1570, 1552, 1588, 1579, 1524, 1502, 1512, 1504, 1503, 1572, 1661, 1682, 1682, 1728, 1753, 1703, 1638, 1608, 1569, 1554, 1700, 2012, 2361, 2679, 2930, 3048, 3031, 2930, 2797, 2683, 2627, 2642, 2725, 2851, 2976, 3077, 3149, 3180, 3163, 3128, 3098, 3074, 3082, 3132, 3219, 3302, 3344, 3370, 3369, 3328, 3254, 3108, 2882, 2638, 2428, 2295, 2273, 2342, 2463, 2598, 2701, 2750, 2744, 2691}, {2803, 2804, 2804, 2797, 2795, 2800, 2802, 2803, 2806, 2807, 2804, 2803, 2803, 2802, 2802, 2803, 2803, 2802, 2804, 2805, 2777, 2610, 2224, 1758, 1407, 1233, 1254, 1397, 1571, 1764, 1900, 1879, 1793, 1719, 1554, 1343, 1238, 1216, 1152, 1089, 1110, 1151, 1126, 1091, 1120, 1134, 1054, 973, 950, 885, 756, 751, 945, 1172, 1377, 1655, 1922, 2003, 1952, 1908, 1842, 1663, 1479, 1443, 1457, 1403, 1405, 1525, 1604, 1602, 1626, 1680, 1666, 1575, 1553, 1625, 1646, 1629, 1703, 1808, 1770, 1655, 1635, 1614, 1480, 1384, 1435, 1491, 1465, 1508, 1670, 1765, 1737, 1763, 1831, 1756, 1593, 1531, 1522, 1439, 1371, 1430, 1517, 1525, 1544, 1656, 1748, 1748, 1769, 1849, 1842, 1706, 1601, 1569, 1475, 1335, 1311, 1384, 1416, 1445, 1578, 1738, 1776, 1767, 1840, 1870, 1749, 1630, 1588, 1506, 1381, 1330, 1375, 1411, 1418, 1510, 1671, 1740, 1737, 1800, 1877, 1821, 1719, 1711, 1687, 1536, 1397, 1384, 1387, 1339, 1388, 1574, 1700, 1706, 1768, 1881, 1863, 1762, 1731, 1705, 1569, 1418, 1375, 1376, 1354, 1396, 1554, 1698, 1731, 1746, 1810, 1802, 1697, 1658, 1700, 1650, 1527, 1496, 1509, 1443, 1392, 1490, 1629, 1652, 1652, 1750, 1804, 1729, 1684, 1714, 1674, 1555, 1486, 1485, 1438, 1355, 1393, 1544, 1627, 1649, 1748, 1838, 1763, 1652, 1674, 1686, 1578, 1506, 1556, 1567, 1473, 1440, 1522, 1550, 1506, 1568, 1698, 1715, 1675, 1720, 1774, 1720, 1624, 1592, 1589, 1599, 1739, 2045, 2394, 2699, 2942, 3089, 3112, 3031, 2900, 2773, 2680, 2642, 2673, 2762, 2878, 3000, 3117, 3200, 3228, 3224, 3198, 3159, 3133, 3142, 3189, 3236, 3274, 3317, 3345, 3334, 3271, 3119, 2888, 2638, 2415, 2266, 2220, 2264, 2373, 2515, 2650, 2745, 2785}, {2806, 2811, 2806, 2797, 2801, 2803, 2801, 2805, 2812, 2810, 2809, 2809, 2807, 2805, 2806, 2806, 2804, 2804, 2805, 2805, 2795, 2696, 2405, 1978, 1571, 1322, 1273, 1388, 1559, 1701, 1838, 1905, 1816, 1692, 1598, 1445, 1285, 1239, 1252, 1198, 1139, 1163, 1173, 1107, 1073, 1101, 1082, 997, 940, 920, 841, 756, 848, 1086, 1320, 1559, 1817, 1975, 1971, 1894, 1809, 1691, 1545, 1453, 1450, 1466, 1464, 1511, 1609, 1648, 1610, 1605, 1633, 1589, 1524, 1561, 1640, 1666, 1697, 1777, 1816, 1734, 1628, 1591, 1528, 1412, 1380, 1441, 1478, 1516, 1617, 1733, 1788, 1784, 1787, 1773, 1662, 1522, 1479, 1480, 1416, 1385, 1484, 1564, 1559, 1604, 1716, 1767, 1753, 1785, 1837, 1773, 1627, 1546, 1505, 1405, 1319, 1350, 1423, 1464, 1537, 1671, 1771, 1788, 1798, 1829, 1790, 1672, 1580, 1535, 1454, 1349, 1338, 1407, 1445, 1484, 1604, 1726, 1757, 1762, 1811, 1834, 1766, 1692, 1675, 1610, 1463, 1369, 1365, 1368, 1397, 1512, 1665, 1751, 1768, 1811, 1852, 1798, 1711, 1677, 1629, 1491, 1369, 1365, 1389, 1402, 1496, 1663, 1761, 1753, 1754, 1784, 1733, 1634, 1630, 1661, 1599, 1518, 1506, 1490, 1437, 1446, 1553, 1650, 1675, 1703, 1763, 1769, 1714, 1694, 1703, 1629, 1498, 1447, 1445, 1388, 1357, 1465, 1615, 1683, 1727, 1800, 1809, 1704, 1624, 1640, 1620, 1533, 1511, 1547, 1530, 1483, 1491, 1542, 1560, 1561, 1628, 1708, 1703, 1679, 1726, 1760, 1674, 1571, 1553, 1572, 1667, 1917, 2267, 2606, 2878, 3045, 3087, 3024, 2896, 2761, 2668, 2633, 2665, 2760, 2882, 3000, 3107, 3187, 3213, 3196, 3166, 3125, 3101, 3114, 3172, 3245, 3294, 3333, 3359, 3347, 3297, 3177, 2967, 2716, 2482, 2308, 2237, 2267, 2368, 2506, 2640, 2734, 2774, 2755}, {2806, 2808, 2805, 2804, 2806, 2805, 2804, 2806, 2808, 2807, 2805, 2805, 2804, 2804, 2806, 2809, 2809, 2808, 2807, 2801, 2732, 2467, 2018, 1594, 1303, 1210, 1378, 1624, 1738, 1838, 1953, 1878, 1653, 1513, 1422, 1271, 1185, 1224, 1257, 1207, 1163, 1186, 1176, 1087, 1035, 1052, 1024, 934, 873, 845, 802, 836, 1032, 1319, 1584, 1788, 1933, 1987, 1905, 1756, 1653, 1578, 1476, 1424, 1479, 1537, 1536, 1570, 1646, 1647, 1588, 1575, 1600, 1572, 1533, 1596, 1705, 1740, 1741, 1776, 1755, 1655, 1566, 1518, 1470, 1407, 1405, 1493, 1567, 1599, 1682, 1802, 1827, 1760, 1724, 1687, 1560, 1444, 1443, 1471, 1444, 1453, 1555, 1628, 1613, 1640, 1743, 1788, 1764, 1776, 1784, 1690, 1553, 1481, 1444, 1376, 1336, 1398, 1500, 1557, 1621, 1742, 1821, 1796, 1774, 1791, 1731, 1586, 1494, 1473, 1409, 1336, 1374, 1480, 1532, 1565, 1677, 1787, 1778, 1750, 1788, 1788, 1716, 1655, 1622, 1544, 1408, 1339, 1388, 1441, 1474, 1598, 1765, 1804, 1766, 1801, 1835, 1749, 1639, 1605, 1553, 1414, 1325, 1382, 1465, 1500, 1600, 1761, 1803, 1732, 1715, 1734, 1682, 1621, 1633, 1644, 1575, 1489, 1470, 1476, 1462, 1500, 1631, 1724, 1710, 1710, 1768, 1763, 1682, 1653, 1651, 1558, 1439, 1409, 1427, 1404, 1420, 1572, 1729, 1756, 1747, 1768, 1733, 1645, 1605, 1623, 1603, 1531, 1514, 1559, 1535, 1459, 1487, 1583, 1595, 1578, 1659, 1740, 1718, 1689, 1736, 1739, 1616, 1514, 1549, 1670, 1877, 2208, 2580, 2871, 3033, 3076, 3020, 2892, 2750, 2656, 2632, 2671, 2768, 2894, 3014, 3108, 3175, 3201, 3180, 3146, 3108, 3089, 3108, 3170, 3252, 3309, 3346, 3365, 3351, 3300, 3186, 2983, 2733, 2497, 2322, 2248, 2278, 2381, 2519, 2649, 2736, 2768, 2743}, {2804, 2807, 2803, 2801, 2807, 2807, 2807, 2811, 2811, 2809, 2810, 2810, 2807, 2806, 2806, 2805, 2806, 2809, 2811, 2809, 2770, 2571, 2161, 1707, 1391, 1285, 1368, 1531, 1686, 1833, 1907, 1829, 1720, 1631, 1475, 1320, 1274, 1274, 1227, 1185, 1202, 1203, 1133, 1077, 1092, 1078, 1007, 973, 961, 881, 785, 814, 979, 1195, 1448, 1728, 1930, 1981, 1928, 1853, 1747, 1594, 1478, 1464, 1478, 1461, 1492, 1588, 1632, 1612, 1619, 1650, 1616, 1542, 1552, 1618, 1645, 1680, 1760, 1794, 1750, 1691, 1639, 1568, 1463, 1399, 1430, 1477, 1490, 1563, 1705, 1781, 1777, 1801, 1810, 1701, 1558, 1500, 1481, 1424, 1399, 1476, 1557, 1560, 1584, 1684, 1742, 1741, 1781, 1837, 1796, 1685, 1600, 1533, 1438, 1358, 1358, 1411, 1449, 1506, 1631, 1744, 1772, 1784, 1830, 1818, 1706, 1611, 1563, 1479, 1381, 1363, 1415, 1445, 1470, 1573, 1693, 1732, 1744, 1790, 1807, 1773, 1740, 1717, 1658, 1536, 1424, 1393, 1380, 1370, 1453, 1611, 1710, 1736, 1793, 1848, 1813, 1747, 1720, 1669, 1541, 1419, 1385, 1386, 1381, 1455, 1618, 1736, 1761, 1770, 1781, 1735, 1663, 1648, 1663, 1626, 1560, 1530, 1504, 1447, 1432, 1519, 1626, 1667, 1692, 1748, 1765, 1717, 1699, 1718, 1671, 1557, 1491, 1472, 1408, 1345, 1413, 1560, 1657, 1718, 1787, 1798, 1737, 1679, 1663, 1640, 1570, 1524, 1548, 1545, 1487, 1480, 1541, 1560, 1543, 1603, 1689, 1694, 1682, 1730, 1765, 1709, 1625, 1592, 1577, 1592, 1764, 2098, 2457, 2762, 2990, 3090, 3062, 2954, 2820, 2704, 2643, 2646, 2718, 2835, 2956, 3065, 3150, 3199, 3198, 3170, 3135, 3104, 3104, 3144, 3220, 3294, 3339, 3359, 3338, 3288, 3213, 3059, 2839, 2610, 2409, 2288, 2271, 2336, 2454, 2586, 2692, 2750, 2752}, {2805, 2807, 2800, 2797, 2803, 2803, 2801, 2806, 2809, 2808, 2809, 2810, 2807, 2806, 2805, 2803, 2804, 2806, 2809, 2808, 2781, 2617, 2237, 1769, 1422, 1278, 1312, 1472, 1652, 1786, 1867, 1863, 1776, 1662, 1515, 1356, 1270, 1244, 1195, 1154, 1172, 1186, 1138, 1101, 1119, 1098, 1028, 993, 972, 886, 781, 795, 950, 1150, 1394, 1693, 1920, 1984, 1955, 1893, 1773, 1617, 1509, 1473, 1456, 1446, 1487, 1571, 1620, 1616, 1629, 1655, 1620, 1562, 1576, 1627, 1644, 1676, 1757, 1797, 1750, 1689, 1653, 1583, 1464, 1405, 1440, 1466, 1478, 1566, 1684, 1749, 1795, 1842, 1829, 1724, 1590, 1512, 1472, 1410, 1390, 1468, 1545, 1555, 1596, 1699, 1749, 1749, 1796, 1850, 1803, 1687, 1610, 1552, 1442, 1347, 1358, 1411, 1435, 1499, 1634, 1735, 1765, 1799, 1841, 1816, 1721, 1638, 1578, 1482, 1383, 1364, 1403, 1426, 1469, 1587, 1702, 1739, 1757, 1808, 1822, 1772, 1732, 1720, 1656, 1527, 1436, 1415, 1386, 1375, 1463, 1591, 1678, 1744, 1817, 1858, 1824, 1763, 1730, 1668, 1538, 1428, 1397, 1381, 1369, 1454, 1618, 1729, 1765, 1794, 1808, 1750, 1665, 1655, 1672, 1616, 1545, 1535, 1512, 1440, 1433, 1526, 1617, 1663, 1707, 1757, 1760, 1724, 1717, 1729, 1677, 1568, 1503, 1470, 1397, 1348, 1424, 1560, 1648, 1718, 1805, 1822, 1744, 1678, 1671, 1639, 1555, 1524, 1558, 1542, 1485, 1490, 1530, 1545, 1566, 1632, 1697, 1697, 1687, 1731, 1756, 1697, 1628, 1610, 1581, 1572, 1737, 2068, 2415, 2725, 2977, 3098, 3082, 2983, 2850, 2727, 2651, 2641, 2702, 2812, 2931, 3044, 3139, 3198, 3207, 3185, 3151, 3116, 3107, 3143, 3214, 3276, 3318, 3353, 3363, 3336, 3264, 3106, 2868, 2617, 2402, 2269, 2245, 2312, 2435, 2576, 2694, 2763, 2774}, {2806, 2805, 2800, 2801, 2805, 2805, 2807, 2809, 2808, 2808, 2810, 2810, 2808, 2806, 2804, 2803, 2804, 2807, 2808, 2809, 2792, 2650, 2286, 1823, 1418, 1233, 1332, 1547, 1717, 1846, 1940, 1890, 1718, 1576, 1464, 1328, 1242, 1259, 1290, 1256, 1219, 1212, 1176, 1102, 1057, 1051, 1029, 985, 949, 911, 840, 801, 913, 1156, 1421, 1661, 1873, 1989, 1940, 1811, 1716, 1622, 1509, 1459, 1499, 1539, 1529, 1557, 1635, 1638, 1584, 1580, 1588, 1562, 1563, 1617, 1691, 1737, 1750, 1780, 1782, 1684, 1577, 1545, 1506, 1412, 1399, 1494, 1551, 1573, 1667, 1783, 1810, 1781, 1770, 1731, 1598, 1465, 1449, 1464, 1436, 1456, 1549, 1606, 1611, 1646, 1717, 1754, 1760, 1792, 1811, 1736, 1605, 1521, 1475, 1398, 1341, 1393, 1481, 1522, 1589, 1714, 1791, 1787, 1789, 1814, 1759, 1622, 1533, 1499, 1427, 1358, 1384, 1452, 1504, 1578, 1682, 1763, 1768, 1745, 1772, 1783, 1718, 1663, 1660, 1601, 1461, 1386, 1412, 1426, 1452, 1572, 1714, 1764, 1758, 1800, 1831, 1763, 1676, 1650, 1591, 1459, 1371, 1382, 1420, 1474, 1591, 1736, 1799, 1769, 1741, 1730, 1675, 1615, 1631, 1662, 1610, 1531, 1511, 1497, 1452, 1476, 1602, 1698, 1704, 1712, 1763, 1759, 1687, 1678, 1703, 1614, 1481, 1435, 1411, 1373, 1407, 1544, 1698, 1759, 1767, 1796, 1769, 1651, 1585, 1625, 1616, 1530, 1526, 1588, 1557, 1483, 1507, 1580, 1578, 1564, 1648, 1727, 1698, 1676, 1739, 1751, 1649, 1563, 1548, 1583, 1734, 2035, 2405, 2737, 2966, 3063, 3034, 2920, 2782, 2678, 2637, 2660, 2743, 2867, 2983, 3075, 3137, 3169, 3164, 3131, 3101, 3085, 3099, 3149, 3235, 3316, 3356, 3368, 3336, 3275, 3206, 3076, 2876, 2660, 2459, 2327, 2300, 2356, 2467, 2591, 2686, 2737, 2735}, {2810, 2805, 2802, 2806, 2808, 2808, 2810, 2809, 2809, 2811, 2812, 2811, 2810, 2809, 2807, 2805, 2806, 2809, 2811, 2810, 2783, 2619, 2232, 1761, 1409, 1289, 1372, 1542, 1720, 1860, 1905, 1837, 1730, 1605, 1449, 1333, 1294, 1277, 1259, 1244, 1229, 1204, 1149, 1097, 1087, 1065, 1013, 991, 976, 896, 800, 812, 948, 1149, 1417, 1713, 1921, 1975, 1928, 1851, 1733, 1588, 1499, 1476, 1468, 1485, 1539, 1607, 1640, 1622, 1613, 1621, 1586, 1545, 1573, 1634, 1660, 1696, 1775, 1801, 1741, 1677, 1629, 1552, 1454, 1415, 1453, 1486, 1507, 1594, 1708, 1759, 1784, 1819, 1795, 1691, 1579, 1507, 1463, 1427, 1433, 1493, 1551, 1578, 1619, 1687, 1728, 1737, 1777, 1825, 1787, 1689, 1614, 1541, 1445, 1380, 1385, 1425, 1452, 1511, 1633, 1727, 1758, 1792, 1821, 1792, 1720, 1648, 1578, 1486, 1399, 1379, 1413, 1441, 1489, 1603, 1708, 1733, 1743, 1788, 1796, 1750, 1723, 1711, 1650, 1540, 1458, 1431, 1400, 1390, 1481, 1612, 1688, 1736, 1798, 1826, 1793, 1752, 1724, 1657, 1545, 1450, 1404, 1380, 1390, 1487, 1639, 1744, 1772, 1787, 1783, 1714, 1640, 1641, 1655, 1616, 1574, 1566, 1529, 1453, 1443, 1535, 1621, 1660, 1706, 1741, 1730, 1714, 1725, 1734, 1685, 1583, 1513, 1469, 1386, 1344, 1431, 1567, 1656, 1734, 1820, 1815, 1722, 1661, 1651, 1614, 1551, 1545, 1578, 1552, 1500, 1513, 1548, 1544, 1552, 1617, 1672, 1677, 1694, 1743, 1752, 1706, 1652, 1607, 1558, 1570, 1746, 2063, 2417, 2747, 2989, 3080, 3044, 2933, 2797, 2688, 2639, 2658, 2740, 2858, 2975, 3074, 3139, 3173, 3174, 3144, 3115, 3099, 3110, 3156, 3237, 3310, 3349, 3362, 3330, 3277, 3212, 3073, 2869, 2648, 2442, 2317, 2295, 2352, 2465, 2591, 2689, 2743, 2742}, {2810, 2808, 2802, 2802, 2807, 2807, 2809, 2812, 2812, 2812, 2813, 2812, 2811, 2809, 2806, 2805, 2807, 2810, 2812, 2812, 2774, 2567, 2149, 1697, 1373, 1266, 1395, 1626, 1772, 1857, 1927, 1855, 1673, 1544, 1445, 1328, 1261, 1279, 1306, 1261, 1204, 1194, 1163, 1088, 1049, 1063, 1057, 988, 925, 893, 825, 801, 950, 1209, 1484, 1744, 1933, 2007, 1942, 1790, 1677, 1600, 1495, 1440, 1495, 1549, 1535, 1561, 1643, 1643, 1585, 1582, 1610, 1587, 1556, 1613, 1713, 1743, 1740, 1780, 1773, 1664, 1566, 1527, 1474, 1414, 1428, 1506, 1565, 1612, 1699, 1793, 1821, 1788, 1749, 1693, 1570, 1452, 1441, 1466, 1452, 1471, 1563, 1626, 1629, 1663, 1747, 1788, 1767, 1776, 1789, 1702, 1567, 1494, 1449, 1389, 1371, 1428, 1513, 1565, 1619, 1725, 1801, 1782, 1768, 1796, 1745, 1601, 1511, 1487, 1421, 1359, 1400, 1497, 1549, 1590, 1692, 1779, 1759, 1730, 1774, 1785, 1711, 1655, 1638, 1564, 1445, 1392, 1417, 1447, 1493, 1602, 1729, 1774, 1766, 1797, 1821, 1757, 1667, 1630, 1570, 1436, 1349, 1384, 1449, 1507, 1629, 1786, 1831, 1757, 1721, 1726, 1662, 1598, 1619, 1633, 1584, 1532, 1511, 1503, 1482, 1510, 1632, 1723, 1703, 1695, 1755, 1754, 1677, 1674, 1699, 1599, 1465, 1428, 1427, 1388, 1407, 1572, 1739, 1767, 1761, 1797, 1760, 1637, 1583, 1612, 1593, 1535, 1538, 1573, 1547, 1496, 1519, 1584, 1590, 1585, 1657, 1724, 1710, 1696, 1743, 1744, 1636, 1543, 1541, 1612, 1798, 2124, 2502, 2819, 3014, 3069, 3010, 2884, 2751, 2665, 2642, 2679, 2778, 2902, 3013, 3096, 3140, 3158, 3148, 3119, 3100, 3097, 3122, 3179, 3263, 3329, 3357, 3359, 3318, 3260, 3188, 3038, 2828, 2611, 2418, 2312, 2309, 2381, 2499, 2619, 2703, 2741, 2725}, {2816, 2814, 2814, 2815, 2812, 2809, 2809, 2811, 2811, 2809, 2809, 2809, 2808, 2808, 2810, 2811, 2812, 2812, 2812, 2810, 2780, 2650, 2380, 2033, 1702, 1464, 1336, 1294, 1297, 1350, 1465, 1590, 1670, 1715, 1747, 1732, 1650, 1542, 1436, 1299, 1138, 1017, 955, 907, 876, 902, 964, 993, 986, 980, 966, 945, 975, 1105, 1287, 1459, 1635, 1817, 1940, 1977, 1973, 1944, 1863, 1728, 1601, 1503, 1409, 1339, 1335, 1377, 1415, 1465, 1562, 1657, 1699, 1735, 1798, 1835, 1814, 1783, 1764, 1704, 1603, 1528, 1486, 1428, 1375, 1388, 1446, 1499, 1562, 1669, 1777, 1830, 1839, 1830, 1779, 1678, 1578, 1508, 1438, 1372, 1358, 1401, 1450, 1508, 1615, 1741, 1827, 1875, 1910, 1894, 1800, 1676, 1575, 1466, 1340, 1268, 1278, 1321, 1381, 1490, 1638, 1766, 1853, 1924, 1953, 1896, 1781, 1665, 1543, 1397, 1287, 1265, 1288, 1324, 1414, 1561, 1698, 1790, 1879, 1959, 1965, 1895, 1812, 1714, 1557, 1393, 1305, 1281, 1279, 1325, 1447, 1587, 1696, 1800, 1907, 1963, 1937, 1868, 1775, 1631, 1459, 1339, 1293, 1285, 1323, 1433, 1567, 1661, 1737, 1828, 1891, 1884, 1847, 1808, 1720, 1576, 1454, 1389, 1347, 1332, 1387, 1493, 1588, 1663, 1755, 1841, 1872, 1860, 1835, 1762, 1626, 1491, 1403, 1329, 1276, 1313, 1431, 1543, 1623, 1721, 1822, 1856, 1836, 1824, 1792, 1690, 1573, 1503, 1447, 1375, 1344, 1390, 1456, 1508, 1583, 1688, 1770, 1804, 1830, 1841, 1789, 1687, 1609, 1603, 1676, 1840, 2096, 2403, 2698, 2942, 3120, 3220, 3235, 3177, 3075, 2955, 2843, 2760, 2718, 2721, 2770, 2862, 2976, 3093, 3199, 3285, 3349, 3392, 3416, 3414, 3383, 3335, 3278, 3221, 3155, 3053, 2904, 2729, 2557, 2411, 2312, 2270, 2283, 2341, 2429, 2531, 2627}, {2811, 2810, 2805, 2807, 2809, 2809, 2810, 2812, 2811, 2812, 2813, 2812, 2810, 2809, 2807, 2807, 2808, 2810, 2811, 2810, 2777, 2589, 2192, 1738, 1385, 1260, 1389, 1606, 1743, 1846, 1925, 1848, 1685, 1574, 1458, 1337, 1285, 1289, 1287, 1255, 1214, 1194, 1164, 1099, 1060, 1069, 1049, 986, 938, 900, 822, 797, 942, 1195, 1461, 1716, 1926, 2013, 1943, 1807, 1713, 1617, 1501, 1456, 1479, 1493, 1521, 1585, 1641, 1648, 1614, 1602, 1616, 1588, 1557, 1614, 1702, 1726, 1735, 1785, 1769, 1660, 1581, 1550, 1487, 1416, 1428, 1508, 1556, 1590, 1692, 1795, 1815, 1795, 1773, 1699, 1568, 1469, 1448, 1445, 1440, 1479, 1562, 1619, 1635, 1677, 1749, 1774, 1769, 1792, 1794, 1701, 1574, 1504, 1457, 1389, 1364, 1426, 1506, 1547, 1617, 1737, 1795, 1781, 1789, 1792, 1715, 1617, 1551, 1492, 1420, 1367, 1398, 1481, 1532, 1591, 1703, 1779, 1762, 1746, 1783, 1774, 1703, 1661, 1642, 1561, 1443, 1401, 1434, 1452, 1486, 1606, 1728, 1759, 1767, 1808, 1810, 1749, 1689, 1640, 1556, 1442, 1372, 1383, 1433, 1504, 1631, 1774, 1818, 1772, 1746, 1733, 1666, 1608, 1625, 1635, 1575, 1518, 1510, 1500, 1473, 1518, 1645, 1721, 1709, 1713, 1735, 1718, 1700, 1711, 1698, 1608, 1488, 1428, 1404, 1368, 1404, 1568, 1727, 1769, 1780, 1810, 1761, 1646, 1601, 1623, 1590, 1524, 1534, 1576, 1540, 1486, 1528, 1595, 1590, 1594, 1665, 1711, 1702, 1711, 1745, 1729, 1640, 1562, 1542, 1598, 1781, 2099, 2471, 2795, 3006, 3076, 3026, 2905, 2772, 2680, 2644, 2670, 2763, 2884, 2996, 3084, 3134, 3158, 3156, 3132, 3114, 3106, 3123, 3173, 3253, 3318, 3350, 3360, 3326, 3269, 3201, 3056, 2845, 2628, 2430, 2312, 2300, 2365, 2482, 2607, 2699, 2744, 2736}, {2811, 2808, 2805, 2809, 2810, 2809, 2811, 2813, 2811, 2810, 2812, 2812, 2811, 2810, 2808, 2808, 2809, 2810, 2812, 2809, 2761, 2535, 2107, 1655, 1339, 1269, 1425, 1645, 1791, 1882, 1926, 1828, 1655, 1529, 1421, 1320, 1276, 1291, 1297, 1253, 1203, 1185, 1149, 1087, 1062, 1072, 1051, 986, 929, 880, 806, 808, 970, 1223, 1504, 1772, 1952, 2009, 1937, 1796, 1687, 1597, 1495, 1454, 1494, 1522, 1519, 1567, 1635, 1630, 1599, 1608, 1619, 1592, 1578, 1632, 1704, 1731, 1747, 1776, 1747, 1653, 1580, 1536, 1473, 1423, 1441, 1503, 1560, 1623, 1714, 1796, 1823, 1799, 1758, 1684, 1554, 1449, 1438, 1451, 1445, 1485, 1570, 1623, 1644, 1691, 1758, 1781, 1773, 1787, 1777, 1683, 1564, 1492, 1435, 1385, 1384, 1440, 1516, 1574, 1642, 1741, 1796, 1784, 1787, 1800, 1725, 1594, 1515, 1468, 1397, 1363, 1417, 1501, 1558, 1622, 1719, 1778, 1760, 1746, 1772, 1759, 1696, 1653, 1623, 1542, 1446, 1411, 1431, 1461, 1520, 1628, 1730, 1765, 1771, 1802, 1806, 1743, 1675, 1631, 1550, 1428, 1362, 1385, 1441, 1526, 1663, 1797, 1824, 1766, 1735, 1717, 1651, 1605, 1618, 1613, 1571, 1536, 1512, 1494, 1490, 1543, 1655, 1725, 1711, 1712, 1750, 1736, 1686, 1690, 1686, 1584, 1472, 1427, 1404, 1379, 1432, 1595, 1744, 1783, 1788, 1799, 1742, 1637, 1596, 1604, 1575, 1535, 1542, 1559, 1535, 1510, 1541, 1593, 1600, 1607, 1666, 1712, 1706, 1709, 1744, 1727, 1628, 1550, 1544, 1618, 1821, 2158, 2531, 2841, 3029, 3075, 3008, 2880, 2749, 2667, 2647, 2685, 2784, 2908, 3014, 3090, 3132, 3153, 3151, 3131, 3115, 3112, 3132, 3180, 3261, 3331, 3366, 3367, 3308, 3232, 3156, 3011, 2816, 2616, 2432, 2331, 2327, 2390, 2499, 2612, 2694, 2731, 2718}, {2811, 2811, 2807, 2806, 2808, 2808, 2811, 2814, 2814, 2813, 2812, 2808, 2807, 2808, 2809, 2809, 2811, 2813, 2813, 2810, 2781, 2607, 2221, 1769, 1408, 1267, 1380, 1591, 1741, 1847, 1927, 1862, 1698, 1576, 1473, 1352, 1279, 1287, 1297, 1253, 1209, 1190, 1152, 1104, 1084, 1082, 1065, 1011, 945, 892, 819, 784, 914, 1181, 1453, 1693, 1905, 2005, 1943, 1822, 1729, 1633, 1521, 1463, 1485, 1509, 1509, 1553, 1626, 1636, 1606, 1608, 1618, 1594, 1580, 1622, 1683, 1724, 1753, 1776, 1757, 1676, 1596, 1551, 1497, 1428, 1420, 1486, 1544, 1591, 1688, 1791, 1829, 1818, 1787, 1718, 1584, 1457, 1428, 1439, 1430, 1464, 1548, 1607, 1645, 1699, 1759, 1787, 1783, 1786, 1780, 1700, 1577, 1502, 1468, 1406, 1362, 1414, 1494, 1542, 1620, 1734, 1797, 1791, 1792, 1807, 1746, 1619, 1533, 1482, 1409, 1362, 1400, 1477, 1540, 1612, 1703, 1762, 1766, 1760, 1774, 1769, 1715, 1662, 1633, 1567, 1457, 1404, 1432, 1459, 1496, 1602, 1718, 1760, 1769, 1806, 1823, 1761, 1682, 1640, 1566, 1440, 1361, 1367, 1416, 1509, 1650, 1785, 1836, 1793, 1745, 1721, 1663, 1601, 1614, 1640, 1584, 1511, 1502, 1496, 1474, 1527, 1650, 1728, 1719, 1715, 1749, 1738, 1688, 1688, 1695, 1608, 1490, 1434, 1400, 1368, 1411, 1554, 1704, 1776, 1802, 1812, 1767, 1670, 1610, 1610, 1584, 1527, 1526, 1560, 1540, 1500, 1532, 1594, 1601, 1605, 1664, 1715, 1703, 1695, 1735, 1734, 1642, 1560, 1543, 1592, 1763, 2074, 2445, 2774, 2995, 3077, 3036, 2920, 2785, 2687, 2649, 2669, 2752, 2873, 2985, 3072, 3126, 3151, 3153, 3138, 3123, 3114, 3128, 3166, 3238, 3315, 3359, 3373, 3331, 3252, 3181, 3053, 2859, 2661, 2471, 2344, 2318, 2369, 2471, 2587, 2677, 2726, 2727}, {0}, }; int data_10ul_one5ul_water[][1000] = { {2808, 2807, 2807, 2806, 2805, 2804, 2801, 2801, 2802, 2801, 2801, 2801, 2805, 2808, 2808, 2806, 2805, 2803, 2804, 2803, 2802, 2802, 2802, 2804, 2806, 2805, 2803, 2802, 2802, 2802, 2799, 2800, 2801, 2802, 2803, 2804, 2807, 2811, 2811, 2810, 2808, 2806, 2803, 2801, 2799, 2798, 2799, 2801, 2803, 2805, 2806, 2807, 2808, 2807, 2807, 2806, 2804, 2803, 2803, 2803, 2805, 2806, 2809, 2810, 2810, 2807, 2806, 2804, 2801, 2795, 2770, 2701, 2560, 2357, 2150, 1957, 1808, 1722, 1678, 1623, 1580, 1554, 1535, 1488, 1423, 1380, 1317, 1288, 1302, 1316, 1384, 1539, 1685, 1750, 1734, 1676, 1630, 1606, 1629, 1679, 1705, 1740, 1828, 1892, 1941, 1937, 1894, 1842, 1763, 1645, 1596, 1635, 1655, 1631, 1604, 1602, 1579, 1512, 1464, 1438, 1348, 1267, 1234, 1235, 1257, 1280, 1252, 1205, 1142, 1073, 1029, 983, 956, 959, 990, 1074, 1181, 1288, 1375, 1453, 1516, 1545, 1583, 1642, 1755, 1931, 2064, 2169, 2255, 2301, 2361, 2414, 2451, 2468, 2470, 2477, 2471, 2461, 2450, 2432, 2383, 2292, 2215, 2146, 2120, 2151, 2124, 2057, 1972, 1873, 1817, 1781, 1760, 1757, 1750, 1745, 1744, 1763, 1791, 1818, 1816, 1775, 1757, 1759, 1827, 1969, 2048, 2055, 2026, 1964, 1944, 1961, 1996, 2032, 2052, 2067, 2081, 2110, 2135, 2141, 2111, 2032, 1969, 1923, 1941, 2037, 2064, 2025, 1964, 1894, 1862, 1847, 1829, 1814, 1795, 1789, 1797, 1832, 1863, 1878, 1867, 1809, 1783, 1783, 1827, 1937, 1991, 1988, 1975, 1937, 1931, 1952, 1972, 1989, 1999, 2015, 2032, 2069, 2106, 2130, 2129, 2075, 2033, 2006, 2024, 2122, 2163, 2134, 2091, 2027, 2002, 2005, 2007, 2006, 1996, 1983, 1969, 1981, 1996, 2006, 1999, 1936, 1873, 1831, 1845, 1943, 1990, 1993, 2012, 2037, 2100, 2193, 2275, 2356, 2425, 2507, 2635, 2780, 2896, 3017, 3111, 3170, 3235, 3303, 3343, 3381, 3411, 3418, 3418, 3445, 3476, 3440, 3357, 3332, 3313, 3234, 3143, 3155, 3165, 3119, 3017, 2965, 2983, 2982, 2949, 2904, 2879, 2894, 2961, 3015, 3016, 3012, 3018, 3019, 3034, 3129, 3243, 3290, 3278, 3284, 3356, 3417, 3432, 3417, 3431, 3464, 3493, 3526, 3578, 3607, 3591, 3565, 3516, 3483, 3436, 3424, 3413, 3394, 3342, 3274, 3199, 3120, 3020, 2899, 2777, 2685, 2623, 2566, 2507, 2442, 2375, 2310, 2252, 2207, 2186, 2179, 2179, 2186, 2212, 2257, 2308, 2351, 2385, 2420, 2462, 2510, 2562, 2613, 2666, 2718, 2760, 2794, 2825, 2850, 2864, 2866, 2859, 2856, 2852, 2844, 2828, 2807, 2783, 2756, 2723, 2686, 2652}, {2804, 2803, 2804, 2805, 2806, 2805, 2805, 2807, 2808, 2807, 2806, 2806, 2805, 2803, 2801, 2800, 2801, 2803, 2804, 2805, 2805, 2807, 2809, 2809, 2808, 2808, 2808, 2807, 2807, 2806, 2806, 2807, 2808, 2806, 2805, 2803, 2802, 2802, 2801, 2800, 2802, 2802, 2801, 2801, 2802, 2803, 2805, 2805, 2805, 2805, 2806, 2807, 2806, 2804, 2803, 2803, 2803, 2803, 2803, 2803, 2803, 2803, 2802, 2800, 2797, 2783, 2751, 2686, 2595, 2489, 2378, 2280, 2192, 2112, 2041, 1981, 1924, 1860, 1798, 1752, 1717, 1677, 1609, 1516, 1421, 1351, 1311, 1290, 1285, 1271, 1235, 1222, 1229, 1235, 1248, 1255, 1242, 1224, 1224, 1249, 1287, 1316, 1339, 1353, 1363, 1392, 1444, 1495, 1537, 1562, 1585, 1606, 1615, 1637, 1667, 1663, 1648, 1644, 1638, 1654, 1710, 1755, 1739, 1685, 1617, 1562, 1535, 1523, 1504, 1457, 1396, 1363, 1358, 1375, 1405, 1427, 1433, 1422, 1418, 1455, 1539, 1615, 1652, 1659, 1653, 1669, 1730, 1802, 1868, 1916, 1944, 1982, 2036, 2102, 2175, 2228, 2254, 2255, 2254, 2292, 2373, 2435, 2440, 2407, 2352, 2311, 2314, 2333, 2348, 2337, 2296, 2254, 2234, 2229, 2232, 2219, 2178, 2116, 2047, 2010, 2018, 2025, 1991, 1936, 1863, 1805, 1785, 1780, 1772, 1752, 1713, 1686, 1681, 1692, 1713, 1726, 1721, 1699, 1678, 1695, 1759, 1814, 1824, 1805, 1768, 1743, 1763, 1800, 1833, 1852, 1846, 1844, 1864, 1902, 1948, 1982, 1993, 1980, 1960, 1975, 2040, 2100, 2108, 2082, 2036, 1995, 2002, 2031, 2056, 2064, 2047, 2026, 2025, 2039, 2067, 2088, 2085, 2057, 2021, 2016, 2054, 2093, 2086, 2052, 2002, 1963, 1965, 1984, 2000, 2003, 1983, 1961, 1956, 1971, 1994, 2004, 1992, 1961, 1927, 1918, 1952, 1987, 1991, 1984, 1974, 1977, 2030, 2104, 2173, 2233, 2275, 2322, 2400, 2490, 2588, 2687, 2762, 2831, 2909, 2986, 3055, 3131, 3203, 3250, 3292, 3351, 3400, 3433, 3479, 3524, 3540, 3548, 3564, 3579, 3585, 3587, 3583, 3557, 3525, 3508, 3491, 3459, 3428, 3398, 3358, 3330, 3307, 3274, 3247, 3232, 3200, 3154, 3126, 3110, 3095, 3093, 3098, 3096, 3092, 3088, 3077, 3076, 3093, 3116, 3132, 3145, 3149, 3147, 3155, 3171, 3183, 3204, 3234, 3249, 3246, 3237, 3224, 3206, 3181, 3148, 3110, 3074, 3034, 2990, 2941, 2890, 2845, 2798, 2747, 2696, 2648, 2602, 2558, 2512, 2467, 2429, 2396, 2361, 2329, 2304, 2284, 2269, 2255, 2246, 2247, 2253, 2260, 2270, 2283, 2301, 2322, 2344, 2367, 2394, 2422, 2451, 2480, 2507, 2536, 2567, 2596}, {2792, 2789, 2789, 2790, 2791, 2791, 2790, 2790, 2791, 2791, 2791, 2791, 2791, 2791, 2793, 2793, 2793, 2793, 2792, 2793, 2791, 2791, 2792, 2794, 2795, 2795, 2795, 2794, 2793, 2792, 2791, 2792, 2792, 2794, 2794, 2793, 2792, 2792, 2791, 2789, 2788, 2787, 2788, 2788, 2788, 2789, 2791, 2793, 2795, 2794, 2793, 2792, 2791, 2790, 2790, 2790, 2791, 2793, 2794, 2794, 2793, 2791, 2788, 2783, 2768, 2709, 2593, 2387, 2134, 1914, 1779, 1711, 1651, 1557, 1477, 1454, 1449, 1433, 1388, 1318, 1263, 1326, 1447, 1536, 1574, 1606, 1645, 1667, 1680, 1704, 1690, 1655, 1643, 1688, 1757, 1786, 1743, 1701, 1786, 1863, 1805, 1621, 1432, 1382, 1436, 1459, 1465, 1487, 1470, 1405, 1386, 1381, 1318, 1197, 1159, 1211, 1239, 1264, 1352, 1408, 1381, 1306, 1221, 1189, 1197, 1199, 1203, 1221, 1250, 1301, 1357, 1380, 1386, 1392, 1432, 1530, 1618, 1704, 1814, 1910, 2016, 2103, 2137, 2173, 2205, 2243, 2276, 2288, 2295, 2309, 2326, 2316, 2270, 2207, 2146, 2103, 2046, 2001, 2024, 2039, 2018, 1952, 1848, 1774, 1765, 1793, 1808, 1803, 1806, 1847, 1929, 1980, 1973, 1927, 1902, 1935, 1957, 1971, 2040, 2093, 2117, 2101, 2032, 1986, 1983, 1993, 1989, 1981, 1981, 2000, 2036, 2042, 2008, 1956, 1908, 1909, 1902, 1896, 1962, 2019, 2020, 1969, 1867, 1795, 1790, 1814, 1821, 1821, 1825, 1849, 1912, 1937, 1910, 1859, 1822, 1849, 1874, 1888, 1952, 2003, 2024, 2018, 1965, 1922, 1929, 1955, 1970, 1980, 1994, 2025, 2075, 2087, 2059, 2021, 1988, 2009, 2025, 2020, 2069, 2118, 2123, 2087, 1995, 1935, 1943, 1985, 2003, 2005, 2004, 2014, 2057, 2069, 2031, 1981, 1937, 1946, 1955, 1939, 1987, 2035, 2035, 2009, 1969, 1974, 2056, 2172, 2285, 2397, 2485, 2589, 2726, 2851, 2951, 3008, 3060, 3154, 3251, 3318, 3385, 3419, 3388, 3378, 3397, 3385, 3316, 3268, 3262, 3222, 3136, 3110, 3108, 3041, 2936, 2933, 2981, 2972, 2908, 2852, 2867, 2922, 2964, 2983, 2981, 2986, 3025, 3128, 3221, 3232, 3189, 3233, 3316, 3353, 3318, 3340, 3441, 3532, 3550, 3527, 3509, 3476, 3439, 3448, 3510, 3561, 3517, 3459, 3386, 3319, 3250, 3220, 3227, 3226, 3202, 3165, 3112, 3022, 2905, 2808, 2746, 2705, 2663, 2612, 2557, 2502, 2446, 2393, 2345, 2313, 2299, 2303, 2325, 2358, 2391, 2416, 2434, 2457, 2489, 2525, 2562, 2599, 2638, 2684, 2724, 2750, 2761, 2766, 2769, 2772, 2772, 2766, 2761, 2753, 2741, 2724, 2700, 2675, 2650, 2624, 2601, 2582, 2567}, {2784, 2784, 2783, 2783, 2783, 2785, 2787, 2789, 2786, 2786, 2785, 2786, 2785, 2784, 2784, 2785, 2787, 2788, 2787, 2788, 2788, 2787, 2785, 2784, 2784, 2785, 2786, 2786, 2786, 2787, 2786, 2784, 2783, 2782, 2782, 2783, 2785, 2785, 2785, 2784, 2785, 2783, 2783, 2783, 2784, 2786, 2788, 2788, 2788, 2789, 2788, 2787, 2786, 2785, 2784, 2784, 2782, 2782, 2783, 2785, 2786, 2778, 2713, 2578, 2378, 2167, 1951, 1774, 1649, 1586, 1550, 1510, 1483, 1447, 1395, 1326, 1329, 1381, 1428, 1489, 1511, 1480, 1509, 1614, 1677, 1708, 1742, 1719, 1699, 1691, 1691, 1742, 1757, 1720, 1672, 1676, 1784, 1871, 1789, 1580, 1430, 1362, 1380, 1428, 1472, 1485, 1425, 1326, 1342, 1371, 1296, 1223, 1192, 1184, 1220, 1280, 1345, 1372, 1326, 1260, 1233, 1231, 1255, 1259, 1223, 1218, 1259, 1323, 1391, 1418, 1434, 1468, 1530, 1610, 1683, 1763, 1902, 2083, 2203, 2209, 2149, 2089, 2124, 2222, 2275, 2308, 2310, 2281, 2284, 2284, 2242, 2155, 2066, 1992, 1945, 1941, 2001, 2085, 2074, 1942, 1802, 1705, 1718, 1799, 1827, 1843, 1871, 1899, 1955, 1994, 1985, 1957, 1929, 1912, 1918, 1962, 2064, 2209, 2249, 2143, 1995, 1881, 1873, 1949, 1971, 1984, 2011, 2013, 2029, 2038, 1992, 1928, 1880, 1844, 1838, 1881, 1955, 2045, 2062, 1963, 1860, 1783, 1774, 1829, 1840, 1838, 1856, 1875, 1918, 1947, 1931, 1891, 1856, 1836, 1834, 1872, 1964, 2090, 2133, 2048, 1944, 1856, 1852, 1928, 1966, 1985, 2019, 2037, 2063, 2085, 2057, 2016, 1993, 1969, 1957, 1987, 2077, 2197, 2232, 2121, 1982, 1886, 1879, 1967, 2004, 2010, 2033, 2044, 2062, 2076, 2035, 1975, 1937, 1909, 1886, 1904, 1959, 2054, 2111, 2070, 2025, 2017, 2091, 2252, 2385, 2474, 2580, 2674, 2803, 2956, 3050, 3096, 3146, 3197, 3261, 3353, 3423, 3417, 3376, 3363, 3381, 3341, 3291, 3266, 3223, 3117, 3078, 3103, 3091, 2984, 2913, 2952, 2978, 2937, 2869, 2853, 2899, 2956, 2981, 2999, 3017, 3034, 3071, 3169, 3252, 3254, 3237, 3294, 3354, 3354, 3329, 3377, 3481, 3553, 3558, 3523, 3506, 3487, 3454, 3424, 3453, 3493, 3535, 3490, 3386, 3264, 3205, 3195, 3196, 3177, 3143, 3092, 3035, 2959, 2864, 2760, 2672, 2612, 2579, 2553, 2514, 2461, 2407, 2362, 2330, 2317, 2317, 2324, 2339, 2368, 2415, 2457, 2484, 2501, 2522, 2558, 2602, 2640, 2672, 2705, 2735, 2758, 2769, 2773, 2773, 2770, 2761, 2751, 2745, 2740, 2726, 2702, 2673, 2647, 2626, 2604, 2581, 2558}, {2766, 2767, 2767, 2766, 2766, 2768, 2768, 2765, 2765, 2767, 2768, 2768, 2766, 2765, 2766, 2767, 2766, 2766, 2767, 2769, 2771, 2770, 2768, 2768, 2769, 2771, 2770, 2768, 2767, 2768, 2769, 2768, 2765, 2764, 2765, 2765, 2764, 2764, 2765, 2766, 2767, 2765, 2764, 2764, 2765, 2764, 2764, 2765, 2769, 2772, 2772, 2770, 2770, 2771, 2772, 2769, 2766, 2767, 2768, 2768, 2767, 2767, 2765, 2757, 2710, 2605, 2420, 2192, 1969, 1834, 1764, 1701, 1606, 1527, 1493, 1473, 1436, 1337, 1228, 1175, 1245, 1390, 1487, 1488, 1495, 1538, 1571, 1591, 1633, 1640, 1609, 1589, 1638, 1746, 1812, 1796, 1721, 1688, 1733, 1820, 1833, 1735, 1618, 1495, 1402, 1412, 1528, 1570, 1471, 1352, 1332, 1370, 1343, 1285, 1238, 1175, 1145, 1178, 1253, 1355, 1412, 1363, 1248, 1145, 1106, 1141, 1189, 1199, 1214, 1270, 1339, 1411, 1470, 1495, 1529, 1558, 1602, 1699, 1820, 2018, 2230, 2302, 2254, 2158, 2104, 2158, 2248, 2292, 2307, 2328, 2323, 2314, 2299, 2227, 2148, 2054, 1949, 1908, 1928, 2014, 2081, 2025, 1904, 1785, 1727, 1743, 1783, 1788, 1792, 1837, 1888, 1935, 1973, 1965, 1942, 1904, 1870, 1889, 1945, 2075, 2208, 2209, 2110, 1996, 1922, 1930, 1974, 1987, 1984, 2009, 2027, 2042, 2056, 2026, 1974, 1908, 1836, 1822, 1856, 1967, 2097, 2090, 1969, 1820, 1725, 1733, 1787, 1799, 1798, 1841, 1875, 1893, 1919, 1908, 1876, 1832, 1780, 1790, 1847, 1974, 2098, 2107, 2025, 1941, 1900, 1925, 1974, 1991, 1995, 2034, 2066, 2085, 2108, 2099, 2071, 2022, 1964, 1961, 1998, 2085, 2167, 2144, 2062, 1993, 1960, 1972, 1986, 1973, 1961, 1988, 2008, 2016, 2030, 2019, 1990, 1936, 1867, 1851, 1871, 1949, 2052, 2085, 2084, 2088, 2119, 2221, 2353, 2443, 2520, 2617, 2738, 2889, 3023, 3106, 3170, 3213, 3242, 3311, 3392, 3401, 3377, 3382, 3399, 3367, 3344, 3332, 3269, 3152, 3119, 3135, 3099, 2998, 2969, 3016, 3016, 2942, 2869, 2866, 2916, 2942, 2933, 2930, 2963, 3015, 3089, 3162, 3187, 3157, 3184, 3247, 3281, 3267, 3307, 3416, 3512, 3527, 3508, 3508, 3505, 3473, 3448, 3492, 3571, 3559, 3502, 3424, 3370, 3315, 3276, 3261, 3245, 3219, 3183, 3129, 3054, 2961, 2859, 2773, 2709, 2658, 2613, 2562, 2503, 2443, 2384, 2336, 2306, 2292, 2287, 2291, 2308, 2339, 2376, 2402, 2420, 2444, 2479, 2523, 2568, 2610, 2652, 2694, 2727, 2750, 2765, 2778, 2786, 2785, 2779, 2776, 2776, 2771, 2757, 2734, 2707, 2682, 2657, 2629, 2601, 2578}, {2801, 2798, 2797, 2797, 2797, 2796, 2796, 2797, 2797, 2797, 2797, 2796, 2795, 2794, 2795, 2795, 2797, 2799, 2801, 2803, 2803, 2802, 2801, 2799, 2799, 2798, 2797, 2797, 2799, 2801, 2801, 2802, 2801, 2799, 2797, 2795, 2795, 2795, 2796, 2796, 2795, 2794, 2795, 2794, 2794, 2794, 2794, 2796, 2798, 2799, 2799, 2799, 2799, 2798, 2797, 2797, 2798, 2799, 2799, 2800, 2799, 2798, 2797, 2795, 2795, 2796, 2798, 2799, 2801, 2802, 2792, 2743, 2635, 2431, 2173, 1940, 1766, 1647, 1556, 1510, 1525, 1546, 1483, 1362, 1282, 1252, 1235, 1240, 1340, 1543, 1699, 1725, 1696, 1667, 1635, 1619, 1638, 1683, 1774, 1852, 1912, 1924, 1835, 1684, 1610, 1663, 1689, 1639, 1524, 1498, 1563, 1586, 1502, 1439, 1402, 1341, 1261, 1272, 1364, 1402, 1344, 1287, 1232, 1184, 1213, 1275, 1283, 1264, 1252, 1266, 1306, 1324, 1284, 1220, 1191, 1212, 1284, 1365, 1477, 1600, 1630, 1622, 1610, 1606, 1693, 1837, 1953, 2068, 2160, 2210, 2256, 2302, 2297, 2254, 2211, 2193, 2232, 2280, 2322, 2335, 2257, 2139, 2034, 1936, 1895, 1890, 1890, 1907, 1907, 1888, 1892, 1906, 1878, 1830, 1808, 1824, 1884, 1954, 2036, 2111, 2092, 2016, 1938, 1863, 1876, 1940, 1983, 2022, 2044, 2034, 2040, 2053, 2010, 1933, 1892, 1889, 1933, 1992, 2067, 2141, 2111, 2011, 1903, 1805, 1792, 1850, 1886, 1918, 1934, 1922, 1923, 1927, 1877, 1803, 1762, 1760, 1812, 1885, 1957, 2018, 2001, 1924, 1857, 1794, 1800, 1856, 1894, 1935, 1969, 1986, 2012, 2031, 2003, 1951, 1930, 1944, 1995, 2056, 2104, 2154, 2142, 2092, 2039, 1975, 1964, 1991, 2010, 2036, 2045, 2037, 2051, 2075, 2058, 1999, 1953, 1943, 1973, 2012, 2054, 2101, 2081, 2017, 1947, 1868, 1843, 1860, 1884, 1939, 2005, 2060, 2143, 2250, 2341, 2401, 2450, 2534, 2669, 2828, 2971, 3068, 3129, 3207, 3286, 3323, 3345, 3376, 3380, 3357, 3373, 3395, 3346, 3290, 3269, 3242, 3129, 3055, 3065, 3059, 2965, 2892, 2942, 3002, 2974, 2897, 2852, 2869, 2926, 2973, 2996, 3007, 3030, 3072, 3156, 3253, 3286, 3243, 3258, 3353, 3408, 3375, 3345, 3397, 3490, 3557, 3583, 3562, 3507, 3469, 3483, 3500, 3453, 3387, 3327, 3304, 3294, 3287, 3260, 3203, 3138, 3088, 3041, 2981, 2910, 2841, 2781, 2736, 2692, 2631, 2551, 2468, 2401, 2368, 2355, 2346, 2335, 2332, 2342, 2363, 2380, 2391, 2403, 2426, 2464, 2516, 2568, 2613, 2648, 2677, 2704, 2728, 2745, 2754, 2759, 2763, 2769, 2773, 2769, 2755, 2734, 2711, 2690, 2668, 2645, 2623, 2603, 2585, 2570}, {2783, 2784, 2785, 2785, 2784, 2783, 2783, 2783, 2783, 2781, 2781, 2781, 2782, 2782, 2781, 2780, 2782, 2783, 2783, 2781, 2780, 2781, 2784, 2783, 2784, 2784, 2786, 2787, 2788, 2786, 2784, 2783, 2782, 2781, 2780, 2780, 2782, 2784, 2783, 2782, 2781, 2780, 2780, 2779, 2778, 2780, 2780, 2782, 2781, 2782, 2783, 2783, 2782, 2782, 2783, 2782, 2783, 2782, 2782, 2782, 2782, 2783, 2781, 2776, 2745, 2676, 2511, 2280, 2026, 1811, 1671, 1554, 1464, 1451, 1505, 1507, 1395, 1244, 1234, 1317, 1349, 1338, 1386, 1491, 1586, 1632, 1608, 1564, 1536, 1573, 1677, 1760, 1751, 1731, 1770, 1805, 1791, 1705, 1723, 1847, 1852, 1709, 1537, 1452, 1447, 1463, 1450, 1488, 1494, 1386, 1337, 1353, 1298, 1209, 1176, 1177, 1194, 1224, 1284, 1373, 1364, 1270, 1194, 1143, 1151, 1205, 1203, 1214, 1254, 1301, 1380, 1428, 1425, 1437, 1496, 1592, 1686, 1777, 1913, 2098, 2215, 2213, 2168, 2117, 2146, 2258, 2298, 2316, 2340, 2326, 2329, 2311, 2233, 2142, 2070, 2025, 2001, 1980, 1996, 2070, 2076, 1953, 1810, 1693, 1675, 1761, 1798, 1824, 1871, 1894, 1944, 1971, 1930, 1884, 1881, 1900, 1936, 1980, 2036, 2128, 2163, 2095, 2004, 1928, 1922, 1994, 2010, 2003, 2023, 2024, 2045, 2041, 1979, 1924, 1901, 1901, 1909, 1916, 1938, 1996, 2013, 1938, 1857, 1794, 1787, 1840, 1837, 1826, 1840, 1845, 1889, 1916, 1877, 1836, 1824, 1840, 1860, 1877, 1915, 1995, 2045, 2003, 1941, 1883, 1893, 1974, 2000, 2004, 2030, 2044, 2080, 2091, 2053, 2023, 2012, 2019, 2036, 2044, 2073, 2143, 2167, 2093, 1995, 1924, 1924, 2005, 2020, 2007, 2016, 2008, 2029, 2035, 1981, 1933, 1919, 1929, 1933, 1917, 1932, 2017, 2078, 2049, 2011, 2003, 2072, 2245, 2387, 2481, 2588, 2673, 2789, 2944, 3034, 3069, 3121, 3200, 3293, 3369, 3414, 3439, 3403, 3371, 3382, 3361, 3282, 3258, 3260, 3213, 3126, 3110, 3100, 3034, 2927, 2911, 2974, 2974, 2930, 2883, 2871, 2913, 2969, 2997, 3001, 3011, 3036, 3086, 3180, 3262, 3271, 3234, 3290, 3393, 3404, 3352, 3343, 3419, 3503, 3560, 3584, 3561, 3514, 3476, 3499, 3511, 3519, 3449, 3350, 3274, 3250, 3251, 3207, 3148, 3096, 3054, 2999, 2923, 2837, 2753, 2696, 2660, 2626, 2569, 2489, 2416, 2371, 2353, 2341, 2328, 2321, 2332, 2356, 2382, 2401, 2413, 2428, 2457, 2502, 2554, 2599, 2633, 2661, 2690, 2719, 2740, 2746, 2750, 2759, 2769, 2776, 2773, 2761, 2745, 2727, 2708, 2687, 2664, 2641, 2619, 2601, 2586}, {2795, 2794, 2794, 2794, 2795, 2795, 2794, 2794, 2793, 2794, 2794, 2794, 2794, 2794, 2794, 2793, 2793, 2793, 2794, 2794, 2793, 2792, 2792, 2794, 2795, 2795, 2795, 2795, 2796, 2795, 2793, 2793, 2793, 2794, 2793, 2792, 2791, 2790, 2791, 2791, 2790, 2789, 2791, 2792, 2793, 2794, 2794, 2794, 2794, 2794, 2792, 2790, 2791, 2792, 2793, 2794, 2794, 2794, 2794, 2794, 2793, 2791, 2790, 2790, 2790, 2790, 2790, 2791, 2791, 2790, 2785, 2771, 2732, 2668, 2583, 2487, 2386, 2309, 2226, 2130, 2066, 2016, 1972, 1929, 1867, 1785, 1689, 1613, 1578, 1535, 1475, 1423, 1375, 1329, 1290, 1263, 1241, 1229, 1220, 1186, 1159, 1147, 1160, 1180, 1185, 1196, 1190, 1191, 1231, 1273, 1287, 1299, 1321, 1367, 1401, 1410, 1449, 1521, 1546, 1527, 1543, 1563, 1575, 1620, 1640, 1621, 1607, 1619, 1643, 1638, 1626, 1623, 1590, 1557, 1549, 1528, 1514, 1532, 1532, 1499, 1487, 1508, 1531, 1551, 1564, 1577, 1592, 1614, 1660, 1700, 1728, 1768, 1794, 1816, 1866, 1911, 1945, 2001, 2052, 2060, 2075, 2117, 2157, 2189, 2212, 2229, 2234, 2240, 2276, 2310, 2315, 2320, 2314, 2306, 2316, 2316, 2305, 2319, 2322, 2278, 2234, 2214, 2201, 2190, 2163, 2121, 2075, 2039, 2032, 2021, 1988, 1960, 1925, 1890, 1877, 1856, 1831, 1835, 1832, 1792, 1763, 1759, 1762, 1764, 1752, 1731, 1718, 1711, 1729, 1749, 1748, 1748, 1743, 1746, 1768, 1777, 1781, 1810, 1831, 1823, 1825, 1845, 1869, 1890, 1898, 1900, 1906, 1913, 1942, 1972, 1982, 1992, 2000, 2010, 2036, 2051, 2059, 2083, 2099, 2090, 2086, 2096, 2111, 2124, 2125, 2118, 2108, 2099, 2112, 2126, 2121, 2118, 2107, 2097, 2105, 2101, 2089, 2097, 2099, 2070, 2045, 2036, 2033, 2028, 2011, 1986, 1963, 1951, 1970, 1997, 2011, 2034, 2063, 2093, 2145, 2199, 2247, 2304, 2367, 2425, 2495, 2578, 2645, 2707, 2794, 2878, 2928, 2994, 3081, 3138, 3182, 3261, 3322, 3346, 3392, 3464, 3499, 3503, 3534, 3571, 3588, 3594, 3611, 3611, 3594, 3597, 3606, 3578, 3549, 3550, 3532, 3490, 3472, 3464, 3430, 3400, 3393, 3367, 3310, 3283, 3272, 3238, 3206, 3210, 3210, 3188, 3176, 3173, 3164, 3150, 3154, 3148, 3119, 3108, 3105, 3093, 3081, 3088, 3095, 3090, 3084, 3072, 3048, 3023, 3005, 2982, 2951, 2918, 2888, 2855, 2817, 2781, 2745, 2707, 2672, 2639, 2602, 2568, 2539, 2510, 2481, 2455, 2433, 2412, 2392, 2374, 2361, 2353, 2346, 2339, 2335, 2337, 2342, 2348, 2354, 2361, 2373, 2389, 2405, 2420, 2437, 2457, 2479, 2501, 2520, 2539}, {2799, 2798, 2799, 2799, 2801, 2803, 2806, 2807, 2806, 2803, 2801, 2800, 2799, 2799, 2800, 2803, 2805, 2804, 2803, 2801, 2800, 2800, 2798, 2797, 2796, 2799, 2802, 2804, 2803, 2804, 2803, 2803, 2801, 2799, 2799, 2800, 2800, 2801, 2801, 2800, 2800, 2801, 2800, 2799, 2799, 2800, 2801, 2802, 2802, 2801, 2801, 2799, 2799, 2798, 2801, 2803, 2804, 2804, 2803, 2803, 2798, 2786, 2738, 2635, 2486, 2315, 2133, 1951, 1767, 1612, 1505, 1464, 1501, 1550, 1527, 1407, 1314, 1366, 1448, 1456, 1421, 1457, 1589, 1694, 1716, 1692, 1638, 1616, 1685, 1768, 1825, 1805, 1791, 1853, 1896, 1859, 1788, 1801, 1827, 1804, 1696, 1608, 1599, 1593, 1560, 1560, 1566, 1516, 1437, 1409, 1408, 1361, 1301, 1305, 1301, 1279, 1296, 1355, 1377, 1333, 1275, 1218, 1199, 1221, 1238, 1228, 1226, 1261, 1348, 1422, 1461, 1483, 1502, 1576, 1679, 1760, 1867, 2013, 2165, 2262, 2281, 2246, 2237, 2277, 2328, 2356, 2363, 2360, 2393, 2402, 2362, 2277, 2173, 2107, 2062, 2006, 1988, 2004, 2017, 1998, 1922, 1824, 1767, 1769, 1774, 1770, 1771, 1800, 1865, 1913, 1923, 1906, 1866, 1873, 1903, 1911, 1943, 2003, 2056, 2082, 2059, 2012, 1984, 1993, 2008, 2004, 1994, 2005, 2045, 2073, 2059, 2029, 1979, 1961, 1952, 1921, 1913, 1934, 1967, 1982, 1940, 1864, 1819, 1825, 1831, 1810, 1788, 1788, 1840, 1885, 1893, 1868, 1824, 1826, 1852, 1851, 1867, 1920, 1972, 2002, 1985, 1946, 1925, 1949, 1983, 1999, 2002, 2020, 2064, 2098, 2099, 2083, 2045, 2039, 2055, 2044, 2046, 2084, 2125, 2131, 2079, 2001, 1961, 1978, 2005, 2002, 1978, 1960, 1997, 2034, 2026, 1989, 1933, 1919, 1930, 1907, 1900, 1931, 1982, 2035, 2058, 2053, 2089, 2174, 2301, 2412, 2488, 2590, 2718, 2853, 2989, 3088, 3120, 3170, 3248, 3311, 3371, 3419, 3418, 3387, 3399, 3413, 3362, 3280, 3261, 3257, 3176, 3102, 3117, 3101, 3019, 2929, 2952, 2999, 2968, 2910, 2869, 2869, 2914, 2976, 3004, 3001, 3005, 3041, 3098, 3194, 3257, 3257, 3237, 3312, 3419, 3429, 3367, 3351, 3409, 3484, 3546, 3584, 3579, 3531, 3510, 3508, 3493, 3454, 3389, 3364, 3371, 3395, 3360, 3281, 3175, 3092, 3028, 2967, 2898, 2819, 2740, 2681, 2627, 2559, 2469, 2378, 2311, 2280, 2271, 2275, 2273, 2274, 2291, 2314, 2339, 2362, 2379, 2412, 2459, 2518, 2584, 2631, 2669, 2702, 2730, 2760, 2779, 2787, 2794, 2799, 2810, 2813, 2804, 2787, 2762, 2736, 2713, 2687, 2660, 2633, 2609, 2590}, {2799, 2796, 2796, 2797, 2798, 2799, 2799, 2799, 2799, 2797, 2794, 2793, 2792, 2794, 2797, 2797, 2798, 2798, 2799, 2799, 2798, 2796, 2796, 2796, 2797, 2798, 2799, 2800, 2801, 2801, 2800, 2799, 2798, 2799, 2798, 2798, 2799, 2802, 2802, 2801, 2798, 2798, 2798, 2796, 2794, 2794, 2796, 2797, 2798, 2798, 2797, 2798, 2800, 2798, 2796, 2797, 2800, 2803, 2802, 2800, 2799, 2799, 2799, 2797, 2796, 2797, 2800, 2801, 2794, 2777, 2709, 2589, 2425, 2255, 2071, 1893, 1719, 1611, 1571, 1575, 1588, 1552, 1434, 1306, 1256, 1302, 1343, 1351, 1417, 1591, 1739, 1753, 1652, 1547, 1513, 1558, 1668, 1807, 1910, 1938, 1965, 1948, 1852, 1724, 1648, 1698, 1766, 1771, 1723, 1729, 1730, 1684, 1565, 1499, 1473, 1404, 1362, 1425, 1480, 1448, 1398, 1348, 1274, 1230, 1218, 1228, 1231, 1220, 1246, 1265, 1263, 1250, 1193, 1133, 1148, 1202, 1281, 1379, 1487, 1571, 1623, 1659, 1683, 1741, 1840, 1964, 2111, 2211, 2285, 2334, 2366, 2408, 2394, 2347, 2342, 2363, 2397, 2432, 2448, 2394, 2294, 2186, 2060, 1973, 1930, 1916, 1932, 1918, 1898, 1870, 1832, 1817, 1769, 1713, 1717, 1758, 1817, 1885, 1943, 1952, 1934, 1908, 1866, 1857, 1882, 1930, 1997, 2031, 2051, 2061, 2055, 2064, 2033, 1981, 1976, 2005, 2049, 2093, 2110, 2094, 2053, 2010, 1947, 1901, 1882, 1885, 1922, 1928, 1916, 1894, 1866, 1867, 1831, 1773, 1760, 1779, 1834, 1886, 1913, 1900, 1878, 1860, 1826, 1808, 1822, 1857, 1915, 1945, 1966, 1983, 1987, 2013, 2007, 1979, 1991, 2028, 2073, 2118, 2153, 2157, 2130, 2096, 2049, 2014, 2003, 2012, 2053, 2062, 2051, 2050, 2046, 2051, 2015, 1954, 1936, 1944, 1984, 2037, 2068, 2056, 2019, 1974, 1902, 1847, 1832, 1846, 1913, 1983, 2052, 2123, 2180, 2266, 2347, 2397, 2474, 2588, 2728, 2891, 3025, 3109, 3170, 3235, 3290, 3324, 3354, 3399, 3408, 3410, 3440, 3436, 3358, 3307, 3298, 3259, 3150, 3104, 3123, 3102, 3006, 2952, 2994, 3006, 2957, 2895, 2862, 2878, 2928, 2972, 2980, 2981, 3003, 3047, 3108, 3191, 3230, 3221, 3235, 3348, 3418, 3391, 3341, 3375, 3456, 3521, 3561, 3578, 3562, 3528, 3530, 3505, 3487, 3428, 3399, 3399, 3414, 3401, 3329, 3233, 3153, 3086, 3020, 2950, 2872, 2804, 2744, 2683, 2611, 2519, 2418, 2343, 2302, 2286, 2277, 2267, 2263, 2273, 2290, 2308, 2319, 2336, 2368, 2422, 2484, 2540, 2587, 2627, 2664, 2702, 2731, 2751, 2770, 2788, 2807, 2823, 2827, 2819, 2803, 2783, 2763, 2741, 2717, 2693, 2670, 2647, 2625, 2602}, {0}, }; int data_20ul_ine5ul_kx[][1000] = { {2327, 2287, 2263, 2259, 2260, 2272, 2290, 2307, 2319, 2322, 2318, 2314, 2308, 2297, 2294, 2302, 2317, 2336, 2349, 2356, 2356, 2353, 2351, 2344, 2335, 2329, 2324, 2325, 2333, 2342, 2348, 2348, 2339, 2327, 2318, 2311, 2308, 2308, 2310, 2316, 2321, 2325, 2326, 2324, 2320, 2313, 2306, 2304, 2307, 2313, 2318, 2325, 2331, 2335, 2333, 2327, 2322, 2320, 2320, 2320, 2322, 2329, 2336, 2336, 2332, 2327, 2323, 2320, 2321, 2319, 2321, 2321, 2311, 2324, 2402, 2463, 2428, 2331, 2234, 2179, 2223, 2309, 2350, 2369, 2364, 2324, 2318, 2341, 2327, 2292, 2263, 2232, 2260, 2383, 2481, 2466, 2378, 2267, 2203, 2239, 2312, 2338, 2332, 2324, 2310, 2340, 2388, 2381, 2334, 2279, 2234, 2239, 2340, 2451, 2462, 2387, 2282, 2209, 2204, 2201, 2128, 2032, 1986, 1928, 1829, 1696, 1513, 1264, 1004, 737, 510, 428, 420, 366, 277, 247, 252, 276, 374, 529, 653, 782, 963, 1173, 1368, 1509, 1630, 1771, 1844, 1823, 1810, 1910, 2029, 1997, 1838, 1642, 1584, 1610, 1579, 1447, 1364, 1261, 1081, 979, 975, 916, 778, 672, 603, 579, 660, 757, 731, 606, 471, 444, 533, 650, 724, 765, 803, 833, 891, 1001, 1082, 1155, 1252, 1320, 1409, 1586, 1807, 1934, 1937, 1893, 1891, 2007, 2181, 2257, 2255, 2224, 2194, 2202, 2208, 2170, 2095, 2017, 1954, 1889, 1909, 1994, 1990, 1860, 1631, 1439, 1368, 1438, 1542, 1565, 1565, 1538, 1524, 1578, 1590, 1558, 1524, 1515, 1566, 1680, 1866, 1975, 1972, 1889, 1759, 1709, 1768, 1860, 1928, 1942, 1935, 1922, 1958, 1991, 1937, 1850, 1758, 1716, 1770, 1860, 1903, 1867, 1798, 1746, 1711, 1708, 1694, 1661, 1658, 1654, 1662, 1695, 1727, 1743, 1702, 1642, 1601, 1605, 1723, 1837, 1854, 1769, 1653, 1568, 1533, 1578, 1620, 1642, 1691, 1676, 1632, 1612, 1577, 1537, 1463, 1382, 1330, 1394, 1563, 1634, 1576, 1447, 1329, 1316, 1366, 1413, 1424, 1443, 1491, 1519, 1574, 1614, 1615, 1604, 1550, 1495, 1532, 1703, 1856, 1839, 1698, 1538, 1466, 1540, 1632, 1650, 1635, 1619, 1606, 1612, 1626, 1596, 1551, 1526, 1475, 1474, 1588, 1693, 1712, 1620, 1490, 1424, 1476, 1581, 1606, 1576, 1549, 1536, 1602, 1667, 1663, 1615, 1562, 1544, 1549, 1646, 1771, 1790, 1718, 1580, 1454, 1444, 1524, 1617, 1623, 1614, 1587, 1575, 1644, 1668, 1618, 1561, 1525, 1545, 1660, 1835, 1902, 1830, 1712, 1571, 1526, 1603, 1689, 1735, 1751, 1732, 1707, 1747, 1798, 1753, 1666, 1588, 1544, 1626, 1787, 1858, 1808, 1689, 1584, 1542, 1574, 1617, 1604, 1604, 1593, 1569, 1607, 1658, 1668, 1617, 1538, 1482, 1499, 1647, 1741, 1711, 1625, 1533, 1526, 1584, 1647, 1646, 1618, 1638, 1647, 1670, 1722, 1728, 1723, 1687, 1641, 1637, 1680, 1727, 1724, 1702, 1676, 1677, 1730, 1737, 1699, 1664, 1649, 1690, 1726, 1727, 1722, 1720, 1741, 1745, 1737, 1729, 1728, 1749, 1748, 1734, 1745, 1767, 1808, 1807, 1776, 1757, 1749, 1772, 1782, 1767, 1758, 1751, 1782, 1806, 1794, 1768, 1740, 1752, 1751, 1733, 1722, 1714, 1737, 1742, 1721, 1711, 1696, 1701, 1688, 1662, 1666, 1702, 1785, 1874, 1940, 2017, 2097, 2182, 2279, 2361, 2434, 2529, 2629, 2738, 2860, 2970, 3004, 3023, 3068, 3086, 3072, 3093, 3122, 3067, 3028, 3063, 3074, 2987, 2918, 2923, 2889, 2779, 2694, 2734, 2767, 2719, 2646, 2629, 2688, 2729, 2707, 2673, 2664, 2661, 2675, 2766, 2886, 2922, 2888, 2922, 2993, 3011, 2992, 3012, 3092, 3176, 3245, 3277, 3266, 3243, 3223, 3183, 3163, 3135, 3152, 3145, 3133, 3112, 3083, 3037, 2966, 2888, 2806, 2729, 2659, 2602, 2544, 2476, 2398, 2320, 2244, 2158, 2071, 2007, 1967, 1941, 1930, 1936, 1959, 1981, 1995, 2013, 2041, 2071, 2104, 2148, 2199, 2253, 2311, 2364, 2408, 2442, 2467, 2485, 2497, 2502, 2508, 2516, 2515, 2506, 2497, 2483, 2457, 2425, 2393, 2360, 2326, 2295, 2272, 2254}, {2215, 2221, 2215, 2213, 2217, 2225, 2221, 2204, 2184, 2174, 2177, 2191, 2208, 2220, 2233, 2247, 2254, 2258, 2254, 2248, 2243, 2238, 2235, 2238, 2244, 2251, 2257, 2260, 2262, 2262, 2257, 2251, 2245, 2236, 2226, 2220, 2219, 2223, 2229, 2234, 2236, 2235, 2232, 2228, 2223, 2219, 2216, 2213, 2214, 2219, 2227, 2236, 2242, 2244, 2245, 2244, 2239, 2234, 2232, 2231, 2232, 2233, 2238, 2244, 2249, 2248, 2245, 2242, 2240, 2240, 2237, 2232, 2218, 2203, 2239, 2338, 2418, 2391, 2265, 2099, 2016, 2078, 2213, 2298, 2313, 2255, 2187, 2188, 2236, 2269, 2272, 2229, 2157, 2147, 2225, 2322, 2363, 2309, 2189, 2108, 2128, 2221, 2290, 2298, 2252, 2199, 2190, 2225, 2258, 2269, 2256, 2213, 2183, 2224, 2302, 2323, 2227, 2024, 1834, 1777, 1864, 1942, 1862, 1603, 1258, 957, 769, 643, 501, 345, 217, 184, 264, 371, 445, 485, 426, 312, 323, 554, 837, 1060, 1228, 1366, 1507, 1638, 1739, 1775, 1801, 1800, 1720, 1642, 1662, 1780, 1796, 1613, 1348, 1212, 1196, 1196, 1184, 1143, 985, 767, 659, 639, 603, 570, 547, 482, 435, 489, 626, 718, 648, 479, 348, 373, 534, 692, 820, 895, 949, 1067, 1194, 1313, 1425, 1520, 1588, 1634, 1736, 1888, 2055, 2151, 2125, 2066, 2068, 2148, 2239, 2246, 2169, 2048, 1979, 1989, 1973, 1915, 1843, 1750, 1666, 1644, 1690, 1722, 1648, 1481, 1252, 1125, 1173, 1340, 1499, 1537, 1462, 1374, 1377, 1463, 1550, 1603, 1597, 1564, 1610, 1702, 1807, 1854, 1811, 1735, 1680, 1711, 1799, 1869, 1904, 1852, 1773, 1734, 1740, 1787, 1799, 1767, 1697, 1658, 1673, 1672, 1646, 1593, 1541, 1549, 1562, 1558, 1540, 1536, 1560, 1550, 1514, 1480, 1478, 1523, 1549, 1533, 1529, 1616, 1777, 1852, 1779, 1581, 1405, 1406, 1558, 1721, 1824, 1844, 1813, 1775, 1775, 1799, 1833, 1864, 1805, 1718, 1728, 1841, 1971, 1978, 1838, 1665, 1588, 1677, 1787, 1831, 1805, 1733, 1695, 1680, 1676, 1672, 1679, 1681, 1624, 1612, 1711, 1835, 1871, 1723, 1486, 1329, 1357, 1541, 1696, 1751, 1695, 1617, 1622, 1654, 1667, 1676, 1660, 1627, 1603, 1645, 1725, 1790, 1794, 1700, 1596, 1579, 1646, 1738, 1766, 1713, 1637, 1610, 1663, 1707, 1713, 1684, 1626, 1621, 1692, 1778, 1816, 1741, 1588, 1425, 1384, 1494, 1629, 1750, 1776, 1705, 1631, 1627, 1694, 1748, 1757, 1710, 1651, 1714, 1849, 1960, 1958, 1815, 1647, 1565, 1625, 1745, 1841, 1895, 1843, 1743, 1699, 1702, 1754, 1790, 1753, 1663, 1637, 1722, 1814, 1818, 1716, 1565, 1500, 1545, 1619, 1662, 1665, 1666, 1643, 1621, 1611, 1613, 1661, 1670, 1605, 1573, 1630, 1757, 1816, 1757, 1624, 1524, 1566, 1668, 1719, 1715, 1676, 1659, 1670, 1678, 1672, 1666, 1694, 1685, 1636, 1594, 1583, 1647, 1699, 1704, 1698, 1683, 1692, 1705, 1707, 1712, 1723, 1746, 1744, 1716, 1708, 1728, 1791, 1812, 1787, 1772, 1772, 1794, 1801, 1782, 1767, 1751, 1770, 1786, 1776, 1759, 1758, 1799, 1813, 1781, 1745, 1716, 1732, 1747, 1728, 1704, 1684, 1717, 1744, 1730, 1702, 1674, 1683, 1688, 1667, 1653, 1666, 1742, 1821, 1880, 1955, 2041, 2138, 2237, 2311, 2372, 2448, 2532, 2633, 2763, 2872, 2935, 3000, 3076, 3113, 3120, 3139, 3140, 3070, 3040, 3073, 3071, 2994, 2987, 3027, 2987, 2853, 2778, 2813, 2797, 2717, 2629, 2618, 2674, 2712, 2704, 2682, 2654, 2646, 2700, 2788, 2815, 2780, 2800, 2872, 2913, 2911, 2968, 3094, 3183, 3187, 3159, 3161, 3165, 3177, 3216, 3255, 3260, 3224, 3188, 3179, 3100, 3009, 2920, 2913, 2916, 2899, 2856, 2809, 2757, 2687, 2601, 2504, 2412, 2343, 2297, 2263, 2229, 2191, 2155, 2118, 2075, 2031, 2001, 1985, 1980, 1989, 2012, 2044, 2083, 2133, 2186, 2226, 2258, 2284, 2305, 2327, 2356, 2388, 2414, 2436, 2461, 2486, 2498, 2499, 2495, 2487, 2470, 2447, 2419, 2397, 2377, 2358, 2342, 2322}, {2208, 2199, 2195, 2196, 2199, 2210, 2220, 2222, 2219, 2210, 2201, 2201, 2206, 2213, 2222, 2227, 2231, 2237, 2241, 2242, 2241, 2237, 2235, 2238, 2241, 2245, 2248, 2250, 2252, 2252, 2248, 2243, 2236, 2231, 2230, 2231, 2232, 2234, 2234, 2233, 2230, 2227, 2224, 2222, 2219, 2217, 2216, 2220, 2224, 2229, 2232, 2234, 2235, 2233, 2230, 2227, 2227, 2232, 2237, 2241, 2246, 2250, 2249, 2245, 2241, 2237, 2236, 2236, 2236, 2236, 2235, 2232, 2246, 2294, 2317, 2298, 2248, 2178, 2148, 2162, 2196, 2237, 2247, 2239, 2250, 2248, 2243, 2235, 2194, 2169, 2187, 2215, 2280, 2336, 2316, 2270, 2215, 2176, 2187, 2206, 2217, 2228, 2232, 2255, 2279, 2273, 2254, 2217, 2183, 2190, 2214, 2255, 2309, 2303, 2245, 2150, 2008, 1913, 1874, 1854, 1790, 1642, 1459, 1262, 1032, 792, 552, 359, 233, 146, 107, 182, 289, 332, 330, 362, 471, 614, 814, 1064, 1265, 1405, 1544, 1710, 1842, 1851, 1768, 1695, 1728, 1790, 1857, 1815, 1717, 1629, 1475, 1288, 1160, 1071, 956, 847, 821, 834, 748, 640, 595, 517, 430, 416, 439, 501, 565, 594, 633, 615, 582, 612, 668, 744, 812, 872, 981, 1102, 1244, 1367, 1416, 1443, 1514, 1621, 1756, 1891, 1973, 2031, 2074, 2081, 2094, 2088, 2045, 2028, 2005, 1993, 1984, 1947, 1938, 1885, 1769, 1687, 1618, 1605, 1642, 1607, 1537, 1457, 1398, 1393, 1394, 1400, 1425, 1451, 1473, 1507, 1520, 1548, 1600, 1607, 1624, 1657, 1688, 1794, 1844, 1810, 1776, 1712, 1724, 1779, 1785, 1782, 1762, 1759, 1780, 1754, 1720, 1697, 1666, 1657, 1664, 1649, 1648, 1664, 1630, 1592, 1556, 1535, 1574, 1588, 1567, 1556, 1546, 1583, 1605, 1574, 1555, 1534, 1562, 1609, 1616, 1655, 1714, 1738, 1721, 1635, 1547, 1536, 1595, 1682, 1737, 1745, 1756, 1791, 1794, 1786, 1745, 1686, 1715, 1760, 1802, 1894, 1910, 1886, 1825, 1714, 1671, 1673, 1708, 1754, 1752, 1755, 1782, 1795, 1780, 1718, 1626, 1579, 1612, 1668, 1757, 1796, 1752, 1702, 1609, 1536, 1527, 1521, 1570, 1630, 1649, 1681, 1681, 1679, 1671, 1609, 1567, 1572, 1610, 1704, 1780, 1767, 1726, 1692, 1663, 1653, 1641, 1623, 1644, 1675, 1706, 1728, 1710, 1706, 1685, 1633, 1621, 1623, 1677, 1757, 1737, 1682, 1600, 1553, 1577, 1600, 1598, 1598, 1624, 1672, 1700, 1697, 1691, 1695, 1690, 1697, 1714, 1742, 1852, 1907, 1867, 1798, 1719, 1697, 1723, 1729, 1750, 1750, 1775, 1825, 1812, 1775, 1719, 1670, 1666, 1670, 1680, 1743, 1796, 1781, 1715, 1635, 1580, 1597, 1622, 1617, 1608, 1601, 1655, 1707, 1694, 1658, 1591, 1580, 1623, 1631, 1662, 1704, 1725, 1736, 1694, 1647, 1634, 1646, 1660, 1656, 1650, 1667, 1712, 1733, 1715, 1667, 1622, 1630, 1644, 1630, 1646, 1643, 1653, 1695, 1701, 1681, 1656, 1654, 1683, 1698, 1704, 1714, 1748, 1777, 1772, 1758, 1736, 1746, 1770, 1766, 1766, 1758, 1775, 1815, 1814, 1788, 1755, 1759, 1782, 1778, 1769, 1764, 1773, 1791, 1780, 1766, 1735, 1726, 1744, 1736, 1718, 1697, 1707, 1731, 1719, 1696, 1677, 1668, 1667, 1652, 1657, 1685, 1750, 1843, 1917, 1989, 2065, 2141, 2237, 2334, 2423, 2517, 2627, 2730, 2843, 2946, 2998, 3018, 3062, 3100, 3089, 3093, 3122, 3101, 3033, 3043, 3063, 2992, 2883, 2877, 2880, 2801, 2680, 2669, 2720, 2705, 2655, 2617, 2632, 2676, 2705, 2697, 2685, 2678, 2694, 2761, 2882, 2951, 2937, 2939, 3006, 3035, 3014, 3010, 3077, 3172, 3258, 3300, 3283, 3229, 3196, 3170, 3156, 3131, 3118, 3125, 3120, 3113, 3071, 3021, 2952, 2880, 2808, 2747, 2691, 2634, 2578, 2513, 2437, 2358, 2273, 2182, 2099, 2036, 1999, 1981, 1972, 1974, 1981, 1992, 2006, 2022, 2043, 2074, 2113, 2159, 2213, 2270, 2320, 2363, 2398, 2428, 2455, 2474, 2486, 2494, 2503, 2507, 2505, 2496, 2483, 2461, 2435, 2408, 2378, 2349, 2324, 2299, 2275, 2254}, {2224, 2208, 2193, 2189, 2194, 2207, 2221, 2229, 2230, 2225, 2214, 2207, 2207, 2208, 2213, 2219, 2226, 2239, 2249, 2251, 2246, 2240, 2238, 2238, 2237, 2236, 2239, 2246, 2254, 2258, 2258, 2252, 2243, 2234, 2228, 2226, 2227, 2230, 2232, 2234, 2234, 2231, 2226, 2221, 2216, 2211, 2211, 2212, 2215, 2219, 2222, 2227, 2231, 2230, 2226, 2224, 2224, 2227, 2230, 2232, 2238, 2243, 2246, 2245, 2242, 2239, 2238, 2237, 2236, 2238, 2240, 2240, 2241, 2273, 2313, 2310, 2274, 2203, 2158, 2163, 2190, 2226, 2241, 2232, 2241, 2256, 2254, 2246, 2211, 2172, 2176, 2201, 2246, 2309, 2314, 2284, 2236, 2198, 2196, 2203, 2207, 2212, 2215, 2240, 2276, 2281, 2269, 2240, 2204, 2201, 2211, 2232, 2281, 2286, 2239, 2131, 1994, 1912, 1885, 1831, 1719, 1533, 1342, 1148, 933, 690, 484, 322, 192, 115, 97, 203, 319, 350, 375, 441, 546, 711, 930, 1156, 1313, 1417, 1578, 1767, 1843, 1818, 1729, 1697, 1759, 1787, 1782, 1741, 1695, 1610, 1446, 1253, 1141, 1028, 904, 839, 831, 793, 691, 630, 602, 527, 435, 418, 423, 449, 534, 623, 670, 634, 593, 624, 686, 755, 809, 874, 975, 1139, 1302, 1410, 1457, 1473, 1557, 1678, 1775, 1899, 1995, 2067, 2126, 2128, 2127, 2092, 2054, 2050, 2017, 1982, 1961, 1951, 1948, 1881, 1771, 1674, 1617, 1587, 1587, 1580, 1528, 1489, 1438, 1393, 1377, 1367, 1407, 1450, 1461, 1493, 1512, 1557, 1629, 1621, 1612, 1642, 1678, 1756, 1818, 1817, 1788, 1745, 1759, 1787, 1778, 1759, 1759, 1752, 1746, 1745, 1726, 1719, 1710, 1677, 1660, 1626, 1625, 1655, 1618, 1577, 1558, 1561, 1593, 1585, 1564, 1546, 1532, 1565, 1580, 1559, 1532, 1541, 1582, 1605, 1598, 1616, 1686, 1728, 1706, 1652, 1569, 1552, 1609, 1673, 1725, 1736, 1761, 1809, 1798, 1782, 1754, 1718, 1745, 1768, 1785, 1859, 1918, 1908, 1835, 1733, 1678, 1682, 1723, 1750, 1747, 1735, 1769, 1802, 1770, 1710, 1621, 1579, 1623, 1648, 1695, 1753, 1756, 1735, 1640, 1550, 1513, 1517, 1580, 1626, 1635, 1648, 1674, 1700, 1693, 1637, 1566, 1564, 1621, 1683, 1756, 1776, 1762, 1735, 1678, 1648, 1631, 1616, 1645, 1662, 1682, 1701, 1710, 1727, 1696, 1630, 1602, 1614, 1664, 1726, 1738, 1699, 1650, 1608, 1584, 1577, 1576, 1597, 1650, 1684, 1710, 1705, 1706, 1739, 1725, 1697, 1694, 1721, 1832, 1907, 1885, 1824, 1741, 1715, 1713, 1712, 1721, 1737, 1776, 1805, 1796, 1760, 1725, 1695, 1660, 1646, 1644, 1695, 1785, 1776, 1709, 1640, 1593, 1603, 1601, 1594, 1590, 1593, 1664, 1715, 1702, 1663, 1626, 1627, 1632, 1619, 1632, 1697, 1762, 1770, 1727, 1663, 1640, 1665, 1670, 1653, 1632, 1646, 1712, 1729, 1708, 1661, 1609, 1617, 1629, 1620, 1615, 1619, 1655, 1686, 1686, 1669, 1658, 1679, 1683, 1687, 1698, 1717, 1763, 1777, 1763, 1748, 1740, 1773, 1784, 1771, 1768, 1780, 1809, 1811, 1794, 1776, 1758, 1776, 1786, 1777, 1757, 1746, 1782, 1793, 1763, 1730, 1717, 1739, 1737, 1714, 1693, 1682, 1711, 1725, 1705, 1666, 1643, 1663, 1665, 1650, 1660, 1702, 1792, 1878, 1942, 2022, 2101, 2192, 2301, 2398, 2484, 2582, 2685, 2801, 2911, 2979, 3001, 3038, 3095, 3113, 3109, 3126, 3129, 3065, 3036, 3065, 3046, 2926, 2870, 2896, 2871, 2755, 2668, 2707, 2726, 2684, 2622, 2607, 2649, 2693, 2695, 2683, 2674, 2683, 2721, 2817, 2907, 2917, 2892, 2955, 3029, 3039, 3010, 3035, 3123, 3216, 3276, 3286, 3248, 3213, 3205, 3186, 3171, 3125, 3125, 3117, 3123, 3103, 3058, 2995, 2925, 2858, 2794, 2730, 2664, 2600, 2536, 2468, 2395, 2312, 2221, 2133, 2061, 2010, 1980, 1963, 1955, 1958, 1975, 1993, 2013, 2030, 2053, 2086, 2127, 2176, 2234, 2288, 2337, 2379, 2417, 2449, 2473, 2485, 2494, 2504, 2514, 2516, 2510, 2497, 2482, 2461, 2433, 2403, 2373, 2344, 2319, 2294, 2271, 2251}, {2196, 2196, 2200, 2209, 2220, 2229, 2230, 2220, 2211, 2205, 2207, 2218, 2228, 2235, 2242, 2248, 2252, 2249, 2242, 2238, 2239, 2240, 2241, 2243, 2243, 2242, 2241, 2239, 2237, 2234, 2230, 2223, 2219, 2219, 2222, 2224, 2222, 2221, 2222, 2224, 2223, 2220, 2219, 2220, 2223, 2223, 2222, 2222, 2227, 2234, 2237, 2238, 2238, 2238, 2238, 2237, 2235, 2237, 2239, 2242, 2244, 2245, 2245, 2245, 2241, 2238, 2236, 2235, 2236, 2238, 2238, 2239, 2240, 2240, 2239, 2236, 2234, 2234, 2235, 2234, 2231, 2226, 2257, 2317, 2324, 2279, 2214, 2155, 2156, 2196, 2229, 2250, 2250, 2239, 2251, 2257, 2243, 2216, 2175, 2170, 2205, 2253, 2322, 2341, 2290, 2231, 2183, 2171, 2194, 2208, 2215, 2229, 2246, 2270, 2262, 2199, 2118, 2042, 2007, 1993, 1976, 1983, 1964, 1857, 1668, 1395, 1074, 841, 663, 548, 441, 318, 209, 192, 233, 251, 223, 259, 407, 599, 839, 1136, 1330, 1395, 1412, 1493, 1644, 1737, 1735, 1703, 1735, 1834, 1879, 1788, 1633, 1548, 1467, 1359, 1220, 1169, 1156, 1057, 951, 885, 750, 590, 535, 531, 510, 482, 489, 519, 522, 524, 573, 593, 579, 602, 680, 827, 943, 949, 941, 946, 1028, 1198, 1326, 1396, 1456, 1550, 1696, 1803, 1855, 1888, 1917, 1992, 2073, 2108, 2129, 2143, 2121, 2062, 1977, 1899, 1882, 1892, 1857, 1800, 1715, 1663, 1647, 1578, 1501, 1425, 1393, 1444, 1466, 1504, 1558, 1546, 1510, 1428, 1358, 1382, 1468, 1570, 1648, 1681, 1695, 1722, 1734, 1720, 1680, 1629, 1668, 1765, 1848, 1930, 1908, 1825, 1756, 1668, 1633, 1641, 1654, 1708, 1736, 1726, 1721, 1682, 1644, 1587, 1506, 1474, 1508, 1582, 1647, 1647, 1607, 1589, 1573, 1542, 1527, 1509, 1511, 1579, 1634, 1663, 1648, 1624, 1636, 1620, 1601, 1601, 1627, 1759, 1864, 1862, 1805, 1719, 1677, 1689, 1717, 1752, 1787, 1828, 1859, 1862, 1832, 1808, 1761, 1690, 1677, 1693, 1769, 1897, 1906, 1829, 1724, 1647, 1664, 1672, 1639, 1624, 1631, 1693, 1746, 1719, 1653, 1592, 1566, 1576, 1583, 1612, 1709, 1781, 1754, 1669, 1558, 1519, 1578, 1620, 1647, 1657, 1662, 1726, 1752, 1717, 1669, 1612, 1609, 1634, 1663, 1732, 1758, 1746, 1715, 1653, 1602, 1604, 1636, 1642, 1635, 1635, 1672, 1727, 1714, 1656, 1598, 1571, 1598, 1622, 1688, 1752, 1726, 1701, 1659, 1611, 1607, 1632, 1697, 1756, 1761, 1756, 1774, 1808, 1809, 1758, 1700, 1695, 1754, 1838, 1918, 1893, 1812, 1748, 1686, 1659, 1666, 1667, 1711, 1745, 1747, 1748, 1722, 1700, 1647, 1573, 1553, 1576, 1657, 1757, 1759, 1687, 1618, 1598, 1602, 1608, 1596, 1601, 1658, 1700, 1715, 1699, 1658, 1662, 1660, 1646, 1644, 1650, 1743, 1796, 1755, 1696, 1642, 1638, 1660, 1655, 1639, 1622, 1642, 1679, 1689, 1659, 1626, 1624, 1626, 1631, 1634, 1640, 1692, 1719, 1718, 1727, 1728, 1754, 1764, 1740, 1722, 1726, 1768, 1800, 1797, 1775, 1764, 1797, 1813, 1788, 1753, 1734, 1770, 1800, 1792, 1775, 1761, 1784, 1800, 1773, 1737, 1714, 1732, 1745, 1732, 1708, 1684, 1704, 1722, 1706, 1673, 1641, 1656, 1670, 1653, 1651, 1679, 1763, 1858, 1919, 1980, 2058, 2146, 2250, 2355, 2448, 2544, 2644, 2763, 2880, 2964, 2982, 3005, 3062, 3098, 3110, 3132, 3139, 3076, 3040, 3062, 3041, 2926, 2879, 2908, 2884, 2764, 2685, 2723, 2734, 2677, 2610, 2612, 2672, 2703, 2686, 2669, 2660, 2665, 2727, 2843, 2905, 2878, 2881, 2962, 3008, 2986, 2983, 3076, 3188, 3247, 3245, 3225, 3195, 3154, 3136, 3177, 3254, 3262, 3211, 3142, 3052, 2969, 2898, 2885, 2883, 2873, 2843, 2797, 2718, 2613, 2504, 2420, 2365, 2324, 2286, 2245, 2196, 2143, 2089, 2041, 2001, 1976, 1972, 1994, 2029, 2069, 2105, 2131, 2154, 2181, 2212, 2246, 2285, 2325, 2369, 2413, 2448, 2470, 2479, 2478, 2475, 2473, 2469, 2461, 2453, 2446, 2432, 2412, 2386, 2358, 2328, 2300, 2278, 2263}, {2229, 2209, 2193, 2189, 2193, 2207, 2220, 2225, 2223, 2218, 2211, 2209, 2208, 2203, 2202, 2208, 2218, 2231, 2239, 2240, 2239, 2239, 2237, 2235, 2234, 2233, 2238, 2246, 2254, 2258, 2256, 2251, 2246, 2239, 2235, 2234, 2233, 2234, 2237, 2240, 2241, 2239, 2234, 2230, 2225, 2221, 2219, 2218, 2219, 2224, 2230, 2234, 2235, 2232, 2229, 2227, 2225, 2225, 2228, 2233, 2239, 2245, 2247, 2247, 2244, 2239, 2236, 2235, 2233, 2235, 2236, 2237, 2238, 2269, 2312, 2308, 2270, 2209, 2165, 2174, 2197, 2222, 2236, 2228, 2240, 2260, 2253, 2240, 2209, 2171, 2180, 2207, 2241, 2300, 2306, 2273, 2238, 2200, 2197, 2205, 2199, 2207, 2218, 2240, 2275, 2276, 2258, 2239, 2212, 2192, 2167, 2134, 2139, 2138, 2084, 2012, 1930, 1860, 1793, 1644, 1429, 1155, 913, 742, 628, 493, 359, 233, 197, 250, 267, 284, 367, 469, 574, 699, 892, 1092, 1224, 1325, 1473, 1636, 1724, 1728, 1671, 1693, 1759, 1766, 1710, 1621, 1647, 1689, 1584, 1379, 1225, 1080, 961, 910, 917, 873, 732, 670, 672, 614, 537, 479, 421, 406, 437, 540, 668, 683, 645, 628, 626, 679, 724, 775, 867, 999, 1177, 1329, 1406, 1449, 1514, 1598, 1683, 1774, 1858, 1995, 2134, 2193, 2197, 2133, 2090, 2100, 2077, 2045, 2001, 1970, 2000, 1979, 1907, 1817, 1700, 1623, 1562, 1503, 1514, 1546, 1554, 1516, 1419, 1336, 1336, 1365, 1377, 1387, 1395, 1468, 1570, 1614, 1638, 1603, 1579, 1638, 1667, 1713, 1780, 1801, 1849, 1849, 1807, 1797, 1782, 1772, 1760, 1735, 1740, 1762, 1780, 1786, 1746, 1673, 1644, 1638, 1606, 1593, 1558, 1543, 1583, 1585, 1577, 1555, 1521, 1537, 1523, 1502, 1504, 1507, 1563, 1605, 1602, 1604, 1608, 1628, 1684, 1714, 1698, 1659, 1640, 1660, 1699, 1728, 1774, 1801, 1785, 1793, 1788, 1784, 1816, 1785, 1752, 1764, 1789, 1869, 1893, 1828, 1767, 1699, 1698, 1727, 1719, 1710, 1719, 1729, 1738, 1723, 1671, 1630, 1619, 1605, 1614, 1603, 1642, 1747, 1745, 1678, 1587, 1519, 1556, 1598, 1612, 1626, 1628, 1683, 1729, 1710, 1670, 1624, 1612, 1642, 1662, 1689, 1761, 1795, 1760, 1712, 1655, 1621, 1646, 1660, 1664, 1653, 1653, 1711, 1717, 1675, 1633, 1594, 1619, 1642, 1642, 1686, 1709, 1709, 1679, 1609, 1563, 1571, 1629, 1676, 1684, 1682, 1718, 1759, 1760, 1745, 1704, 1672, 1724, 1781, 1843, 1881, 1844, 1821, 1766, 1706, 1696, 1706, 1748, 1771, 1754, 1756, 1753, 1757, 1745, 1680, 1619, 1612, 1655, 1700, 1737, 1708, 1654, 1638, 1612, 1597, 1587, 1578, 1614, 1634, 1651, 1677, 1657, 1668, 1661, 1619, 1609, 1622, 1670, 1735, 1743, 1721, 1682, 1665, 1675, 1677, 1657, 1649, 1680, 1703, 1706, 1683, 1655, 1663, 1644, 1624, 1626, 1617, 1662, 1702, 1681, 1657, 1650, 1689, 1723, 1713, 1690, 1696, 1747, 1785, 1782, 1754, 1722, 1753, 1785, 1785, 1771, 1758, 1793, 1819, 1803, 1780, 1755, 1767, 1785, 1781, 1767, 1752, 1784, 1804, 1781, 1742, 1715, 1735, 1743, 1721, 1696, 1679, 1706, 1730, 1708, 1667, 1628, 1644, 1661, 1648, 1639, 1662, 1751, 1848, 1909, 1967, 2031, 2119, 2222, 2319, 2408, 2506, 2609, 2735, 2863, 2955, 2981, 3007, 3059, 3094, 3104, 3131, 3152, 3100, 3072, 3097, 3080, 2973, 2919, 2943, 2915, 2796, 2710, 2750, 2758, 2698, 2627, 2626, 2679, 2700, 2674, 2656, 2642, 2641, 2691, 2803, 2869, 2851, 2854, 2930, 2977, 2959, 2959, 3045, 3155, 3218, 3227, 3222, 3208, 3174, 3157, 3196, 3273, 3288, 3241, 3184, 3112, 3032, 2953, 2932, 2919, 2904, 2871, 2822, 2748, 2646, 2533, 2442, 2374, 2320, 2272, 2225, 2175, 2127, 2080, 2034, 1990, 1957, 1942, 1954, 1982, 2019, 2059, 2093, 2126, 2161, 2192, 2223, 2259, 2299, 2342, 2388, 2429, 2461, 2482, 2493, 2498, 2497, 2489, 2480, 2471, 2462, 2452, 2437, 2417, 2391, 2361, 2328, 2299, 2273}, {2210, 2192, 2185, 2188, 2199, 2212, 2223, 2232, 2238, 2241, 2241, 2236, 2227, 2223, 2226, 2233, 2240, 2245, 2250, 2256, 2260, 2259, 2250, 2239, 2230, 2228, 2231, 2236, 2240, 2241, 2243, 2242, 2237, 2230, 2223, 2218, 2218, 2220, 2222, 2226, 2228, 2229, 2228, 2225, 2221, 2218, 2216, 2219, 2225, 2234, 2240, 2242, 2242, 2242, 2240, 2237, 2234, 2234, 2235, 2240, 2243, 2243, 2242, 2239, 2237, 2234, 2230, 2227, 2227, 2229, 2231, 2232, 2233, 2234, 2235, 2232, 2228, 2225, 2225, 2227, 2228, 2231, 2267, 2307, 2306, 2267, 2209, 2177, 2185, 2202, 2216, 2221, 2219, 2239, 2263, 2262, 2247, 2216, 2185, 2189, 2210, 2241, 2287, 2297, 2275, 2245, 2217, 2209, 2210, 2201, 2201, 2210, 2225, 2235, 2211, 2150, 2075, 2002, 1959, 1933, 1876, 1814, 1687, 1508, 1253, 975, 739, 566, 435, 319, 216, 166, 230, 310, 338, 350, 432, 551, 695, 886, 1140, 1355, 1453, 1543, 1684, 1784, 1788, 1718, 1679, 1734, 1775, 1748, 1644, 1586, 1568, 1487, 1309, 1174, 1078, 994, 923, 895, 838, 679, 554, 545, 554, 507, 466, 448, 465, 503, 564, 624, 626, 599, 640, 720, 818, 904, 946, 989, 1067, 1181, 1293, 1366, 1418, 1502, 1629, 1741, 1822, 1870, 1925, 2015, 2072, 2089, 2071, 2051, 2096, 2112, 2059, 1974, 1890, 1876, 1877, 1829, 1752, 1669, 1632, 1612, 1557, 1493, 1448, 1445, 1459, 1461, 1461, 1510, 1564, 1548, 1489, 1429, 1417, 1492, 1566, 1616, 1636, 1659, 1736, 1775, 1748, 1716, 1685, 1721, 1783, 1799, 1820, 1850, 1858, 1828, 1751, 1678, 1650, 1669, 1690, 1688, 1657, 1649, 1679, 1672, 1626, 1554, 1503, 1540, 1576, 1569, 1565, 1558, 1585, 1597, 1570, 1545, 1524, 1545, 1591, 1599, 1597, 1607, 1644, 1672, 1668, 1646, 1639, 1675, 1728, 1791, 1819, 1809, 1793, 1752, 1721, 1717, 1724, 1774, 1795, 1787, 1795, 1795, 1813, 1806, 1737, 1684, 1679, 1731, 1813, 1838, 1795, 1742, 1712, 1697, 1675, 1626, 1587, 1611, 1648, 1677, 1672, 1643, 1649, 1641, 1607, 1583, 1565, 1637, 1740, 1752, 1707, 1640, 1613, 1632, 1640, 1630, 1614, 1633, 1696, 1737, 1721, 1687, 1679, 1670, 1657, 1636, 1634, 1703, 1745, 1726, 1688, 1643, 1654, 1673, 1652, 1617, 1590, 1631, 1695, 1694, 1657, 1620, 1626, 1654, 1654, 1644, 1677, 1735, 1756, 1714, 1649, 1623, 1670, 1722, 1735, 1721, 1712, 1769, 1822, 1816, 1774, 1714, 1716, 1757, 1774, 1811, 1844, 1850, 1819, 1743, 1679, 1648, 1659, 1683, 1682, 1669, 1680, 1718, 1724, 1678, 1605, 1555, 1582, 1618, 1643, 1672, 1663, 1672, 1673, 1644, 1616, 1592, 1610, 1646, 1647, 1648, 1659, 1695, 1734, 1720, 1674, 1646, 1665, 1705, 1734, 1720, 1686, 1687, 1699, 1690, 1670, 1635, 1639, 1649, 1643, 1639, 1620, 1642, 1680, 1672, 1646, 1632, 1651, 1693, 1706, 1693, 1693, 1737, 1786, 1793, 1772, 1741, 1753, 1783, 1788, 1778, 1756, 1774, 1821, 1826, 1801, 1762, 1762, 1783, 1781, 1761, 1747, 1772, 1805, 1798, 1766, 1734, 1734, 1739, 1718, 1692, 1663, 1673, 1707, 1710, 1679, 1645, 1646, 1665, 1647, 1629, 1645, 1719, 1818, 1896, 1965, 2044, 2136, 2239, 2336, 2412, 2494, 2596, 2712, 2842, 2948, 2995, 3017, 3070, 3119, 3108, 3096, 3109, 3086, 3037, 3043, 3052, 2964, 2875, 2891, 2907, 2810, 2676, 2673, 2720, 2696, 2622, 2599, 2647, 2710, 2719, 2699, 2677, 2666, 2681, 2777, 2889, 2925, 2890, 2939, 3025, 3053, 3003, 2999, 3084, 3193, 3246, 3251, 3232, 3216, 3189, 3159, 3147, 3167, 3194, 3209, 3163, 3076, 2986, 2943, 2911, 2871, 2817, 2766, 2723, 2669, 2592, 2487, 2389, 2313, 2260, 2215, 2164, 2109, 2067, 2038, 2018, 2001, 1988, 1981, 1990, 2019, 2062, 2106, 2140, 2175, 2218, 2263, 2301, 2332, 2359, 2392, 2429, 2458, 2477, 2489, 2495, 2495, 2486, 2473, 2459, 2439, 2416, 2395, 2379, 2360, 2336, 2307, 2280, 2261, 2243}, {2185, 2183, 2196, 2209, 2215, 2218, 2220, 2224, 2224, 2215, 2205, 2207, 2214, 2223, 2230, 2233, 2236, 2240, 2240, 2239, 2237, 2233, 2232, 2234, 2236, 2238, 2241, 2245, 2248, 2250, 2247, 2242, 2237, 2235, 2235, 2235, 2238, 2242, 2243, 2242, 2240, 2236, 2232, 2229, 2225, 2223, 2222, 2224, 2228, 2231, 2235, 2237, 2235, 2232, 2230, 2229, 2229, 2229, 2231, 2235, 2240, 2240, 2238, 2234, 2232, 2229, 2228, 2227, 2227, 2229, 2230, 2230, 2229, 2225, 2222, 2223, 2222, 2220, 2219, 2221, 2223, 2226, 2260, 2301, 2297, 2254, 2195, 2162, 2177, 2199, 2213, 2221, 2223, 2245, 2263, 2247, 2220, 2190, 2170, 2187, 2215, 2243, 2287, 2300, 2276, 2236, 2196, 2187, 2194, 2200, 2215, 2228, 2251, 2276, 2271, 2251, 2227, 2187, 2163, 2135, 2094, 2074, 2049, 2008, 1931, 1810, 1662, 1512, 1289, 1054, 820, 626, 511, 413, 294, 198, 178, 227, 283, 305, 424, 609, 751, 888, 1074, 1242, 1370, 1472, 1621, 1763, 1801, 1782, 1751, 1781, 1820, 1770, 1629, 1545, 1547, 1548, 1440, 1264, 1123, 988, 841, 785, 772, 692, 585, 560, 588, 559, 479, 441, 433, 431, 482, 567, 637, 707, 761, 786, 789, 768, 781, 873, 993, 1150, 1293, 1389, 1472, 1543, 1627, 1697, 1715, 1765, 1858, 1986, 2131, 2181, 2137, 2059, 2015, 2006, 1977, 1913, 1865, 1877, 1918, 1913, 1821, 1701, 1632, 1580, 1520, 1467, 1430, 1505, 1615, 1621, 1526, 1401, 1356, 1397, 1419, 1433, 1460, 1532, 1656, 1722, 1707, 1666, 1638, 1648, 1679, 1687, 1721, 1827, 1910, 1909, 1834, 1742, 1725, 1731, 1706, 1677, 1655, 1708, 1790, 1785, 1724, 1637, 1588, 1596, 1576, 1540, 1535, 1568, 1624, 1636, 1590, 1538, 1531, 1549, 1545, 1518, 1504, 1559, 1628, 1651, 1634, 1602, 1617, 1646, 1655, 1696, 1722, 1735, 1738, 1693, 1663, 1669, 1707, 1762, 1762, 1746, 1758, 1785, 1816, 1798, 1730, 1693, 1734, 1786, 1829, 1836, 1790, 1765, 1751, 1717, 1697, 1678, 1686, 1710, 1706, 1704, 1671, 1643, 1657, 1638, 1589, 1566, 1586, 1669, 1744, 1720, 1641, 1583, 1575, 1587, 1592, 1594, 1631, 1681, 1725, 1735, 1686, 1657, 1668, 1656, 1649, 1642, 1681, 1783, 1810, 1749, 1662, 1624, 1647, 1663, 1644, 1629, 1640, 1690, 1720, 1696, 1639, 1616, 1633, 1643, 1636, 1623, 1689, 1767, 1755, 1671, 1579, 1568, 1640, 1676, 1674, 1665, 1699, 1780, 1800, 1754, 1698, 1679, 1727, 1773, 1775, 1796, 1855, 1884, 1838, 1746, 1666, 1668, 1720, 1742, 1721, 1692, 1721, 1772, 1756, 1688, 1603, 1572, 1622, 1646, 1652, 1671, 1681, 1687, 1649, 1584, 1546, 1561, 1609, 1637, 1629, 1625, 1654, 1695, 1693, 1648, 1589, 1605, 1678, 1724, 1746, 1733, 1717, 1719, 1687, 1648, 1631, 1638, 1683, 1695, 1686, 1676, 1667, 1679, 1666, 1613, 1576, 1597, 1658, 1689, 1677, 1647, 1661, 1712, 1724, 1708, 1690, 1708, 1772, 1809, 1793, 1755, 1741, 1775, 1802, 1784, 1752, 1753, 1805, 1831, 1809, 1759, 1738, 1775, 1798, 1780, 1750, 1750, 1794, 1809, 1779, 1734, 1715, 1730, 1733, 1712, 1679, 1667, 1703, 1724, 1697, 1646, 1620, 1647, 1656, 1638, 1639, 1691, 1798, 1882, 1933, 1994, 2071, 2170, 2282, 2375, 2460, 2568, 2692, 2813, 2917, 2979, 2990, 3026, 3091, 3103, 3082, 3094, 3117, 3070, 3044, 3043, 2993, 2869, 2849, 2886, 2852, 2702, 2645, 2707, 2729, 2660, 2588, 2604, 2677, 2720, 2700, 2677, 2667, 2688, 2759, 2867, 2927, 2903, 2918, 3005, 3053, 3003, 2966, 3047, 3181, 3259, 3261, 3225, 3209, 3191, 3167, 3130, 3141, 3172, 3229, 3212, 3128, 3005, 2927, 2897, 2880, 2839, 2788, 2745, 2702, 2634, 2534, 2421, 2326, 2270, 2231, 2184, 2130, 2086, 2056, 2036, 2014, 1988, 1974, 1980, 2009, 2053, 2094, 2128, 2163, 2205, 2249, 2285, 2310, 2337, 2375, 2416, 2447, 2466, 2477, 2487, 2493, 2488, 2470, 2452, 2437, 2423, 2405, 2384, 2362, 2339, 2313, 2286, 2262, 2240}, {0}, }; #define DATA data_10ul_kx #define DATA2 data_10ul_water #define DATA3 data_10ul_one5ul_kx #define DATA4 data_20ul_ine5ul_kx #define PART_SIZE(x) (sizeof(x) / sizeof(x[0])) /* Q:过程噪声,Q增大,动态响应变快,收敛稳定性变坏 R:测量噪声,R增大,动态响应变慢,收敛稳定性变好 KALMAN_First_X : 观测初值,一般需要自己去采样一下 KALMAN_Frist_P : 采样误差初值 这个一般写0 */ #define KALMAN_Q 0.02 #define KALMAN_R 10.0000 #define KALMAN_First_X 1 #define KALMAN_Frist_P 0.00 /* 卡尔曼滤波处理 */ static float x_last = KALMAN_First_X; static float p_last = KALMAN_Frist_P; static float KalmanFilter(const float ResrcData, float ProcessNiose_Q, float MeasureNoise_R) { float R = MeasureNoise_R; float Q = ProcessNiose_Q; float x_mid = x_last; float x_now; float p_mid; float p_now; float kg; x_mid = x_last; // x_last=x(k-1|k-1),x_mid=x(k|k-1) p_mid = p_last + Q; // p_mid=p(k|k-1),p_last=p(k-1|k-1),Q=噪声 /* * 卡尔曼滤波的五个重要公式 */ kg = p_mid / (p_mid + R); // kg为kalman filter,R 为噪声 x_now = x_mid + kg * (ResrcData - x_mid); // 估计出的最优值 p_now = (1 - kg) * p_mid; // 最优值对应的covariance p_last = p_now; // 更新covariance 值 x_last = x_now; // 更新系统状态值 return x_now; } int main(void) { FILE *fp = fopen("1.csv", "w+"); int i = 0; // while (DATA[i][0] != 0) // { // int j = 0; // x_last = DATA[i][0]; // while (DATA[i][j] != 0) // { // float get_value = KalmanFilter(DATA[i][j], KALMAN_Q, KALMAN_R); // fprintf(fp, "%f,", get_value); // j++; // } // fprintf(fp, "\n"); // i++; // } // fprintf(fp, "\n"); // i = 0; // while (DATA3[i][0] != 0) // { // int j = 0; // x_last = DATA3[i][0]; // while (DATA3[i][j] != 0) // { // float get_value = KalmanFilter(DATA3[i][j], KALMAN_Q, KALMAN_R); // fprintf(fp, "%f,", get_value); // j++; // } // fprintf(fp, "\n"); // i++; // } // fprintf(fp, "\n"); i = 0; while (DATA2[i][0] != 0) { int j = 0; x_last = DATA2[i][0]; while (DATA2[i][j] != 0) { float get_value = KalmanFilter(DATA2[i][j], KALMAN_Q, KALMAN_R); fprintf(fp, "%f,", get_value); // fprintf(fp,"%d,",DATA2[i][j]); j++; } fprintf(fp, "\n"); i++; } fprintf(fp, "\n"); i = 0; while (DATA4[i][0] != 0) { int j = 0; x_last = DATA4[i][0]; while (DATA4[i][j] != 0) { float get_value = KalmanFilter(DATA4[i][j], KALMAN_Q, KALMAN_R); fprintf(fp, "%f,", get_value); // fprintf(fp,"%d,",DATA4[i][j]); j++; } fprintf(fp, "\n"); i++; } fclose(fp); }