work/ana2.c

#include <stdio.h>
#include <stdlib.h>
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[][1000] = {
    {2792, 2808, 2821, 2832, 2841, 2847, 2852, 2854, 2854, 2852, 2848, 2842, 2835, 2827, 2817, 2805, 2792, 2778, 2762, 2745, 2727, 2708, 2688, 2667, 2645, 2623, 2600, 2576, 2552, 2528, 2503, 2478, 2453, 2428, 2403, 2378, 2354, 2330, 2307, 2284, 2262, 2240, 2219, 2199, 2179, 2160, 2142, 2125, 2109, 2093, 2079, 2065, 2053, 2041, 2030, 2021, 2013, 2006, 2000, 1996, 1993, 1990, 1989, 1989, 1990, 1991, 1993, 1996, 2000, 2006, 2012, 2019, 2027, 2036, 2045, 2056, 2066, 2078, 2089, 2101, 2113, 2126, 2139, 2153, 2166, 2181, 2195, 2210, 2224, 2239, 2253, 2267, 2281, 2295, 2309, 2322, 2335, 2347, 2359, 2371, 2382, 2393, 2404, 2414, 2423, 2432, 2440, 2448, 2455, 2461, 2467, 2472, 2477, 2480, 2484, 2486, 2487, 2487, 2485, 2481, 2475, 2468, 2457, 2445, 2430, 2413, 2393, 2370, 2344, 2315, 2282, 2246, 2206, 2163, 2117, 2069, 2018, 1965, 1909, 1853, 1796, 1739, 1685, 1633, 1583, 1535, 1488, 1440, 1391, 1339, 1286, 1232, 1177, 1124, 1073, 1024, 977, 932, 888, 844, 800, 756, 712, 668, 626, 585, 547, 510, 475, 442, 411, 380, 350, 322, 295, 270, 245, 223, 201, 181, 161, 144, 129, 116, 106, 99, 95, 92, 92, 94, 98, 103, 112, 124, 140, 159, 182, 207, 234, 263, 293, 324, 357, 392, 430, 470, 513, 557, 603, 649, 696, 742, 788, 835, 884, 933, 984, 1035, 1085, 1135, 1184, 1232, 1280, 1328, 1377, 1426, 1475, 1523, 1569, 1612, 1653, 1691, 1727, 1762, 1797, 1831, 1864, 1896, 1926, 1952, 1976, 1996, 2014, 2029, 2042, 2054, 2064, 2073, 2079, 2083, 2084, 2082, 2078, 2073, 2065, 2056, 2046, 2034, 2020, 2004, 1985, 1964, 1942, 1920, 1898, 1875, 1852, 1827, 1801, 1774, 1744, 1713, 1681, 1650, 1620, 1590, 1561, 1531, 1501, 1470, 1437, 1404, 1372, 1341, 1312, 1285, 1259, 1235, 1210, 1186, 1161, 1136, 1111, 1089, 1068, 1050, 1035, 1021, 1008, 997, 985, 974, 964, 956, 949, 944, 940, 939, 938, 938, 939, 940, 941, 945, 950, 958, 968, 980, 994, 1011, 1029, 1048, 1070, 1095, 1122, 1151, 1183, 1217, 1254, 1292, 1332, 1374, 1417, 1463, 1509, 1558, 1608, 1659, 1712, 1766, 1820, 1875, 1929, 1984, 2039, 2093, 2148, 2203, 2257, 2312, 2367, 2421, 2475, 2528, 2580, 2630, 2680, 2728, 2774, 2820, 2864, 2907, 2948, 2988, 3025, 3061, 3094, 3125, 3154, 3181, 3207, 3230, 3252, 3273, 3292, 3310, 3325, 3338, 3348, 3356, 3362, 3365, 3366, 3365, 3362, 3357, 3350, 3340, 3328, 3313, 3294, 3274, 3250, 3225, 3196, 3166, 3134, 3099, 3062, 3024, 2983, 2940, 2896, 2851, 2805, 2759, 2712, 2664, 2616, 2568, 2520, 2471, 2423, 2374, 2327, 2280, 2234, 2188, 2144, 2102, 2060, 2019, 1980, 1942, 1905, 1870, 1837, 1805, 1775, 1747, 1721},
    {2171, 2194, 2216, 2237, 2256, 2274, 2290, 2305, 2317, 2326, 2333, 2335, 2334, 2331, 2324, 2316, 2306, 2294, 2282, 2269, 2256, 2242, 2228, 2215, 2202, 2191, 2182, 2175, 2170, 2166, 2164, 2164, 2164, 2166, 2170, 2174, 2180, 2186, 2194, 2203, 2211, 2220, 2228, 2235, 2241, 2246, 2251, 2255, 2258, 2261, 2262, 2264, 2264, 2263, 2261, 2258, 2255, 2251, 2247, 2243, 2239, 2235, 2231, 2228, 2224, 2221, 2217, 2214, 2211, 2209, 2208, 2207, 2207, 2207, 2208, 2210, 2212, 2214, 2217, 2219, 2222, 2225, 2227, 2230, 2233, 2235, 2237, 2239, 2241, 2242, 2243, 2243, 2243, 2243, 2242, 2241, 2239, 2237, 2236, 2234, 2232, 2230, 2229, 2227, 2226, 2224, 2223, 2221, 2220, 2219, 2219, 2219, 2220, 2220, 2219, 2215, 2208, 2195, 2175, 2147, 2110, 2065, 2012, 1951, 1883, 1809, 1728, 1640, 1544, 1437, 1321, 1194, 1060, 923, 789, 667, 564, 487, 440, 423, 434, 468, 522, 592, 675, 771, 879, 998, 1124, 1249, 1367, 1468, 1545, 1596, 1624, 1633, 1628, 1616, 1599, 1577, 1547, 1503, 1445, 1372, 1287, 1195, 1105, 1023, 950, 887, 832, 781, 730, 677, 625, 578, 540, 518, 513, 524, 548, 578, 612, 647, 684, 727, 780, 848, 933, 1032, 1140, 1248, 1350, 1441, 1522, 1595, 1664, 1734, 1805, 1875, 1939, 1990, 2022, 2033, 2024, 2001, 1971, 1940, 1912, 1886, 1861, 1830, 1790, 1740, 1681, 1620, 1561, 1513, 1479, 1460, 1451, 1449, 1448, 1446, 1442, 1440, 1443, 1458, 1484, 1523, 1568, 1614, 1654, 1684, 1704, 1717, 1727, 1740, 1759, 1783, 1808, 1829, 1839, 1837, 1821, 1797, 1770, 1746, 1728, 1716, 1708, 1698, 1680, 1653, 1617, 1576, 1538, 1510, 1495, 1494, 1502, 1513, 1523, 1527, 1524, 1519, 1515, 1519, 1534, 1558, 1589, 1619, 1645, 1660, 1665, 1662, 1656, 1654, 1657, 1668, 1683, 1698, 1708, 1709, 1702, 1688, 1673, 1660, 1655, 1657, 1665, 1675, 1683, 1685, 1681, 1673, 1664, 1660, 1662, 1672, 1687, 1703, 1717, 1725, 1727, 1723, 1717, 1714, 1715, 1722, 1733, 1745, 1754, 1758, 1758, 1755, 1756, 1765, 1787, 1824, 1875, 1936, 2004, 2074, 2145, 2216, 2288, 2363, 2441, 2523, 2607, 2689, 2765, 2831, 2886, 2928, 2958, 2978, 2989, 2994, 2993, 2986, 2973, 2954, 2929, 2898, 2863, 2826, 2788, 2753, 2722, 2695, 2672, 2656, 2645, 2639, 2637, 2638, 2644, 2654, 2668, 2687, 2711, 2741, 2774, 2809, 2845, 2879, 2911, 2940, 2968, 2998, 3030, 3064, 3099, 3131, 3157, 3174, 3181, 3177, 3165, 3147, 3125, 3102, 3076, 3048, 3013, 2971, 2920, 2860, 2793, 2722, 2649, 2577, 2507, 2438, 2370, 2302, 2234, 2168, 2105, 2048, 2001, 1965, 1941, 1930, 1929, 1936, 1951, 1971, 1995, 2023, 2056, 2093, 2135, 2179, 2224, 2269, 2310, 2348, 2380, 2407, 2429, 2445, 2457, 2464, 2467, 2465, 2458, 2446, 2430},
    {2179, 2200, 2220, 2238, 2254, 2269, 2282, 2293, 2302, 2309, 2314, 2315, 2313, 2308, 2300, 2291, 2280, 2269, 2257, 2246, 2234, 2222, 2211, 2200, 2190, 2181, 2174, 2168, 2164, 2162, 2162, 2164, 2167, 2171, 2176, 2181, 2188, 2195, 2202, 2210, 2218, 2225, 2232, 2239, 2244, 2248, 2252, 2254, 2255, 2256, 2255, 2254, 2252, 2249, 2245, 2241, 2237, 2232, 2228, 2224, 2220, 2216, 2213, 2211, 2209, 2207, 2206, 2206, 2206, 2206, 2207, 2208, 2209, 2210, 2212, 2214, 2215, 2217, 2219, 2220, 2222, 2224, 2226, 2227, 2229, 2230, 2231, 2232, 2233, 2233, 2233, 2233, 2232, 2232, 2231, 2229, 2228, 2226, 2225, 2223, 2221, 2220, 2218, 2217, 2216, 2215, 2214, 2214, 2214, 2214, 2214, 2215, 2216, 2217, 2217, 2215, 2210, 2200, 2183, 2157, 2124, 2082, 2031, 1974, 1909, 1837, 1757, 1669, 1573, 1468, 1355, 1235, 1107, 975, 841, 712, 597, 502, 438, 408, 413, 449, 510, 589, 679, 776, 878, 987, 1101, 1217, 1333, 1440, 1532, 1601, 1646, 1666, 1664, 1645, 1614, 1576, 1532, 1481, 1422, 1355, 1278, 1192, 1103, 1015, 933, 861, 800, 751, 709, 672, 636, 602, 572, 548, 536, 538, 555, 586, 626, 671, 719, 769, 821, 881, 951, 1032, 1127, 1229, 1334, 1436, 1529, 1612, 1683, 1745, 1802, 1855, 1905, 1949, 1982, 2001, 2004, 1990, 1962, 1927, 1888, 1852, 1819, 1789, 1758, 1722, 1678, 1627, 1572, 1519, 1475, 1446, 1434, 1435, 1445, 1459, 1471, 1480, 1487, 1496, 1512, 1538, 1576, 1621, 1670, 1716, 1752, 1776, 1789, 1794, 1797, 1801, 1809, 1819, 1828, 1831, 1825, 1807, 1779, 1746, 1713, 1685, 1665, 1651, 1641, 1630, 1612, 1588, 1558, 1527, 1501, 1486, 1484, 1493, 1510, 1529, 1544, 1554, 1558, 1560, 1565, 1577, 1599, 1628, 1659, 1686, 1704, 1710, 1704, 1692, 1679, 1672, 1673, 1681, 1693, 1703, 1705, 1699, 1684, 1665, 1647, 1637, 1636, 1645, 1660, 1676, 1686, 1689, 1685, 1676, 1669, 1667, 1674, 1689, 1709, 1729, 1744, 1751, 1750, 1743, 1735, 1731, 1733, 1742, 1756, 1770, 1780, 1786, 1787, 1789, 1796, 1816, 1850, 1901, 1965, 2039, 2117, 2196, 2273, 2348, 2424, 2500, 2579, 2659, 2736, 2808, 2871, 2921, 2957, 2980, 2992, 2994, 2989, 2979, 2965, 2947, 2923, 2895, 2863, 2827, 2789, 2752, 2718, 2689, 2666, 2649, 2639, 2635, 2637, 2642, 2651, 2663, 2678, 2698, 2722, 2752, 2786, 2824, 2862, 2898, 2930, 2958, 2983, 3007, 3033, 3062, 3092, 3123, 3149, 3168, 3176, 3173, 3160, 3140, 3116, 3090, 3064, 3037, 3006, 2968, 2921, 2866, 2802, 2732, 2660, 2588, 2518, 2452, 2388, 2324, 2261, 2198, 2137, 2081, 2032, 1993, 1967, 1953, 1951, 1959, 1974, 1994, 2018, 2046, 2077, 2112, 2151, 2192, 2235, 2277, 2317, 2352, 2383, 2407, 2426, 2439, 2448, 2453, 2453, 2450, 2442, 2429, 2413, 2392},
    {2421, 2445, 2467, 2488, 2505, 2520, 2533, 2543, 2551, 2557, 2560, 2561, 2560, 2555, 2548, 2539, 2527, 2514, 2501, 2488, 2475, 2462, 2451, 2440, 2431, 2422, 2414, 2408, 2403, 2400, 2398, 2398, 2400, 2404, 2409, 2416, 2423, 2431, 2439, 2447, 2454, 2461, 2467, 2473, 2478, 2482, 2486, 2489, 2492, 2493, 2493, 2493, 2491, 2488, 2486, 2482, 2479, 2476, 2472, 2469, 2466, 2463, 2460, 2457, 2454, 2451, 2449, 2447, 2445, 2444, 2444, 2444, 2444, 2445, 2447, 2448, 2450, 2452, 2453, 2455, 2457, 2459, 2460, 2462, 2464, 2466, 2468, 2470, 2471, 2472, 2473, 2473, 2473, 2473, 2472, 2471, 2470, 2469, 2468, 2467, 2465, 2463, 2461, 2460, 2458, 2457, 2456, 2455, 2455, 2456, 2456, 2457, 2458, 2458, 2458, 2457, 2454, 2448, 2436, 2415, 2383, 2337, 2278, 2207, 2128, 2042, 1953, 1863, 1771, 1676, 1574, 1466, 1351, 1230, 1106, 984, 870, 771, 696, 651, 638, 657, 701, 765, 839, 919, 1000, 1083, 1171, 1262, 1358, 1454, 1544, 1620, 1678, 1714, 1726, 1716, 1689, 1650, 1605, 1555, 1503, 1449, 1388, 1319, 1237, 1144, 1040, 928, 816, 710, 616, 536, 471, 419, 374, 335, 298, 266, 241, 228, 232, 254, 294, 351, 423, 506, 598, 696, 800, 909, 1023, 1140, 1259, 1375, 1486, 1588, 1678, 1757, 1823, 1878, 1921, 1952, 1970, 1976, 1970, 1951, 1923, 1887, 1847, 1805, 1762, 1719, 1675, 1627, 1574, 1517, 1459, 1405, 1360, 1328, 1311, 1307, 1312, 1323, 1335, 1348, 1362, 1379, 1403, 1435, 1476, 1524, 1574, 1622, 1662, 1693, 1715, 1728, 1737, 1744, 1752, 1760, 1767, 1769, 1764, 1751, 1730, 1704, 1677, 1650, 1628, 1610, 1594, 1578, 1557, 1532, 1502, 1472, 1447, 1429, 1423, 1426, 1435, 1447, 1459, 1468, 1475, 1482, 1492, 1509, 1532, 1560, 1590, 1615, 1633, 1640, 1638, 1630, 1623, 1620, 1624, 1634, 1647, 1658, 1664, 1662, 1654, 1642, 1631, 1626, 1628, 1637, 1652, 1667, 1677, 1681, 1677, 1668, 1659, 1652, 1652, 1658, 1669, 1681, 1691, 1696, 1697, 1694, 1691, 1690, 1692, 1700, 1712, 1727, 1743, 1760, 1779, 1803, 1836, 1879, 1935, 2001, 2077, 2158, 2242, 2325, 2407, 2487, 2565, 2639, 2710, 2775, 2834, 2885, 2926, 2956, 2975, 2983, 2981, 2970, 2953, 2931, 2905, 2878, 2849, 2819, 2787, 2754, 2722, 2691, 2662, 2638, 2621, 2612, 2609, 2613, 2620, 2632, 2645, 2660, 2679, 2701, 2729, 2762, 2798, 2835, 2872, 2906, 2936, 2964, 2992, 3019, 3049, 3080, 3110, 3135, 3153, 3161, 3156, 3140, 3114, 3083, 3050, 3016, 2982, 2946, 2906, 2857, 2799, 2731, 2656, 2577, 2499, 2425, 2357, 2295, 2238, 2183, 2130, 2078, 2029, 1986, 1950, 1925, 1913, 1913, 1925, 1947, 1975, 2006, 2039, 2073, 2107, 2142, 2179, 2217, 2256, 2295, 2333, 2367, 2395, 2417, 2431, 2439, 2441, 2439, 2433, 2424, 2413},
    {2213, 2233, 2251, 2267, 2281, 2293, 2303, 2310, 2314, 2315, 2314, 2309, 2302, 2293, 2283, 2271, 2259, 2246, 2233, 2221, 2209, 2197, 2187, 2177, 2170, 2164, 2159, 2157, 2157, 2158, 2161, 2165, 2170, 2177, 2184, 2193, 2201, 2209, 2217, 2225, 2232, 2238, 2243, 2247, 2250, 2253, 2254, 2255, 2254, 2253, 2250, 2247, 2243, 2238, 2234, 2229, 2224, 2219, 2215, 2212, 2208, 2205, 2203, 2201, 2200, 2199, 2199, 2200, 2201, 2203, 2205, 2207, 2209, 2212, 2214, 2216, 2218, 2220, 2222, 2224, 2226, 2227, 2228, 2229, 2230, 2230, 2230, 2230, 2229, 2228, 2227, 2226, 2225, 2224, 2223, 2222, 2222, 2221, 2220, 2218, 2217, 2216, 2215, 2214, 2213, 2213, 2213, 2214, 2214, 2215, 2216, 2216, 2216, 2217, 2217, 2215, 2212, 2203, 2187, 2159, 2118, 2063, 1993, 1911, 1823, 1730, 1636, 1540, 1442, 1337, 1226, 1108, 985, 863, 747, 643, 556, 490, 447, 432, 444, 482, 547, 633, 738, 855, 979, 1105, 1227, 1341, 1443, 1530, 1598, 1644, 1670, 1677, 1665, 1637, 1595, 1542, 1478, 1405, 1325, 1240, 1152, 1063, 977, 897, 823, 757, 701, 656, 621, 596, 582, 576, 576, 580, 587, 600, 618, 644, 680, 726, 781, 844, 914, 988, 1065, 1144, 1227, 1313, 1403, 1495, 1586, 1674, 1752, 1819, 1870, 1906, 1927, 1938, 1939, 1935, 1924, 1908, 1884, 1853, 1815, 1772, 1726, 1681, 1642, 1609, 1583, 1562, 1543, 1523, 1501, 1479, 1461, 1450, 1450, 1462, 1484, 1513, 1545, 1575, 1601, 1625, 1648, 1672, 1699, 1729, 1760, 1789, 1812, 1825, 1827, 1819, 1805, 1787, 1770, 1754, 1739, 1724, 1708, 1687, 1663, 1637, 1610, 1587, 1570, 1560, 1556, 1555, 1553, 1549, 1541, 1530, 1521, 1515, 1517, 1528, 1545, 1564, 1584, 1600, 1612, 1620, 1627, 1636, 1650, 1668, 1688, 1707, 1718, 1721, 1713, 1697, 1678, 1660, 1647, 1642, 1643, 1645, 1646, 1643, 1635, 1625, 1616, 1613, 1618, 1632, 1652, 1674, 1694, 1708, 1714, 1714, 1711, 1711, 1715, 1724, 1737, 1750, 1760, 1764, 1761, 1755, 1748, 1742, 1742, 1748, 1759, 1774, 1790, 1808, 1827, 1852, 1885, 1929, 1986, 2057, 2138, 2226, 2317, 2407, 2493, 2575, 2652, 2724, 2791, 2851, 2903, 2945, 2975, 2994, 3001, 2997, 2983, 2961, 2935, 2905, 2873, 2839, 2806, 2773, 2739, 2708, 2680, 2655, 2636, 2624, 2620, 2623, 2633, 2647, 2664, 2684, 2706, 2730, 2759, 2792, 2829, 2868, 2907, 2943, 2973, 2998, 3018, 3038, 3059, 3082, 3107, 3132, 3153, 3166, 3168, 3157, 3135, 3105, 3069, 3033, 2998, 2963, 2926, 2885, 2836, 2779, 2715, 2646, 2575, 2507, 2444, 2386, 2332, 2279, 2226, 2173, 2121, 2073, 2034, 2005, 1988, 1984, 1992, 2007, 2027, 2050, 2075, 2102, 2131, 2164, 2200, 2238, 2277, 2314, 2347, 2374, 2395, 2409, 2417, 2422, 2423, 2421, 2417, 2410, 2400, 2385, 2366},
    {2016, 1997, 1983, 1972, 1966, 1963, 1964, 1969, 1977, 1988, 2002, 2018, 2037, 2057, 2080, 2103, 2127, 2152, 2177, 2201, 2225, 2247, 2268, 2288, 2306, 2322, 2337, 2349, 2359, 2366, 2371, 2373, 2373, 2371, 2367, 2360, 2352, 2342, 2330, 2318, 2304, 2290, 2275, 2260, 2245, 2230, 2215, 2201, 2188, 2176, 2166, 2156, 2148, 2141, 2136, 2132, 2130, 2129, 2129, 2131, 2134, 2138, 2143, 2149, 2156, 2164, 2172, 2180, 2189, 2198, 2207, 2216, 2224, 2233, 2240, 2248, 2255, 2261, 2266, 2270, 2273, 2276, 2277, 2278, 2277, 2277, 2275, 2273, 2270, 2267, 2263, 2258, 2253, 2248, 2242, 2236, 2229, 2223, 2218, 2213, 2208, 2204, 2200, 2197, 2195, 2192, 2191, 2189, 2188, 2188, 2189, 2189, 2191, 2192, 2194, 2195, 2196, 2194, 2188, 2177, 2159, 2133, 2098, 2055, 2004, 1946, 1881, 1812, 1737, 1656, 1569, 1474, 1374, 1269, 1161, 1053, 947, 847, 755, 674, 607, 557, 524, 507, 506, 517, 539, 570, 609, 654, 705, 761, 818, 875, 933, 988, 1040, 1091, 1139, 1185, 1226, 1263, 1296, 1323, 1344, 1359, 1368, 1371, 1366, 1356, 1339, 1317, 1290, 1260, 1227, 1192, 1155, 1114, 1070, 1023, 974, 925, 878, 834, 795, 764, 740, 725, 721, 727, 743, 769, 806, 851, 904, 965, 1031, 1104, 1180, 1258, 1337, 1416, 1495, 1571, 1645, 1716, 1781, 1842, 1897, 1947, 1991, 2029, 2062, 2087, 2107, 2119, 2124, 2122, 2111, 2092, 2066, 2035, 2000, 1962, 1922, 1882, 1841, 1799, 1757, 1716, 1676, 1638, 1604, 1571, 1541, 1515, 1491, 1471, 1454, 1440, 1429, 1421, 1417, 1415, 1416, 1421, 1428, 1437, 1449, 1463, 1479, 1498, 1519, 1541, 1564, 1588, 1611, 1633, 1653, 1669, 1683, 1695, 1706, 1716, 1724, 1733, 1738, 1742, 1745, 1746, 1745, 1743, 1740, 1736, 1732, 1726, 1719, 1711, 1701, 1688, 1673, 1658, 1642, 1626, 1613, 1601, 1590, 1581, 1573, 1568, 1566, 1565, 1568, 1573, 1581, 1590, 1601, 1613, 1626, 1638, 1651, 1664, 1676, 1688, 1700, 1712, 1723, 1733, 1743, 1753, 1762, 1770, 1780, 1789, 1799, 1809, 1820, 1834, 1849, 1867, 1890, 1918, 1951, 1991, 2038, 2090, 2146, 2206, 2269, 2334, 2401, 2468, 2535, 2601, 2664, 2725, 2781, 2835, 2883, 2927, 2964, 2997, 3023, 3043, 3058, 3067, 3071, 3070, 3064, 3054, 3040, 3022, 3002, 2981, 2958, 2934, 2909, 2885, 2861, 2838, 2816, 2796, 2778, 2762, 2751, 2742, 2736, 2733, 2733, 2735, 2741, 2750, 2762, 2779, 2801, 2826, 2854, 2883, 2913, 2940, 2964, 2984, 3000, 3012, 3021, 3026, 3028, 3027, 3021, 3010, 2992, 2967, 2935, 2895, 2849, 2797, 2740, 2679, 2615, 2549, 2482, 2414, 2346, 2280, 2216, 2155, 2098, 2046, 2000, 1959, 1926, 1898, 1878, 1863, 1855, 1853, 1857, 1867, 1882, 1902, 1927, 1956, 1990, 2026, 2064, 2104, 2144, 2185, 2225, 2263, 2300},
    {2130, 2146, 2164, 2182, 2200, 2219, 2236, 2253, 2268, 2282, 2295, 2305, 2312, 2318, 2321, 2321, 2320, 2316, 2311, 2304, 2297, 2288, 2278, 2268, 2257, 2247, 2236, 2226, 2217, 2209, 2203, 2197, 2193, 2191, 2189, 2189, 2189, 2190, 2192, 2194, 2198, 2203, 2208, 2214, 2221, 2227, 2233, 2239, 2244, 2248, 2252, 2256, 2259, 2262, 2264, 2266, 2267, 2267, 2266, 2265, 2263, 2260, 2257, 2254, 2251, 2247, 2244, 2241, 2237, 2234, 2231, 2228, 2226, 2223, 2221, 2220, 2219, 2219, 2219, 2220, 2221, 2223, 2225, 2227, 2229, 2231, 2233, 2236, 2238, 2240, 2242, 2244, 2246, 2247, 2249, 2250, 2250, 2250, 2250, 2249, 2248, 2247, 2246, 2245, 2244, 2243, 2241, 2239, 2237, 2235, 2232, 2229, 2225, 2220, 2215, 2209, 2201, 2190, 2172, 2146, 2108, 2058, 1996, 1924, 1844, 1761, 1676, 1592, 1505, 1414, 1314, 1203, 1078, 944, 807, 677, 565, 479, 425, 404, 410, 437, 479, 530, 588, 655, 733, 825, 930, 1045, 1161, 1270, 1361, 1428, 1471, 1491, 1494, 1487, 1475, 1461, 1445, 1423, 1391, 1345, 1286, 1214, 1136, 1057, 983, 916, 858, 807, 759, 709, 658, 607, 558, 518, 490, 476, 478, 492, 514, 543, 575, 612, 658, 714, 785, 870, 968, 1073, 1182, 1287, 1386, 1478, 1564, 1645, 1724, 1800, 1870, 1930, 1978, 2009, 2022, 2019, 2004, 1982, 1955, 1928, 1899, 1866, 1828, 1782, 1728, 1671, 1614, 1564, 1526, 1500, 1486, 1479, 1477, 1474, 1469, 1464, 1463, 1468, 1483, 1509, 1544, 1583, 1622, 1655, 1681, 1699, 1711, 1722, 1735, 1751, 1770, 1789, 1804, 1812, 1810, 1800, 1783, 1765, 1747, 1734, 1724, 1715, 1704, 1686, 1662, 1631, 1599, 1569, 1546, 1533, 1529, 1532, 1537, 1541, 1540, 1536, 1531, 1529, 1534, 1546, 1567, 1591, 1614, 1632, 1641, 1642, 1638, 1634, 1634, 1640, 1653, 1670, 1685, 1696, 1699, 1695, 1686, 1677, 1672, 1673, 1681, 1692, 1705, 1714, 1717, 1715, 1708, 1701, 1697, 1698, 1706, 1716, 1727, 1733, 1731, 1721, 1705, 1685, 1666, 1653, 1645, 1642, 1643, 1642, 1640, 1635, 1632, 1634, 1646, 1673, 1715, 1772, 1841, 1918, 1999, 2081, 2164, 2249, 2334, 2422, 2512, 2601, 2688, 2768, 2839, 2897, 2941, 2972, 2991, 3001, 3002, 2997, 2985, 2968, 2945, 2915, 2880, 2841, 2798, 2755, 2713, 2675, 2640, 2612, 2591, 2575, 2566, 2561, 2560, 2562, 2569, 2581, 2600, 2626, 2660, 2699, 2741, 2783, 2822, 2858, 2890, 2921, 2954, 2989, 3026, 3065, 3101, 3130, 3148, 3155, 3148, 3130, 3105, 3076, 3046, 3015, 2983, 2946, 2901, 2846, 2781, 2707, 2628, 2548, 2471, 2399, 2332, 2268, 2206, 2144, 2083, 2025, 1971, 1926, 1893, 1872, 1865, 1869, 1883, 1903, 1928, 1955, 1985, 2018, 2054, 2094, 2138, 2183, 2229, 2273, 2313, 2347, 2374, 2395, 2411, 2422, 2429, 2432, 2432, 2428, 2420},
    {2078, 2102, 2128, 2154, 2180, 2205, 2229, 2251, 2272, 2290, 2306, 2319, 2330, 2338, 2342, 2344, 2342, 2338, 2330, 2321, 2309, 2296, 2282, 2267, 2251, 2236, 2221, 2207, 2194, 2182, 2171, 2162, 2154, 2149, 2145, 2143, 2144, 2145, 2149, 2154, 2160, 2167, 2175, 2184, 2193, 2202, 2211, 2220, 2229, 2236, 2243, 2249, 2254, 2258, 2261, 2263, 2264, 2264, 2263, 2261, 2258, 2254, 2250, 2246, 2242, 2237, 2232, 2228, 2224, 2220, 2216, 2212, 2208, 2205, 2203, 2201, 2199, 2198, 2198, 2198, 2198, 2199, 2201, 2203, 2205, 2207, 2210, 2213, 2216, 2219, 2222, 2225, 2228, 2230, 2232, 2234, 2235, 2236, 2237, 2237, 2237, 2236, 2235, 2234, 2232, 2230, 2229, 2227, 2225, 2223, 2221, 2220, 2218, 2216, 2214, 2211, 2207, 2200, 2188, 2169, 2142, 2105, 2058, 2002, 1939, 1870, 1795, 1712, 1620, 1518, 1405, 1285, 1160, 1032, 905, 781, 666, 564, 482, 426, 401, 408, 444, 503, 580, 665, 755, 849, 945, 1045, 1147, 1249, 1347, 1435, 1507, 1560, 1593, 1607, 1604, 1588, 1564, 1534, 1498, 1456, 1408, 1351, 1285, 1212, 1135, 1057, 982, 913, 853, 801, 753, 708, 663, 618, 577, 543, 520, 511, 516, 535, 565, 604, 650, 703, 764, 835, 918, 1012, 1117, 1230, 1344, 1455, 1559, 1653, 1738, 1815, 1885, 1948, 2005, 2051, 2086, 2105, 2108, 2095, 2070, 2036, 1997, 1957, 1918, 1878, 1835, 1786, 1729, 1666, 1602, 1541, 1489, 1452, 1428, 1417, 1414, 1414, 1415, 1415, 1417, 1424, 1439, 1464, 1498, 1540, 1584, 1626, 1661, 1688, 1707, 1722, 1735, 1750, 1767, 1785, 1801, 1813, 1816, 1811, 1799, 1782, 1765, 1750, 1738, 1729, 1718, 1702, 1679, 1649, 1615, 1581, 1552, 1532, 1522, 1519, 1520, 1522, 1521, 1517, 1511, 1508, 1510, 1520, 1540, 1565, 1592, 1614, 1628, 1633, 1631, 1626, 1625, 1630, 1642, 1660, 1680, 1696, 1706, 1707, 1702, 1694, 1688, 1688, 1694, 1707, 1722, 1735, 1742, 1741, 1734, 1724, 1715, 1711, 1713, 1721, 1732, 1741, 1747, 1746, 1741, 1732, 1724, 1719, 1720, 1725, 1734, 1742, 1750, 1757, 1766, 1779, 1803, 1839, 1890, 1953, 2026, 2106, 2188, 2272, 2355, 2437, 2518, 2598, 2677, 2753, 2825, 2890, 2946, 2991, 3024, 3045, 3054, 3054, 3046, 3032, 3013, 2989, 2962, 2932, 2898, 2861, 2822, 2783, 2745, 2710, 2680, 2657, 2640, 2630, 2625, 2624, 2627, 2634, 2644, 2660, 2682, 2711, 2746, 2785, 2827, 2867, 2905, 2939, 2971, 3002, 3034, 3067, 3102, 3136, 3166, 3189, 3202, 3202, 3191, 3170, 3142, 3112, 3080, 3046, 3008, 2964, 2909, 2844, 2769, 2687, 2602, 2518, 2437, 2362, 2292, 2226, 2163, 2103, 2045, 1993, 1947, 1912, 1889, 1878, 1881, 1894, 1916, 1944, 1976, 2010, 2047, 2085, 2127, 2170, 2216, 2262, 2308, 2351, 2390, 2423, 2449, 2468, 2481, 2488, 2491, 2489, 2484, 2474},

    {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] = {
    {2771, 2772, 2772, 2773, 2773, 2773, 2773, 2773, 2773, 2773, 2772, 2772, 2771, 2771, 2770, 2770, 2770, 2770, 2770, 2770, 2769, 2769, 2769, 2769, 2768, 2768, 2768, 2769, 2769, 2769, 2769, 2769, 2769, 2769, 2769, 2769, 2769, 2769, 2770, 2770, 2770, 2771, 2771, 2771, 2771, 2770, 2770, 2770, 2770, 2770, 2771, 2771, 2771, 2771, 2771, 2771, 2771, 2771, 2771, 2771, 2771, 2771, 2771, 2770, 2770, 2769, 2769, 2768, 2766, 2761, 2750, 2730, 2695, 2642, 2568, 2474, 2363, 2240, 2112, 1985, 1867, 1762, 1671, 1594, 1528, 1470, 1419, 1375, 1339, 1315, 1305, 1310, 1329, 1357, 1389, 1418, 1442, 1460, 1475, 1491, 1513, 1542, 1577, 1616, 1654, 1684, 1704, 1713, 1712, 1704, 1692, 1679, 1667, 1653, 1637, 1617, 1591, 1559, 1523, 1485, 1447, 1413, 1383, 1357, 1334, 1310, 1283, 1253, 1222, 1192, 1165, 1145, 1132, 1127, 1128, 1134, 1143, 1155, 1173, 1198, 1234, 1283, 1343, 1414, 1491, 1571, 1649, 1725, 1798, 1869, 1939, 2007, 2074, 2135, 2189, 2232, 2261, 2278, 2283, 2280, 2272, 2260, 2247, 2230, 2209, 2180, 2142, 2097, 2046, 1995, 1948, 1909, 1879, 1859, 1845, 1834, 1823, 1812, 1801, 1795, 1794, 1802, 1819, 1842, 1869, 1894, 1915, 1931, 1941, 1949, 1957, 1967, 1981, 1997, 2013, 2025, 2031, 2030, 2023, 2013, 2004, 1997, 1994, 1993, 1992, 1987, 1976, 1958, 1934, 1908, 1884, 1866, 1855, 1850, 1849, 1849, 1846, 1839, 1830, 1820, 1815, 1816, 1824, 1839, 1856, 1871, 1881, 1884, 1880, 1874, 1869, 1869, 1876, 1889, 1906, 1921, 1932, 1938, 1938, 1935, 1934, 1937, 1946, 1961, 1977, 1993, 2004, 2008, 2007, 2002, 1998, 1996, 2000, 2008, 2019, 2029, 2036, 2037, 2032, 2024, 2016, 2011, 2009, 2011, 2015, 2018, 2019, 2017, 2015, 2015, 2024, 2044, 2078, 2127, 2188, 2259, 2335, 2413, 2493, 2575, 2658, 2744, 2831, 2919, 3005, 3085, 3157, 3218, 3268, 3306, 3334, 3354, 3366, 3371, 3369, 3360, 3344, 3321, 3292, 3258, 3221, 3183, 3145, 3109, 3075, 3044, 3018, 2995, 2977, 2964, 2956, 2952, 2954, 2961, 2973, 2991, 3015, 3043, 3075, 3109, 3144, 3178, 3211, 3244, 3278, 3315, 3353, 3392, 3431, 3467, 3497, 3519, 3530, 3531, 3522, 3507, 3486, 3461, 3432, 3397, 3355, 3303, 3241, 3170, 3092, 3010, 2927, 2846, 2767, 2690, 2615, 2542, 2472, 2406, 2346, 2296, 2256, 2228, 2212, 2206, 2209, 2219, 2234, 2255, 2282, 2314, 2352, 2395, 2442, 2491, 2540, 2587, 2631, 2670, 2706, 2737, 2764, 2786, 2804, 2818, 2825, 2826, 2822},
    {2789, 2789, 2790, 2790, 2790, 2791, 2791, 2791, 2791, 2791, 2791, 2791, 2791, 2791, 2791, 2790, 2790, 2789, 2789, 2788, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2788, 2788, 2789, 2789, 2790, 2790, 2790, 2791, 2791, 2791, 2792, 2792, 2792, 2791, 2791, 2790, 2789, 2789, 2788, 2787, 2787, 2787, 2787, 2787, 2786, 2786, 2785, 2781, 2773, 2756, 2726, 2679, 2611, 2522, 2415, 2294, 2167, 2040, 1922, 1818, 1730, 1655, 1591, 1532, 1476, 1423, 1376, 1341, 1323, 1325, 1346, 1381, 1422, 1461, 1493, 1515, 1529, 1543, 1562, 1591, 1631, 1680, 1731, 1775, 1807, 1822, 1822, 1809, 1790, 1770, 1754, 1742, 1731, 1718, 1700, 1673, 1637, 1594, 1549, 1505, 1465, 1432, 1403, 1377, 1349, 1319, 1286, 1253, 1222, 1197, 1180, 1170, 1169, 1172, 1179, 1190, 1205, 1228, 1261, 1306, 1364, 1433, 1510, 1591, 1670, 1747, 1820, 1891, 1960, 2029, 2097, 2162, 2220, 2267, 2302, 2322, 2329, 2326, 2316, 2301, 2283, 2262, 2237, 2207, 2169, 2126, 2077, 2027, 1980, 1938, 1902, 1874, 1851, 1832, 1815, 1800, 1788, 1780, 1778, 1783, 1796, 1816, 1840, 1864, 1886, 1904, 1918, 1930, 1941, 1954, 1969, 1985, 2001, 2014, 2022, 2026, 2024, 2019, 2013, 2007, 2004, 2002, 1999, 1993, 1982, 1967, 1947, 1924, 1903, 1884, 1871, 1861, 1855, 1850, 1844, 1837, 1828, 1821, 1816, 1817, 1823, 1834, 1848, 1862, 1871, 1876, 1875, 1873, 1870, 1871, 1876, 1886, 1899, 1912, 1922, 1929, 1932, 1933, 1935, 1940, 1950, 1963, 1978, 1992, 2002, 2006, 2005, 2000, 1996, 1994, 1998, 2005, 2016, 2026, 2033, 2036, 2033, 2027, 2020, 2015, 2013, 2015, 2019, 2021, 2021, 2017, 2012, 2008, 2012, 2027, 2057, 2102, 2161, 2230, 2306, 2385, 2466, 2547, 2631, 2716, 2803, 2891, 2978, 3060, 3136, 3201, 3255, 3297, 3328, 3350, 3364, 3369, 3369, 3362, 3347, 3326, 3299, 3267, 3231, 3193, 3154, 3117, 3082, 3049, 3021, 2998, 2980, 2966, 2957, 2952, 2952, 2957, 2968, 2985, 3008, 3037, 3069, 3104, 3139, 3173, 3206, 3237, 3269, 3303, 3339, 3377, 3417, 3454, 3487, 3511, 3526, 3529, 3522, 3507, 3487, 3463, 3437, 3405, 3367, 3320, 3262, 3194, 3117, 3034, 2950, 2867, 2787, 2710, 2637, 2565, 2495, 2428, 2366, 2312, 2267, 2235, 2214, 2205, 2206, 2216, 2232, 2253, 2279, 2310, 2346, 2387, 2432, 2480, 2529, 2577, 2623, 2665, 2702, 2733, 2759, 2781, 2798, 2811, 2819, 2822, 2820},
    {2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2790, 2790, 2790, 2790, 2790, 2789, 2788, 2788, 2787, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2785, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2786, 2786, 2786, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2786, 2786, 2785, 2784, 2782, 2776, 2763, 2738, 2697, 2636, 2553, 2451, 2333, 2207, 2078, 1956, 1846, 1750, 1667, 1595, 1530, 1472, 1420, 1376, 1344, 1328, 1330, 1350, 1384, 1423, 1461, 1493, 1517, 1536, 1554, 1577, 1610, 1652, 1701, 1750, 1791, 1819, 1830, 1826, 1811, 1792, 1774, 1760, 1750, 1740, 1726, 1705, 1674, 1634, 1588, 1542, 1498, 1460, 1427, 1400, 1373, 1345, 1314, 1281, 1247, 1215, 1188, 1168, 1155, 1149, 1148, 1151, 1158, 1170, 1189, 1219, 1261, 1316, 1382, 1457, 1538, 1622, 1706, 1790, 1873, 1954, 2034, 2110, 2180, 2240, 2288, 2323, 2345, 2356, 2356, 2350, 2338, 2322, 2300, 2271, 2235, 2192, 2143, 2091, 2038, 1989, 1945, 1908, 1877, 1851, 1829, 1809, 1792, 1779, 1771, 1770, 1777, 1792, 1813, 1837, 1860, 1882, 1899, 1914, 1927, 1941, 1957, 1976, 1995, 2014, 2029, 2039, 2041, 2038, 2032, 2024, 2019, 2015, 2014, 2011, 2005, 1993, 1974, 1951, 1925, 1901, 1882, 1868, 1861, 1857, 1854, 1849, 1841, 1830, 1820, 1813, 1812, 1817, 1828, 1842, 1855, 1864, 1869, 1869, 1867, 1867, 1870, 1878, 1891, 1906, 1922, 1934, 1941, 1944, 1945, 1945, 1948, 1955, 1966, 1979, 1992, 2001, 2006, 2006, 2004, 2001, 2001, 2004, 2010, 2020, 2029, 2036, 2039, 2037, 2033, 2027, 2023, 2021, 2021, 2023, 2023, 2020, 2013, 2005, 2000, 2001, 2014, 2042, 2084, 2140, 2206, 2279, 2356, 2436, 2517, 2601, 2688, 2777, 2868, 2958, 3044, 3121, 3189, 3245, 3289, 3322, 3346, 3362, 3371, 3373, 3368, 3354, 3333, 3305, 3271, 3234, 3193, 3154, 3116, 3081, 3050, 3022, 2998, 2979, 2965, 2955, 2950, 2950, 2955, 2967, 2984, 3008, 3037, 3070, 3106, 3142, 3177, 3210, 3242, 3273, 3305, 3340, 3377, 3416, 3454, 3487, 3513, 3529, 3534, 3527, 3512, 3491, 3467, 3439, 3408, 3371, 3325, 3269, 3203, 3127, 3046, 2962, 2878, 2798, 2722, 2648, 2577, 2509, 2443, 2382, 2327, 2282, 2248, 2226, 2216, 2216, 2225, 2242, 2263, 2289, 2320, 2355, 2394, 2438, 2485, 2533, 2581, 2626, 2668, 2704, 2735, 2761, 2782, 2798, 2809, 2816, 2817, 2814, 2805},
    {2773, 2773, 2773, 2773, 2773, 2773, 2773, 2773, 2773, 2773, 2773, 2773, 2773, 2774, 2774, 2774, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2774, 2773, 2773, 2773, 2773, 2772, 2772, 2772, 2772, 2772, 2772, 2772, 2772, 2772, 2773, 2773, 2773, 2773, 2773, 2773, 2772, 2772, 2772, 2772, 2772, 2772, 2772, 2773, 2773, 2773, 2774, 2774, 2774, 2773, 2772, 2768, 2761, 2749, 2731, 2706, 2675, 2639, 2599, 2557, 2512, 2467, 2420, 2372, 2323, 2273, 2221, 2167, 2111, 2053, 1995, 1937, 1881, 1829, 1780, 1732, 1685, 1637, 1588, 1538, 1490, 1444, 1401, 1362, 1327, 1294, 1264, 1235, 1209, 1186, 1164, 1146, 1131, 1120, 1111, 1105, 1101, 1100, 1099, 1101, 1105, 1110, 1117, 1127, 1139, 1153, 1167, 1182, 1197, 1211, 1224, 1237, 1250, 1264, 1278, 1294, 1310, 1326, 1343, 1360, 1378, 1397, 1417, 1439, 1463, 1488, 1516, 1545, 1575, 1607, 1639, 1672, 1705, 1739, 1772, 1806, 1839, 1872, 1905, 1937, 1968, 1997, 2026, 2054, 2081, 2108, 2133, 2157, 2178, 2197, 2213, 2228, 2241, 2253, 2264, 2275, 2284, 2291, 2296, 2298, 2297, 2295, 2291, 2286, 2280, 2274, 2266, 2255, 2243, 2227, 2210, 2191, 2172, 2153, 2134, 2115, 2096, 2076, 2055, 2032, 2009, 1986, 1964, 1943, 1923, 1904, 1886, 1868, 1850, 1832, 1813, 1796, 1780, 1766, 1754, 1744, 1735, 1727, 1719, 1711, 1704, 1698, 1695, 1693, 1694, 1696, 1700, 1704, 1708, 1712, 1717, 1722, 1729, 1737, 1747, 1758, 1770, 1782, 1794, 1807, 1819, 1833, 1847, 1862, 1879, 1895, 1913, 1929, 1945, 1958, 1970, 1982, 1995, 2008, 2023, 2038, 2054, 2068, 2080, 2090, 2098, 2104, 2110, 2117, 2124, 2131, 2138, 2144, 2148, 2151, 2154, 2158, 2164, 2172, 2185, 2200, 2218, 2238, 2260, 2283, 2309, 2337, 2369, 2402, 2439, 2477, 2517, 2559, 2603, 2648, 2694, 2741, 2788, 2834, 2879, 2924, 2968, 3011, 3054, 3097, 3139, 3179, 3217, 3253, 3288, 3319, 3349, 3377, 3403, 3427, 3449, 3469, 3486, 3501, 3514, 3525, 3534, 3542, 3548, 3552, 3554, 3553, 3549, 3544, 3537, 3531, 3525, 3519, 3513, 3506, 3497, 3487, 3475, 3461, 3446, 3429, 3413, 3396, 3379, 3361, 3342, 3320, 3295, 3267, 3238, 3206, 3173, 3139, 3104, 3066, 3027, 2985, 2942, 2898, 2853, 2809, 2765, 2722, 2679, 2637, 2595, 2554, 2514, 2477, 2441, 2408, 2377, 2348, 2321, 2296, 2273, 2253, 2235, 2219, 2206, 2196, 2188, 2183, 2181, 2181, 2184, 2189, 2197, 2206, 2218},
    {2785, 2786, 2786, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2788, 2788, 2789, 2789, 2790, 2790, 2790, 2790, 2789, 2789, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2787, 2787, 2786, 2786, 2785, 2785, 2785, 2786, 2786, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2789, 2789, 2788, 2788, 2788, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2786, 2786, 2785, 2784, 2781, 2773, 2756, 2724, 2673, 2599, 2502, 2384, 2252, 2113, 1976, 1849, 1741, 1652, 1582, 1526, 1480, 1439, 1402, 1373, 1357, 1359, 1382, 1427, 1487, 1553, 1614, 1663, 1695, 1711, 1720, 1729, 1746, 1773, 1810, 1848, 1878, 1891, 1880, 1848, 1800, 1745, 1693, 1651, 1622, 1601, 1582, 1561, 1531, 1491, 1445, 1399, 1358, 1326, 1307, 1299, 1297, 1296, 1291, 1282, 1268, 1253, 1242, 1237, 1240, 1251, 1268, 1288, 1309, 1331, 1356, 1388, 1429, 1481, 1543, 1612, 1684, 1755, 1821, 1883, 1940, 1994, 2048, 2100, 2149, 2192, 2224, 2243, 2248, 2241, 2224, 2201, 2177, 2153, 2130, 2105, 2076, 2041, 2000, 1955, 1909, 1869, 1838, 1819, 1812, 1814, 1820, 1828, 1835, 1841, 1849, 1861, 1879, 1905, 1936, 1969, 1999, 2023, 2036, 2040, 2038, 2031, 2026, 2024, 2025, 2027, 2027, 2022, 2009, 1991, 1968, 1944, 1925, 1911, 1904, 1901, 1899, 1894, 1884, 1869, 1851, 1835, 1823, 1819, 1822, 1830, 1841, 1850, 1857, 1859, 1859, 1860, 1864, 1874, 1888, 1905, 1921, 1933, 1938, 1935, 1928, 1919, 1912, 1909, 1912, 1918, 1925, 1931, 1933, 1930, 1925, 1921, 1920, 1925, 1935, 1949, 1964, 1974, 1980, 1979, 1974, 1969, 1967, 1970, 1979, 1993, 2008, 2020, 2028, 2030, 2028, 2024, 2021, 2021, 2025, 2031, 2037, 2038, 2035, 2029, 2024, 2025, 2038, 2067, 2113, 2175, 2248, 2328, 2411, 2495, 2579, 2664, 2750, 2836, 2924, 3009, 3088, 3159, 3217, 3262, 3292, 3311, 3318, 3317, 3308, 3294, 3274, 3248, 3217, 3183, 3145, 3106, 3067, 3031, 2999, 2972, 2951, 2938, 2931, 2932, 2939, 2951, 2967, 2987, 3010, 3036, 3067, 3103, 3142, 3184, 3225, 3264, 3298, 3326, 3348, 3368, 3387, 3408, 3430, 3454, 3477, 3495, 3504, 3502, 3487, 3462, 3430, 3394, 3358, 3323, 3288, 3249, 3203, 3148, 3082, 3008, 2930, 2851, 2777, 2708, 2647, 2591, 2538, 2486, 2437, 2392, 2353, 2323, 2304, 2298, 2304, 2319, 2342, 2368, 2397, 2427, 2458, 2491, 2526, 2563, 2601, 2638, 2673, 2703, 2727, 2744, 2754, 2758, 2758, 2755, 2748, 2739, 2728, 2713, 2696},
    {2789, 2789, 2789, 2788, 2788, 2788, 2788, 2789, 2789, 2789, 2789, 2788, 2788, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2786, 2786, 2785, 2785, 2785, 2785, 2786, 2786, 2786, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2787, 2787, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2783, 2776, 2760, 2729, 2679, 2606, 2509, 2389, 2253, 2108, 1965, 1831, 1715, 1620, 1544, 1485, 1440, 1405, 1380, 1367, 1370, 1391, 1432, 1488, 1552, 1616, 1670, 1709, 1732, 1745, 1754, 1767, 1789, 1819, 1851, 1877, 1889, 1880, 1850, 1805, 1753, 1702, 1660, 1628, 1603, 1580, 1553, 1519, 1477, 1431, 1387, 1353, 1330, 1319, 1317, 1320, 1320, 1315, 1304, 1290, 1277, 1269, 1270, 1279, 1293, 1309, 1323, 1333, 1340, 1348, 1363, 1388, 1427, 1480, 1542, 1610, 1678, 1743, 1805, 1864, 1922, 1981, 2041, 2098, 2149, 2189, 2216, 2228, 2226, 2215, 2197, 2177, 2156, 2134, 2110, 2082, 2048, 2009, 1967, 1927, 1891, 1863, 1845, 1835, 1833, 1834, 1838, 1842, 1848, 1856, 1870, 1890, 1916, 1948, 1980, 2009, 2031, 2044, 2047, 2044, 2037, 2031, 2026, 2024, 2023, 2019, 2010, 1995, 1974, 1951, 1929, 1912, 1902, 1898, 1898, 1899, 1895, 1886, 1871, 1853, 1837, 1826, 1824, 1829, 1840, 1853, 1863, 1869, 1869, 1868, 1867, 1871, 1881, 1897, 1916, 1933, 1944, 1945, 1939, 1926, 1912, 1901, 1897, 1900, 1907, 1915, 1920, 1920, 1914, 1906, 1899, 1898, 1903, 1917, 1934, 1952, 1967, 1974, 1975, 1972, 1968, 1968, 1974, 1985, 2001, 2016, 2029, 2037, 2038, 2035, 2032, 2030, 2033, 2039, 2047, 2052, 2051, 2042, 2026, 2009, 1997, 1997, 2014, 2049, 2102, 2167, 2242, 2320, 2401, 2485, 2572, 2663, 2758, 2854, 2948, 3036, 3114, 3178, 3229, 3265, 3290, 3305, 3312, 3311, 3302, 3285, 3260, 3227, 3187, 3144, 3102, 3062, 3026, 2995, 2970, 2949, 2933, 2922, 2918, 2921, 2931, 2948, 2970, 2998, 3029, 3063, 3099, 3137, 3177, 3218, 3257, 3294, 3325, 3351, 3370, 3386, 3402, 3417, 3434, 3452, 3469, 3481, 3485, 3479, 3463, 3438, 3406, 3371, 3336, 3300, 3263, 3221, 3173, 3116, 3051, 2981, 2908, 2837, 2769, 2707, 2649, 2594, 2540, 2488, 2439, 2396, 2362, 2339, 2328, 2328, 2338, 2355, 2376, 2399, 2425, 2452, 2483, 2516, 2552, 2589, 2625, 2658, 2686, 2707, 2723, 2734, 2740, 2742, 2741, 2737, 2729, 2718, 2702, 2684, 2663},
    {2775, 2776, 2776, 2777, 2777, 2777, 2778, 2778, 2778, 2778, 2778, 2777, 2777, 2777, 2777, 2777, 2777, 2776, 2776, 2775, 2775, 2774, 2774, 2773, 2773, 2774, 2774, 2774, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2775, 2776, 2776, 2776, 2776, 2777, 2777, 2777, 2777, 2777, 2777, 2777, 2777, 2777, 2777, 2777, 2776, 2776, 2775, 2775, 2775, 2775, 2774, 2771, 2764, 2748, 2718, 2669, 2598, 2503, 2386, 2254, 2112, 1971, 1838, 1722, 1626, 1550, 1492, 1445, 1407, 1376, 1354, 1345, 1352, 1380, 1427, 1485, 1546, 1600, 1638, 1660, 1669, 1673, 1681, 1698, 1727, 1762, 1793, 1812, 1809, 1782, 1736, 1680, 1624, 1577, 1544, 1522, 1504, 1485, 1457, 1419, 1374, 1328, 1288, 1261, 1248, 1248, 1255, 1264, 1268, 1265, 1257, 1246, 1237, 1234, 1240, 1252, 1267, 1282, 1294, 1303, 1312, 1326, 1350, 1388, 1440, 1503, 1571, 1640, 1703, 1759, 1809, 1858, 1909, 1964, 2021, 2076, 2123, 2157, 2175, 2177, 2167, 2150, 2132, 2117, 2106, 2095, 2080, 2056, 2023, 1979, 1931, 1886, 1850, 1828, 1821, 1827, 1840, 1854, 1866, 1875, 1881, 1890, 1905, 1928, 1959, 1993, 2026, 2051, 2065, 2066, 2058, 2045, 2032, 2023, 2019, 2018, 2016, 2009, 1994, 1972, 1946, 1920, 1898, 1885, 1880, 1881, 1884, 1885, 1880, 1869, 1855, 1840, 1829, 1826, 1831, 1842, 1856, 1868, 1875, 1877, 1876, 1873, 1875, 1882, 1895, 1913, 1930, 1943, 1949, 1945, 1934, 1921, 1908, 1901, 1901, 1905, 1912, 1917, 1918, 1914, 1906, 1899, 1895, 1899, 1911, 1929, 1950, 1967, 1978, 1981, 1977, 1971, 1967, 1969, 1978, 1994, 2011, 2026, 2036, 2039, 2037, 2032, 2028, 2029, 2034, 2043, 2050, 2053, 2048, 2035, 2018, 2004, 2001, 2014, 2046, 2096, 2161, 2236, 2314, 2395, 2477, 2562, 2650, 2743, 2838, 2932, 3022, 3102, 3169, 3222, 3262, 3288, 3305, 3313, 3314, 3307, 3292, 3269, 3238, 3201, 3159, 3117, 3077, 3039, 3006, 2979, 2956, 2939, 2927, 2922, 2924, 2932, 2948, 2968, 2994, 3022, 3054, 3088, 3126, 3165, 3206, 3246, 3284, 3316, 3342, 3362, 3379, 3395, 3412, 3429, 3448, 3466, 3479, 3485, 3481, 3467, 3444, 3414, 3381, 3347, 3312, 3276, 3235, 3187, 3130, 3065, 2994, 2920, 2848, 2780, 2717, 2658, 2601, 2546, 2492, 2441, 2396, 2359, 2334, 2321, 2320, 2328, 2344, 2364, 2387, 2412, 2439, 2470, 2504, 2541, 2579, 2617, 2651, 2681, 2706, 2724, 2736, 2744, 2748, 2749, 2746, 2739, 2729, 2714, 2696, 2675},
    {2786, 2787, 2787, 2787, 2787, 2787, 2786, 2786, 2786, 2785, 2784, 2784, 2783, 2782, 2782, 2782, 2781, 2781, 2781, 2781, 2781, 2782, 2782, 2783, 2783, 2784, 2784, 2785, 2785, 2785, 2785, 2785, 2785, 2785, 2785, 2786, 2786, 2787, 2787, 2788, 2788, 2788, 2787, 2786, 2785, 2785, 2784, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2782, 2780, 2774, 2760, 2732, 2686, 2618, 2525, 2410, 2278, 2137, 1996, 1864, 1746, 1648, 1567, 1502, 1449, 1408, 1377, 1360, 1359, 1376, 1413, 1466, 1528, 1589, 1641, 1681, 1706, 1723, 1737, 1755, 1780, 1810, 1842, 1866, 1877, 1870, 1845, 1808, 1766, 1725, 1689, 1659, 1632, 1603, 1570, 1532, 1488, 1443, 1403, 1371, 1350, 1337, 1330, 1325, 1317, 1304, 1287, 1269, 1255, 1246, 1244, 1250, 1259, 1268, 1275, 1279, 1282, 1289, 1305, 1333, 1376, 1433, 1499, 1570, 1641, 1710, 1777, 1842, 1908, 1977, 2045, 2111, 2168, 2213, 2242, 2255, 2254, 2244, 2230, 2213, 2196, 2177, 2154, 2125, 2088, 2044, 1997, 1951, 1910, 1877, 1854, 1841, 1834, 1831, 1830, 1830, 1833, 1839, 1852, 1871, 1898, 1929, 1961, 1990, 2014, 2029, 2036, 2038, 2037, 2036, 2036, 2036, 2035, 2031, 2022, 2006, 1986, 1964, 1943, 1926, 1914, 1907, 1903, 1898, 1891, 1880, 1866, 1852, 1839, 1831, 1830, 1834, 1842, 1851, 1858, 1863, 1864, 1865, 1868, 1874, 1885, 1900, 1916, 1931, 1940, 1942, 1938, 1929, 1919, 1911, 1907, 1908, 1912, 1915, 1917, 1915, 1909, 1903, 1899, 1900, 1908, 1922, 1939, 1955, 1968, 1975, 1977, 1976, 1974, 1975, 1981, 1992, 2006, 2019, 2029, 2035, 2036, 2035, 2033, 2033, 2036, 2041, 2046, 2048, 2044, 2034, 2021, 2008, 2000, 2003, 2020, 2053, 2101, 2161, 2229, 2304, 2384, 2468, 2556, 2648, 2744, 2840, 2934, 3023, 3102, 3168, 3222, 3262, 3291, 3309, 3318, 3318, 3309, 3292, 3267, 3235, 3197, 3156, 3116, 3077, 3040, 3007, 2979, 2955, 2936, 2923, 2917, 2920, 2929, 2946, 2968, 2994, 3023, 3054, 3088, 3125, 3165, 3207, 3248, 3286, 3319, 3346, 3367, 3383, 3399, 3415, 3433, 3451, 3469, 3483, 3488, 3484, 3469, 3444, 3413, 3379, 3344, 3309, 3273, 3232, 3185, 3129, 3065, 2994, 2921, 2850, 2783, 2720, 2662, 2606, 2550, 2496, 2445, 2399, 2363, 2338, 2325, 2324, 2333, 2348, 2367, 2390, 2415, 2442, 2473, 2507, 2544, 2582, 2619, 2652, 2681, 2704, 2721, 2733, 2740, 2745, 2746, 2743, 2737, 2726, 2711, 2693, 2672},
    {2733, 2734, 2734, 2735, 2735, 2735, 2736, 2736, 2736, 2736, 2735, 2735, 2735, 2734, 2734, 2733, 2733, 2733, 2733, 2733, 2733, 2732, 2732, 2732, 2732, 2732, 2732, 2732, 2732, 2732, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2731, 2732, 2732, 2733, 2733, 2734, 2734, 2734, 2734, 2734, 2734, 2733, 2733, 2733, 2733, 2734, 2734, 2734, 2734, 2733, 2732, 2729, 2723, 2710, 2685, 2645, 2585, 2503, 2401, 2282, 2152, 2018, 1887, 1765, 1657, 1566, 1492, 1435, 1393, 1362, 1341, 1328, 1323, 1328, 1343, 1369, 1403, 1442, 1482, 1518, 1549, 1573, 1595, 1615, 1638, 1664, 1695, 1726, 1753, 1771, 1777, 1768, 1745, 1710, 1670, 1630, 1593, 1562, 1535, 1511, 1485, 1454, 1419, 1381, 1342, 1307, 1279, 1260, 1249, 1244, 1240, 1236, 1227, 1215, 1201, 1188, 1181, 1180, 1187, 1202, 1223, 1249, 1280, 1316, 1360, 1411, 1471, 1540, 1615, 1695, 1776, 1853, 1926, 1991, 2048, 2097, 2139, 2174, 2201, 2219, 2229, 2230, 2221, 2204, 2181, 2152, 2122, 2091, 2060, 2028, 1996, 1963, 1928, 1893, 1861, 1833, 1811, 1798, 1792, 1793, 1799, 1809, 1822, 1838, 1858, 1881, 1909, 1940, 1972, 2002, 2027, 2044, 2053, 2055, 2051, 2045, 2039, 2033, 2028, 2021, 2013, 2000, 1984, 1966, 1948, 1931, 1919, 1911, 1906, 1903, 1897, 1887, 1873, 1856, 1839, 1825, 1816, 1814, 1817, 1823, 1829, 1834, 1836, 1838, 1841, 1848, 1860, 1876, 1896, 1916, 1931, 1940, 1941, 1936, 1929, 1923, 1920, 1922, 1929, 1936, 1942, 1945, 1944, 1940, 1937, 1937, 1942, 1952, 1966, 1980, 1991, 1998, 1999, 1995, 1990, 1986, 1986, 1991, 2000, 2011, 2020, 2026, 2027, 2024, 2019, 2016, 2015, 2019, 2026, 2035, 2043, 2049, 2052, 2057, 2068, 2091, 2129, 2184, 2255, 2336, 2424, 2513, 2602, 2688, 2773, 2858, 2941, 3022, 3099, 3167, 3226, 3271, 3304, 3324, 3333, 3334, 3327, 3314, 3296, 3273, 3244, 3212, 3176, 3138, 3099, 3062, 3029, 3000, 2977, 2960, 2950, 2946, 2947, 2952, 2961, 2974, 2992, 3015, 3043, 3078, 3116, 3156, 3196, 3234, 3268, 3298, 3325, 3352, 3379, 3408, 3438, 3466, 3491, 3508, 3515, 3512, 3499, 3477, 3450, 3420, 3388, 3353, 3313, 3266, 3210, 3146, 3074, 2997, 2919, 2843, 2770, 2700, 2633, 2568, 2505, 2445, 2390, 2344, 2307, 2283, 2270, 2268, 2274, 2288, 2307, 2330, 2357, 2388, 2424, 2464, 2507, 2551, 2594, 2634, 2669, 2700, 2725, 2745, 2760, 2772, 2779, 2783, 2781, 2774, 2763, 2746},
    {2788, 2788, 2788, 2788, 2788, 2789, 2789, 2789, 2789, 2789, 2788, 2788, 2787, 2787, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2785, 2785, 2784, 2784, 2784, 2784, 2785, 2786, 2787, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2789, 2789, 2789, 2789, 2788, 2788, 2788, 2788, 2788, 2789, 2789, 2789, 2790, 2790, 2790, 2790, 2790, 2789, 2789, 2788, 2788, 2787, 2787, 2787, 2787, 2786, 2783, 2774, 2757, 2724, 2671, 2595, 2495, 2375, 2241, 2100, 1961, 1831, 1718, 1625, 1552, 1498, 1458, 1429, 1409, 1396, 1392, 1401, 1425, 1466, 1519, 1579, 1636, 1683, 1715, 1734, 1743, 1749, 1760, 1778, 1804, 1833, 1857, 1869, 1863, 1839, 1797, 1745, 1691, 1643, 1603, 1574, 1550, 1529, 1504, 1472, 1434, 1394, 1355, 1324, 1303, 1294, 1294, 1299, 1304, 1305, 1300, 1290, 1280, 1273, 1271, 1277, 1289, 1306, 1325, 1346, 1369, 1397, 1431, 1474, 1528, 1592, 1663, 1738, 1813, 1885, 1952, 2013, 2067, 2115, 2157, 2192, 2219, 2236, 2243, 2239, 2226, 2204, 2177, 2146, 2115, 2084, 2053, 2022, 1991, 1958, 1925, 1893, 1864, 1842, 1827, 1820, 1821, 1828, 1838, 1851, 1866, 1882, 1901, 1923, 1948, 1976, 2004, 2028, 2045, 2055, 2055, 2049, 2040, 2028, 2018, 2010, 2002, 1993, 1981, 1965, 1946, 1926, 1908, 1895, 1887, 1884, 1886, 1888, 1887, 1882, 1871, 1858, 1845, 1836, 1832, 1835, 1842, 1852, 1860, 1865, 1867, 1867, 1868, 1873, 1883, 1897, 1915, 1931, 1942, 1946, 1942, 1933, 1921, 1911, 1906, 1907, 1912, 1919, 1924, 1926, 1925, 1921, 1918, 1918, 1925, 1937, 1953, 1970, 1984, 1993, 1996, 1994, 1991, 1989, 1991, 1997, 2008, 2020, 2031, 2038, 2040, 2037, 2032, 2028, 2026, 2028, 2033, 2038, 2042, 2043, 2041, 2041, 2048, 2067, 2102, 2155, 2226, 2308, 2398, 2490, 2582, 2672, 2760, 2846, 2932, 3014, 3092, 3161, 3220, 3266, 3298, 3316, 3323, 3319, 3307, 3289, 3266, 3238, 3205, 3169, 3132, 3093, 3054, 3018, 2986, 2959, 2938, 2925, 2921, 2925, 2935, 2950, 2969, 2992, 3017, 3045, 3078, 3116, 3158, 3201, 3244, 3283, 3316, 3342, 3362, 3379, 3396, 3415, 3437, 3459, 3480, 3494, 3498, 3491, 3472, 3444, 3410, 3374, 3340, 3306, 3272, 3232, 3185, 3128, 3060, 2986, 2909, 2835, 2765, 2703, 2645, 2591, 2538, 2486, 2435, 2390, 2353, 2328, 2315, 2314, 2324, 2342, 2364, 2388, 2414, 2442, 2472, 2505, 2541, 2579, 2616, 2652, 2683, 2708, 2726, 2738, 2746, 2749, 2749, 2746, 2741, 2731, 2718, 2701, 2680},
    {2787, 2787, 2788, 2788, 2789, 2789, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2787, 2786, 2786, 2786, 2786, 2785, 2785, 2785, 2784, 2784, 2784, 2783, 2783, 2783, 2783, 2784, 2784, 2784, 2785, 2785, 2785, 2786, 2786, 2786, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2786, 2786, 2786, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2787, 2787, 2786, 2785, 2785, 2784, 2781, 2773, 2758, 2729, 2684, 2617, 2528, 2419, 2296, 2165, 2034, 1912, 1804, 1711, 1634, 1569, 1514, 1465, 1423, 1387, 1363, 1353, 1361, 1385, 1424, 1471, 1517, 1557, 1587, 1608, 1623, 1639, 1662, 1694, 1734, 1777, 1815, 1842, 1852, 1846, 1825, 1795, 1764, 1735, 1711, 1692, 1673, 1651, 1622, 1586, 1542, 1496, 1451, 1410, 1375, 1348, 1326, 1305, 1285, 1263, 1240, 1218, 1198, 1182, 1173, 1170, 1172, 1180, 1192, 1209, 1233, 1265, 1307, 1361, 1425, 1498, 1577, 1659, 1742, 1824, 1904, 1982, 2056, 2125, 2187, 2240, 2282, 2312, 2330, 2336, 2333, 2323, 2306, 2284, 2257, 2226, 2189, 2147, 2100, 2051, 2002, 1956, 1915, 1880, 1853, 1832, 1816, 1805, 1797, 1794, 1794, 1799, 1811, 1829, 1852, 1878, 1903, 1927, 1946, 1960, 1971, 1979, 1988, 1997, 2007, 2017, 2025, 2030, 2029, 2023, 2014, 2003, 1993, 1985, 1979, 1975, 1969, 1960, 1947, 1929, 1908, 1887, 1869, 1855, 1846, 1842, 1841, 1841, 1839, 1836, 1831, 1827, 1827, 1831, 1840, 1853, 1867, 1880, 1888, 1893, 1893, 1892, 1892, 1896, 1904, 1915, 1928, 1940, 1949, 1955, 1958, 1959, 1960, 1964, 1971, 1981, 1991, 2001, 2007, 2009, 2008, 2004, 1999, 1997, 1998, 2002, 2008, 2015, 2020, 2024, 2025, 2025, 2025, 2025, 2026, 2027, 2027, 2026, 2022, 2018, 2015, 2019, 2032, 2058, 2096, 2147, 2210, 2281, 2359, 2440, 2524, 2609, 2697, 2785, 2873, 2959, 3041, 3116, 3183, 3239, 3285, 3319, 3343, 3357, 3362, 3359, 3348, 3331, 3307, 3278, 3245, 3209, 3171, 3132, 3094, 3058, 3025, 2997, 2975, 2959, 2949, 2946, 2948, 2954, 2964, 2979, 2999, 3024, 3056, 3093, 3134, 3175, 3216, 3252, 3284, 3312, 3338, 3365, 3393, 3422, 3453, 3481, 3505, 3519, 3524, 3517, 3501, 3478, 3451, 3422, 3390, 3355, 3311, 3258, 3193, 3117, 3033, 2944, 2856, 2772, 2693, 2620, 2553, 2489, 2428, 2370, 2319, 2275, 2242, 2222, 2215, 2220, 2236, 2259, 2288, 2321, 2356, 2394, 2434, 2477, 2522, 2568, 2615, 2659, 2698, 2733, 2760, 2782, 2797, 2806, 2811, 2812, 2809, 2801, 2789},
    {2791, 2791, 2792, 2792, 2793, 2793, 2793, 2793, 2793, 2793, 2793, 2793, 2793, 2793, 2792, 2792, 2791, 2790, 2790, 2789, 2789, 2789, 2789, 2789, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2790, 2790, 2790, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2788, 2788, 2788, 2786, 2783, 2775, 2758, 2727, 2676, 2603, 2506, 2387, 2253, 2111, 1970, 1840, 1727, 1633, 1559, 1501, 1455, 1420, 1395, 1381, 1383, 1404, 1442, 1495, 1556, 1616, 1667, 1702, 1723, 1734, 1742, 1755, 1778, 1808, 1842, 1870, 1884, 1876, 1849, 1806, 1756, 1708, 1669, 1640, 1620, 1601, 1577, 1545, 1503, 1455, 1409, 1372, 1347, 1335, 1332, 1333, 1332, 1324, 1309, 1290, 1272, 1259, 1256, 1263, 1277, 1295, 1311, 1323, 1332, 1341, 1357, 1382, 1422, 1474, 1538, 1607, 1676, 1743, 1806, 1867, 1927, 1988, 2049, 2109, 2163, 2207, 2236, 2250, 2250, 2239, 2222, 2201, 2180, 2159, 2135, 2106, 2070, 2029, 1984, 1939, 1899, 1867, 1845, 1833, 1830, 1831, 1835, 1840, 1846, 1855, 1868, 1888, 1915, 1946, 1979, 2008, 2031, 2043, 2047, 2043, 2036, 2030, 2026, 2025, 2024, 2021, 2013, 1999, 1980, 1957, 1936, 1920, 1910, 1907, 1908, 1909, 1906, 1896, 1880, 1861, 1843, 1831, 1827, 1832, 1843, 1855, 1865, 1870, 1870, 1867, 1864, 1866, 1875, 1890, 1909, 1926, 1938, 1941, 1935, 1924, 1911, 1902, 1900, 1905, 1915, 1927, 1935, 1938, 1934, 1928, 1921, 1919, 1924, 1936, 1952, 1969, 1981, 1987, 1986, 1981, 1974, 1971, 1973, 1982, 1995, 2009, 2020, 2027, 2028, 2026, 2024, 2026, 2031, 2041, 2052, 2058, 2057, 2047, 2030, 2011, 1998, 1997, 2014, 2050, 2103, 2169, 2242, 2318, 2397, 2479, 2565, 2655, 2750, 2847, 2942, 3031, 3109, 3174, 3226, 3265, 3292, 3311, 3322, 3324, 3318, 3302, 3278, 3246, 3207, 3165, 3124, 3084, 3048, 3015, 2988, 2964, 2945, 2932, 2925, 2925, 2933, 2949, 2970, 2996, 3024, 3056, 3089, 3125, 3163, 3204, 3244, 3283, 3318, 3347, 3370, 3388, 3403, 3416, 3429, 3443, 3457, 3468, 3475, 3475, 3467, 3450, 3425, 3396, 3365, 3332, 3296, 3256, 3209, 3154, 3090, 3018, 2942, 2865, 2789, 2719, 2653, 2591, 2532, 2477, 2425, 2380, 2343, 2317, 2302, 2300, 2308, 2325, 2347, 2374, 2403, 2435, 2469, 2506, 2544, 2584, 2622, 2658, 2690, 2716, 2736, 2750, 2758, 2762, 2762, 2759, 2751, 2740, 2725, 2707, 2685},
    {2822, 2822, 2822, 2821, 2821, 2821, 2821, 2822, 2822, 2822, 2822, 2822, 2822, 2821, 2821, 2820, 2820, 2820, 2820, 2820, 2821, 2821, 2821, 2821, 2821, 2820, 2820, 2819, 2819, 2818, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2819, 2820, 2820, 2820, 2820, 2820, 2820, 2820, 2820, 2820, 2820, 2821, 2821, 2821, 2821, 2822, 2822, 2822, 2822, 2822, 2822, 2821, 2820, 2817, 2810, 2794, 2764, 2716, 2645, 2549, 2432, 2299, 2156, 2014, 1880, 1760, 1659, 1578, 1518, 1476, 1451, 1440, 1440, 1448, 1466, 1492, 1529, 1573, 1623, 1674, 1719, 1755, 1781, 1797, 1807, 1816, 1827, 1841, 1856, 1869, 1875, 1871, 1853, 1824, 1783, 1737, 1690, 1645, 1606, 1571, 1541, 1513, 1484, 1454, 1422, 1391, 1364, 1342, 1328, 1322, 1322, 1325, 1328, 1328, 1324, 1316, 1307, 1297, 1290, 1289, 1293, 1303, 1319, 1341, 1369, 1403, 1446, 1496, 1554, 1619, 1691, 1766, 1842, 1917, 1987, 2049, 2103, 2147, 2181, 2205, 2221, 2228, 2227, 2219, 2204, 2183, 2156, 2125, 2091, 2058, 2025, 1994, 1965, 1937, 1909, 1883, 1859, 1839, 1825, 1820, 1822, 1831, 1845, 1863, 1883, 1903, 1924, 1946, 1970, 1994, 2018, 2040, 2056, 2065, 2065, 2056, 2042, 2025, 2008, 1992, 1978, 1965, 1952, 1938, 1922, 1905, 1890, 1878, 1871, 1869, 1871, 1874, 1876, 1874, 1869, 1861, 1851, 1844, 1840, 1841, 1846, 1852, 1859, 1863, 1867, 1869, 1872, 1878, 1886, 1897, 1908, 1919, 1925, 1928, 1926, 1920, 1914, 1908, 1905, 1906, 1908, 1912, 1915, 1917, 1918, 1919, 1922, 1928, 1938, 1952, 1970, 1987, 2001, 2010, 2011, 2007, 2000, 1992, 1988, 1988, 1992, 1999, 2007, 2012, 2015, 2014, 2010, 2006, 2002, 2000, 2001, 2004, 2010, 2017, 2028, 2045, 2069, 2103, 2151, 2213, 2287, 2371, 2463, 2558, 2654, 2749, 2840, 2927, 3009, 3083, 3148, 3204, 3249, 3282, 3303, 3313, 3312, 3300, 3280, 3252, 3220, 3185, 3148, 3111, 3076, 3041, 3009, 2981, 2957, 2937, 2925, 2920, 2923, 2934, 2951, 2973, 2997, 3023, 3052, 3082, 3115, 3152, 3192, 3233, 3273, 3308, 3338, 3360, 3377, 3390, 3402, 3415, 3429, 3444, 3457, 3466, 3466, 3458, 3441, 3416, 3386, 3354, 3321, 3286, 3249, 3205, 3153, 3091, 3021, 2946, 2869, 2794, 2723, 2657, 2595, 2537, 2482, 2431, 2385, 2347, 2320, 2304, 2300, 2307, 2322, 2343, 2368, 2396, 2426, 2460, 2496, 2534, 2573, 2612, 2648, 2679, 2705, 2724, 2737, 2746, 2749, 2749, 2746, 2739, 2729, 2714, 2697, 2676},
    {2752, 2752, 2753, 2753, 2754, 2754, 2754, 2754, 2754, 2754, 2754, 2753, 2753, 2753, 2753, 2753, 2752, 2752, 2751, 2751, 2750, 2750, 2749, 2749, 2749, 2749, 2749, 2749, 2749, 2749, 2749, 2749, 2750, 2750, 2750, 2750, 2750, 2750, 2750, 2750, 2751, 2751, 2752, 2752, 2752, 2752, 2752, 2751, 2751, 2751, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2752, 2751, 2751, 2750, 2750, 2749, 2746, 2739, 2723, 2693, 2644, 2571, 2473, 2353, 2216, 2071, 1929, 1798, 1684, 1591, 1516, 1458, 1413, 1376, 1349, 1333, 1332, 1348, 1383, 1435, 1496, 1558, 1611, 1650, 1673, 1683, 1687, 1693, 1706, 1728, 1754, 1778, 1791, 1787, 1763, 1724, 1676, 1627, 1584, 1550, 1524, 1502, 1478, 1449, 1414, 1375, 1336, 1303, 1279, 1266, 1263, 1265, 1268, 1270, 1267, 1262, 1256, 1252, 1253, 1259, 1268, 1279, 1288, 1295, 1301, 1309, 1323, 1347, 1383, 1431, 1488, 1552, 1617, 1681, 1743, 1803, 1862, 1922, 1983, 2042, 2095, 2139, 2170, 2187, 2191, 2184, 2172, 2156, 2139, 2122, 2102, 2077, 2046, 2009, 1967, 1925, 1886, 1854, 1831, 1819, 1814, 1817, 1822, 1830, 1840, 1852, 1869, 1892, 1921, 1955, 1991, 2025, 2053, 2071, 2078, 2076, 2068, 2057, 2046, 2038, 2032, 2026, 2017, 2003, 1983, 1960, 1936, 1915, 1901, 1893, 1891, 1891, 1891, 1885, 1875, 1860, 1845, 1833, 1828, 1830, 1839, 1852, 1864, 1872, 1876, 1875, 1873, 1873, 1878, 1889, 1904, 1921, 1934, 1941, 1940, 1933, 1922, 1913, 1907, 1906, 1911, 1919, 1926, 1930, 1930, 1927, 1923, 1922, 1927, 1939, 1956, 1974, 1988, 1997, 1997, 1992, 1983, 1977, 1976, 1982, 1994, 2008, 2021, 2030, 2032, 2030, 2026, 2023, 2024, 2028, 2035, 2041, 2042, 2036, 2025, 2012, 2002, 2003, 2019, 2052, 2100, 2163, 2234, 2312, 2393, 2478, 2566, 2657, 2751, 2846, 2939, 3027, 3106, 3172, 3226, 3267, 3295, 3313, 3321, 3320, 3310, 3291, 3265, 3232, 3194, 3154, 3115, 3078, 3043, 3011, 2983, 2960, 2942, 2929, 2923, 2925, 2935, 2953, 2976, 3002, 3031, 3061, 3093, 3128, 3165, 3206, 3248, 3289, 3326, 3357, 3381, 3398, 3409, 3419, 3428, 3437, 3446, 3453, 3456, 3453, 3444, 3428, 3407, 3383, 3357, 3330, 3300, 3265, 3223, 3172, 3111, 3041, 2965, 2886, 2809, 2736, 2667, 2602, 2541, 2483, 2430, 2383, 2344, 2315, 2299, 2295, 2302, 2318, 2341, 2369, 2400, 2434, 2470, 2508, 2547, 2586, 2625, 2661, 2693, 2719, 2739, 2753, 2761, 2764, 2763, 2758, 2748, 2735, 2719, 2700, 2678},
    {2787, 2788, 2789, 2789, 2790, 2790, 2790, 2790, 2790, 2790, 2789, 2789, 2789, 2788, 2788, 2788, 2788, 2788, 2788, 2787, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2786, 2787, 2787, 2788, 2787, 2787, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2786, 2786, 2786, 2787, 2787, 2787, 2786, 2786, 2786, 2786, 2786, 2786, 2787, 2788, 2788, 2789, 2789, 2790, 2790, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2788, 2787, 2786, 2781, 2772, 2755, 2726, 2682, 2620, 2538, 2438, 2325, 2204, 2081, 1963, 1856, 1761, 1680, 1611, 1552, 1500, 1454, 1414, 1380, 1356, 1343, 1342, 1352, 1371, 1396, 1422, 1447, 1469, 1490, 1512, 1537, 1568, 1605, 1646, 1687, 1725, 1755, 1776, 1787, 1789, 1785, 1776, 1765, 1753, 1740, 1724, 1706, 1684, 1657, 1627, 1594, 1559, 1523, 1486, 1448, 1409, 1371, 1332, 1294, 1259, 1227, 1199, 1175, 1156, 1141, 1132, 1129, 1135, 1150, 1178, 1218, 1271, 1334, 1405, 1482, 1561, 1641, 1720, 1800, 1880, 1960, 2039, 2115, 2185, 2248, 2300, 2341, 2371, 2389, 2398, 2399, 2393, 2381, 2362, 2336, 2303, 2264, 2218, 2169, 2118, 2069, 2022, 1978, 1939, 1904, 1873, 1846, 1821, 1802, 1787, 1779, 1777, 1780, 1787, 1796, 1804, 1811, 1817, 1822, 1828, 1838, 1851, 1868, 1889, 1910, 1931, 1949, 1964, 1976, 1986, 1994, 2004, 2013, 2021, 2027, 2029, 2027, 2019, 2007, 1992, 1977, 1961, 1948, 1936, 1925, 1914, 1902, 1889, 1876, 1862, 1848, 1837, 1829, 1824, 1821, 1820, 1821, 1821, 1821, 1822, 1824, 1828, 1835, 1845, 1857, 1870, 1885, 1899, 1913, 1928, 1944, 1962, 1980, 1998, 2014, 2027, 2036, 2041, 2042, 2042, 2043, 2044, 2047, 2052, 2057, 2061, 2063, 2063, 2061, 2057, 2053, 2049, 2045, 2039, 2032, 2023, 2014, 2004, 1998, 1998, 2009, 2031, 2067, 2114, 2173, 2240, 2314, 2393, 2475, 2559, 2645, 2732, 2819, 2905, 2989, 3070, 3144, 3211, 3270, 3318, 3357, 3385, 3404, 3415, 3418, 3415, 3405, 3389, 3368, 3341, 3310, 3275, 3237, 3197, 3158, 3120, 3086, 3056, 3031, 3010, 2993, 2980, 2971, 2965, 2964, 2969, 2980, 2998, 3023, 3052, 3084, 3118, 3151, 3183, 3214, 3246, 3279, 3313, 3348, 3384, 3418, 3449, 3475, 3494, 3506, 3510, 3506, 3495, 3477, 3452, 3417, 3373, 3319, 3255, 3181, 3100, 3013, 2924, 2833, 2744, 2658, 2575, 2497, 2424, 2358, 2299, 2247, 2206, 2173, 2151, 2140, 2138, 2145, 2161, 2185, 2215, 2251, 2292, 2337, 2385, 2435, 2486, 2538, 2588, 2636, 2681, 2722, 2758, 2790, 2815, 2836, 2850},
    {2759, 2759, 2760, 2761, 2761, 2762, 2762, 2762, 2761, 2760, 2760, 2759, 2759, 2759, 2759, 2759, 2760, 2760, 2760, 2760, 2760, 2760, 2760, 2761, 2761, 2762, 2762, 2762, 2762, 2762, 2762, 2761, 2760, 2759, 2759, 2759, 2759, 2759, 2760, 2761, 2761, 2762, 2761, 2761, 2760, 2759, 2759, 2758, 2758, 2758, 2759, 2759, 2760, 2760, 2760, 2761, 2761, 2761, 2761, 2761, 2761, 2762, 2762, 2762, 2763, 2763, 2763, 2762, 2761, 2760, 2755, 2745, 2725, 2689, 2633, 2555, 2458, 2346, 2227, 2113, 2013, 1931, 1871, 1829, 1795, 1761, 1714, 1650, 1566, 1470, 1374, 1292, 1239, 1223, 1242, 1288, 1347, 1404, 1447, 1470, 1473, 1465, 1454, 1450, 1461, 1489, 1529, 1576, 1621, 1658, 1681, 1690, 1685, 1672, 1655, 1637, 1620, 1607, 1596, 1585, 1572, 1557, 1539, 1515, 1486, 1454, 1418, 1381, 1342, 1306, 1273, 1245, 1222, 1204, 1189, 1177, 1167, 1158, 1154, 1157, 1170, 1197, 1237, 1290, 1351, 1416, 1480, 1541, 1597, 1650, 1703, 1761, 1825, 1896, 1971, 2045, 2113, 2171, 2216, 2249, 2269, 2282, 2289, 2293, 2292, 2288, 2277, 2259, 2233, 2199, 2160, 2117, 2075, 2035, 1998, 1967, 1939, 1914, 1892, 1872, 1855, 1840, 1830, 1825, 1823, 1825, 1829, 1833, 1836, 1839, 1842, 1846, 1853, 1863, 1876, 1892, 1908, 1923, 1936, 1945, 1952, 1958, 1965, 1973, 1982, 1992, 2001, 2005, 2005, 1999, 1988, 1974, 1959, 1946, 1935, 1926, 1920, 1914, 1906, 1897, 1886, 1875, 1865, 1858, 1853, 1852, 1851, 1849, 1846, 1840, 1833, 1826, 1823, 1825, 1833, 1845, 1859, 1874, 1887, 1898, 1907, 1916, 1926, 1940, 1957, 1977, 1996, 2013, 2025, 2032, 2033, 2032, 2030, 2031, 2034, 2041, 2050, 2058, 2064, 2066, 2066, 2063, 2058, 2053, 2047, 2041, 2034, 2026, 2019, 2014, 2014, 2022, 2041, 2071, 2112, 2161, 2217, 2275, 2336, 2398, 2462, 2530, 2602, 2678, 2758, 2841, 2925, 3006, 3083, 3154, 3214, 3265, 3306, 3337, 3358, 3373, 3382, 3387, 3387, 3382, 3372, 3357, 3334, 3305, 3271, 3233, 3193, 3155, 3122, 3095, 3074, 3057, 3043, 3030, 3017, 3003, 2992, 2987, 2989, 3001, 3022, 3049, 3079, 3110, 3138, 3163, 3187, 3212, 3240, 3273, 3310, 3351, 3390, 3425, 3452, 3469, 3476, 3474, 3467, 3455, 3439, 3420, 3395, 3362, 3318, 3262, 3196, 3121, 3041, 2957, 2874, 2793, 2715, 2640, 2569, 2500, 2435, 2374, 2319, 2270, 2230, 2199, 2179, 2169, 2168, 2176, 2192, 2215, 2243, 2276, 2313, 2353, 2396, 2441, 2487, 2534, 2580, 2625, 2668, 2707, 2742, 2773, 2798, 2818},
    {2761, 2761, 2761, 2760, 2760, 2760, 2760, 2760, 2761, 2761, 2761, 2761, 2761, 2761, 2760, 2759, 2759, 2758, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2757, 2758, 2758, 2758, 2758, 2759, 2759, 2759, 2760, 2760, 2760, 2760, 2760, 2760, 2760, 2760, 2761, 2761, 2761, 2761, 2761, 2761, 2761, 2760, 2760, 2760, 2759, 2759, 2759, 2759, 2759, 2759, 2758, 2758, 2758, 2758, 2758, 2757, 2752, 2742, 2721, 2683, 2624, 2541, 2434, 2307, 2166, 2021, 1881, 1754, 1645, 1557, 1488, 1435, 1394, 1364, 1344, 1336, 1342, 1363, 1400, 1450, 1506, 1561, 1608, 1642, 1663, 1675, 1683, 1693, 1710, 1734, 1759, 1781, 1790, 1782, 1755, 1713, 1664, 1613, 1569, 1533, 1505, 1481, 1457, 1428, 1393, 1354, 1317, 1286, 1265, 1255, 1255, 1261, 1267, 1269, 1266, 1258, 1248, 1240, 1238, 1242, 1252, 1264, 1276, 1287, 1296, 1307, 1324, 1352, 1391, 1444, 1507, 1576, 1646, 1714, 1779, 1839, 1898, 1957, 2015, 2071, 2122, 2163, 2192, 2206, 2207, 2197, 2179, 2158, 2137, 2115, 2093, 2067, 2037, 2002, 1962, 1922, 1885, 1854, 1832, 1821, 1817, 1820, 1827, 1836, 1846, 1859, 1876, 1898, 1926, 1957, 1990, 2020, 2043, 2057, 2061, 2058, 2050, 2041, 2033, 2026, 2021, 2015, 2005, 1991, 1972, 1950, 1929, 1912, 1900, 1894, 1893, 1894, 1893, 1887, 1878, 1865, 1851, 1840, 1836, 1837, 1844, 1853, 1862, 1867, 1868, 1866, 1864, 1864, 1869, 1881, 1895, 1911, 1923, 1928, 1926, 1918, 1908, 1900, 1897, 1901, 1910, 1922, 1932, 1939, 1940, 1937, 1934, 1933, 1938, 1949, 1965, 1982, 1996, 2003, 2003, 1997, 1988, 1981, 1979, 1985, 1996, 2010, 2023, 2032, 2034, 2032, 2027, 2023, 2021, 2023, 2026, 2029, 2028, 2023, 2014, 2004, 2000, 2006, 2027, 2065, 2119, 2187, 2265, 2349, 2436, 2524, 2614, 2705, 2797, 2888, 2977, 3060, 3134, 3197, 3248, 3286, 3311, 3325, 3330, 3326, 3314, 3295, 3269, 3237, 3201, 3162, 3122, 3082, 3045, 3010, 2981, 2956, 2937, 2925, 2920, 2923, 2933, 2950, 2971, 2996, 3024, 3055, 3088, 3124, 3163, 3205, 3247, 3287, 3322, 3351, 3374, 3391, 3404, 3417, 3429, 3441, 3451, 3460, 3463, 3461, 3452, 3436, 3415, 3391, 3364, 3334, 3300, 3260, 3212, 3155, 3088, 3013, 2934, 2853, 2773, 2697, 2626, 2560, 2498, 2441, 2390, 2347, 2313, 2289, 2277, 2277, 2288, 2306, 2332, 2362, 2396, 2432, 2470, 2510, 2552, 2593, 2633, 2670, 2702, 2729, 2750, 2764, 2772, 2775, 2773, 2767, 2757, 2744, 2727, 2706, 2684},
    {2788, 2788, 2789, 2789, 2788, 2788, 2788, 2787, 2787, 2786, 2786, 2786, 2785, 2785, 2785, 2784, 2784, 2784, 2783, 2783, 2784, 2784, 2784, 2785, 2785, 2786, 2786, 2786, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2785, 2785, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2785, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2785, 2785, 2785, 2785, 2782, 2776, 2760, 2730, 2681, 2608, 2510, 2388, 2249, 2102, 1955, 1818, 1697, 1595, 1511, 1445, 1394, 1358, 1338, 1334, 1347, 1378, 1423, 1479, 1538, 1596, 1645, 1684, 1714, 1738, 1760, 1783, 1811, 1840, 1866, 1883, 1887, 1874, 1846, 1809, 1767, 1726, 1688, 1654, 1622, 1588, 1551, 1509, 1464, 1421, 1383, 1354, 1336, 1326, 1320, 1316, 1310, 1300, 1287, 1274, 1264, 1258, 1259, 1263, 1269, 1274, 1277, 1279, 1282, 1290, 1308, 1339, 1383, 1439, 1503, 1572, 1642, 1711, 1781, 1851, 1923, 1997, 2070, 2139, 2198, 2243, 2272, 2285, 2285, 2276, 2261, 2243, 2224, 2201, 2174, 2140, 2098, 2051, 2001, 1953, 1910, 1877, 1853, 1838, 1829, 1823, 1821, 1820, 1823, 1832, 1848, 1872, 1903, 1937, 1970, 1998, 2017, 2028, 2032, 2031, 2029, 2027, 2028, 2028, 2027, 2022, 2012, 1995, 1976, 1956, 1938, 1925, 1918, 1914, 1912, 1910, 1904, 1894, 1882, 1870, 1860, 1854, 1853, 1856, 1861, 1866, 1868, 1866, 1863, 1860, 1859, 1863, 1873, 1886, 1901, 1913, 1919, 1919, 1913, 1904, 1896, 1892, 1895, 1902, 1913, 1923, 1930, 1933, 1932, 1930, 1930, 1935, 1945, 1960, 1976, 1990, 1999, 2002, 2000, 1995, 1990, 1989, 1993, 2001, 2011, 2021, 2027, 2029, 2027, 2024, 2022, 2021, 2022, 2024, 2026, 2024, 2018, 2009, 1999, 1993, 1994, 2006, 2031, 2071, 2123, 2186, 2257, 2335, 2420, 2509, 2602, 2698, 2795, 2889, 2979, 3060, 3131, 3191, 3240, 3278, 3306, 3323, 3332, 3331, 3320, 3300, 3271, 3237, 3198, 3157, 3118, 3080, 3045, 3013, 2984, 2959, 2939, 2925, 2918, 2920, 2930, 2948, 2971, 2998, 3027, 3057, 3089, 3123, 3159, 3199, 3241, 3283, 3321, 3353, 3379, 3397, 3411, 3421, 3431, 3439, 3446, 3449, 3447, 3440, 3427, 3409, 3389, 3367, 3345, 3320, 3291, 3256, 3213, 3160, 3099, 3031, 2959, 2885, 2810, 2738, 2667, 2599, 2533, 2472, 2417, 2371, 2335, 2310, 2297, 2293, 2299, 2313, 2332, 2356, 2386, 2420, 2457, 2498, 2540, 2581, 2621, 2657, 2688, 2714, 2734, 2750, 2761, 2767, 2769, 2766, 2758, 2746, 2729, 2709, 2688},
    {2787, 2788, 2788, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2790, 2790, 2790, 2790, 2790, 2790, 2789, 2789, 2789, 2789, 2789, 2789, 2789, 2788, 2788, 2787, 2786, 2786, 2785, 2785, 2785, 2785, 2785, 2786, 2786, 2786, 2787, 2787, 2787, 2788, 2788, 2789, 2789, 2789, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2787, 2787, 2787, 2787, 2787, 2787, 2788, 2788, 2788, 2785, 2779, 2763, 2734, 2686, 2614, 2518, 2398, 2260, 2113, 1965, 1825, 1699, 1593, 1507, 1442, 1398, 1371, 1360, 1362, 1375, 1398, 1430, 1470, 1516, 1565, 1615, 1661, 1701, 1734, 1759, 1780, 1798, 1815, 1832, 1848, 1860, 1864, 1856, 1837, 1805, 1764, 1716, 1667, 1621, 1578, 1540, 1505, 1473, 1440, 1407, 1375, 1346, 1321, 1302, 1290, 1285, 1284, 1285, 1287, 1286, 1283, 1278, 1274, 1271, 1271, 1277, 1287, 1304, 1325, 1353, 1386, 1427, 1475, 1532, 1597, 1670, 1747, 1827, 1906, 1980, 2048, 2106, 2156, 2195, 2225, 2246, 2258, 2261, 2255, 2240, 2217, 2187, 2153, 2116, 2078, 2043, 2009, 1978, 1947, 1917, 1888, 1861, 1837, 1819, 1809, 1808, 1815, 1828, 1846, 1867, 1888, 1909, 1932, 1955, 1979, 2004, 2028, 2048, 2061, 2066, 2063, 2052, 2037, 2020, 2004, 1989, 1976, 1964, 1952, 1937, 1922, 1906, 1892, 1883, 1878, 1879, 1883, 1887, 1889, 1887, 1879, 1869, 1858, 1849, 1845, 1846, 1851, 1857, 1862, 1865, 1865, 1864, 1865, 1870, 1879, 1891, 1905, 1918, 1927, 1930, 1928, 1923, 1918, 1915, 1916, 1921, 1929, 1936, 1942, 1945, 1946, 1946, 1949, 1955, 1965, 1980, 1997, 2012, 2023, 2026, 2022, 2014, 2004, 1996, 1993, 1996, 2004, 2012, 2020, 2023, 2021, 2016, 2010, 2006, 2003, 2005, 2009, 2014, 2019, 2024, 2033, 2048, 2073, 2112, 2166, 2236, 2319, 2410, 2505, 2602, 2696, 2788, 2877, 2962, 3043, 3117, 3182, 3238, 3282, 3312, 3330, 3337, 3333, 3319, 3298, 3270, 3238, 3201, 3162, 3122, 3083, 3045, 3010, 2980, 2955, 2935, 2921, 2915, 2917, 2926, 2943, 2965, 2991, 3020, 3052, 3085, 3120, 3158, 3199, 3242, 3284, 3323, 3357, 3383, 3403, 3417, 3429, 3438, 3446, 3451, 3453, 3450, 3441, 3427, 3409, 3387, 3364, 3340, 3314, 3284, 3249, 3206, 3155, 3095, 3028, 2956, 2883, 2809, 2737, 2668, 2601, 2537, 2477, 2423, 2376, 2339, 2313, 2298, 2294, 2300, 2313, 2333, 2358, 2388, 2421, 2457, 2496, 2536, 2577, 2616, 2652, 2684, 2711, 2732, 2748, 2758, 2764, 2766, 2763, 2755, 2743, 2728, 2709, 2687},
    {2781, 2781, 2781, 2782, 2782, 2782, 2782, 2783, 2783, 2783, 2783, 2783, 2783, 2783, 2782, 2781, 2781, 2780, 2779, 2778, 2778, 2778, 2778, 2778, 2778, 2779, 2779, 2780, 2780, 2780, 2780, 2780, 2781, 2781, 2782, 2782, 2782, 2783, 2783, 2783, 2782, 2782, 2781, 2781, 2780, 2780, 2780, 2780, 2781, 2781, 2782, 2782, 2782, 2782, 2782, 2781, 2781, 2780, 2780, 2780, 2780, 2781, 2781, 2781, 2781, 2780, 2780, 2779, 2776, 2770, 2757, 2730, 2686, 2619, 2526, 2410, 2276, 2131, 1986, 1850, 1730, 1630, 1549, 1485, 1433, 1391, 1357, 1335, 1326, 1334, 1361, 1405, 1461, 1521, 1576, 1621, 1651, 1668, 1678, 1687, 1700, 1721, 1747, 1774, 1792, 1797, 1783, 1752, 1709, 1660, 1612, 1571, 1537, 1508, 1480, 1449, 1414, 1374, 1332, 1295, 1265, 1246, 1238, 1238, 1242, 1245, 1244, 1238, 1229, 1221, 1218, 1220, 1230, 1243, 1258, 1273, 1286, 1300, 1318, 1344, 1382, 1432, 1494, 1563, 1635, 1705, 1770, 1830, 1886, 1941, 1996, 2051, 2104, 2150, 2185, 2205, 2211, 2203, 2186, 2165, 2144, 2125, 2107, 2087, 2062, 2030, 1990, 1945, 1901, 1862, 1833, 1818, 1815, 1821, 1833, 1845, 1857, 1868, 1880, 1896, 1918, 1947, 1979, 2011, 2039, 2057, 2064, 2061, 2050, 2037, 2025, 2017, 2012, 2008, 2003, 1993, 1977, 1956, 1933, 1914, 1901, 1896, 1899, 1907, 1913, 1913, 1904, 1888, 1866, 1846, 1832, 1827, 1832, 1843, 1855, 1864, 1866, 1863, 1857, 1852, 1854, 1863, 1879, 1899, 1918, 1930, 1932, 1926, 1914, 1901, 1894, 1895, 1904, 1918, 1934, 1945, 1950, 1949, 1943, 1939, 1938, 1943, 1954, 1969, 1984, 1997, 2003, 2004, 2001, 1995, 1992, 1993, 1999, 2008, 2018, 2027, 2032, 2033, 2031, 2027, 2025, 2027, 2031, 2037, 2040, 2038, 2029, 2017, 2005, 2001, 2011, 2039, 2086, 2150, 2225, 2308, 2393, 2480, 2567, 2656, 2748, 2840, 2933, 3021, 3102, 3172, 3230, 3273, 3304, 3323, 3333, 3335, 3330, 3316, 3295, 3267, 3231, 3191, 3148, 3106, 3066, 3028, 2996, 2970, 2948, 2932, 2922, 2919, 2923, 2934, 2952, 2976, 3004, 3034, 3067, 3102, 3140, 3180, 3223, 3265, 3305, 3340, 3370, 3393, 3410, 3423, 3434, 3444, 3452, 3457, 3458, 3453, 3442, 3426, 3406, 3383, 3359, 3332, 3303, 3268, 3226, 3176, 3116, 3048, 2974, 2898, 2822, 2747, 2676, 2608, 2544, 2485, 2430, 2382, 2343, 2314, 2295, 2288, 2291, 2303, 2322, 2347, 2375, 2408, 2443, 2482, 2522, 2562, 2603, 2641, 2675, 2705, 2729, 2747, 2760, 2767, 2770, 2769, 2763, 2753, 2740, 2722, 2702},
    {2792, 2792, 2792, 2792, 2792, 2791, 2791, 2791, 2791, 2791, 2791, 2791, 2791, 2790, 2790, 2790, 2789, 2789, 2788, 2788, 2787, 2787, 2787, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2788, 2789, 2789, 2789, 2790, 2790, 2790, 2790, 2790, 2790, 2790, 2790, 2790, 2790, 2789, 2789, 2789, 2790, 2790, 2790, 2791, 2791, 2791, 2791, 2790, 2790, 2789, 2789, 2789, 2788, 2788, 2788, 2788, 2788, 2787, 2784, 2774, 2755, 2719, 2663, 2582, 2477, 2350, 2209, 2062, 1919, 1788, 1674, 1579, 1503, 1443, 1397, 1365, 1346, 1341, 1352, 1380, 1423, 1477, 1536, 1594, 1645, 1685, 1715, 1738, 1757, 1778, 1804, 1832, 1860, 1882, 1891, 1883, 1859, 1822, 1778, 1731, 1688, 1650, 1617, 1585, 1551, 1515, 1474, 1432, 1392, 1359, 1334, 1317, 1308, 1303, 1298, 1291, 1280, 1268, 1257, 1249, 1248, 1252, 1262, 1275, 1289, 1304, 1319, 1339, 1366, 1402, 1450, 1508, 1575, 1647, 1719, 1790, 1859, 1923, 1986, 2046, 2104, 2158, 2204, 2240, 2263, 2272, 2269, 2255, 2234, 2209, 2182, 2154, 2123, 2090, 2054, 2014, 1972, 1931, 1894, 1864, 1842, 1829, 1823, 1823, 1827, 1834, 1844, 1856, 1873, 1896, 1923, 1954, 1985, 2013, 2034, 2046, 2048, 2043, 2034, 2024, 2015, 2010, 2006, 2001, 1994, 1982, 1966, 1948, 1930, 1916, 1907, 1904, 1905, 1907, 1907, 1903, 1894, 1882, 1869, 1858, 1852, 1851, 1855, 1860, 1865, 1867, 1867, 1864, 1860, 1859, 1861, 1868, 1878, 1889, 1899, 1906, 1909, 1909, 1908, 1908, 1910, 1916, 1924, 1933, 1942, 1948, 1952, 1954, 1955, 1959, 1966, 1977, 1990, 2004, 2014, 2019, 2018, 2012, 2003, 1995, 1991, 1991, 1995, 2002, 2009, 2014, 2016, 2015, 2014, 2013, 2015, 2018, 2022, 2025, 2024, 2020, 2012, 2005, 2004, 2013, 2037, 2076, 2131, 2199, 2277, 2360, 2447, 2537, 2628, 2720, 2814, 2906, 2994, 3077, 3149, 3211, 3259, 3295, 3319, 3332, 3337, 3332, 3320, 3299, 3272, 3238, 3199, 3158, 3116, 3076, 3038, 3005, 2977, 2954, 2936, 2925, 2920, 2923, 2933, 2950, 2973, 2999, 3029, 3061, 3095, 3131, 3170, 3212, 3254, 3295, 3332, 3364, 3389, 3408, 3422, 3433, 3443, 3450, 3456, 3458, 3455, 3447, 3432, 3414, 3391, 3367, 3341, 3313, 3281, 3243, 3197, 3142, 3079, 3009, 2935, 2860, 2785, 2712, 2643, 2577, 2515, 2458, 2406, 2363, 2330, 2307, 2295, 2293, 2301, 2317, 2338, 2365, 2396, 2430, 2467, 2506, 2547, 2588, 2627, 2663, 2695, 2721, 2741, 2756, 2766, 2770, 2771, 2767, 2759, 2747, 2731, 2712},
};
#define DATA data_10ul_kx
#define DATA2 data_10ul_water
#define DATA3 data_10ul_one5ul_kx
#define DATA4 data_10ul_one5ul_water
#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;
}

