add: BM25s index

.gitattributes

@@ -33,3 +33,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+corpus.jsonl filter=lfs diff=lfs merge=lfs -text

config.json

@@ -0,0 +1,4 @@
+{
+    "language": "english",
+    "use_stemmer": true
+}

corpus.jsonl

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c79f5d782e1463c9862f9b61ec1fdf7c38de522deb7c4f5f5bca3d99c8da4d26
+size 13372409

corpus.mmindex.json

@@ -0,0 +1 @@
+[0, 2090, 4045, 5962, 7632, 9591, 11529, 13494, 15495, 17167, 19294, 21388, 23413, 25407, 26520, 28538, 30542, 32433, 34347, 35808, 37722, 39670, 41641, 43746, 45237, 47136, 49141, 51097, 53120, 54352, 56283, 58284, 60161, 62099, 63432, 65431, 67512, 69389, 71438, 73186, 75220, 77265, 79205, 81126, 82643, 84495, 86484, 88455, 90498, 92420, 94390, 96362, 98313, 100347, 102111, 104132, 106113, 108082, 109995, 111484, 113465, 115389, 117425, 119459, 120766, 122727, 124649, 126599, 128623, 129917, 131871, 133829, 135760, 137773, 139292, 141330, 143347, 145452, 147610, 148544, 150646, 152713, 154711, 156685, 158129, 160188, 162182, 164166, 166166, 167440, 169509, 171460, 173476, 175385, 176946, 178849, 180756, 182727, 184578, 186480, 188341, 190310, 192175, 194175, 196021, 197994, 199984, 201982, 203993, 205725, 207588, 209576, 211601, 213525, 215084, 217060, 219068, 221085, 223122, 224502, 226520, 228494, 230555, 232604, 233930, 235853, 237940, 239935, 241956, 243112, 245188, 247135, 248944, 250848, 252505, 254576, 256715, 258723, 260658, 262161, 264199, 266203, 268119, 270066, 271508, 273559, 275526, 277466, 279404, 281023, 282987, 284967, 287032, 288966, 290439, 292421, 294310, 296446, 298509, 300072, 302038, 303942, 305818, 307856, 309435, 311408, 313382, 315292, 317212, 318687, 320673, 322520, 324395, 326427, 328226, 330232, 332300, 334277, 336311, 337890, 339797, 341779, 343792, 345748, 347092, 349057, 350995, 352942, 354945, 356598, 358573, 360741, 362694, 364726, 365686, 367699, 369610, 371663, 373619, 375222, 377234, 379134, 380984, 382999, 384817, 386742, 388784, 390853, 392939, 394312, 396337, 398263, 400281, 402406, 403701, 405827, 407800, 409874, 411876, 413138, 414981, 416980, 418927, 420923, 422679, 424685, 426551, 428578, 430572, 432252, 434323, 436168, 438194, 440118, 441321, 443320, 445320, 447282, 449215, 450803, 452828, 454818, 456807, 458792, 460352, 462341, 464339, 466336, 468222, 470056, 472063, 474060, 475952, 477970, 479472, 481384, 483377, 485408, 487389, 489032, 490942, 492880, 494949, 496928, 498384, 500419, 502410, 504432, 506408, 507700, 509630, 511653, 513746, 515567, 516869, 518770, 520700, 522638, 524720, 526193, 528227, 530109, 532028, 534138, 535840, 537697, 539630, 541661, 543709, 545386, 547426, 549511, 551520, 553476, 554437, 556605, 558629, 560638, 562565, 563832, 565805, 567801, 569852, 571790, 573511, 575493, 577468, 579355, 581350, 583059, 585027, 586955, 589009, 590935, 592593, 594513, 596534, 598431, 600406, 602046, 604000, 605946, 607988, 609914, 611536, 613439, 615393, 617393, 619254, 620966, 622963, 624894, 626861, 628904, 630397, 632423, 634359, 636268, 638289, 639961, 641940, 643840, 645997, 648009, 649626, 651627, 653630, 655570, 657540, 659199, 661116, 663015, 665108, 667136, 668601, 670658, 672663, 674670, 676659, 678427, 680517, 682538, 684381, 686388, 687895, 689850, 691791, 693805, 695748, 697473, 699519, 701383, 703382, 705386, 706927, 708800, 710791, 712748, 714744, 716479, 718412, 720439, 722409, 724567, 726096, 728128, 730146, 732097, 734092, 735167, 737095, 739218, 741256, 743200, 744851, 746821, 748782, 750716, 752768, 754699, 755166, 757102, 759162, 761303, 763304, 764314, 766279, 768224, 770132, 772014, 773770, 775747, 777726, 779654, 781548, 783014, 785062, 787041, 789089, 791050, 792767, 794784, 796787, 798797, 800662, 801854, 803765, 805644, 807696, 809635, 811080, 812979, 814985, 816945, 818957, 820316, 822440, 824501, 826640, 828546, 829582, 831530, 833483, 835390, 837243, 838811, 840792, 842777, 844747, 846642, 848243, 850281, 852374, 854333, 856124, 857810, 859794, 861756, 863649, 865664, 867568, 867947, 870002, 871999, 873883, 875775, 877321, 879345, 881238, 883245, 885281, 886896, 888674, 890704, 892566, 894506, 896464, 896785, 898640, 900691, 902626, 904550, 906366, 908310, 910227, 912290, 914197, 915639, 917697, 919697, 921626, 923753, 925222, 927230, 929144, 931022, 933040, 934995, 937024, 938905, 940875, 942856, 944687, 946651, 948735, 950649, 952732, 954096, 956038, 958106, 960125, 962031, 963103, 965176, 967138, 969120, 971054, 972422, 974536, 976572, 978516, 980489, 981859, 983782, 985732, 987688, 989599, 991214, 993306, 995210, 997172, 999254, 1000908, 1002897, 1004920, 1006973, 1008943, 1010357, 1012313, 1014203, 1016235, 1018201, 1019977, 1022044, 1024185, 1026098, 1028062, 1029214, 1031225, 1033186, 1035113, 1037180, 1038888, 1040979, 1042964, 1044864, 1046898, 1048063, 1050052, 1052181, 1054113, 1056016, 1057510, 1059470, 1061373, 1063475, 1065514, 1067009, 1068998, 1070997, 1072986, 1075009, 1076413, 1078403, 1080427, 1082480, 1084385, 1086071, 1088114, 1090090, 1092019, 1094178, 1095674, 1097802, 1099798, 1101904, 1103921, 1105381, 1107455, 1109485, 1111528, 1113625, 1114917, 1117038, 1119111, 1121016, 1123144, 1124240, 1126178, 1128165, 1130238, 1132253, 1133912, 1135902, 1137786, 1139750, 1141830, 1143499, 1145519, 1147470, 1149535, 1151498, 1152742, 1154852, 1156807, 1158766, 1160569, 1162455, 1164337, 1166280, 1168224, 1170387, 1172346, 1174309, 1176304, 1178285, 1180174, 1181510, 1183488, 1185466, 1187577, 1189632, 1190784, 1192735, 1194718, 1196721, 1198614, 1200297, 1202264, 1204232, 1206368, 1208318, 1209805, 1211809, 1213817, 1215869, 1217853, 1219159, 1221163, 1223206, 1225212, 1227311, 1228157, 1230143, 1232191, 1234130, 1236111, 1237590, 1239586, 1241544, 1243465, 1245399, 1246628, 1248525, 1250498, 1252410, 1254227, 1255756, 1257801, 1259776, 1261738, 1262141, 1265033, 1267721, 1270350, 1272001, 1274678, 1277181, 1279837, 1282234, 1284720, 1286110, 1288562, 1290447, 1292518, 1294524, 1295922, 1297556, 1300085, 1302609, 1303020, 1305416, 1307984, 1309591, 1311879, 1314391, 1315563, 1318078, 1320806, 1322152, 1324231, 1326829, 1329421, 1331917, 1332429, 1335076, 1337643, 1340192, 1341040, 1343637, 1346233, 1348964, 1351523, 1352439, 1355165, 1357340, 1358672, 1361030, 1362658, 1365163, 1367704, 1369251, 1370249, 1372400, 1374442, 1376454, 1377303, 1379836, 1381432, 1383819, 1386338, 1389013, 1389965, 1392482, 1394953, 1397353, 1399441, 1400955, 1402678, 1405096, 1407546, 1410133, 1412711, 1414326, 1415627, 1418047, 1420413, 1422923, 1423893, 1425513, 1428161, 1430967, 1433578, 1436376, 1436783, 1437672, 1440261, 1443052, 1444182, 1446595, 1449125, 1450718, 1452624, 1455033, 1457409, 1460014, 1461422, 1463779, 1464100, 1466387, 1468734, 1471119, 1473501, 1474512, 1475127, 1477392, 1479661, 1482158, 1484627, 1486858, 1487616, 1490147, 1492598, 1495135, 1497587, 1500300, 1502809, 1504783, 1505563, 1507707, 1510128, 1512478, 1514912, 1516030, 1516551, 1519049, 1521499, 1523066, 1525363, 1526719, 1529161, 1531654, 1534338, 1536997, 1539332, 1541705, 1542862, 1543856, 1546295, 1548771, 1551368, 1553273, 1554509, 1556663, 1559256, 1560546, 1562823, 1565158, 1567641, 1569993, 1572478, 1573643, 1574170, 1576592, 1579027, 1581628, 1583331, 1584918, 1587551, 1588496, 1590493, 1592847, 1595029, 1597107, 1598339, 1601033, 1603659, 1606124, 1607657, 1610021, 1612355, 1614178, 1616396, 1618708, 1621133, 1622320, 1624694, 1627162, 1629675, 1632284, 1633231, 1635747, 1637313, 1639760, 1642272, 1644715, 1645406, 1647861, 1650559, 1653123, 1653669, 1656039, 1658640, 1661159, 1663763, 1666572, 1669048, 1671001, 1673436, 1675900, 1678437, 1680649, 1683192, 1685753, 1688416, 1690920, 1693423, 1695815, 1698310, 1699013, 1701717, 1703990, 1704899, 1706947, 1709097, 1710246, 1712661, 1715117, 1717696, 1719417, 1720240, 1722569, 1725008, 1727565, 1728807, 1730684, 1733156, 1735556, 1737972, 1740192, 1742578, 1744918, 1745201, 1747699, 1750253, 1752744, 1753158, 1755684, 1758316, 1760739, 1763149, 1763946, 1766366, 1768841, 1771244, 1773615, 1774123, 1776287, 1778711, 1781149, 1782927, 1785055, 1787299, 1788966, 1791216, 1793593, 1796158, 1796911, 1799397, 1801933, 1804129, 1806563, 1809050, 1811511, 1813210, 1815530, 1817931, 1820290, 1822038, 1824215, 1826616, 1828336, 1830972, 1833376, 1835841, 1837811, 1840302, 1842856, 1845236, 1846064, 1848549, 1851202, 1853865, 1855783, 1856705, 1859015, 1861307, 1863805, 1866255, 1867316, 1869770, 1872237, 1874829, 1877316, 1879753, 1882333, 1884754, 1887184, 1888165, 1890410, 1892355, 1895094, 1897957, 1900575, 1901816, 1903770, 1905859, 1907866, 1909925, 1911977, 1913067, 1915053, 1917079, 1918180, 1920701, 1923131, 1924077, 1926439, 1928854, 1931177, 1933016, 1935324, 1937480, 1939834, 1942356, 1944875, 1947390, 1948952, 1951261, 1953743, 1955272, 1957675, 1960341, 1962963, 1965553, 1966700, 1969146, 1971695, 1973865, 1974996, 1977238, 1979793, 1982344, 1983615, 1985865, 1988249, 1990003, 1992513, 1995166, 1997668, 2000190, 2001154, 2003012, 2005424, 2007796, 2010278, 2012855, 2013886, 2016487, 2019022, 2021396, 2022030, 2024367, 2026888, 2029250, 2030563, 2032567, 2034550, 2036525, 2038650, 2039227, 2041781, 2044323, 2045375, 2047683, 2050395, 2052579, 2054954, 2057567, 2060308, 2061109, 2063570, 2066295, 2068966, 2069697, 2072093, 2074476, 2076794, 2079244, 2081930, 2084591, 2086712, 2089156, 2091759, 2094113, 2096507, 2098963, 2101511, 2102358, 2104629, 2107072, 2108127, 2110441, 2112894, 2113451, 2115905, 2117850, 2120239, 2122738, 2123450, 2125921, 2128432, 2128833, 2131395, 2134072, 2136653, 2139383, 2140779, 2143269, 2145874, 2148308, 2150212, 2152850, 2155348, 2157778, 2159138, 2161561, 2164152, 2166472, 2168942, 2169349, 2171830, 2174409, 2176079, 2178642, 2181158, 2183649, 2186249, 2187182, 2189680, 2191427, 2193891, 2196470, 2198993, 2199821, 2202460, 2205037, 2207542, 2208967, 2209851, 2212287, 2214756, 2215287, 2217526, 2219141, 2221495, 2223644, 2226110, 2228765, 2231411, 2232516, 2234974, 2237521, 2240221, 2242924, 2244556, 2247394, 2250126, 2252594, 2254890, 2257379, 2259920, 2262368, 2263473, 2266217, 2268933, 2271383, 2273939, 2276067, 2278326, 2280959, 2283707, 2284743, 2287370, 2290054, 2292732, 2294754, 2297080, 2299430, 2302071, 2302488, 2304736, 2307430, 2308896, 2311486, 2314067, 2315996, 2318574, 2321154, 2322507, 2325261, 2327871, 2330195, 2332643, 2333514, 2335785, 2338640, 2340140, 2342784, 2345588, 2347671, 2349874, 2352031, 2354120, 2356256, 2356838, 2359499, 2362143, 2362664, 2364806, 2367333, 2369767, 2372544, 2374485, 2375844, 2378440, 2381067, 2383747, 2386479, 2386829, 2388546, 2391404, 2394031, 2396645, 2399241, 2399989, 2402406, 2404786, 2407148, 2409512, 2411765, 2414184, 2416672, 2419335, 2420258, 2422565, 2425036, 2427530, 2429923, 2432504, 2434012, 2435137, 2437689, 2440174, 2442573, 2443251, 2445807, 2448481, 2450964, 2453106, 2455608, 2458167, 2460757, 2461625, 2464121, 2466728, 2468159, 2469534, 2472005, 2474563, 2476888, 2479421, 2482175, 2484710, 2487363, 2489084, 2491786, 2494333, 2496931, 2498887, 2501717, 2503414, 2504871, 2507184, 2509420, 2511121, 2513604, 2516030, 2518824, 2520004, 2522239, 2523886, 2526409, 2527959, 2530259, 2532731, 2535175, 2536295, 2538590, 2541106, 2542994, 2545471, 2548094, 2550574, 2552721, 2555108, 2557560, 2559952, 2562328, 2564653, 2567166, 2569478, 2571900, 2574260, 2576863, 2577841, 2580069, 2582417, 2584848, 2585514, 2587767, 2590158, 2592655, 2593789, 2596079, 2598665, 2601024, 2603646, 2604573, 2606801, 2609390, 2610759, 2613217, 2615660, 2617462, 2620012, 2622476, 2624969, 2627397, 2629658, 2632290, 2634529, 2637118, 2639757, 2642048, 2644635, 2647038, 2649517, 2651950, 2654430, 2657037, 2657769, 2660241, 2662893, 2665394, 2667734, 2670119, 2670464, 2672757, 2674830, 2677418, 2679926, 2682640, 2684646, 2687136, 2688051, 2690081, 2691194, 2693717, 2696193, 2697160, 2699710, 2702136, 2703376, 2705907, 2708220, 2710120, 2711485, 2714081, 2716612, 2718342, 2720874, 2723075, 2725165, 2726578, 2728978, 2731160, 2733378, 2735825, 2737902, 2739945, 2741432, 2744001, 2746634, 2748733, 2751228, 2753750, 2755720, 2758197, 2760799, 2763490, 2765727, 2768005, 2770297, 2771053, 2773098, 2775349, 2776338, 2778948, 2781604, 2783627, 2786121, 2788461, 2789881, 2792276, 2794708, 2797405, 2799102, 2801441, 2804015, 2805708, 2807587, 2809967, 2811878, 2814575, 2816636, 2818804, 2820851, 2821781, 2824446, 2826984, 2829717, 2831091, 2833321, 2835758, 2836807, 2839335, 2840959, 2843452, 2845408, 2847811, 2850088, 2851213, 2853709, 2856190, 2858686, 2859708, 2862179, 2864695, 2867172, 2869419, 2871459, 2872832, 2875290, 2877724, 2878556, 2881069, 2883578, 2884974, 2887235, 2889693, 2891562, 2893824, 2896196, 2898649, 2900965, 2903349, 2905040, 2907427, 2909905, 2912519, 2913368, 2915956, 2918488, 2921010, 2923503, 2924991, 2927323, 2929738, 2931987, 2934198, 2936628, 2938947, 2941385, 2943865, 2945958, 2948487, 2951010, 2953516, 2954121, 2956259, 2958544, 2960922, 2963033, 2964631, 2966961, 2968329, 2970682, 2973366, 2974746, 2977223, 2979687, 2982270, 2984568, 2986828, 2989217, 2989572, 2992125, 2994546, 2996877, 2999172, 2999891, 3002093, 3004451, 3006959, 3007358, 3009666, 3011891, 3013960, 3016527, 3017864, 3020631, 3023385, 3025874, 3026484, 3028571, 3029034, 3031970, 3034670, 3037453, 3038629, 3041431, 3044087, 3045764, 3048481, 3051002, 3053296, 3055924, 3058020, 3059653, 3062164, 3064710, 3067488, 3069194, 3071361, 3073905, 3075884, 3077819, 3080201, 3080702, 3082884, 3085259, 3087431, 3088500, 3091032, 3093580, 3095927, 3098152, 3099852, 3101406, 3102313, 3104718, 3106826, 3107446, 3110047, 3112609, 3114988, 3117544, 3120005, 3120884, 3123304, 3125835, 3128301, 3130254, 3132493, 3134655, 3137081, 3139559, 3141959, 3144381, 3145647, 3147611, 3149107, 3151679, 3154301, 3156889, 3158377, 3160536, 3163199, 3164773, 3166970, 3168411, 3169958, 3172588, 3175174, 3177600, 3178613, 3181160, 3183589, 3186049, 3188573, 3189672, 3192341, 3193781, 3195648, 3196886, 3199176, 3201564, 3202547, 3205017, 3207092, 3207825, 3209581, 3210807, 3213145, 3214175, 3216344, 3218638, 3219642, 3221735, 3223888, 3226026, 3228207, 3229369, 3231540, 3233747, 3234193, 3236709, 3237819, 3240111, 3242469, 3244499, 3246851, 3247839, 3250455, 3252896, 3255145, 3256641, 3259095, 3261732, 3264369, 3266807, 3268384, 3270988, 3273686, 3276221, 3278205, 3280545, 3280868, 3282914, 3284970, 3287041, 3289219, 3290918, 3293355, 3296002, 3298212, 3300755, 3302254, 3304846, 3306472, 3308988, 3310191, 3312298, 3312871, 3315281, 3317574, 3319861, 3320828, 3323285, 3325248, 3327981, 3330553, 3332189, 3334584, 3337204, 3339575, 3340243, 3342691, 3345151, 3347303, 3349268, 3351268, 3353888, 3356457, 3358413, 3360708, 3363082, 3365345, 3366275, 3368892, 3371253, 3372241, 3374515, 3376543, 3378934, 3381382, 3383783, 3385668, 3388156, 3390721, 3393176, 3395675, 3397313, 3399609, 3401776, 3404157, 3405111, 3406919, 3408326, 3409664, 3411605, 3413552, 3414135, 3416704, 3419189, 3421559, 3421960, 3423987, 3425960, 3426371, 3428392, 3430752, 3431886, 3434347, 3436814, 3437819, 3440161, 3442250, 3443286, 3445497, 3447355, 3449607, 3451595, 3452244, 3454520, 3456865, 3459388, 3461877, 3463586, 3464628, 3467077, 3469754, 3472497, 3474891, 3477460, 3479909, 3482649, 3485309, 3486241, 3488890, 3491460, 3493922, 3495573, 3497765, 3500155, 3501261, 3503559, 3505987, 3508147, 3510238, 3512650, 3515143, 3517559, 3520092, 3521502, 3523951, 3526534, 3529024, 3531418, 3532366, 3534929, 3537292, 3539613, 3540735, 3543297, 3545648, 3547896, 3550199, 3552383, 3554723, 3557036, 3559387, 3560224, 3562412, 3564647, 3566033, 3568059, 3570424, 3572655, 3574906, 3577230, 3578057, 3580468, 3582877, 3585404, 3587644, 3589993, 3592451, 3594854, 3595261, 3597629, 3600131, 3602545, 3605064, 3606016, 3608387, 3610731, 3613131, 3614908, 3617342, 3619308, 3621517, 3623818, 3626261, 3628587, 3629573, 3631665, 3634232, 3636802, 3639049, 3641493, 3644150, 3646547, 3648087, 3650679, 3653201, 3655818, 3658465, 3660286, 3662391, 3665085, 3666248, 3668629, 3671110, 3673648, 3674439, 3676833, 3679250, 3679587, 3681771, 3683797, 3685889, 3687955, 3689324, 3691291, 3693404, 3695358, 3697710, 3699733, 3700976, 3702023, 3704251, 3706648, 3707729, 3709882, 3711977, 3713748, 3715964, 3717780, 3720142, 3721878, 3724237, 3726626, 3728932, 3730887, 3732947, 3733433, 3734857, 3737021, 3739228, 3741154, 3743369, 3745688, 3748061, 3749234, 3751637, 3753086, 3755311, 3756842, 3759067, 3761060, 3763260, 3764081, 3766473, 3768531, 3770967, 3773517, 3774655, 3777009, 3777548, 3779761, 3782265, 3784790, 3785708, 3788166, 3790711, 3792205, 3794578, 3797310, 3799899, 3802524, 3802859, 3805400, 3808153, 3810220, 3811687, 3814232, 3816773, 3819131, 3819974, 3822427, 3824862, 3825405, 3826522, 3828928, 3831346, 3833991, 3834907, 3836909, 3838056, 3840192, 3840570, 3843087, 3845190, 3847377, 3849729, 3851373, 3853544, 3854188, 3856693, 3859134, 3861291, 3863749, 3864978, 3865789, 3868050, 3870605, 3873025, 3875286, 3876078, 3878264, 3880433, 3882937, 3885423, 3885918, 3888031, 3890522, 3891366, 3893326, 3894430, 3896838, 3899202, 3901580, 3903608, 3905956, 3906806, 3909299, 3911773, 3914241, 3914789, 3917036, 3919321, 3920405, 3922893, 3925399, 3927917, 3930317, 3932091, 3934555, 3936881, 3939282, 3940037, 3942418, 3944899, 3947664, 3949138, 3951528, 3953817, 3956285, 3958950, 3959833, 3961410, 3963744, 3964678, 3966830, 3968819, 3970011, 3972463, 3974345, 3976293, 3978276, 3980399, 3982838, 3984105, 3986277, 3988302, 3990538, 3992477, 3994394, 3994892, 3997117, 3999475, 4001932, 4002345, 4004492, 4006850, 4008079, 4010539, 4013066, 4015617, 4016377, 4018757, 4021213, 4023707, 4026018, 4028255, 4028782, 4029486, 4031806, 4034054, 4036384, 4038705, 4040420, 4042852, 4043514, 4045680, 4047482, 4049843, 4052182, 4054495, 4056902, 4057877, 4059861, 4062216, 4064698, 4067137, 4069658, 4071491, 4073777, 4076207, 4078444, 4080710, 4083082, 4084619, 4086764, 4089125, 4091006, 4093352, 4095738, 4098238, 4100674, 4102654, 4103774, 4106241, 4108708, 4111180, 4113707, 4115186, 4116621, 4119012, 4121622, 4123586, 4124989, 4127341, 4129734, 4132101, 4134353, 4136444, 4139063, 4140365, 4142558, 4144952, 4147149, 4148072, 4150447, 4152931, 4155354, 4157636, 4160155, 4161392, 4162830, 4165125, 4167494, 4169615, 4170495, 4172877, 4175248, 4177643, 4178199, 4179041, 4180718, 4182085, 4183893, 4185963, 4186379, 4188805, 4191205, 4193609, 4195707, 4197910, 4200097, 4200580, 4202791, 4205279, 4205981, 4208382, 4210879, 4213301, 4214650, 4216787, 4219134, 4221480, 4223351, 4225024, 4226988, 4229442, 4231370, 4233723, 4235979, 4238413, 4240726, 4242811, 4244533, 4246726, 4248648, 4251129, 4253662, 4255427, 4257847, 4260092, 4261678, 4263741, 4266184, 4268627, 4269578, 4271703, 4272277, 4274431, 4274854, 4276823, 4278949, 4281040, 4283159, 4284541, 4286676, 4287507, 4289863, 4292388, 4294696, 4295674, 4297872, 4300047, 4301827, 4304327, 4306720, 4309256, 4310172, 4311093, 4313654, 4316168, 4317253, 4319007, 4321309, 4323716, 4325250, 4326295, 4328884, 4331262, 4333659, 4336133, 4337368, 4339808, 4342139, 4344618, 4347103, 4347505, 4349770, 4352162, 4353431, 4355623, 4357838, 4359922, 4362228, 4364645, 4367108, 4369691, 4372111, 4374440, 4375610, 4377912, 4380303, 4382668, 4383371, 4385597, 4387774, 4389490, 4391793, 4393510, 4395720, 4398037, 4400542, 4402811, 4404264, 4406698, 4409102, 4411098, 4413292, 4415498, 4417975, 4419835, 4422054, 4424084, 4424900, 4427178, 4429402, 4431703, 4432532, 4434988, 4437321, 4439721, 4442022, 4442961, 4444981, 4446373, 4448702, 4451170, 4453491, 4453949, 4456220, 4458673, 4461289, 4463196, 4465716, 4468276, 4469892, 4472214, 4474115, 4476461, 4478602, 4481056, 4483434, 4485048, 4487315, 4489608, 4492038, 4493664, 4496001, 4498470, 4500878, 4502295, 4504858, 4505225, 4507437, 4510087, 4512585, 4514884, 4517365, 4518566, 4520522, 4522752, 4524391, 4526752, 4528565, 4530960, 4533358, 4533748, 4535696, 4537338, 4539415, 4539985, 4541628, 4543822, 4545504, 4547961, 4550587, 4553073, 4555580, 4556111, 4558538, 4560904, 4563341, 4565648, 4567309, 4569602, 4571877, 4574182, 4576119, 4578597, 4580860, 4583236, 4585405, 4587663, 4589956, 4592275, 4594332, 4596862, 4599176, 4601814, 4604381, 4605793, 4608135, 4610317, 4612446, 4614676, 4615024, 4617095, 4619758, 4621079, 4623374, 4625719, 4628049, 4630420, 4632061, 4634425, 4635422, 4637665, 4639879, 4641354, 4642662, 4644975, 4646961, 4647913, 4649919, 4652283, 4654557, 4655107, 4657502, 4659754, 4662103, 4664443, 4666403, 4668598, 4670924, 4673458, 4675875, 4678353, 4679930, 4682499, 4684997, 4687442, 4688683, 4691043, 4693388, 4695878, 4696297, 4698444, 4699869, 4702215, 4704611, 4706950, 4707545, 4709842, 4712260, 4714699, 4717137, 4718058, 4718634, 4721070, 4723435, 4724669, 4726046, 4728503, 4731114, 4732325, 4734773, 4737250, 4739738, 4742432, 4743497, 4745740, 4747904, 4748371, 4750761, 4752059, 4754494, 4757048, 4759851, 4762158, 4762884, 4765194, 4767188, 4769200, 4771265, 4773375, 4775406, 4777227, 4779385, 4781511, 4783583, 4785549, 4788012, 4790517, 4791548, 4794242, 4796914, 4799555, 4801947, 4802555, 4804868, 4807261, 4809408, 4811540, 4811936, 4814038, 4816098, 4817683, 4820084, 4822591, 4824946, 4825585, 4828078, 4828436, 4830816, 4833207, 4834214, 4836628, 4838997, 4840360, 4842168, 4844422, 4845486, 4847674, 4849798, 4852247, 4853833, 4855985, 4858496, 4860734, 4861642, 4863608, 4865718, 4868095, 4868790, 4871127, 4873337, 4873834, 4875929, 4878301, 4880662, 4883053, 4883460, 4885771, 4888260, 4890670, 4892932, 4894234, 4896758, 4897466, 4899425, 4901415, 4903515, 4905556, 4906205, 4908666, 4911246, 4913771, 4915832, 4917697, 4920058, 4922450, 4924760, 4925184, 4927369, 4929825, 4932271, 4932643, 4934387, 4936819, 4939002, 4941428, 4943852, 4946104, 4948393, 4950679, 4951083, 4953391, 4955741, 4958140, 4960466, 4961517, 4962736, 4964790, 4967344, 4967893, 4970306, 4972836, 4975189, 4975960, 4978485, 4981000, 4983874, 4985123, 4987788, 4990574, 4993230, 4994861, 4997374, 4999517, 5001801, 5004103, 5006490, 5007916, 5010033, 5012437, 5014817, 5015470, 5017764, 5020086, 5022393, 5024770, 5026963, 5027872, 5030210, 5032586, 5035142, 5037482, 5038876, 5041183, 5043646, 5046004, 5047057, 5049086, 5051596, 5052798, 5054855, 5055320, 5057660, 5059999, 5062420, 5064724, 5067073, 5069489, 5071285, 5073581, 5075792, 5077054, 5079416, 5081858, 5084160, 5086529, 5088236, 5089118, 5090479, 5092445, 5093736, 5096121, 5098395, 5100479, 5102613, 5104749, 5106640, 5107774, 5110372, 5112865, 5114383, 5116775, 5119184, 5121497, 5122993, 5125309, 5127837, 5130184, 5131888, 5134312, 5136640, 5139158, 5141788, 5142943, 5145334, 5147863, 5148506, 5150920, 5153702, 5156196, 5158705, 5159736, 5162227, 5164549, 5166631, 5169139, 5171520, 5173845, 5176178, 5178523, 5180780, 5183250, 5183601, 5186030, 5188339, 5190875, 5193289, 5195493, 5197907, 5198320, 5200775, 5203235, 5205725, 5207621, 5210016, 5212467, 5214891, 5217242, 5218597, 5221029, 5223285, 5225794, 5227611, 5229962, 5232529, 5234220, 5236436, 5238046, 5240456, 5242903, 5245354, 5247975, 5248748, 5251075, 5253403, 5254875, 5257150, 5259584, 5260888, 5263403, 5265814, 5268210, 5270757, 5271370, 5273839, 5276374, 5278800, 5281255, 5282403, 5284857, 5287260, 5289608, 5290003, 5292147, 5294580, 5296299, 5298412, 5300799, 5301579, 5303405, 5305725, 5308213, 5309921, 5312271, 5314611, 5317019, 5319429, 5321298, 5323682, 5326162, 5328556, 5330977, 5332147, 5334708, 5337318, 5339849, 5342418, 5343450, 5345970, 5348317, 5350766, 5353244, 5354141, 5356545, 5358979, 5360430, 5363062, 5365662, 5367089, 5369536, 5371992, 5374474, 5376851, 5379226, 5381508, 5383840, 5385906, 5387941, 5389970, 5390737, 5393050, 5395534, 5397851, 5399699, 5402184, 5404686, 5406577, 5409048, 5411583, 5413946, 5416315, 5417600, 5419878, 5422205, 5424617, 5426478, 5429066, 5431494, 5433543, 5435815, 5436897, 5439127, 5440386, 5442866, 5445276, 5447711, 5450032, 5450444, 5452839, 5455240, 5457731, 5459221, 5461559, 5464036, 5464520, 5466956, 5469542, 5472045, 5474096, 5476621, 5479235, 5481726, 5484299, 5484704, 5485518, 5487950, 5490495, 5493062, 5495621, 5497325, 5498868, 5499623, 5502034, 5504472, 5506901, 5509419, 5510570, 5511362, 5513662, 5515742, 5517585, 5519771, 5522195, 5523917, 5525786, 5526234, 5527776, 5530081, 5532479, 5534953, 5537101, 5539464, 5541859, 5544279, 5546551, 5547038, 5549464, 5551916, 5554335, 5556898, 5557864, 5560304, 5562788, 5565442, 5568005, 5568525, 5570806, 5573368, 5574519, 5576901, 5579402, 5581985, 5584477, 5586897, 5589391, 5591867, 5592334, 5594686, 5597028, 5598333, 5600803, 5603129, 5605586, 5608057, 5608748, 5610647, 5611868, 5614268, 5616563, 5618581, 5620978, 5623432, 5625239, 5627555, 5629830, 5632246, 5634243, 5636633, 5639006, 5641466, 5643397, 5645723, 5647995, 5649872, 5652006, 5654385, 5656678, 5658928, 5661118, 5663481, 5665401, 5667493, 5669962, 5671284, 5673426, 5675868, 5678034, 5680385, 5682711, 5684919, 5687039, 5689320, 5691850, 5692849, 5694003, 5696468, 5698943, 5700562, 5703032, 5705503, 5707608, 5708708, 5710932, 5713251, 5714592, 5716529, 5718489, 5719936, 5722265, 5724558, 5727035, 5727356, 5729787, 5731091, 5733418, 5735720, 5738359, 5739001, 5741216, 5743885, 5746586, 5746992, 5749241, 5750286, 5752352, 5754944, 5755885, 5758321, 5760756, 5763170, 5765499, 5767794, 5770180, 5772114, 5774773, 5777433, 5780055, 5780616, 5783147, 5785273, 5787636, 5789935, 5792238, 5793624, 5795941, 5798241, 5800727, 5802916, 5805242, 5807908, 5809708, 5812183, 5814392, 5816616, 5818819, 5821306, 5822425, 5824704, 5826959, 5827454, 5829628, 5831687, 5833820, 5835059, 5837355, 5839659, 5841123, 5843173, 5845243, 5845872, 5848283, 5850671, 5852893, 5855346, 5857457, 5859938, 5862290, 5864762, 5867139, 5868377, 5869656, 5871209, 5873649, 5876102, 5878543, 5881092, 5882020, 5884378, 5884922, 5887369, 5889837, 5891710, 5893918, 5896206, 5898669, 5900970, 5903310, 5904412, 5906701, 5908462, 5910847, 5913236, 5915694, 5916104, 5918466, 5921123, 5922071, 5924504, 5926652, 5928947, 5931434, 5933973, 5936513, 5938683, 5941170, 5943749, 5946135, 5948653, 5951163, 5953278, 5955296, 5957592, 5960110, 5962589, 5964870, 5966207, 5968433, 5970931, 5971645, 5973786, 5976212, 5978525, 5979746, 5982030, 5984394, 5986152, 5987739, 5990000, 5992251, 5994652, 5997089, 5998322, 6000723, 6002122, 6004043, 6006314, 6008756, 6011115, 6013605, 6014275, 6016672, 6018039, 6020212, 6021304, 6022913, 6025236, 6027488, 6029819, 6031510, 6033540, 6035614, 6037898, 6039894, 6041511, 6043451, 6045432, 6047391, 6049946, 6052347, 6053548, 6055597, 6057697, 6058703, 6060783, 6062772, 6064001, 6066055, 6067925, 6069650, 6071839, 6073875, 6076115, 6078180, 6080513, 6082962, 6085386, 6086659, 6089159, 6091463, 6093657, 6096019, 6098381, 6100097, 6101107, 6103302, 6105608, 6107979, 6109723, 6110732, 6113202, 6115690, 6117980, 6120255, 6122839, 6124653, 6126945, 6129486, 6132067, 6134558, 6137004, 6138959, 6140455, 6142764, 6145039, 6145421, 6147773, 6150009, 6151047, 6152498, 6154862, 6156204, 6158537, 6160840, 6161530, 6163736, 6165301, 6165958, 6168257, 6170638, 6173063, 6175321, 6176838, 6178275, 6178807, 6181315, 6183857, 6186292, 6188378, 6189436, 6190422, 6192642, 6195061, 6195381, 6197625, 6199868, 6201681, 6203960, 6205931, 6207919, 6208476, 6210566, 6212775, 6215021, 6215850, 6218047, 6220389, 6222698, 6225073, 6225757, 6226594, 6228872, 6231159, 6233511, 6235871, 6237371, 6239829, 6240803, 6243071, 6245381, 6247830, 6250175, 6250890, 6253253, 6255553, 6257836, 6259255, 6261484, 6263798, 6266128, 6267488, 6269568, 6271486, 6273714, 6275959, 6276795, 6279174, 6281342, 6283625, 6285957, 6288310, 6290678, 6293202, 6295802, 6297321, 6299761, 6302246, 6304695, 6307077, 6308795, 6311350, 6313880, 6316384, 6318858, 6319980, 6322467, 6322850, 6325056, 6327081, 6329030, 6331030, 6333011, 6335051, 6336547, 6338775, 6340872, 6342732, 6345002, 6346481, 6348790, 6351118, 6353452, 6355747, 6356538, 6358932, 6361338, 6363625, 6364679, 6366852, 6369011, 6371003, 6373373, 6375702, 6378168, 6380288, 6382565, 6385065, 6387448, 6389822, 6390564, 6392904, 6395367, 6395824, 6397967, 6400222, 6401447, 6403801, 6406070, 6408368, 6410712, 6412131, 6412751, 6415211, 6417706, 6420144, 6422533, 6422887, 6423670, 6424729, 6427092, 6429468, 6431820, 6432813, 6435036, 6437315, 6439661, 6440443, 6442838, 6445341, 6447765, 6450343, 6451965, 6454449, 6457090, 6459674, 6462299, 6463072, 6465655, 6468302, 6470884, 6473367, 6473882, 6476351, 6478914, 6480231, 6482749, 6485351, 6487617, 6489426, 6491898, 6494178, 6496046, 6497994, 6500032, 6501971, 6503846, 6505502, 6507389, 6509452, 6510069, 6512422, 6514806, 6516439, 6518802, 6521016, 6523287, 6525539, 6525938, 6527998, 6530300, 6532169, 6534158, 6535982, 6538366, 6540242, 6542502, 6545013, 6547434, 6549780, 6550468, 6552547, 6554186, 6556557, 6558899, 6561398, 6563833, 6565715, 6567727, 6569227, 6571327, 6573563, 6574043, 6576408, 6578764, 6581146, 6581867, 6584131, 6586576, 6589102, 6591381, 6593827, 6595817, 6597995, 6600336, 6601846, 6604177, 6606594, 6608875, 6611117, 6613243, 6615478, 6617739, 6620088, 6622360, 6623566, 6625374, 6627726, 6630035, 6632541, 6634867, 6635727, 6638052, 6640403, 6642779, 6644439, 6646440, 6648393, 6649243, 6651679, 6654137, 6656560, 6658156, 6659855, 6662252, 6664679, 6666926, 6669312, 6670991, 6672993, 6675378, 6677750, 6679612, 6681869, 6684420, 6686788, 6687907, 6688786, 6689899, 6690966, 6693383, 6695864, 6698380, 6699086, 6701420, 6701915, 6704385, 6706738, 6707303, 6709626, 6712126, 6714266, 6716673, 6719095, 6721621, 6723531, 6725784, 6728192, 6728964, 6731500, 6733949, 6736320, 6738842, 6740086, 6742447, 6744774, 6747260, 6748547, 6750833, 6753299, 6755716, 6758182, 6758822, 6761275, 6763656, 6766088, 6768293, 6770706, 6773113, 6774880, 6777052, 6778474, 6780417, 6782316, 6782694, 6785153, 6787540, 6788502, 6790679, 6793052, 6795519, 6797871, 6798280, 6800542, 6803094, 6805407, 6807844, 6810181, 6812628, 6814882, 6817242, 6819679, 6822085, 6824488, 6826986, 6829424, 6830531, 6832805, 6833729, 6834809, 6837233, 6839662, 6842160, 6843411, 6845957, 6848517, 6851026, 6853512, 6853890, 6856283, 6858743, 6861060, 6861743, 6864408, 6866957, 6869543, 6872081, 6872945, 6875335, 6877773, 6879858, 6882203, 6884962, 6885955, 6887471, 6890037, 6892521, 6893734, 6896181, 6897183, 6899784, 6902416, 6904817, 6905458, 6907980, 6909007, 6910949, 6913040, 6914010, 6916368, 6918584, 6921010, 6923516, 6925878, 6928275, 6930230, 6932425, 6934928, 6935363, 6937618, 6939347, 6941769, 6944233, 6946628, 6948776, 6950985, 6952726, 6955269, 6957923, 6960637, 6963156, 6964279, 6966744, 6969223, 6971658, 6974083, 6974996, 6977309, 6979571, 6980654, 6982780, 6985012, 6986984, 6989521, 6991930, 6993592, 6995634, 6998013, 6999454, 7001829, 7004128, 7005394, 7007490, 7010035, 7012490, 7014794, 7017178, 7019545, 7020234, 7022701, 7025143, 7027584, 7029279, 7031827, 7034469, 7037195, 7039790, 7041105, 7043472, 7043977, 7046565, 7049223, 7051915, 7053837, 7055993, 7058643, 7061121, 7062073, 7064363, 7066832, 7069256, 7070901, 7073444, 7075848, 7078053, 7080400, 7082846, 7084844, 7087144, 7089563, 7091924, 7094160, 7096596, 7099083, 7101424, 7103562, 7104088, 7105514, 7107670, 7110079, 7111009, 7113529, 7115988, 7118380, 7119879, 7122312, 7124653, 7125011, 7127290, 7129700, 7132062, 7133555, 7135984, 7136397, 7138677, 7140807, 7142408, 7144497, 7146910, 7149498, 7152111, 7153134, 7155261, 7157596, 7159169, 7161476, 7163929, 7165299, 7167551, 7169978, 7172321, 7174394, 7176682, 7178381, 7180568, 7181957, 7184215, 7186730, 7187087, 7189430, 7191833, 7193108, 7194992, 7197260, 7198820, 7201228, 7203618, 7205357, 7207717, 7210258, 7212683, 7213440, 7216004, 7218426, 7218907, 7221401, 7223773, 7226261, 7228206, 7228769, 7230941, 7233199, 7235643, 7236921, 7239428, 7241864, 7244465, 7247019, 7247514, 7250072, 7252714, 7255260, 7255875, 7258338, 7261015, 7263545, 7265605, 7268034, 7270599, 7272352, 7274541, 7276975, 7277489, 7279869, 7282394, 7282931, 7285589, 7288006, 7289897, 7291973, 7294127, 7296286, 7296820, 7299307, 7301793, 7304267, 7306508, 7308568, 7310082, 7312728, 7315307, 7317998, 7319940, 7322251, 7324602, 7326745, 7327368, 7330074, 7332778, 7335361, 7336429, 7338691, 7341073, 7343442, 7344181, 7346591, 7347569, 7350102, 7351182, 7353446, 7355282, 7357678, 7360060, 7360858, 7362787, 7365210, 7366702, 7369131, 7371541, 7372389, 7374739, 7377041, 7378560, 7380386, 7382907, 7383434, 7385652, 7386791, 7389213, 7391743, 7392949, 7394025, 7396429, 7398940, 7401331, 7402171, 7404387, 7405294, 7407307, 7408302, 7410839, 7413434, 7415865, 7417367, 7419645, 7422226, 7424821, 7426567, 7428974, 7431561, 7434159, 7434736, 7435407, 7437755, 7440172, 7442377, 7442884, 7443392, 7445608, 7448294, 7450717, 7451989, 7452523, 7454864, 7457311, 7459831, 7460927, 7461502, 7463784, 7466037, 7467412, 7469685, 7472086, 7474615, 7476860, 7479003, 7481356, 7481955, 7484190, 7486718, 7488531, 7489000, 7491407, 7493928, 7496387, 7498862, 7500386, 7502303, 7504420, 7505881, 7508192, 7510643, 7512386, 7514844, 7517348, 7519576, 7520399, 7523040, 7525437, 7527898, 7530213, 7532726, 7534528, 7536954, 7539430, 7540813, 7543190, 7545589, 7548080, 7548779, 7551154, 7553628, 7556087, 7557068, 7559302, 7561670, 7564110, 7565461, 7567569, 7570001, 7571209, 7571687, 7574131, 7576717, 7579038, 7581396, 7582943, 7585485, 7587371, 7589757, 7592346, 7595006, 7595959, 7598477, 7600993, 7602334, 7604858, 7607273, 7609841, 7612224, 7614628, 7617172, 7619840, 7622413, 7625002, 7625962, 7628674, 7631338, 7633968, 7636380, 7637081, 7638985, 7641051, 7642840, 7645260, 7647607, 7650040, 7651990, 7654187, 7656046, 7658048, 7660297, 7662353, 7664373, 7665505, 7667516, 7669806, 7672160, 7674395, 7676687, 7678995, 7679820, 7681680, 7682711, 7684791, 7686921, 7689246, 7691449, 7693846, 7694545, 7696910, 7699458, 7701668, 7704045, 7704461, 7706750, 7708010, 7710320, 7711499, 7713282, 7715470, 7717794, 7720243, 7722499, 7724838, 7727141, 7727693, 7729084, 7731477, 7733885, 7736129, 7738288, 7739012, 7739516, 7740987, 7743018, 7745112, 7747074, 7747460, 7750046, 7752530, 7754812, 7757090, 7758955, 7761331, 7763743, 7765046, 7766054, 7768432, 7770956, 7773270, 7774134, 7776012, 7777891, 7780268, 7782724, 7785243, 7786581, 7789034, 7791541, 7794047, 7796450, 7797188, 7799746, 7802248, 7804690, 7805305, 7807886, 7810486, 7812935, 7815566, 7816969, 7819223, 7821618, 7824049, 7825013, 7827451, 7829918, 7832394, 7834643, 7836394, 7838651, 7839955, 7842101, 7844256, 7846673, 7847475, 7849459, 7851489, 7853565, 7854292, 7857153, 7859756, 7861170, 7863689, 7864821, 7867301, 7869672, 7870405, 7872875, 7875260, 7877600, 7879804, 7882130, 7884489, 7885642, 7888077, 7890419, 7892471, 7893953, 7896015, 7898519, 7899457, 7901262, 7903649, 7905950, 7908266, 7909710, 7911996, 7912980, 7915181, 7917661, 7919022, 7921289, 7923499, 7925151, 7927278, 7928881, 7931214, 7933319, 7935385, 7937356, 7939324, 7940479, 7942336, 7944718, 7947456, 7949219, 7951751, 7953768, 7954772, 7957240, 7958826, 7960089, 7962547, 7964894, 7967450, 7968283, 7970833, 7973433, 7975975, 7978455, 7979870, 7982151, 7984629, 7985207, 7987474, 7989439, 7990459, 7992810, 7995117, 7997293, 7998007, 7999746, 8001949, 8004404, 8005353, 8007745, 8010154, 8012650, 8015059, 8016505, 8018376, 8020764, 8022443, 8024786, 8026374, 8028442, 8028835, 8031187, 8033517, 8035860, 8037929, 8040267, 8042816, 8045304, 8047877, 8049564, 8051698, 8053374, 8055952, 8058581, 8060431, 8062742, 8063727, 8066090, 8068364, 8070651, 8073045, 8074519, 8076993, 8077794, 8079728, 8082319, 8084687, 8086136, 8088499, 8090610, 8091574, 8094048, 8096292, 8098266, 8100722, 8102251, 8104694, 8107091, 8109357, 8111898, 8113971, 8116451, 8118866, 8121290, 8121838, 8124358, 8125680, 8127038, 8129457, 8131991, 8134360, 8136785, 8138035, 8140476, 8142681, 8145112, 8147615, 8149311, 8151944, 8154387, 8156023, 8158365, 8160797, 8162110, 8162740, 8164978, 8166827, 8168591, 8170984, 8173352, 8175771, 8177660, 8179432, 8181094, 8183426, 8185782, 8188252, 8189695, 8192132, 8194525, 8195683, 8197994, 8200442, 8203010, 8205352, 8207452, 8209834, 8212289, 8214093, 8216365, 8218741, 8221169, 8222138, 8224606, 8227066, 8229483, 8230697, 8233116, 8235509, 8237942, 8240385, 8241219, 8243399, 8245672, 8247156, 8249435, 8252025, 8254487, 8256945, 8258362, 8260732, 8263102, 8265488, 8267908, 8269147, 8271429, 8273857, 8276164, 8278607, 8279697, 8281720, 8283723, 8286076, 8287022, 8289392, 8291836, 8294331, 8296711, 8297831, 8300160, 8301503, 8303061, 8305427, 8307733, 8310122, 8312444, 8313884, 8315093, 8317541, 8319790, 8320263, 8322159, 8324591, 8326968, 8329407, 8331684, 8333891, 8336374, 8338692, 8341167, 8342471, 8345010, 8347290, 8349207, 8350061, 8350819, 8351894, 8352668, 8353387, 8355475, 8357759, 8359820, 8362236, 8364536, 8367009, 8367370, 8369642, 8372173, 8373702, 8375794, 8376487, 8378780, 8381164, 8382205, 8384453, 8386630, 8388838, 8390613, 8392982, 8395537, 8397487, 8399903, 8402031, 8403052, 8405216, 8407582, 8410155, 8411308, 8413212, 8415623, 8416617, 8418723, 8421160, 8422606, 8425172, 8427590, 8429650, 8432174, 8434506, 8436787, 8437701, 8440077, 8442044, 8444494, 8446095, 8448318, 8450692, 8453181, 8455002, 8457503, 8460013, 8461935, 8463806, 8466221, 8466541, 8468821, 8471102, 8473442, 8473845, 8475788, 8478109, 8479374, 8481678, 8483899, 8486224, 8487409, 8489619, 8492023, 8494342, 8496595, 8498823, 8501308, 8503684, 8506112, 8506605, 8508157, 8510487, 8512837, 8515175, 8517448, 8519692, 8521972, 8522754, 8524967, 8527305, 8529656, 8531937, 8533124, 8535649, 8536062, 8538470, 8540668, 8543052, 8545223, 8545851, 8548179, 8550523, 8552781, 8553668, 8555204, 8557334, 8558683, 8560637, 8562899, 8565301, 8567641, 8570051, 8571146, 8573596, 8574323, 8575122, 8577671, 8580089, 8580475, 8582307, 8584245, 8586268, 8587313, 8589692, 8592197, 8593836, 8596059, 8598432, 8599230, 8601627, 8603211, 8605435, 8607721, 8609349, 8610212, 8612605, 8614379, 8616906, 8619453, 8621972, 8623894, 8626418, 8628914, 8629803, 8631740, 8633518, 8635556, 8637384, 8638876, 8641260, 8643354, 8645737, 8648165, 8649430, 8650922, 8652704, 8654830, 8655837, 8657899, 8660168, 8661557, 8663646, 8666018, 8667333, 8668841, 8671162, 8673461, 8675522, 8677917, 8680337, 8682876, 8685139, 8685922, 8688071, 8690484, 8690853, 8692999, 8695066, 8697422, 8699727, 8702283, 8703987, 8706177, 8708646, 8711127, 8713535, 8714068, 8716490, 8718986, 8721300, 8723892, 8725158, 8727472, 8729796, 8732217, 8734447, 8735759, 8737353, 8739430, 8741579, 8743549, 8745863, 8748230, 8749986, 8752046, 8754289, 8754829, 8757040, 8759365, 8761831, 8762671, 8764905, 8767414, 8769208, 8771633, 8774165, 8776829, 8779021, 8781539, 8783997, 8786462, 8789012, 8789827, 8792557, 8793119, 8795399, 8797862, 8800156, 8802303, 8804274, 8804899, 8806732, 8809042, 8811351, 8813688, 8815923, 8818337, 8820847, 8823341, 8824193, 8826642, 8829162, 8831193, 8832603, 8834868, 8837236, 8839811, 8840247, 8842687, 8845099, 8847544, 8849721, 8852098, 8854422, 8856893, 8858967, 8861222, 8861628, 8863735, 8865781, 8867657, 8868990, 8871350, 8873506, 8874159, 8876253, 8877179, 8879493, 8881505, 8883727, 8884721, 8887098, 8889100, 8889806, 8891772, 8892762, 8895139, 8897605, 8900058, 8901561, 8903660, 8906028, 8908267, 8909770, 8912034, 8913472, 8916033, 8917897, 8920281, 8921823, 8924271, 8926752, 8928655, 8931129, 8933470, 8935885, 8938291, 8938851, 8941158, 8943552, 8944255, 8946633, 8949094, 8951436, 8953356, 8955378, 8957415, 8959616, 8961015, 8963400, 8965788, 8968245, 8970392, 8972845, 8973923, 8975816, 8978254, 8980468, 8980834, 8983086, 8985388, 8987727, 8990078, 8992390, 8994795, 8997400, 8997906, 8998852, 9001228, 9003708, 9006318, 9008812, 9009227, 9011385, 9013921, 9016532, 9019068, 9021732, 9024328, 9025054, 9027538, 9029860, 9032322, 9033459, 9035697, 9036736, 9039040, 9041604, 9044202, 9046516, 9049143, 9051685, 9054293, 9056826, 9058562, 9060955, 9063201, 9065205, 9067219, 9069624, 9071389, 9074003, 9076512, 9078536, 9081126, 9083478, 9085725, 9086678, 9089179, 9091511, 9093919, 9095451, 9097870, 9100328, 9102851, 9104647, 9107074, 9108576, 9110999, 9113380, 9115899, 9118199, 9120523, 9122945, 9125432, 9126561, 9128964, 9131534, 9134072, 9135909, 9136655, 9138908, 9141186, 9143641, 9145182, 9147551, 9150031, 9152495, 9155163, 9156457, 9159045, 9161528, 9164117, 9166715, 9167835, 9170510, 9173121, 9175686, 9178202, 9179161, 9181812, 9184250, 9186799, 9187765, 9190104, 9192022, 9194659, 9197074, 9199390, 9200953, 9203068, 9205158, 9207297, 9209477, 9210451, 9212593, 9213579, 9216079, 9218633, 9221043, 9221598, 9223734, 9226182, 9227809, 9230194, 9232650, 9233136, 9235548, 9237994, 9240381, 9242836, 9243189, 9245684, 9248199, 9248778, 9251020, 9253045, 9255537, 9257961, 9260400, 9261026, 9263575, 9265961, 9268343, 9269245, 9271770, 9274354, 9275322, 9277643, 9280000, 9281153, 9283723, 9286228, 9288205, 9290565, 9293093, 9295693, 9297042, 9297704, 9300185, 9302737, 9305227, 9306312, 9308758, 9310230, 9312627, 9314997, 9317443, 9318737, 9321099, 9323561, 9326069, 9328568, 9329625, 9332084, 9334439, 9336774, 9337953, 9340611, 9343160, 9345458, 9346514, 9347443, 9349690, 9351621, 9354264, 9357017, 9359634, 9361557, 9364042, 9366191, 9368649, 9371104, 9373628, 9374036, 9376584, 9378692, 9381029, 9383256, 9383670, 9386194, 9388719, 9389777, 9391732, 9393800, 9395922, 9396598, 9399292, 9401834, 9404286, 9405845, 9408073, 9410477, 9412644, 9414717, 9416206, 9418434, 9420854, 9423368, 9425932, 9426693, 9429223, 9431632, 9434083, 9436606, 9437468, 9439713, 9441634, 9444051, 9446578, 9448260, 9449182, 9451323, 9453095, 9455667, 9457879, 9460361, 9461620, 9463956, 9465956, 9468217, 9468881, 9471256, 9472667, 9474804, 9477203, 9478275, 9480582, 9483031, 9485408, 9487517, 9488808, 9491154, 9493593, 9494012, 9496543, 9498977, 9501551, 9503732, 9506253, 9508685, 9511059, 9513619, 9513946, 9514811, 9517243, 9518112, 9520656, 9523233, 9525883, 9526269, 9528187, 9530114, 9532177, 9532458, 9534982, 9537324, 9539572, 9542083, 9543942, 9546294, 9548732, 9551366, 9553846, 9556490, 9557738, 9558481, 9560891, 9563319, 9565659, 9567175, 9568956, 9571384, 9573976, 9576585, 9578698, 9580657, 9582224, 9584026, 9586428, 9588803, 9591024, 9593392, 9595804, 9597784, 9600107, 9602565, 9604970, 9606003, 9607429, 9609885, 9612347, 9614891, 9615722, 9618053, 9618905, 9621345, 9623783, 9624464, 9626710, 9628758, 9631300, 9632294, 9634608, 9636927, 9637341, 9639734, 9642303, 9644366, 9645354, 9647776, 9650118, 9652696, 9653209, 9655490, 9657920, 9659238, 9661619, 9663702, 9664172, 9666712, 9668500, 9670800, 9673045, 9674794, 9677263, 9679683, 9682156, 9682837, 9684507, 9687077, 9689697, 9692112, 9693735, 9696169, 9698802, 9699380, 9701737, 9703841, 9704804, 9706675, 9707683, 9708909, 9711375, 9713773, 9714467, 9716601, 9718719, 9720709, 9723204, 9725723, 9726790, 9729106, 9731457, 9731969, 9734539, 9735304, 9737494, 9739356, 9741781, 9744447, 9746610, 9748970, 9751454, 9752725, 9754685, 9756269, 9758603, 9760982, 9763272, 9765829, 9766647, 9769004, 9771466, 9773463, 9775786, 9778244, 9779157, 9781385, 9783720, 9786112, 9788522, 9789343, 9791600, 9791992, 9794183, 9795591, 9798070, 9800517, 9802921, 9805188, 9807701, 9809958, 9811767, 9814310, 9816915, 9819298, 9819590, 9821925, 9824368, 9824974, 9827101, 9829471, 9832094, 9834391, 9836787, 9837622, 9839604, 9842039, 9844572, 9847223, 9848235, 9850665, 9853279, 9855792, 9858333, 9859725, 9860858, 9863036, 9865467, 9866901, 9869376, 9872060, 9874828, 9875585, 9878107, 9880457, 9881592, 9884103, 9884890, 9887480, 9890059, 9892701, 9895249, 9896707, 9898599, 9899493, 9901779, 9903505, 9905905, 9908522, 9911222, 9912793, 9915342, 9917954, 9919027, 9921350, 9923948, 9926422, 9927133, 9929393, 9930546, 9932068, 9934516, 9937099, 9939632, 9941050, 9943591, 9946185, 9948580, 9950298, 9952772, 9955145, 9955459, 9957784, 9959504, 9962091, 9964470, 9967093, 9969602, 9970256, 9972092, 9974531, 9976858, 9979203, 9979884, 9981865, 9983820, 9985397, 9987813, 9990197, 9992800, 9993888, 9994595, 9996344, 9998739, 10001123, 10003529, 10004491, 10006919, 10009268, 10011525, 10012757, 10015146, 10017556, 10019954, 10022174, 10022726, 10025183, 10026296, 10028675, 10030897, 10033176, 10035602, 10036363, 10037820, 10040326, 10041724, 10044180, 10046710, 10048704, 10050605, 10053315, 10056027, 10058696, 10060342, 10062865, 10065352, 10067952, 10070610, 10071603, 10074381, 10077107, 10078962, 10081258, 10083819, 10086296, 10088122, 10090578, 10092641, 10094751, 10096806, 10099169, 10101593, 10104024, 10106548, 10109027, 10109894, 10112326, 10114287, 10116619, 10119092, 10120730, 10123021, 10125405, 10127792, 10130229, 10132609, 10134004, 10136454, 10138385, 10140749, 10142519, 10144914, 10146298, 10148837, 10149930, 10152448, 10154939, 10157323, 10157727, 10159982, 10162385, 10165073, 10167401, 10168559, 10170272, 10172600, 10174975, 10177294, 10179439, 10181613, 10182909, 10185425, 10187953, 10190490, 10191490, 10193428, 10195552, 10197493, 10199491, 10202018, 10204448, 10206728, 10207113, 10209297, 10211737, 10214144, 10215011, 10216948, 10217911, 10220297, 10222727, 10224962, 10227521, 10228589, 10230986, 10233283, 10235771, 10237279, 10239411, 10241868, 10244428, 10244985, 10247346, 10249673, 10252138, 10254462, 10256099, 10258328, 10260302, 10262509, 10263813, 10266427, 10268958, 10271271, 10273697, 10274044, 10276333, 10278709, 10281053, 10283490, 10285344, 10287755, 10290005, 10292402, 10294961, 10296102, 10297985, 10299648, 10302099, 10304630, 10307177, 10309697, 10311609, 10313976, 10316459, 10318892, 10321303, 10323167, 10325598, 10328048, 10330447, 10332912, 10334321, 10336595, 10338874, 10341311, 10343793, 10345527, 10347774, 10350177, 10352531, 10353227, 10355440, 10357249, 10359749, 10362292, 10364779, 10365188, 10367569, 10370167, 10372698, 10375034, 10375623, 10377697, 10379917, 10382025, 10384271, 10386718, 10389171, 10391653, 10392478, 10394750, 10396512, 10398173, 10400480, 10403027, 10405124, 10407421, 10409764, 10412362, 10412772, 10415214, 10417606, 10418445, 10420801, 10423208, 10424310, 10426556, 10427673, 10429728, 10432258, 10433978, 10436306, 10438760, 10441167, 10443644, 10444980, 10447200, 10448793, 10450924, 10453460, 10454734, 10456991, 10459322, 10461750, 10464098, 10464668, 10467209, 10469134, 10471601, 10474122, 10476403, 10477013, 10479213, 10481522, 10483927, 10486097, 10487464, 10488790, 10491251, 10493903, 10496172, 10497522, 10499790, 10502058, 10504440, 10506809, 10509210, 10511645, 10512017, 10513837, 10515784, 10516902, 10518721, 10520878, 10522277, 10524725, 10527066, 10529497, 10530220, 10532557, 10534231, 10536195, 10538632, 10540778, 10543209, 10545525, 10547986, 10549478, 10551930, 10554398, 10557017, 10559587, 10560505, 10562728, 10565083, 10567498, 10568970, 10571209, 10573570, 10574187, 10576251, 10577040, 10579453, 10581783, 10584078, 10585952, 10588159, 10588487, 10590486, 10592553, 10594513, 10596693, 10598378, 10600402, 10601995, 10604322, 10606903, 10609433, 10611493, 10613846, 10616333, 10616828, 10619097, 10621422, 10623946, 10626253, 10628605, 10631092, 10632495, 10634491, 10636875, 10639441, 10641888, 10644218, 10645923, 10648246, 10650826, 10653178, 10655097, 10657459, 10660019, 10661549, 10664062, 10666474, 10668995, 10671371, 10673193, 10674443, 10676855, 10679310, 10681666, 10682735, 10683778, 10686071, 10688531, 10690989, 10692270, 10694570, 10696262, 10698248, 10700357, 10702424, 10704828, 10707432, 10709168, 10710258, 10712746, 10714919, 10717484, 10720040, 10721827, 10724307, 10724680, 10727279, 10729816, 10732420, 10734421, 10736769, 10737679, 10740117, 10742690, 10743104, 10744237, 10746779, 10749231, 10751336, 10752690, 10755156, 10757695, 10760180, 10762865, 10763268, 10765182, 10766961, 10769363, 10771824, 10774190, 10776248, 10778597, 10779590, 10781940, 10784297, 10785793, 10788211, 10789025, 10791194, 10793453, 10795533, 10797576, 10799197, 10801544, 10803860, 10804405, 10806810, 10809171, 10809562, 10811852, 10814222, 10816590, 10818764, 10821104, 10823617, 10825717, 10826583, 10828922, 10830809, 10833286, 10835255, 10837502, 10839902, 10842321, 10844280, 10846554, 10849078, 10851537, 10853909, 10854435, 10856676, 10858425, 10861019, 10863643, 10866036, 10868413, 10870875, 10872206, 10874417, 10876903, 10879387, 10881850, 10882522, 10884536, 10886554, 10888664, 10890793, 10892605, 10894967, 10897376, 10897943, 10900433, 10902878, 10905254, 10907630, 10909604, 10912117, 10912809, 10915260, 10916034, 10918455, 10920883, 10921413, 10923706, 10926128, 10928224, 10930659, 10933009, 10934688, 10935201, 10937564, 10940025, 10942122, 10944493, 10946974, 10948765, 10951031, 10953432, 10955313, 10957013, 10959247, 10961822, 10964241, 10965326, 10967745, 10968459, 10969709, 10971211, 10973339, 10975520, 10978006, 10980516, 10981479, 10983853, 10986248, 10988071, 10990616, 10993087, 10995668, 10998235, 10999746, 11002038, 11003512, 11005893, 11008464, 11009153, 11011205, 11012578, 11014854, 11017064, 11019360, 11021911, 11024546, 11025102, 11027457, 11029642, 11032138, 11034116, 11036136, 11038296, 11040366, 11042391, 11043455, 11045584, 11047584, 11047922, 11050358, 11053012, 11053408, 11055683, 11056443, 11058883, 11061340, 11063925, 11066470, 11067056, 11069243, 11070661, 11073140, 11075614, 11077223, 11079638, 11082209, 11084764, 11085957, 11088394, 11090868, 11093430, 11094779, 11097228, 11099546, 11102115, 11103393, 11105735, 11108388, 11110201, 11111000, 11113448, 11115822, 11117643, 11120067, 11122511, 11123468, 11125899, 11128465, 11130881, 11132523, 11134927, 11137354, 11139685, 11140477, 11142831, 11145411, 11146357, 11148542, 11149203, 11151181, 11153219, 11155288, 11156428, 11158854, 11161125, 11163588, 11163920, 11164876, 11167100, 11169384, 11171087, 11172979, 11175275, 11177586, 11179856, 11180914, 11183266, 11185784, 11187757, 11190153, 11192600, 11194692, 11196930, 11198757, 11200732, 11202773, 11204785, 11206966, 11208070, 11210472, 11212852, 11214503, 11216761, 11217612, 11219895, 11221102, 11223443, 11225939, 11228389, 11230719, 11231285, 11233507, 11235737, 11238065, 11240498, 11242997, 11244522, 11245823, 11248272, 11250561, 11250995, 11252913, 11255323, 11257603, 11258582, 11261098, 11263660, 11266187, 11267980, 11270146, 11272239, 11274416, 11276481, 11277707, 11278785, 11280967, 11283229, 11284952, 11285924, 11288250, 11290572, 11293069, 11294165, 11295390, 11297570, 11299732, 11301770, 11303255, 11304404, 11304894, 11307043, 11309373, 11311642, 11313637, 11315124, 11316754, 11318964, 11321170, 11323355, 11325559, 11327877, 11330163, 11330685, 11331178, 11332213, 11334221, 11336206, 11338171, 11340049, 11342439, 11344935, 11346550, 11348923, 11351339, 11352035, 11353041, 11355426, 11357817, 11358747, 11361210, 11363735, 11366151, 11366550, 11368493, 11370037, 11372453, 11374741, 11375733, 11377318, 11379499, 11381864, 11384269, 11386499, 11388798, 11391268, 11393495, 11395756, 11397974, 11400469, 11401259, 11403215, 11404073, 11406419, 11408855, 11411496, 11413969, 11414664, 11416774, 11417100, 11419579, 11422007, 11424440, 11425597, 11427468, 11428017, 11430247, 11432550, 11434753, 11435370, 11437669, 11440064, 11442389, 11444726, 11446322, 11448790, 11451309, 11453784, 11456434, 11458348, 11460839, 11463215, 11465601, 11468038, 11470312, 11472591, 11475023, 11477406, 11478196, 11480272, 11482716, 11484350, 11486491, 11488620, 11490925, 11493405, 11495222, 11497615, 11499937, 11502288, 11504214, 11506597, 11509019, 11511235, 11513371, 11515514, 11517731, 11519734, 11520987, 11522247, 11524620, 11526716, 11527333, 11529506, 11531722, 11534068, 11535865, 11538114, 11540599, 11541936, 11544316, 11546848, 11549198, 11551641, 11553047, 11554811, 11555198, 11557557, 11557990, 11560392, 11562830, 11565254, 11567683, 11569306, 11571787, 11574224, 11576578, 11579052, 11580269, 11582516, 11584987, 11586082, 11588462, 11590486, 11590969, 11593310, 11595666, 11596732, 11599096, 11601434, 11603806, 11604464, 11606812, 11609152, 11611369, 11612038, 11614485, 11616983, 11619347, 11621850, 11623164, 11625362, 11627791, 11629586, 11631757, 11633305, 11635631, 11637942, 11640362, 11641124, 11643133, 11645463, 11647546, 11648055, 11650514, 11651779, 11654245, 11656083, 11658366, 11659756, 11662230, 11664629, 11666990, 11667538, 11669819, 11671428, 11673551, 11675911, 11676991, 11679541, 11681930, 11684351, 11685764, 11686463, 11688925, 11690633, 11691764, 11694179, 11696469, 11699019, 11700565, 11702936, 11705057, 11707398, 11709711, 11712180, 11713111, 11715683, 11718243, 11720728, 11723022, 11723719, 11726061, 11728467, 11730750, 11731605, 11733798, 11736364, 11737142, 11739556, 11741770, 11743162, 11745632, 11748102, 11750498, 11751088, 11752320, 11754501, 11755858, 11758157, 11760408, 11762609, 11763383, 11764623, 11766914, 11769251, 11770554, 11771797, 11773943, 11776400, 11777533, 11779749, 11782235, 11782699, 11785085, 11787076, 11789745, 11792291, 11794544, 11797001, 11797690, 11799571, 11801936, 11802782, 11803423, 11805708, 11807970, 11810089, 11812291, 11814608, 11815492, 11817814, 11820102, 11822509, 11824316, 11826583, 11828936, 11831010, 11833294, 11835693, 11838138, 11839237, 11841615, 11844002, 11846350, 11847307, 11849539, 11852049, 11853358, 11855664, 11857678, 11859877, 11860691, 11862406, 11864428, 11866455, 11867917, 11870306, 11872590, 11875071, 11877460, 11879771, 11882291, 11882716, 11884386, 11885426, 11887650, 11889845, 11891904, 11894227, 11896659, 11899066, 11899725, 11900743, 11902909, 11905399, 11906376, 11908547, 11911015, 11913432, 11915905, 11917335, 11919769, 11922388, 11924824, 11927247, 11929653, 11932181, 11933232, 11935805, 11938246, 11940594, 11942910, 11945241, 11947638, 11950064, 11952561, 11953083, 11954904, 11957093, 11959523, 11961460, 11963798, 11966214, 11968455, 11970699, 11971707, 11973971, 11976361, 11978819, 11980832, 11982341, 11984552, 11986900, 11988574, 11990625, 11992846, 11994062, 11996556, 11999044, 12001391, 12003785, 12006137, 12007139, 12009609, 12011827, 12014260, 12014915, 12017252, 12019614, 12021926, 12022720, 12025035, 12027227, 12029440, 12031824, 12034065, 12035572, 12037945, 12039245, 12041462, 12043738, 12045739, 12047809, 12050046, 12052355, 12054149, 12055205, 12057349, 12059267, 12061649, 12063694, 12065748, 12067396, 12068728, 12070797, 12073187, 12074461, 12076679, 12078412, 12080466, 12082523, 12084787, 12087372, 12088959, 12091213, 12093678, 12094950, 12096960, 12099237, 12099727, 12102026, 12104211, 12105312, 12107665, 12110084, 12110915, 12113334, 12115706, 12118048, 12118706, 12121163, 12123674, 12125189, 12127414, 12129874, 12131282, 12133707, 12136176, 12138741, 12141168, 12142101, 12144376, 12145983, 12148543, 12151222, 12153934, 12155782, 12156942, 12159374, 12161852, 12163593, 12166058, 12168566, 12170900, 12171450, 12173810, 12174433, 12176843, 12178183, 12180263, 12182511, 12184797, 12187158, 12189565, 12191858, 12194330, 12195710, 12198134, 12200649, 12202654, 12204778, 12206998, 12207373, 12210063, 12212425, 12213095, 12215443, 12216266, 12218729, 12221246, 12222860, 12224968, 12227068, 12228019, 12230624, 12232338, 12234945, 12236241, 12238574, 12241045, 12243546, 12243954, 12246469, 12248929, 12251286, 12253879, 12255181, 12257553, 12259507, 12261976, 12264296, 12265816, 12268202, 12269797, 12271970, 12272923, 12275127, 12277470, 12279176, 12281704, 12283693, 12284107, 12286068, 12287753, 12289012, 12291202, 12292668, 12294133, 12295726, 12296410, 12298375, 12300470, 12302549, 12304381, 12306579, 12308829, 12310296, 12312221, 12314333, 12316374, 12318573, 12321009, 12323425, 12325783, 12327174, 12329667, 12332030, 12334215, 12336518, 12338042, 12340450, 12343020, 12345601, 12348185, 12348740, 12351207, 12353669, 12355983, 12356710, 12358884, 12360917, 12363023, 12365256, 12366427, 12368870, 12371384, 12373649, 12375437, 12377765, 12380157, 12380801, 12383203, 12385590, 12388000, 12390671, 12391902, 12393943, 12396095, 12396720, 12399169, 12401658, 12404012, 12404664, 12407105, 12409618, 12412033, 12414317, 12415160, 12417377, 12419258, 12421457, 12423940, 12425126, 12427125, 12427696, 12430110, 12432379, 12434766, 12435657, 12438006, 12440490, 12442901, 12445379, 12446229, 12448633, 12450824, 12453215, 12455665, 12457495, 12459753, 12462123, 12464127, 12466584, 12468906, 12469649, 12472063, 12474610, 12477106, 12479228, 12480679, 12483252, 12485561, 12488108, 12490763, 12492424, 12494614, 12497039, 12498724, 12500649, 12502879, 12505319, 12507818, 12510238, 12512528, 12514677, 12517022, 12518803, 12521062, 12523784, 12526329, 12527019, 12527758, 12530177, 12532723, 12535107, 12537379, 12538170, 12540605, 12543147, 12544927, 12547318, 12549672, 12552082, 12554340, 12555237, 12557638, 12560002, 12562243, 12563345, 12565576, 12568033, 12570126, 12572447, 12574990, 12576033, 12578497, 12580916, 12581670, 12584008, 12586366, 12588766, 12589698, 12592151, 12594588, 12596976, 12599391, 12600698, 12603135, 12605386, 12607852, 12608900, 12611037, 12613419, 12615815, 12618277, 12618940, 12621134, 12622542, 12624737, 12627211, 12629472, 12631924, 12633390, 12635698, 12638067, 12640288, 12642394, 12644724, 12646185, 12648609, 12651076, 12653410, 12655931, 12656977, 12659359, 12661690, 12664003, 12666326, 12667200, 12669572, 12671997, 12674437, 12676901, 12678275, 12680637, 12683070, 12685591, 12688185, 12690098, 12692466, 12693684, 12696138, 12698504, 12700739, 12702125, 12704044, 12706201, 12708363, 12710408, 12711068, 12713436, 12715889, 12716568, 12718854, 12719824, 12722148, 12723907, 12724767, 12726937, 12729290, 12729906, 12732393, 12734760, 12737106, 12738569, 12740994, 12741364, 12743849, 12746291, 12748762, 12749446, 12751934, 12753793, 12756102, 12758257, 12760789, 12763263, 12764964, 12767170, 12767587, 12769652, 12771978, 12773492, 12776029, 12778548, 12780188, 12782210, 12784799, 12785922, 12787873, 12790210, 12792462, 12794912, 12795826, 12798042, 12800556, 12803035, 12803838, 12806369, 12808921, 12811453, 12812975, 12814940, 12817475, 12818894, 12821151, 12823562, 12825921, 12826841, 12829201, 12831648, 12833600, 12835974, 12838508, 12841079, 12843722, 12845394, 12847831, 12850399, 12852952, 12853837, 12856335, 12858648, 12859216, 12861740, 12864451, 12866078, 12868583, 12871187, 12872994, 12875469, 12877902, 12879936, 12882516, 12885032, 12887411, 12889741, 12890290, 12892678, 12895013, 12897430, 12898686, 12900786, 12902886, 12904250, 12906686, 12909084, 12911464, 12913982, 12916372, 12916782, 12918447, 12921023, 12922887, 12925278, 12927685, 12930143, 12932691, 12935268, 12935674, 12938206, 12940564, 12943080, 12945644, 12946900, 12947868, 12949973, 12952487, 12953018, 12955404, 12957724, 12960056, 12962477, 12964821, 12967254, 12969514, 12970266, 12972484, 12974900, 12977328, 12979659, 12982056, 12984417, 12986831, 12987727, 12989757, 12991198, 12993584, 12996064, 12998472, 13000765, 13003180, 13005656, 13007717, 13010253, 13012804, 13015362, 13017647, 13020180, 13022616, 13025027, 13027011, 13027850, 13030459, 13032973, 13035464, 13037266, 13039525, 13041855, 13042229, 13044630, 13047172, 13049596, 13051147, 13053341, 13055685, 13058040, 13059646, 13061762, 13064199, 13065417, 13067170, 13069732, 13071914, 13072974, 13075307, 13077427, 13077778, 13079455, 13081447, 13083600, 13084187, 13086519, 13088940, 13091471, 13093832, 13096100, 13097316, 13099271, 13101737, 13104030, 13106465, 13107674, 13108451, 13110637, 13113081, 13115384, 13117783, 13120365, 13122822, 13125261, 13125612, 13126572, 13128921, 13131286, 13133546, 13136001, 13136757, 13139169, 13141622, 13143845, 13144244, 13146755, 13149249, 13151583, 13153965, 13155326, 13157540, 13159915, 13161249, 13163652, 13166209, 13168677, 13169526, 13171513, 13173460, 13175815, 13178158, 13180648, 13181798, 13182602, 13184890, 13187219, 13188777, 13191130, 13193580, 13196029, 13198554, 13198963, 13201316, 13203833, 13206311, 13208737, 13209281, 13211718, 13214092, 13216592, 13218997, 13220096, 13222540, 13224864, 13227277, 13229274, 13230816, 13231672, 13233841, 13236151, 13237603, 13239964, 13242367, 13244729, 13245815, 13248077, 13250374, 13252721, 13253839, 13256208, 13258762, 13261043, 13262793, 13265213, 13267631, 13270070, 13271268, 13273577, 13276159, 13277356, 13279843, 13282272, 13284563, 13285271, 13286216, 13288751, 13291255, 13293736, 13296322, 13297315, 13299145, 13301376, 13303943, 13305864, 13308140, 13308445, 13310334, 13312376, 13314474, 13316433, 13317999, 13320088, 13322186, 13322819, 13323124, 13325655, 13327906, 13330440, 13331281, 13333873, 13336134, 13337699, 13340134, 13342591, 13345016, 13346247, 13348273, 13350184, 13352458, 13353807, 13355713, 13357731, 13359429, 13361484, 13363672, 13364524, 13366746, 13369189, 13371080]

data.csc.index.npy

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:898c67f8d9546c4c6bade06fd7075e337ded7acc10d6833d82ae58bc6f686a71
+size 3295796

indices.csc.index.npy

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:67ca693d7a24eced858e197b8eb5c4ad329433219765573f6daeda14e8474d1f
+size 3295796

indptr.csc.index.npy

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8cf4ed495dc7771c82cf36b9fb9712119b6ac0604b6d3be8c48d1e79a4edad35
+size 163948

params.index.json

@@ -0,0 +1,12 @@
+{
+    "k1": 1.5,
+    "b": 0.75,
+    "delta": 0.5,
+    "method": "lucene",
+    "idf_method": "lucene",
+    "dtype": "float32",
+    "int_dtype": "int32",
+    "num_docs": 6589,
+    "version": "0.2.3",
+    "backend": "numpy"
+}