typedef struct un_draw_t
{
    unsigned int delta_cnt;

} un_draw_t;

void un_draw_detect()
{
}
float abs_f(float x)
{
    return x > 0 ? x : -x;
}
/**
 * 吸液曲线分成3阶段
 * 1. 平衡
 * 2. 压力下降
 * 3. 压力平衡
 */
typedef struct press_stage_t
{
    float old_data;
    unsigned char stage;
    unsigned int deal_cnt;
    float value_cache[4];
    int value_cnt;

    float start_value;
    int down_end_cnt;
    float wave_end_value;
    int delay_enter_steady;
    int up_cnt;

    unsigned char no_draw_flag : 1;
} press_stage_t;
press_stage_t stage;
void pt_cache()
{
    for (int i = 0; i < PART_SIZE(stage.value_cache); i++)
    {
        printf("%f ", stage.value_cache[i]);
    }
}
void press_deal(float data)
{
    // 赋初值
    if (stage.value_cnt < PART_SIZE(stage.value_cache))
    {
        stage.value_cache[stage.value_cnt++] = data;
        // 计算一下初始平均值
        if (stage.value_cnt == PART_SIZE(stage.value_cache))
        {
            float sum = 0;
            for (int i = 0; i < PART_SIZE(stage.value_cache); i++)
            {
                sum += stage.value_cache[i];
            }
            stage.start_value = sum / PART_SIZE(stage.value_cache);
            // printf("start value =%f\n",stage.start_value);
            // printf("staic stage\n");
        }
        return;
    }
    // 移位
    for (int i = 0; i < PART_SIZE(stage.value_cache) - 1; i++)
    {
        stage.value_cache[i] = stage.value_cache[i + 1];
    }
    stage.value_cache[PART_SIZE(stage.value_cache) - 1] = data;
    // 稳定段
    if (stage.stage == 0)
    {
        // printf("%f,", data);
        char down = 0;
        for (int i = 0; i < PART_SIZE(stage.value_cache); i++)
        {
            float delta = abs_f(stage.value_cache[i] - stage.start_value);
            if (delta > 30.0)
            {
                down = 1;
                break;
            }
        }
        if (down)
        {
            // printf("\n");
            // pt_cache();
            // printf("\ncnt = %d", stage.deal_cnt);
            // 4个数递减，说明要进入负压阶段
            // printf("\nwave_stage\n");
            stage.stage = 1;
        }
    }
    else if (stage.stage == 1)
    {
        // printf("%f,", data);
        int wave = 0;
        for (int i = 0; i < PART_SIZE(stage.value_cache) - 1; i++)
        {
            if (abs_f(stage.value_cache[i + 1] - stage.value_cache[i]) > 5.0)
            {
                wave = 1;
                break;
            }
        }
        if (wave == 0)
        {
            stage.delay_enter_steady = 5;
            // printf("\n");
            // printf("cnt = %d\n", stage.deal_cnt);
            // 停止急速下降，说明进入平稳段

            // printf("wave = %f\n", stage.wave_end_value);
        }
        if (stage.delay_enter_steady)
        {
            stage.delay_enter_steady--;
            if (stage.delay_enter_steady == 0)
            {
                stage.stage = 2;
                stage.wave_end_value = 0.0;
                stage.up_cnt = 0;
                stage.no_draw_flag = 0;

                for (int i = 0; i < PART_SIZE(stage.value_cache); i++)
                {
                    stage.wave_end_value += stage.value_cache[i];
                }

                stage.wave_end_value = stage.wave_end_value / PART_SIZE(stage.value_cache);
                printf("steady cnt = %d\n", stage.deal_cnt);
            }
        }
    }
    else if (stage.stage == 2)
    {
        float delta = abs_f(data - stage.wave_end_value);
        if (delta > 50.0)
        {
            if (stage.value_cache[PART_SIZE(stage.value_cache) - 2] < data)
            {
                // old 比 now 小
                float speed = data - stage.value_cache[PART_SIZE(stage.value_cache) - 2];
                // printf("speed = %f\n", speed);
                if (speed > 30.0)
                {
                    stage.stage = 3;
                }
            }

            if (stage.up_cnt < 4)
            {
                stage.up_cnt++;
            }
            else
            {
                // printf("%f\n", data);
                // printf("no draw warming\n");
                printf("no draw cnt = %d\n", stage.deal_cnt);
                stage.no_draw_flag = 1;
                stage.stage = 0xff;
            }
        }
        else
        {
            stage.up_cnt = 0;
        }
    }
    stage.deal_cnt++;
}
void press_init()
{
    stage.stage = 0;
    stage.value_cnt = 0;
    stage.deal_cnt = 0;
}

int main(void)
{
    FILE *f = fopen("error.csv", "w+");
    int i = 0;
    while (DATA[i][0] != 0)
    {
        int j = 0;
        x_last = DATA[i][0];
        press_init();
        while (DATA[i][j] != 0)
        {
            float get_value = KalmanFilter(DATA[i][j], KALMAN_Q, KALMAN_R);
            press_deal(get_value);
            j++;
        }

        if (stage.no_draw_flag == 0)
        {
            printf("no draw detece fail :%d\n", i);
        }
        i++;
        // break;
    }
    i = 0;
    printf(">>>>>>>>>1\n");
    while (DATA3[i][0] != 0)
    {
        int j = 0;
        x_last = DATA3[i][0];
        press_init();
        while (DATA3[i][j] != 0)
        {
            float get_value = KalmanFilter(DATA3[i][j], KALMAN_Q, KALMAN_R);
            press_deal(get_value);
            j++;
        }
        if (stage.no_draw_flag == 0)
        {
            printf("no draw detece fail :%d\n", i);
            int j = 0;
            while (DATA3[i][j] != 0)
            {
                fprintf(f, "%d,", DATA3[i][j]);
                j++;
            }
        }
        i++;
        // break;
    }
    i = 0;
    printf(">>>>>>>>>2\n");
    while (DATA2[i][0] != 0)
    {
        int j = 0;
        x_last = DATA2[i][0];
        press_init();
        while (DATA2[i][j] != 0)
        {
            float get_value = KalmanFilter(DATA2[i][j], KALMAN_Q, KALMAN_R);
            press_deal(get_value);
            j++;
        }
        if (stage.no_draw_flag == 1)
        {
            printf("no draw detece fail :%d\n", i);
        }
        i++;
        // break;
    }
     i = 0;
    printf(">>>>>>>>>3\n");
    FILE *fp4 = fopen("error_10ul_one.csv", "w+");
    while (DATA4[i][0] != 0)
    {
        int j = 0;
        x_last = DATA4[i][0];
        press_init();
        while (DATA4[i][j] != 0)
        {
            float get_value = KalmanFilter(DATA4[i][j], KALMAN_Q, KALMAN_R);
            press_deal(get_value);
            j++;
        }
        if (stage.no_draw_flag == 1)
        {
            x_last = DATA4[i][0];
            for (int k = 0; k < j-1; k++)
            {
                 float get_value = KalmanFilter(DATA4[i][k], KALMAN_Q, KALMAN_R);
                fprintf(fp4, "%f,",get_value);
            }
            fprintf(fp4, "\n");
            
            printf("no draw detece fail :%d\n", i);
        }
        i++;
        // break;
    }
    fclose(fp4);
    fclose(f);
}