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:6b8dce89c7bcb6900c30b9a0a2d0a0874eb3a0efa9374f34d24fe19631f547bd
+size 13504134

corpus.mmindex.json

@@ -0,0 +1 @@
+[0, 1953, 3944, 5978, 7687, 9666, 11690, 13606, 15583, 17303, 19315, 21260, 23253, 25287, 26743, 28747, 30526, 32483, 34435, 36118, 38065, 40062, 42063, 44038, 45584, 47484, 49494, 51426, 53371, 54740, 56707, 58657, 60559, 62458, 63900, 65951, 67853, 69819, 71751, 73711, 75722, 77728, 79779, 81646, 83235, 85196, 87276, 89259, 91222, 93091, 94996, 96991, 98959, 100976, 102848, 104875, 106783, 108787, 110756, 112299, 114158, 116129, 118097, 120051, 121664, 123651, 125532, 127498, 129567, 130907, 132819, 134694, 136648, 138553, 140366, 142364, 144437, 146472, 148575, 149718, 151817, 153852, 155896, 157849, 159376, 161289, 163228, 165155, 167185, 168755, 170708, 172742, 174828, 176788, 178346, 180202, 182148, 184012, 186021, 187969, 189808, 191733, 193653, 195640, 197587, 199546, 201484, 203479, 205467, 207366, 209297, 211245, 213187, 215222, 216804, 218866, 220880, 222748, 224549, 226286, 228178, 230175, 232086, 234113, 235797, 237806, 239826, 241776, 243775, 245062, 247070, 248856, 250819, 252757, 254515, 256500, 258430, 260463, 262560, 264261, 266264, 268219, 270207, 272102, 273696, 275591, 277495, 279423, 281398, 283280, 285184, 287225, 289073, 290969, 292778, 294689, 296692, 298725, 300718, 302481, 304433, 306432, 308316, 310290, 311921, 313766, 315646, 317598, 319638, 321229, 323226, 325200, 327150, 328970, 330820, 332883, 334839, 336812, 338895, 340544, 342454, 344442, 346169, 348036, 349826, 351695, 353628, 355532, 357443, 359427, 361492, 363431, 365429, 367557, 368606, 370594, 372555, 374572, 376545, 378225, 380116, 381970, 384042, 385953, 387888, 389902, 391973, 393969, 395990, 397454, 399374, 401462, 403439, 405437, 406929, 408876, 410810, 412848, 414812, 416448, 418382, 420415, 422436, 424373, 426057, 427945, 429860, 431868, 433870, 435696, 437530, 439452, 441492, 443505, 444840, 446820, 448832, 450766, 452756, 454399, 456397, 458317, 460272, 462279, 463996, 465937, 467895, 469887, 471939, 473793, 475810, 477740, 479757, 481742, 483285, 485218, 487225, 489152, 491143, 492950, 494821, 496795, 498675, 500690, 502382, 504392, 506334, 508306, 510319, 511784, 513852, 515766, 517684, 519734, 521025, 522919, 524958, 526961, 528824, 530420, 532352, 534358, 536395, 538190, 540133, 541923, 543928, 545891, 547831, 549750, 551878, 553831, 555857, 557811, 558882, 560950, 562939, 564963, 566987, 568357, 570313, 572212, 574102, 576007, 577846, 578395, 580395, 582259, 584194, 586138, 587985, 589937, 591893, 593884, 595850, 597610, 599547, 601494, 603501, 605518, 607108, 609049, 610901, 612869, 614909, 616705, 618661, 620526, 622540, 624592, 626233, 628175, 630128, 632203, 634163, 635745, 637694, 639669, 641648, 643489, 645411, 647373, 649455, 651475, 653484, 655143, 657033, 658969, 660900, 662776, 664790, 666815, 668790, 670717, 672712, 674266, 676274, 678233, 680321, 682302, 684170, 686197, 688194, 690202, 692192, 693749, 695647, 697660, 699549, 701470, 703406, 705399, 707358, 709370, 711274, 712929, 714781, 716720, 718704, 720615, 722582, 724501, 726467, 728508, 730588, 732261, 734268, 736199, 738175, 740056, 741421, 743394, 745302, 747360, 749457, 751177, 753206, 755220, 757230, 759109, 761133, 761562, 763495, 765442, 767436, 769560, 770817, 772685, 774597, 776566, 778466, 780323, 782298, 784119, 786081, 788031, 789654, 791625, 793692, 795717, 797748, 799479, 801466, 803483, 805437, 807400, 808605, 810552, 812497, 814436, 816375, 817898, 819856, 821796, 823766, 825562, 827217, 829206, 831197, 833375, 835489, 836531, 838580, 840443, 842337, 844210, 845852, 847873, 849789, 851711, 853551, 855364, 857411, 859291, 861309, 863299, 865009, 867014, 868918, 870838, 872693, 874714, 875218, 877230, 879153, 881083, 883068, 884647, 886550, 888572, 890615, 892603, 894321, 896330, 898285, 900156, 902016, 903957, 904269, 906218, 908209, 910206, 912108, 913931, 915865, 917839, 919875, 921895, 923275, 925334, 927366, 929243, 931265, 932948, 934879, 936853, 938757, 940777, 942765, 943061, 944923, 946829, 948739, 950716, 952701, 953104, 955173, 957182, 959189, 961090, 962624, 964476, 966331, 968299, 970397, 971700, 973715, 975657, 977668, 979629, 981066, 983090, 985063, 987147, 989085, 990565, 992451, 994246, 996149, 998098, 1000016, 1001964, 1003898, 1006001, 1007965, 1009783, 1011700, 1013639, 1015573, 1017676, 1019311, 1021244, 1023204, 1025213, 1027192, 1029009, 1031053, 1032900, 1034981, 1036974, 1038322, 1040359, 1042410, 1044386, 1046319, 1048086, 1049937, 1051876, 1053904, 1055864, 1057333, 1059374, 1061434, 1063352, 1065317, 1066867, 1068772, 1070836, 1072643, 1074694, 1076445, 1078385, 1080376, 1082358, 1084297, 1085921, 1087918, 1089847, 1091758, 1093803, 1095676, 1097698, 1099645, 1101638, 1103576, 1105359, 1107425, 1109340, 1111361, 1113384, 1115147, 1117230, 1119205, 1121167, 1123227, 1124779, 1126734, 1128714, 1130785, 1132704, 1134207, 1136220, 1138263, 1140186, 1142145, 1143976, 1145841, 1147753, 1149623, 1151586, 1153523, 1153921, 1155902, 1157872, 1159791, 1161812, 1163226, 1165206, 1167056, 1169100, 1171096, 1173015, 1174925, 1177070, 1179134, 1181069, 1182978, 1184890, 1186813, 1188833, 1190696, 1192195, 1194137, 1196217, 1198118, 1200073, 1201562, 1203489, 1205420, 1207360, 1209307, 1211182, 1213284, 1215369, 1217262, 1219217, 1220767, 1222752, 1224727, 1226679, 1228592, 1230197, 1232169, 1234183, 1236139, 1238089, 1239273, 1241201, 1243201, 1245233, 1247167, 1248790, 1250809, 1252712, 1254543, 1256484, 1257903, 1259807, 1261692, 1263572, 1265484, 1267127, 1269080, 1271171, 1273049, 1273558, 1276279, 1278914, 1281602, 1283573, 1286202, 1288892, 1291441, 1293940, 1296371, 1297883, 1300351, 1302283, 1304354, 1306367, 1307838, 1309471, 1311878, 1314218, 1314988, 1317325, 1319718, 1321631, 1323953, 1326288, 1327695, 1330189, 1332586, 1334366, 1336450, 1338981, 1341426, 1343990, 1344724, 1347346, 1349868, 1352481, 1353423, 1356007, 1358586, 1361171, 1363838, 1364967, 1367401, 1369517, 1371248, 1373585, 1375272, 1377770, 1380428, 1381946, 1382909, 1384876, 1387125, 1389088, 1390018, 1392594, 1394173, 1396699, 1399061, 1401557, 1402073, 1403021, 1405508, 1407993, 1410599, 1412612, 1414137, 1415863, 1418323, 1420835, 1423359, 1425963, 1427598, 1428902, 1431308, 1433816, 1436186, 1437261, 1438897, 1441626, 1444318, 1446972, 1449593, 1450304, 1451190, 1454016, 1456465, 1457733, 1460067, 1462718, 1464364, 1466281, 1468622, 1470995, 1473590, 1475231, 1477623, 1477923, 1480169, 1482553, 1484966, 1487453, 1488484, 1489094, 1491419, 1493885, 1496318, 1498825, 1500972, 1501728, 1504178, 1506739, 1509278, 1511758, 1512103, 1514695, 1517189, 1519320, 1519656, 1520434, 1522621, 1525023, 1527718, 1530169, 1531003, 1531522, 1534082, 1536598, 1538087, 1540460, 1541792, 1544228, 1546834, 1549337, 1551834, 1552490, 1554869, 1557217, 1558418, 1559414, 1561850, 1564389, 1567014, 1568947, 1570189, 1572729, 1575135, 1576276, 1578569, 1580991, 1583472, 1585934, 1588317, 1589537, 1590062, 1592642, 1595348, 1597926, 1599317, 1600903, 1603503, 1604501, 1606469, 1608653, 1610824, 1613216, 1614397, 1616900, 1619419, 1622156, 1623805, 1626009, 1628407, 1630357, 1632584, 1634953, 1637334, 1638559, 1640936, 1643435, 1645862, 1648438, 1649565, 1652105, 1653683, 1656081, 1658650, 1661170, 1661877, 1664392, 1667038, 1669735, 1670205, 1672703, 1675344, 1677766, 1680519, 1683075, 1685669, 1687709, 1690074, 1692567, 1695075, 1697428, 1700069, 1702647, 1705099, 1707725, 1708074, 1710440, 1713048, 1715552, 1716242, 1718949, 1721290, 1722135, 1724206, 1726386, 1727503, 1729871, 1732352, 1734847, 1736808, 1737629, 1739981, 1742485, 1745064, 1746296, 1748165, 1750612, 1753086, 1755489, 1757755, 1760149, 1762503, 1762801, 1765351, 1767897, 1770357, 1770834, 1773378, 1775795, 1778365, 1780844, 1781738, 1784155, 1786715, 1789234, 1791603, 1791992, 1794171, 1796622, 1799053, 1800888, 1803151, 1805528, 1806974, 1809314, 1811736, 1814077, 1815017, 1817656, 1820232, 1822315, 1824527, 1826981, 1829566, 1831487, 1833871, 1836312, 1838721, 1840406, 1842693, 1844994, 1846721, 1849274, 1851742, 1854341, 1856297, 1858904, 1861496, 1863883, 1864628, 1867413, 1870160, 1872655, 1874404, 1875321, 1877727, 1879960, 1882563, 1884946, 1886025, 1888603, 1891131, 1893596, 1896051, 1898517, 1901082, 1901428, 1903906, 1906253, 1907294, 1909782, 1911475, 1914172, 1916828, 1919576, 1921087, 1923053, 1925087, 1927162, 1929207, 1931265, 1932432, 1934417, 1936587, 1937598, 1939960, 1942477, 1943572, 1945941, 1948218, 1950606, 1952602, 1954817, 1957083, 1959551, 1962050, 1964604, 1967255, 1968719, 1971089, 1973580, 1975103, 1977545, 1980182, 1982673, 1985336, 1986687, 1989145, 1991475, 1993938, 1994208, 1995336, 1997765, 2000319, 2002778, 2004061, 2006499, 2008923, 2010501, 2013132, 2015673, 2018141, 2020782, 2021756, 2023608, 2025984, 2028505, 2030907, 2033324, 2034595, 2037128, 2039673, 2041984, 2042816, 2045160, 2047639, 2049971, 2051411, 2053325, 2055504, 2057723, 2059766, 2060126, 2062653, 2065279, 2066325, 2068702, 2071289, 2073584, 2076301, 2078797, 2081419, 2082224, 2084815, 2087443, 2090105, 2090921, 2093331, 2095859, 2098115, 2100629, 2103200, 2105822, 2108147, 2110561, 2113135, 2115648, 2118154, 2120642, 2123140, 2123994, 2126322, 2128840, 2129804, 2132284, 2134612, 2135174, 2137836, 2139608, 2142034, 2144552, 2145259, 2147706, 2150252, 2150800, 2153284, 2155987, 2158580, 2161180, 2162903, 2165290, 2167760, 2170370, 2172432, 2175044, 2177560, 2179977, 2181432, 2183962, 2186460, 2186734, 2189328, 2191577, 2191951, 2194550, 2197073, 2198740, 2201254, 2203849, 2206360, 2208775, 2209992, 2212731, 2214244, 2216836, 2219323, 2221893, 2222700, 2225066, 2227456, 2230137, 2231950, 2232850, 2235240, 2237627, 2238352, 2240642, 2242219, 2244544, 2246769, 2249219, 2251915, 2254502, 2255700, 2258194, 2261000, 2263612, 2266220, 2267911, 2270513, 2273265, 2276010, 2278391, 2280906, 2283432, 2285935, 2287071, 2289692, 2292444, 2294755, 2295329, 2297957, 2300052, 2302512, 2305111, 2307701, 2308828, 2311287, 2314069, 2316738, 2318963, 2321425, 2323951, 2326373, 2326779, 2329219, 2331669, 2333206, 2335757, 2338274, 2340341, 2342810, 2345529, 2346911, 2349549, 2352163, 2354684, 2357275, 2358031, 2360733, 2363398, 2364715, 2367291, 2370129, 2372319, 2374429, 2376563, 2378746, 2380827, 2381578, 2384285, 2386641, 2387463, 2389595, 2392174, 2394826, 2397477, 2399379, 2400746, 2403218, 2405784, 2408521, 2411131, 2411881, 2413611, 2416409, 2418978, 2421637, 2424225, 2425194, 2427435, 2429944, 2432429, 2434768, 2437093, 2439659, 2442065, 2444509, 2445639, 2447926, 2450387, 2450699, 2453102, 2455658, 2458252, 2459786, 2460913, 2463503, 2466027, 2468490, 2469094, 2471637, 2474268, 2476800, 2479060, 2481545, 2484092, 2486653, 2487659, 2490240, 2492588, 2494225, 2495607, 2498012, 2500562, 2503043, 2505665, 2508351, 2511035, 2513620, 2515338, 2517869, 2520550, 2523128, 2525255, 2527907, 2529841, 2531313, 2533597, 2535665, 2537627, 2540034, 2542631, 2545195, 2546613, 2548778, 2550499, 2553047, 2554582, 2556981, 2559498, 2561829, 2563018, 2565543, 2567953, 2569786, 2572144, 2574633, 2577360, 2579616, 2581977, 2584351, 2586915, 2589320, 2591594, 2594089, 2596494, 2598871, 2601410, 2603924, 2604967, 2607352, 2609804, 2612250, 2612740, 2615236, 2617679, 2620170, 2621052, 2623501, 2626020, 2628543, 2631083, 2631951, 2634438, 2636950, 2638162, 2640631, 2642936, 2644914, 2647321, 2649936, 2652429, 2654867, 2657341, 2659739, 2662086, 2664731, 2667306, 2669676, 2672052, 2674607, 2677246, 2679665, 2682421, 2684880, 2685474, 2688045, 2690587, 2693104, 2695563, 2697825, 2698293, 2700624, 2702683, 2705091, 2707801, 2710511, 2710840, 2713079, 2715593, 2716187, 2718297, 2719373, 2721916, 2724364, 2725386, 2727661, 2730241, 2731625, 2734059, 2736523, 2738393, 2739829, 2742444, 2744857, 2746730, 2749218, 2751421, 2753485, 2755090, 2757485, 2759535, 2759992, 2762296, 2764655, 2766642, 2768638, 2770440, 2773108, 2775851, 2777805, 2780263, 2782665, 2784860, 2787393, 2790010, 2792684, 2794982, 2797210, 2799452, 2800364, 2802554, 2804652, 2805702, 2808281, 2810971, 2813080, 2815611, 2818119, 2819393, 2821892, 2824521, 2827133, 2828718, 2831404, 2833815, 2835407, 2837753, 2839716, 2841650, 2844131, 2846190, 2848164, 2850343, 2851637, 2854063, 2856893, 2859540, 2861055, 2863578, 2865949, 2866759, 2869011, 2870931, 2873444, 2875391, 2877779, 2880021, 2881270, 2883749, 2886341, 2888797, 2889848, 2892385, 2894877, 2897422, 2899657, 2901729, 2903111, 2905610, 2908010, 2908894, 2911489, 2913883, 2915363, 2917656, 2920175, 2922005, 2924346, 2926774, 2929162, 2931544, 2934145, 2935620, 2938160, 2940670, 2943185, 2944041, 2946474, 2948825, 2951412, 2953953, 2955802, 2958277, 2960611, 2962994, 2965095, 2967536, 2969972, 2972459, 2974700, 2977028, 2979552, 2981855, 2984279, 2985239, 2987384, 2989707, 2991796, 2994111, 2995803, 2997989, 2999537, 3001950, 3004596, 3005999, 3008313, 3010788, 3013349, 3015622, 3016185, 3018726, 3020936, 3021210, 3023581, 3025925, 3028447, 3030865, 3031591, 3033931, 3036124, 3038494, 3039124, 3041366, 3043695, 3046290, 3048604, 3049674, 3052448, 3055004, 3057700, 3058415, 3060404, 3060994, 3063842, 3066610, 3069380, 3070720, 3073446, 3076173, 3077933, 3080527, 3083136, 3085543, 3088273, 3090318, 3091962, 3094489, 3097240, 3099830, 3101621, 3103859, 3106208, 3108347, 3110700, 3112695, 3113157, 3115369, 3117654, 3119849, 3120902, 3123484, 3125755, 3128223, 3130617, 3132390, 3134045, 3134796, 3137187, 3139368, 3139984, 3142580, 3145116, 3145453, 3147985, 3150531, 3153021, 3153814, 3156322, 3158723, 3161257, 3163257, 3165618, 3167649, 3170027, 3172536, 3175001, 3177384, 3177728, 3179001, 3180947, 3182504, 3185064, 3187558, 3190170, 3191922, 3194501, 3196887, 3198360, 3200280, 3201986, 3203505, 3206024, 3208559, 3211081, 3211509, 3212527, 3214966, 3217424, 3219932, 3222466, 3223760, 3226445, 3227897, 3229811, 3231067, 3233688, 3235927, 3236624, 3239060, 3241231, 3241894, 3243975, 3244803, 3247161, 3248145, 3250508, 3252875, 3253601, 3255687, 3257822, 3259946, 3262279, 3263391, 3265445, 3267603, 3268247, 3270782, 3271903, 3274209, 3276707, 3278628, 3281026, 3281975, 3284397, 3286868, 3289265, 3290884, 3293435, 3295965, 3298390, 3301103, 3302796, 3305500, 3307959, 3310436, 3312761, 3315040, 3315433, 3317412, 3319655, 3321884, 3323971, 3325604, 3328264, 3330689, 3332914, 3335574, 3337003, 3339623, 3341270, 3343743, 3345036, 3347119, 3347745, 3350165, 3352456, 3354858, 3355774, 3358050, 3360245, 3363015, 3365479, 3367267, 3369641, 3372066, 3374540, 3375397, 3378043, 3380300, 3380575, 3382782, 3384670, 3387144, 3389475, 3392209, 3393767, 3396063, 3398450, 3400548, 3401684, 3403125, 3405841, 3407709, 3410333, 3412050, 3414447, 3416940, 3419343, 3421280, 3423765, 3426192, 3428807, 3431440, 3433050, 3435407, 3437550, 3439783, 3440982, 3442929, 3444189, 3445522, 3447532, 3449472, 3450046, 3452608, 3455072, 3457351, 3457956, 3459617, 3461716, 3462452, 3464441, 3466718, 3467986, 3470336, 3472889, 3473944, 3476214, 3478547, 3479420, 3481837, 3483433, 3485652, 3487766, 3488327, 3490832, 3493440, 3495759, 3498102, 3499800, 3500845, 3503333, 3506044, 3508791, 3511211, 3513610, 3516225, 3518880, 3521436, 3522698, 3525292, 3527878, 3530481, 3532109, 3534607, 3536829, 3537791, 3540159, 3542511, 3544928, 3546817, 3549403, 3551845, 3554274, 3556747, 3558188, 3560636, 3563130, 3565654, 3568101, 3569147, 3571591, 3574124, 3576419, 3577602, 3579963, 3582201, 3584692, 3587042, 3589267, 3589669, 3592075, 3594447, 3596611, 3597559, 3599724, 3602011, 3603387, 3605728, 3607771, 3608047, 3610312, 3612691, 3614921, 3615735, 3618219, 3620726, 3623178, 3625408, 3627784, 3630314, 3632834, 3633107, 3635449, 3637916, 3640405, 3642690, 3643989, 3646369, 3648842, 3651299, 3652976, 3655490, 3657362, 3659718, 3662106, 3664610, 3666980, 3667742, 3670220, 3672740, 3674771, 3675308, 3677687, 3680172, 3682477, 3685118, 3686751, 3689287, 3691864, 3694535, 3697118, 3699125, 3701631, 3704076, 3705149, 3707621, 3710213, 3712715, 3713359, 3715733, 3718164, 3718523, 3720673, 3722643, 3724804, 3726826, 3728321, 3730418, 3732516, 3734435, 3736563, 3738879, 3740120, 3741179, 3743346, 3745618, 3746934, 3749047, 3751147, 3752999, 3755020, 3757040, 3758878, 3761143, 3763467, 3765820, 3768259, 3770249, 3771939, 3772789, 3774214, 3776504, 3778866, 3780541, 3782909, 3785216, 3787614, 3788687, 3791247, 3792577, 3794764, 3796362, 3798521, 3800669, 3802767, 3803624, 3806053, 3808122, 3810528, 3813079, 3814290, 3816702, 3817157, 3819538, 3822074, 3824646, 3825391, 3827901, 3830343, 3831935, 3834379, 3836977, 3839739, 3842255, 3842686, 3845240, 3847992, 3850092, 3851567, 3853989, 3856714, 3859146, 3859917, 3862365, 3864723, 3865391, 3866514, 3868969, 3871361, 3873898, 3874965, 3876949, 3878086, 3880174, 3880609, 3883239, 3885251, 3887813, 3889969, 3891464, 3893847, 3894205, 3896678, 3899256, 3901618, 3903975, 3905094, 3905896, 3908311, 3910659, 3913006, 3915371, 3916300, 3918794, 3921192, 3923782, 3925800, 3926239, 3928705, 3931021, 3931696, 3933934, 3934709, 3937159, 3939621, 3941898, 3944367, 3946640, 3947084, 3949625, 3952124, 3954560, 3955114, 3957410, 3959638, 3960697, 3963141, 3965540, 3968086, 3970782, 3972521, 3974995, 3977417, 3979795, 3980504, 3982923, 3985422, 3987991, 3989690, 3992373, 3994411, 3997046, 3999688, 4000410, 4001971, 4004341, 4005214, 4007355, 4009415, 4010584, 4013164, 4015719, 4016695, 4018918, 4020794, 4023327, 4024544, 4026891, 4029178, 4031497, 4032966, 4034832, 4035359, 4037761, 4040159, 4042557, 4042879, 4045165, 4047615, 4048627, 4050954, 4053507, 4056055, 4057011, 4059327, 4061835, 4064286, 4066755, 4069016, 4069540, 4070240, 4072501, 4074777, 4077069, 4079495, 4081273, 4083723, 4084384, 4086522, 4088351, 4090761, 4093133, 4095449, 4097747, 4098861, 4100834, 4103268, 4105830, 4108331, 4110816, 4112599, 4114979, 4117256, 4119533, 4121945, 4124417, 4125737, 4128047, 4130374, 4132172, 4134606, 4137169, 4139504, 4141931, 4143977, 4145092, 4147669, 4150155, 4152530, 4154890, 4156641, 4158071, 4160574, 4162907, 4165086, 4166487, 4168648, 4170887, 4173397, 4175946, 4178079, 4180578, 4181998, 4184296, 4186602, 4188895, 4189795, 4192123, 4194674, 4197118, 4199556, 4201848, 4203174, 4204615, 4206979, 4209323, 4211585, 4212300, 4214666, 4217249, 4219581, 4220076, 4220910, 4222613, 4223924, 4225995, 4227876, 4228169, 4230393, 4232724, 4235168, 4237568, 4239679, 4242033, 4242443, 4244655, 4247060, 4247892, 4250427, 4252751, 4255025, 4256678, 4258903, 4261369, 4263563, 4265895, 4267086, 4269051, 4271474, 4273483, 4275863, 4278204, 4280828, 4282933, 4285191, 4286693, 4288935, 4290803, 4293147, 4295558, 4297649, 4299873, 4302175, 4303919, 4306058, 4308330, 4310663, 4311931, 4314113, 4314604, 4316682, 4317189, 4319258, 4321307, 4323349, 4325445, 4327003, 4329073, 4329987, 4332366, 4335007, 4337197, 4338242, 4340176, 4342578, 4344445, 4347007, 4349572, 4352013, 4352837, 4353760, 4356214, 4358741, 4359959, 4361707, 4364042, 4366583, 4367984, 4369021, 4371535, 4374108, 4376540, 4378987, 4380227, 4382723, 4385159, 4387628, 4390144, 4390476, 4392822, 4394992, 4396406, 4398592, 4400938, 4403205, 4405453, 4407466, 4407881, 4410273, 4412754, 4415179, 4417622, 4418949, 4421187, 4423510, 4425933, 4426781, 4428799, 4431234, 4432944, 4435060, 4436971, 4439340, 4441827, 4444013, 4446385, 4447833, 4450141, 4452698, 4454726, 4456815, 4459066, 4459418, 4461798, 4463783, 4466026, 4468103, 4468807, 4470918, 4473336, 4475738, 4476495, 4478884, 4481283, 4483586, 4485884, 4487036, 4489081, 4490407, 4492894, 4495044, 4497428, 4498060, 4500655, 4503181, 4505696, 4507419, 4509882, 4512460, 4514168, 4516528, 4518392, 4520683, 4522903, 4525050, 4527621, 4529434, 4531640, 4534013, 4536415, 4538142, 4540467, 4542988, 4545486, 4546844, 4549487, 4551973, 4554303, 4554653, 4557134, 4559760, 4562115, 4563214, 4565175, 4567418, 4569147, 4571537, 4573270, 4575476, 4577969, 4578493, 4580424, 4582062, 4584240, 4584690, 4587135, 4589188, 4590085, 4592633, 4595259, 4597819, 4600248, 4600800, 4603184, 4605578, 4608017, 4610383, 4612138, 4614633, 4616994, 4619016, 4621033, 4623469, 4625946, 4628217, 4630422, 4632849, 4635307, 4637407, 4639455, 4641759, 4644365, 4646891, 4649358, 4651051, 4653056, 4654928, 4657375, 4659874, 4660363, 4662978, 4665150, 4666461, 4668862, 4671134, 4673294, 4675590, 4677537, 4679921, 4680923, 4683142, 4685375, 4686920, 4688223, 4690073, 4692499, 4693441, 4695608, 4697729, 4700056, 4700668, 4702980, 4705318, 4707598, 4709900, 4712086, 4714381, 4716628, 4719201, 4721624, 4724084, 4725716, 4728246, 4730760, 4733316, 4734581, 4737026, 4739381, 4741801, 4742269, 4744397, 4745878, 4748254, 4750628, 4753033, 4753629, 4756124, 4758581, 4761007, 4763400, 4764257, 4764825, 4767110, 4769556, 4770927, 4772305, 4774737, 4777287, 4778636, 4781130, 4783623, 4786185, 4788733, 4789942, 4792111, 4794143, 4794851, 4796934, 4798576, 4801152, 4803792, 4806348, 4808826, 4809540, 4811916, 4813912, 4815949, 4817976, 4820072, 4822176, 4824036, 4826015, 4828033, 4830373, 4832424, 4834722, 4837391, 4838482, 4841029, 4843797, 4846476, 4848778, 4849629, 4851970, 4854286, 4856431, 4858548, 4859096, 4861217, 4863321, 4864918, 4867326, 4869547, 4872071, 4872907, 4875398, 4875709, 4878033, 4880471, 4881535, 4883808, 4886208, 4887707, 4889892, 4892097, 4892897, 4895098, 4897385, 4899669, 4901370, 4903502, 4905823, 4908120, 4909252, 4911228, 4913364, 4915696, 4916469, 4918655, 4921064, 4921548, 4924008, 4926260, 4928581, 4930797, 4931307, 4933669, 4935937, 4938302, 4940665, 4942210, 4944512, 4945451, 4947470, 4949649, 4951579, 4953611, 4954219, 4956738, 4959218, 4961788, 4963970, 4965812, 4968251, 4970458, 4972940, 4973378, 4975795, 4978242, 4980618, 4980913, 4982614, 4985041, 4987233, 4989586, 4991841, 4994297, 4996667, 4998689, 4999447, 5001670, 5004189, 5006648, 5009073, 5009972, 5011173, 5013154, 5015551, 5016309, 5018679, 5021148, 5023534, 5024436, 5027082, 5029550, 5032470, 5033699, 5036598, 5039236, 5041871, 5043578, 5046093, 5048371, 5050532, 5052923, 5055336, 5056684, 5059078, 5061493, 5063721, 5064300, 5066498, 5068917, 5071216, 5073553, 5075906, 5076861, 5079308, 5081765, 5084112, 5086574, 5088004, 5090247, 5092593, 5095045, 5096250, 5098647, 5101102, 5102016, 5104053, 5104515, 5106975, 5109429, 5111685, 5113972, 5116229, 5118549, 5120635, 5122992, 5125363, 5126432, 5128803, 5131205, 5133646, 5135986, 5137714, 5138597, 5140562, 5142125, 5144538, 5146850, 5148947, 5151063, 5153024, 5155087, 5156304, 5158938, 5161475, 5162970, 5165404, 5167920, 5170301, 5171636, 5174047, 5176437, 5178850, 5180592, 5182983, 5185451, 5187876, 5190272, 5191761, 5194191, 5196683, 5197347, 5199904, 5202402, 5204931, 5207644, 5208719, 5211129, 5213605, 5215689, 5218087, 5220485, 5222975, 5225331, 5227349, 5229776, 5232158, 5232793, 5235309, 5237731, 5240023, 5242548, 5244635, 5247133, 5247611, 5250078, 5252417, 5254914, 5256989, 5259411, 5261831, 5264257, 5266534, 5268067, 5270562, 5272931, 5275375, 5277192, 5279678, 5282076, 5283832, 5286219, 5287654, 5289995, 5292505, 5294982, 5297529, 5298469, 5300623, 5303058, 5304625, 5306721, 5309096, 5310660, 5313048, 5315555, 5317944, 5318309, 5320853, 5321508, 5324072, 5326464, 5329021, 5331374, 5332652, 5335103, 5337559, 5339845, 5340293, 5342598, 5345096, 5346632, 5348892, 5351212, 5351948, 5354358, 5356760, 5359001, 5360340, 5362707, 5365121, 5367589, 5369914, 5371839, 5374283, 5376695, 5379095, 5381509, 5382813, 5385359, 5387978, 5390562, 5393015, 5394248, 5396793, 5399316, 5401652, 5403973, 5405067, 5407312, 5409811, 5411419, 5414099, 5416735, 5418129, 5420500, 5422886, 5425229, 5427630, 5428261, 5430730, 5432933, 5435144, 5437202, 5439270, 5441319, 5442242, 5444709, 5447134, 5449552, 5451271, 5453656, 5456160, 5458230, 5460745, 5463025, 5465428, 5467828, 5469381, 5471825, 5474008, 5476496, 5478260, 5480719, 5483313, 5485379, 5487833, 5488713, 5491102, 5492198, 5494564, 5496754, 5499238, 5501656, 5502340, 5504678, 5507256, 5509700, 5511182, 5513717, 5516074, 5516460, 5518934, 5521517, 5524057, 5526092, 5528744, 5531192, 5533702, 5536101, 5536789, 5537602, 5540043, 5542485, 5544997, 5547551, 5549551, 5551096, 5551849, 5554225, 5556541, 5559078, 5561635, 5562900, 5563695, 5565851, 5568055, 5569957, 5572133, 5574525, 5576190, 5578172, 5578470, 5579970, 5582259, 5584621, 5587125, 5589388, 5591741, 5594101, 5596524, 5598984, 5599398, 5601825, 5604335, 5606929, 5609593, 5610226, 5612625, 5615174, 5617597, 5620230, 5621041, 5623489, 5625843, 5627043, 5629472, 5631975, 5634469, 5636981, 5637353, 5639767, 5642220, 5644696, 5645263, 5647509, 5649956, 5651307, 5653749, 5656145, 5658611, 5661028, 5661828, 5663831, 5664928, 5667348, 5669759, 5671673, 5674087, 5676506, 5678416, 5680646, 5683053, 5685461, 5687483, 5689709, 5692214, 5694706, 5696737, 5698951, 5701317, 5703279, 5705734, 5708004, 5710118, 5712428, 5714816, 5717032, 5718918, 5720974, 5723391, 5724817, 5727125, 5729653, 5731648, 5734002, 5736283, 5738675, 5740749, 5743161, 5745611, 5746622, 5747785, 5750163, 5752726, 5754367, 5756757, 5759258, 5761493, 5762596, 5764989, 5767268, 5768528, 5770904, 5772636, 5773881, 5776331, 5778554, 5781018, 5781376, 5783538, 5785158, 5787562, 5789893, 5792346, 5793174, 5795618, 5798393, 5800898, 5801240, 5803595, 5804527, 5806814, 5809109, 5810191, 5812581, 5815137, 5817616, 5819870, 5822159, 5824659, 5826560, 5829137, 5831810, 5834483, 5835153, 5837688, 5839835, 5842061, 5844455, 5846842, 5848266, 5850587, 5853032, 5855321, 5857655, 5860080, 5862346, 5864474, 5866823, 5869195, 5871443, 5873593, 5876040, 5877282, 5879603, 5881846, 5882358, 5884291, 5886406, 5888682, 5890018, 5892325, 5894602, 5896135, 5898207, 5900200, 5900876, 5903303, 5905605, 5908063, 5910320, 5912598, 5915073, 5917485, 5919968, 5922275, 5923650, 5924934, 5926475, 5928968, 5931374, 5933764, 5936341, 5937399, 5939703, 5940319, 5942861, 5945371, 5947153, 5949388, 5951831, 5954225, 5956556, 5958887, 5960005, 5962244, 5964088, 5966566, 5969010, 5971421, 5971800, 5974285, 5976792, 5977833, 5980286, 5982678, 5985144, 5987730, 5989844, 5992504, 5994607, 5997018, 5999789, 6002126, 6004657, 6007184, 6009345, 6011389, 6013690, 6016103, 6018630, 6021060, 6022417, 6024891, 6027199, 6027888, 6030199, 6032544, 6034843, 6036055, 6038399, 6040732, 6042501, 6044097, 6046327, 6048695, 6051118, 6053436, 6054800, 6057199, 6058622, 6060576, 6062982, 6065051, 6067469, 6069783, 6070896, 6073315, 6074700, 6076965, 6077955, 6079571, 6081933, 6084107, 6086359, 6088274, 6090406, 6092587, 6094597, 6096791, 6098340, 6100328, 6102300, 6104256, 6106696, 6109265, 6110446, 6112489, 6114576, 6115527, 6117627, 6119613, 6120795, 6122825, 6124722, 6126426, 6128700, 6130700, 6133065, 6135082, 6137419, 6139869, 6142299, 6143679, 6146208, 6148592, 6150862, 6153298, 6155757, 6157317, 6158366, 6160616, 6163000, 6165408, 6167084, 6168119, 6170573, 6172804, 6175255, 6177753, 6180296, 6182230, 6184713, 6187202, 6189560, 6190016, 6192421, 6195049, 6196973, 6198510, 6200934, 6203255, 6205496, 6207850, 6208923, 6210414, 6212890, 6214184, 6216503, 6218832, 6219591, 6222003, 6223400, 6224087, 6226402, 6228761, 6231088, 6233454, 6235124, 6236595, 6237157, 6239712, 6242200, 6244582, 6246806, 6247181, 6248275, 6249279, 6251696, 6253928, 6254290, 6256361, 6258720, 6260650, 6262940, 6264942, 6266869, 6267497, 6269671, 6271953, 6274213, 6274926, 6277155, 6279471, 6281890, 6284250, 6284949, 6285779, 6288072, 6290402, 6292735, 6295114, 6296681, 6299161, 6300143, 6302466, 6304927, 6307282, 6309691, 6310338, 6312719, 6314732, 6317171, 6318768, 6321005, 6323288, 6325721, 6327058, 6329249, 6331047, 6333370, 6335635, 6336364, 6338431, 6340700, 6343052, 6345183, 6345877, 6348310, 6350953, 6353368, 6355760, 6357356, 6359868, 6362316, 6364785, 6367259, 6368966, 6371546, 6373923, 6376403, 6378959, 6380276, 6382724, 6383175, 6385077, 6387387, 6387699, 6389638, 6391725, 6393801, 6395821, 6397248, 6399494, 6401702, 6403505, 6405772, 6407229, 6409517, 6411761, 6413932, 6416342, 6417362, 6419731, 6422047, 6424392, 6424790, 6425853, 6427971, 6430271, 6432208, 6434535, 6436978, 6439454, 6441563, 6443853, 6446301, 6448714, 6451020, 6451943, 6454297, 6456783, 6457238, 6459475, 6461556, 6462876, 6465046, 6467171, 6469577, 6471861, 6473686, 6474304, 6476812, 6479205, 6481571, 6483957, 6484562, 6485344, 6486372, 6488685, 6491112, 6493556, 6494507, 6496844, 6499213, 6501616, 6502182, 6504579, 6507142, 6509657, 6512088, 6513865, 6516355, 6518974, 6521629, 6524133, 6525127, 6527662, 6530298, 6532989, 6535454, 6536075, 6538645, 6541354, 6542438, 6544928, 6547541, 6550187, 6551646, 6553941, 6556208, 6558284, 6560270, 6562208, 6564274, 6566281, 6567825, 6569749, 6571802, 6572439, 6574682, 6577166, 6578875, 6581313, 6583729, 6585957, 6587999, 6588467, 6590526, 6592714, 6594696, 6596690, 6598478, 6600880, 6602718, 6605214, 6607466, 6609817, 6612254, 6613030, 6615184, 6616718, 6619173, 6621603, 6624094, 6626489, 6628389, 6630498, 6631918, 6633967, 6636198, 6636740, 6639138, 6641468, 6643905, 6644623, 6647056, 6649257, 6651759, 6652189, 6654613, 6657016, 6658979, 6661179, 6663307, 6665047, 6667346, 6669599, 6672113, 6674508, 6676547, 6678814, 6681245, 6683685, 6685937, 6686965, 6689335, 6691130, 6693492, 6695823, 6698197, 6699230, 6701576, 6703976, 6706331, 6708043, 6710007, 6711947, 6712896, 6715320, 6717776, 6720264, 6721895, 6723568, 6725907, 6728247, 6730755, 6733129, 6734808, 6737167, 6739572, 6742068, 6743555, 6745933, 6748202, 6750667, 6751918, 6752791, 6753901, 6754966, 6757450, 6759893, 6762304, 6763171, 6765516, 6765983, 6768348, 6770836, 6771400, 6773736, 6776218, 6778439, 6780892, 6783423, 6785869, 6787795, 6790200, 6792545, 6793265, 6795691, 6798150, 6800538, 6802992, 6804536, 6806950, 6809339, 6811674, 6813067, 6815452, 6817909, 6820273, 6822784, 6823442, 6825789, 6828193, 6830506, 6832844, 6833266, 6835714, 6838119, 6839894, 6842251, 6843514, 6845441, 6847406, 6847777, 6850254, 6852642, 6853597, 6855711, 6858077, 6860372, 6862904, 6863505, 6865910, 6868271, 6870728, 6873144, 6873420, 6875848, 6878231, 6880510, 6882907, 6885231, 6887809, 6890235, 6892803, 6895261, 6896327, 6898739, 6899523, 6900604, 6903039, 6905359, 6907866, 6909276, 6911851, 6914322, 6916767, 6919312, 6919878, 6922395, 6924900, 6927218, 6927799, 6930378, 6932959, 6935525, 6938006, 6939118, 6941492, 6944091, 6946088, 6948570, 6951196, 6952242, 6953747, 6956416, 6958962, 6960041, 6962442, 6963460, 6966019, 6968656, 6971090, 6971790, 6974144, 6975320, 6977322, 6979349, 6980351, 6982762, 6984849, 6985262, 6987627, 6989952, 6992402, 6994845, 6997009, 6999342, 7001763, 7002166, 7004435, 7006166, 7008601, 7011170, 7013634, 7015737, 7017842, 7019609, 7022199, 7024734, 7027250, 7029761, 7031258, 7033728, 7036051, 7038466, 7040910, 7042087, 7044327, 7046510, 7047773, 7049887, 7052044, 7054159, 7056506, 7058929, 7060828, 7063133, 7065522, 7066717, 7068846, 7071325, 7072674, 7075252, 7077580, 7079621, 7080092, 7082353, 7084746, 7087229, 7087882, 7090335, 7092881, 7095328, 7097004, 7099594, 7102218, 7104792, 7107477, 7108987, 7111371, 7111834, 7114505, 7117112, 7119838, 7121799, 7124445, 7126955, 7129343, 7130124, 7132483, 7134868, 7137370, 7139016, 7141352, 7143936, 7146217, 7148424, 7150789, 7153024, 7155389, 7157892, 7160347, 7162420, 7164842, 7167142, 7169563, 7171883, 7172450, 7173888, 7175979, 7178466, 7179403, 7181884, 7184207, 7186801, 7188356, 7190652, 7192953, 7193530, 7195789, 7198060, 7200625, 7202155, 7204647, 7205001, 7207217, 7209397, 7211056, 7213161, 7215664, 7218081, 7220545, 7221921, 7224064, 7226399, 7228024, 7230507, 7233002, 7234226, 7236630, 7238982, 7241291, 7243414, 7245797, 7247355, 7249702, 7250942, 7253410, 7255717, 7256106, 7258562, 7261080, 7262159, 7264228, 7266541, 7267850, 7270219, 7272754, 7274453, 7277027, 7279363, 7281740, 7282607, 7285100, 7287700, 7288114, 7290532, 7293072, 7295421, 7297522, 7298086, 7300310, 7302523, 7304990, 7306260, 7308737, 7311192, 7313685, 7316183, 7316962, 7319392, 7321940, 7324525, 7325432, 7328009, 7330628, 7333327, 7335286, 7337759, 7340148, 7342102, 7344629, 7346930, 7347255, 7349729, 7352308, 7352741, 7355409, 7357799, 7359762, 7361944, 7363957, 7366184, 7366733, 7369328, 7371714, 7374189, 7376528, 7378492, 7380145, 7382626, 7385474, 7388207, 7390137, 7392534, 7394769, 7396926, 7397620, 7400355, 7403072, 7405764, 7406779, 7409160, 7411438, 7413773, 7414634, 7417244, 7418039, 7420692, 7421647, 7423625, 7425780, 7428208, 7430469, 7431399, 7433698, 7436190, 7437268, 7439646, 7442026, 7442998, 7445423, 7447841, 7449212, 7451793, 7453670, 7454072, 7456290, 7457429, 7459931, 7462453, 7463646, 7464730, 7467146, 7469748, 7472254, 7472948, 7475140, 7476102, 7478170, 7479135, 7481707, 7483849, 7486455, 7488287, 7490829, 7493492, 7496078, 7497591, 7499898, 7502415, 7505087, 7505856, 7506543, 7509097, 7511651, 7513655, 7514092, 7514600, 7517150, 7519382, 7521969, 7523297, 7523831, 7526397, 7528887, 7531422, 7532320, 7532897, 7535370, 7537583, 7538862, 7541426, 7544050, 7546593, 7548403, 7550931, 7552895, 7553535, 7555686, 7557911, 7558622, 7560434, 7560904, 7563343, 7565766, 7568286, 7570737, 7572438, 7574351, 7576452, 7577944, 7580364, 7582717, 7584509, 7586994, 7589503, 7591761, 7592588, 7595170, 7597720, 7600221, 7602522, 7604913, 7606890, 7609411, 7611800, 7613234, 7615515, 7617993, 7620471, 7621275, 7623718, 7626261, 7628756, 7629646, 7632053, 7634351, 7636864, 7638127, 7640575, 7642997, 7643932, 7644405, 7646887, 7649197, 7651757, 7654001, 7655698, 7658176, 7660181, 7662704, 7665108, 7667839, 7668858, 7671401, 7673869, 7675309, 7677799, 7680046, 7682430, 7685090, 7687571, 7688036, 7690581, 7693296, 7696037, 7698541, 7699507, 7702118, 7704559, 7707188, 7709835, 7710756, 7712736, 7714715, 7716526, 7718874, 7721316, 7723564, 7725745, 7726090, 7728373, 7730185, 7732324, 7734366, 7736412, 7738534, 7739739, 7741772, 7744303, 7746724, 7748652, 7750901, 7753295, 7754156, 7756047, 7757030, 7759159, 7761232, 7763695, 7766020, 7768383, 7768913, 7771389, 7773595, 7775942, 7778348, 7778935, 7781040, 7782450, 7784713, 7785964, 7788225, 7790450, 7792287, 7794666, 7797083, 7799349, 7801659, 7802295, 7803701, 7806122, 7808535, 7810805, 7813086, 7813738, 7814242, 7815710, 7817820, 7819816, 7821830, 7822249, 7824741, 7827078, 7829647, 7831870, 7832280, 7834132, 7836540, 7839066, 7840258, 7841273, 7843766, 7846176, 7848567, 7849418, 7851155, 7853168, 7855641, 7858031, 7860588, 7861943, 7864420, 7866932, 7869495, 7871935, 7872642, 7875049, 7877666, 7880244, 7880808, 7883304, 7885781, 7888421, 7890883, 7891448, 7892843, 7895077, 7897616, 7900052, 7900904, 7903359, 7905760, 7908336, 7910585, 7912444, 7914677, 7916034, 7918127, 7920341, 7922764, 7923578, 7925569, 7927629, 7929694, 7930484, 7933204, 7935695, 7937439, 7940016, 7941122, 7943646, 7946059, 7946719, 7949227, 7951593, 7953928, 7954224, 7956556, 7958822, 7961174, 7962305, 7964771, 7967224, 7969201, 7970675, 7973070, 7975375, 7976209, 7978490, 7981078, 7983473, 7985628, 7986366, 7988819, 7989636, 7991952, 7994417, 7995732, 7997993, 8000199, 8001903, 8003914, 8005652, 8007899, 8010309, 8012222, 8014187, 8016159, 8017307, 8019658, 8021581, 8023875, 8026089, 8028671, 8030695, 8031716, 8034095, 8035836, 8037122, 8039398, 8042035, 8044551, 8045396, 8048033, 8050641, 8053170, 8055677, 8057142, 8059552, 8061937, 8062521, 8064330, 8066717, 8067808, 8070203, 8072733, 8074846, 8075417, 8077605, 8079982, 8082043, 8082827, 8085196, 8087523, 8089858, 8092351, 8094086, 8096228, 8098388, 8100068, 8102269, 8104133, 8106114, 8106624, 8108840, 8111382, 8113734, 8115840, 8118501, 8120757, 8123278, 8125770, 8127567, 8129647, 8131407, 8134001, 8136679, 8138533, 8140927, 8141839, 8144201, 8146510, 8148921, 8151355, 8152740, 8155226, 8156027, 8158570, 8160941, 8163119, 8164462, 8166129, 8168532, 8169945, 8172439, 8174703, 8176848, 8179346, 8180707, 8183157, 8185614, 8188158, 8190535, 8192570, 8195021, 8197463, 8199781, 8200518, 8202976, 8204386, 8205706, 8208173, 8210440, 8212884, 8215337, 8216820, 8219185, 8221493, 8224041, 8226528, 8228165, 8230456, 8232953, 8234960, 8237367, 8239922, 8241061, 8241684, 8243895, 8245750, 8247503, 8249656, 8252018, 8254436, 8256697, 8258476, 8260117, 8262478, 8264788, 8267082, 8268806, 8271247, 8273705, 8274876, 8277187, 8279693, 8282085, 8284370, 8284888, 8286992, 8289420, 8291830, 8293693, 8296001, 8298425, 8300741, 8301802, 8304211, 8306671, 8309167, 8310466, 8312794, 8315157, 8317646, 8320082, 8321109, 8323286, 8325585, 8327038, 8329492, 8331925, 8334327, 8336758, 8338386, 8340730, 8343016, 8345343, 8347734, 8349275, 8351476, 8353900, 8356183, 8358586, 8359942, 8361979, 8364363, 8366492, 8367316, 8369660, 8372047, 8374446, 8376977, 8378254, 8380466, 8381939, 8383496, 8385839, 8388160, 8390575, 8392919, 8394447, 8395647, 8397990, 8400335, 8400849, 8402756, 8405016, 8407375, 8409824, 8412270, 8412655, 8414750, 8417026, 8419561, 8419982, 8422493, 8423795, 8426218, 8428723, 8430601, 8431455, 8432211, 8433285, 8434055, 8434772, 8436973, 8439021, 8441220, 8443498, 8445891, 8448101, 8448813, 8451065, 8453443, 8455174, 8457254, 8457937, 8460108, 8462330, 8463656, 8466005, 8468173, 8470306, 8472106, 8474418, 8476894, 8479050, 8480747, 8483287, 8484669, 8487111, 8489470, 8491739, 8493016, 8494858, 8497241, 8498377, 8500438, 8502834, 8504394, 8506932, 8509343, 8511504, 8513955, 8516376, 8518793, 8519613, 8522069, 8523975, 8526439, 8528050, 8530376, 8532807, 8535009, 8537063, 8539595, 8542112, 8544523, 8545923, 8548370, 8550702, 8553025, 8555253, 8555707, 8557669, 8559887, 8561243, 8563572, 8565757, 8568225, 8569348, 8571612, 8574057, 8576324, 8578644, 8580975, 8583338, 8585749, 8588206, 8588756, 8590313, 8592761, 8595196, 8597348, 8597641, 8600014, 8602263, 8604590, 8605264, 8607566, 8609850, 8612216, 8614339, 8615687, 8618231, 8618641, 8621110, 8623606, 8625877, 8627915, 8628540, 8630786, 8633089, 8635385, 8636442, 8637985, 8639973, 8641481, 8643445, 8645692, 8648018, 8650362, 8652699, 8654063, 8656530, 8657255, 8658072, 8660687, 8663121, 8663458, 8665304, 8667198, 8669236, 8670351, 8672760, 8675247, 8676919, 8679158, 8681515, 8682336, 8684822, 8686342, 8688770, 8690965, 8692532, 8693385, 8696008, 8697559, 8699923, 8702379, 8705030, 8707172, 8709635, 8712168, 8713155, 8715113, 8716839, 8719201, 8720728, 8722226, 8724382, 8726893, 8729302, 8731723, 8732876, 8734375, 8736195, 8738350, 8739356, 8741707, 8743755, 8745070, 8747333, 8749666, 8750890, 8753332, 8755646, 8757736, 8759158, 8761600, 8763992, 8766405, 8768903, 8769628, 8771822, 8774083, 8774592, 8776735, 8778837, 8781154, 8783542, 8785887, 8787834, 8790035, 8792544, 8795048, 8796946, 8797998, 8800611, 8803013, 8805303, 8807833, 8809210, 8811511, 8813913, 8816277, 8818622, 8819904, 8821498, 8823583, 8825739, 8827689, 8830086, 8832345, 8834167, 8836372, 8838266, 8838977, 8841342, 8843660, 8845990, 8846888, 8849374, 8851615, 8853467, 8856138, 8858228, 8860565, 8862715, 8863552, 8866130, 8868532, 8870998, 8873570, 8874421, 8877212, 8877693, 8880034, 8882484, 8884977, 8886959, 8888937, 8889571, 8891393, 8893614, 8895893, 8898136, 8900577, 8900953, 8903336, 8905663, 8908107, 8909297, 8911782, 8914383, 8916352, 8917735, 8920139, 8922531, 8924911, 8925411, 8927886, 8930360, 8932752, 8935012, 8937365, 8939633, 8942076, 8944355, 8946547, 8947036, 8949166, 8951095, 8953051, 8954486, 8956901, 8959021, 8959703, 8961810, 8962728, 8965045, 8967085, 8969345, 8970305, 8972237, 8974580, 8975415, 8977385, 8978398, 8980791, 8981066, 8983411, 8985866, 8987568, 8989605, 8989950, 8992304, 8994587, 8996095, 8998592, 8999817, 9002214, 9004277, 9006626, 9008249, 9010636, 9013037, 9015163, 9017431, 9019741, 9022278, 9024633, 9025479, 9027923, 9030224, 9030904, 9033303, 9035717, 9038166, 9040125, 9042452, 9044645, 9046902, 9047880, 9050075, 9052566, 9054970, 9057361, 9059762, 9060922, 9062826, 9065228, 9067493, 9067880, 9070264, 9072622, 9075005, 9077209, 9079490, 9082022, 9084491, 9085086, 9086031, 9088381, 9091022, 9093797, 9096230, 9098837, 9100912, 9103429, 9106033, 9108786, 9111479, 9112119, 9114687, 9117108, 9119606, 9120591, 9122781, 9123810, 9126299, 9128872, 9131505, 9133684, 9136157, 9138745, 9141431, 9144061, 9145877, 9148280, 9150755, 9152540, 9154974, 9157282, 9158651, 9161327, 9163832, 9165811, 9168311, 9170805, 9172808, 9173998, 9176604, 9179168, 9181602, 9182841, 9185385, 9187864, 9190396, 9192112, 9194561, 9196013, 9198431, 9200881, 9203318, 9205730, 9208226, 9210722, 9213256, 9214155, 9216564, 9218925, 9221567, 9223600, 9224337, 9226906, 9229183, 9231448, 9232923, 9235434, 9237991, 9240447, 9242949, 9244304, 9246838, 9249409, 9251944, 9254472, 9255815, 9258417, 9260908, 9263509, 9266172, 9267271, 9269686, 9272272, 9274747, 9275976, 9278324, 9280268, 9282729, 9285203, 9287726, 9289275, 9291350, 9293450, 9295608, 9297780, 9298810, 9300969, 9301958, 9304364, 9306868, 9309430, 9310061, 9312475, 9314695, 9314972, 9317519, 9319946, 9321696, 9322000, 9324448, 9326935, 9329226, 9329577, 9332054, 9332402, 9334477, 9337095, 9337990, 9340336, 9342271, 9344747, 9347273, 9349621, 9350347, 9352893, 9355414, 9357726, 9358624, 9361202, 9363677, 9364723, 9367025, 9369589, 9370577, 9373091, 9375609, 9377696, 9380097, 9382639, 9385120, 9386621, 9387276, 9389779, 9392355, 9394937, 9395961, 9398463, 9399911, 9402365, 9404671, 9407087, 9408479, 9410873, 9413363, 9415881, 9418418, 9419486, 9422113, 9424306, 9426748, 9427835, 9430475, 9432791, 9435348, 9436470, 9437394, 9439766, 9441608, 9444234, 9446814, 9449396, 9451673, 9454208, 9456355, 9458808, 9461163, 9463534, 9464249, 9466809, 9468943, 9471381, 9473536, 9473965, 9476412, 9478956, 9480151, 9482097, 9484281, 9486329, 9487042, 9489525, 9492027, 9494743, 9496401, 9498668, 9500920, 9503235, 9505426, 9506776, 9509114, 9511583, 9514124, 9516651, 9517385, 9519813, 9522249, 9524695, 9527100, 9528311, 9530483, 9532503, 9534939, 9537589, 9539195, 9540120, 9542543, 9544022, 9546553, 9546883, 9549374, 9551858, 9552874, 9555250, 9557244, 9559392, 9560126, 9562630, 9563936, 9566264, 9568605, 9569567, 9571933, 9574408, 9576711, 9578894, 9580192, 9582543, 9584726, 9585427, 9587793, 9590310, 9592969, 9595268, 9597771, 9600192, 9602663, 9605058, 9605562, 9606421, 9608822, 9609768, 9612255, 9614955, 9617426, 9618040, 9620001, 9621939, 9623956, 9624294, 9626735, 9629110, 9629464, 9632029, 9634404, 9636156, 9638529, 9640995, 9643542, 9646167, 9648816, 9650083, 9650818, 9653258, 9655720, 9658159, 9659590, 9661371, 9663949, 9666525, 9669067, 9671212, 9673203, 9674764, 9676585, 9679058, 9681466, 9683635, 9686055, 9688332, 9690431, 9692790, 9695263, 9697686, 9698697, 9700129, 9702684, 9705285, 9707692, 9708510, 9710854, 9711706, 9714090, 9716447, 9717295, 9719564, 9721585, 9724142, 9725139, 9727381, 9729496, 9730173, 9732384, 9734864, 9737266, 9738251, 9740607, 9743220, 9745659, 9746183, 9748688, 9751135, 9752256, 9754742, 9756784, 9757220, 9759896, 9761553, 9763885, 9766069, 9767867, 9770407, 9773052, 9775418, 9775959, 9777619, 9780287, 9782854, 9785351, 9786950, 9789571, 9792060, 9792658, 9795019, 9797155, 9798115, 9800023, 9800986, 9802210, 9804536, 9806925, 9807770, 9809930, 9812233, 9814054, 9816578, 9818989, 9820209, 9822509, 9824925, 9825426, 9827911, 9828739, 9830918, 9831186, 9833544, 9836147, 9838649, 9840212, 9842620, 9845071, 9846394, 9848352, 9849941, 9852292, 9854702, 9857060, 9859742, 9860397, 9862865, 9865215, 9867269, 9869483, 9871810, 9873006, 9875365, 9877732, 9879975, 9882341, 9883226, 9885492, 9885882, 9888112, 9889443, 9892018, 9894462, 9896878, 9899148, 9901311, 9903859, 9905757, 9908212, 9910769, 9913230, 9913640, 9915973, 9918345, 9919057, 9921303, 9923538, 9926160, 9928558, 9930965, 9931710, 9933650, 9936081, 9938730, 9941275, 9942402, 9944962, 9947437, 9949811, 9952405, 9953997, 9955117, 9957528, 9959589, 9961174, 9963643, 9966388, 9968994, 9969956, 9972197, 9974701, 9975999, 9978544, 9979318, 9981648, 9984179, 9986837, 9989537, 9991282, 9993150, 9994046, 9996351, 9998057, 10000550, 10003100, 10005774, 10007435, 10010080, 10012691, 10013716, 10016005, 10018582, 10021019, 10021819, 10024121, 10025240, 10026770, 10029359, 10031978, 10034423, 10035836, 10038419, 10040828, 10043417, 10045132, 10047744, 10050057, 10052297, 10054143, 10056658, 10059108, 10061611, 10064206, 10064992, 10066810, 10069009, 10071306, 10073779, 10074716, 10076714, 10078658, 10080289, 10082719, 10085099, 10087654, 10088878, 10089579, 10091318, 10093710, 10096162, 10098620, 10099538, 10102006, 10104297, 10106634, 10107872, 10110252, 10112644, 10115068, 10117265, 10117936, 10120243, 10121537, 10123808, 10126151, 10128743, 10131013, 10131690, 10133116, 10135328, 10137101, 10139541, 10142121, 10144165, 10146084, 10148822, 10151601, 10154310, 10155931, 10158214, 10160738, 10163557, 10166351, 10167345, 10170004, 10172914, 10174728, 10177206, 10179512, 10181889, 10184022, 10186409, 10188541, 10190572, 10192708, 10193102, 10195499, 10197830, 10200277, 10202811, 10205343, 10206346, 10208830, 10210768, 10212984, 10215474, 10217249, 10219530, 10221884, 10224333, 10226768, 10229303, 10230638, 10233041, 10235059, 10237493, 10239212, 10241693, 10243018, 10245768, 10246644, 10249113, 10251650, 10253968, 10254512, 10256778, 10259159, 10261570, 10264174, 10265471, 10267735, 10269527, 10271815, 10273917, 10276440, 10278606, 10279977, 10282574, 10285072, 10287424, 10288661, 10290732, 10292631, 10294650, 10296670, 10296992, 10299467, 10301608, 10303975, 10304695, 10307150, 10309554, 10311810, 10312626, 10314675, 10315479, 10317786, 10320169, 10322687, 10325061, 10326270, 10328721, 10331108, 10333565, 10335041, 10337538, 10339989, 10342195, 10342794, 10345125, 10347522, 10349917, 10352189, 10354011, 10356420, 10358226, 10360511, 10361748, 10364362, 10366803, 10369306, 10371379, 10372083, 10374422, 10376803, 10379127, 10381412, 10383543, 10385854, 10388245, 10390669, 10392954, 10394414, 10396603, 10397898, 10400389, 10402997, 10405586, 10408071, 10410001, 10412348, 10414818, 10417126, 10419617, 10421707, 10424149, 10426502, 10428911, 10431474, 10432987, 10435157, 10437625, 10440115, 10442489, 10444364, 10446806, 10449160, 10451616, 10452117, 10454420, 10456124, 10458580, 10461004, 10463520, 10464144, 10466483, 10469048, 10471600, 10473993, 10474668, 10476886, 10479083, 10481096, 10483233, 10483636, 10486179, 10488542, 10491053, 10491944, 10494278, 10495994, 10497663, 10499953, 10502439, 10504666, 10507010, 10509571, 10511986, 10512365, 10514835, 10517456, 10518063, 10520226, 10522742, 10523967, 10526165, 10527361, 10529429, 10531989, 10533703, 10536027, 10538542, 10540951, 10543376, 10544832, 10547225, 10548653, 10551048, 10553320, 10554628, 10557029, 10559368, 10561646, 10564154, 10564654, 10567218, 10569156, 10571532, 10574057, 10576295, 10577055, 10579350, 10581294, 10583509, 10585828, 10587537, 10588876, 10591517, 10593779, 10596224, 10597709, 10600040, 10602193, 10604578, 10606868, 10609234, 10611584, 10612240, 10614270, 10616221, 10617077, 10619042, 10621179, 10622456, 10624899, 10627209, 10629610, 10630466, 10632621, 10634527, 10636694, 10639238, 10641113, 10643551, 10646097, 10648498, 10649899, 10652288, 10654761, 10657249, 10659873, 10661030, 10663312, 10665601, 10668080, 10669577, 10671787, 10674161, 10674846, 10677090, 10677669, 10680038, 10682376, 10684732, 10686689, 10688809, 10689234, 10691208, 10693242, 10695212, 10697356, 10699212, 10701198, 10702873, 10705313, 10707881, 10710338, 10712494, 10714873, 10717398, 10717850, 10720285, 10722465, 10724992, 10727334, 10729771, 10732339, 10733620, 10735579, 10738018, 10740466, 10743047, 10745526, 10747118, 10749329, 10751746, 10754185, 10756404, 10758815, 10761278, 10762910, 10765378, 10767793, 10770279, 10772752, 10774682, 10775925, 10778327, 10780715, 10783262, 10784309, 10785347, 10787870, 10790363, 10792703, 10793923, 10796360, 10797947, 10800077, 10802127, 10804154, 10806722, 10809114, 10810974, 10812066, 10814571, 10816773, 10819217, 10821802, 10823737, 10826162, 10826605, 10829156, 10831660, 10834209, 10836465, 10838814, 10839738, 10842133, 10844705, 10845195, 10846316, 10848809, 10851305, 10853486, 10854842, 10857325, 10859717, 10862288, 10864848, 10865540, 10867467, 10869195, 10871712, 10874124, 10876616, 10878575, 10880990, 10881910, 10884431, 10886674, 10888161, 10890503, 10891397, 10893665, 10895699, 10897991, 10900156, 10901604, 10903945, 10906245, 10906855, 10909339, 10911669, 10912058, 10914470, 10916916, 10919296, 10921341, 10923836, 10926270, 10928389, 10929252, 10931479, 10933547, 10935924, 10938065, 10940545, 10942943, 10945295, 10947224, 10949592, 10952078, 10954532, 10954836, 10957245, 10957766, 10960067, 10961779, 10964310, 10966982, 10967335, 10969962, 10972532, 10974700, 10975987, 10978183, 10980737, 10983249, 10985689, 10986365, 10988373, 10990441, 10992456, 10994576, 10996575, 10998962, 11001379, 11001965, 11004364, 11006823, 11009226, 11009644, 11011916, 11014077, 11016585, 11017279, 11019570, 11020508, 11022961, 11025359, 11025915, 11028289, 11030683, 11032807, 11035256, 11037374, 11039320, 11039830, 11042233, 11044606, 11046820, 11049174, 11051593, 11053503, 11055840, 11058262, 11060097, 11061812, 11064195, 11066651, 11069040, 11070220, 11072665, 11073381, 11074602, 11076071, 11078395, 11080397, 11082924, 11085512, 11086386, 11088734, 11091201, 11093061, 11095504, 11097938, 11100404, 11102788, 11104903, 11107040, 11108667, 11111369, 11113692, 11114357, 11116684, 11117784, 11120187, 11122596, 11124619, 11127173, 11129735, 11130420, 11132660, 11134987, 11137450, 11139503, 11141495, 11143627, 11145665, 11147742, 11148910, 11150879, 11152907, 11153424, 11155947, 11158529, 11158957, 11161220, 11161987, 11164368, 11166665, 11169211, 11171782, 11172720, 11174786, 11176325, 11178841, 11181435, 11182911, 11185419, 11187996, 11190450, 11191713, 11194219, 11196771, 11199182, 11200593, 11203075, 11205339, 11207900, 11209292, 11211895, 11214325, 11216138, 11216933, 11219297, 11221719, 11223634, 11226126, 11228587, 11229500, 11232129, 11234793, 11237018, 11238609, 11241015, 11243462, 11245828, 11246626, 11249117, 11251715, 11252557, 11254806, 11255448, 11257468, 11259539, 11261669, 11262725, 11265153, 11267525, 11269825, 11270315, 11271273, 11273504, 11275803, 11277598, 11279506, 11281785, 11284110, 11286449, 11287510, 11289939, 11292390, 11294448, 11296862, 11299307, 11301439, 11303748, 11305536, 11307564, 11309550, 11311521, 11313601, 11314921, 11317356, 11319789, 11321437, 11323678, 11324521, 11326794, 11328012, 11330391, 11332848, 11335379, 11337686, 11338273, 11340521, 11342731, 11345060, 11347492, 11350022, 11351621, 11352928, 11355361, 11357710, 11358172, 11360060, 11362437, 11364854, 11365774, 11368342, 11370848, 11373390, 11375281, 11377431, 11379542, 11381657, 11383810, 11385054, 11386136, 11388261, 11390523, 11392377, 11393360, 11395685, 11398082, 11400457, 11401698, 11402936, 11405105, 11407141, 11409290, 11410906, 11412058, 11412543, 11414869, 11417082, 11419319, 11421353, 11422827, 11424454, 11426541, 11428831, 11431114, 11431428, 11433513, 11436102, 11438222, 11438824, 11439316, 11440351, 11442372, 11444401, 11446378, 11448247, 11450726, 11453309, 11454825, 11457393, 11459736, 11460337, 11461297, 11463641, 11465859, 11467052, 11469482, 11472068, 11474504, 11474925, 11476931, 11478449, 11480788, 11483170, 11484198, 11485739, 11488013, 11490158, 11492432, 11494828, 11495301, 11497566, 11499975, 11500377, 11502929, 11504840, 11507209, 11509546, 11510350, 11512393, 11513126, 11515538, 11518026, 11520482, 11522891, 11523832, 11525943, 11528244, 11530741, 11533194, 11534540, 11536183, 11536938, 11539035, 11541102, 11543438, 11544354, 11546641, 11549113, 11551526, 11553795, 11555365, 11557907, 11560593, 11563088, 11565516, 11567504, 11569867, 11572180, 11574808, 11577284, 11579616, 11581981, 11584417, 11586785, 11587549, 11589896, 11592270, 11593765, 11596123, 11598026, 11600361, 11602930, 11604681, 11606959, 11609257, 11611604, 11613783, 11616391, 11618798, 11620833, 11622909, 11625016, 11627053, 11629273, 11630680, 11631949, 11634329, 11636512, 11637077, 11639400, 11641668, 11643969, 11645702, 11648035, 11650477, 11651819, 11654319, 11656683, 11659160, 11661717, 11663067, 11664848, 11665152, 11667464, 11667936, 11670378, 11672806, 11675204, 11677630, 11679388, 11681851, 11684344, 11686771, 11689201, 11690476, 11692799, 11695269, 11696347, 11698457, 11700790, 11701254, 11703648, 11705953, 11707060, 11709499, 11711944, 11714327, 11714849, 11717279, 11719520, 11721855, 11722473, 11724974, 11727380, 11729840, 11732268, 11733724, 11735867, 11738253, 11740165, 11742325, 11743878, 11746155, 11748583, 11750931, 11751773, 11753786, 11755927, 11758226, 11758749, 11761177, 11762513, 11764903, 11766858, 11769004, 11770550, 11773048, 11775489, 11777763, 11778365, 11780619, 11782279, 11784451, 11786901, 11787843, 11790446, 11792905, 11795341, 11796711, 11797409, 11799882, 11801614, 11802727, 11804992, 11807471, 11809945, 11810307, 11811798, 11814153, 11816322, 11818799, 11821278, 11823464, 11824439, 11826977, 11829441, 11831951, 11834283, 11835168, 11837416, 11839768, 11842305, 11843143, 11845536, 11847941, 11848715, 11851021, 11853383, 11854776, 11857187, 11859691, 11862034, 11862800, 11864031, 11866207, 11867601, 11869731, 11872047, 11872461, 11874741, 11875422, 11876623, 11878898, 11881262, 11882593, 11883840, 11885979, 11888489, 11889614, 11891963, 11894318, 11894786, 11897204, 11899176, 11901702, 11903916, 11906539, 11908976, 11909921, 11911897, 11914304, 11914999, 11915642, 11917794, 11920130, 11922360, 11924596, 11927000, 11927808, 11930147, 11932697, 11934947, 11936723, 11939063, 11941496, 11943478, 11945825, 11948229, 11950575, 11951792, 11954198, 11956576, 11958947, 11959906, 11962229, 11964574, 11966013, 11968486, 11970358, 11972457, 11972868, 11973683, 11975400, 11977310, 11979505, 11980942, 11983427, 11985874, 11988324, 11990720, 11993211, 11995689, 11996366, 11998077, 11999077, 12001289, 12003578, 12006083, 12008501, 12010577, 12013169, 12013807, 12014850, 12017020, 12019570, 12020674, 12023227, 12025826, 12028324, 12030768, 12032011, 12034511, 12036813, 12039333, 12042042, 12044561, 12047063, 12048575, 12051194, 12053651, 12056179, 12058649, 12060973, 12063483, 12065908, 12068362, 12069214, 12071097, 12073248, 12075771, 12077876, 12080311, 12082776, 12085216, 12087536, 12088543, 12090998, 12093388, 12095877, 12098010, 12099509, 12101763, 12104125, 12105967, 12108177, 12110601, 12111610, 12114105, 12116699, 12119263, 12121606, 12123979, 12125221, 12127765, 12128056, 12130531, 12132891, 12133496, 12135773, 12138339, 12140753, 12141503, 12143759, 12146090, 12148420, 12150798, 12153203, 12154793, 12157069, 12158461, 12160724, 12162986, 12164985, 12167023, 12169175, 12171352, 12173419, 12174855, 12176956, 12178926, 12181365, 12183377, 12185550, 12187087, 12188633, 12190974, 12193104, 12194402, 12196594, 12198394, 12200786, 12202496, 12204820, 12207138, 12208987, 12211497, 12213670, 12215041, 12217255, 12219348, 12219824, 12222023, 12224301, 12225452, 12227825, 12230233, 12231091, 12233409, 12235854, 12238186, 12238952, 12241128, 12243595, 12245495, 12247921, 12250368, 12251671, 12254233, 12256807, 12259153, 12261512, 12262628, 12265122, 12266502, 12268888, 12271483, 12274168, 12276422, 12277576, 12280095, 12282601, 12284287, 12286668, 12289178, 12291651, 12292223, 12294602, 12295247, 12297727, 12299004, 12301151, 12303547, 12305643, 12308036, 12310437, 12312846, 12315293, 12316709, 12319251, 12321708, 12323729, 12325928, 12328055, 12328498, 12331196, 12333631, 12334274, 12336646, 12337477, 12340025, 12342386, 12344153, 12346287, 12348361, 12349366, 12351998, 12353690, 12356285, 12357612, 12360022, 12362426, 12365053, 12365389, 12367892, 12370285, 12372703, 12374983, 12376775, 12378794, 12381126, 12383623, 12385639, 12387474, 12389839, 12391444, 12393768, 12394574, 12396711, 12399190, 12400887, 12403383, 12405447, 12405825, 12407765, 12409536, 12410788, 12412960, 12414465, 12415934, 12417469, 12418212, 12420361, 12422401, 12424326, 12426314, 12428139, 12430283, 12432333, 12434127, 12436407, 12438470, 12440799, 12443192, 12445475, 12447971, 12449376, 12451747, 12453833, 12456059, 12458349, 12460432, 12462869, 12465437, 12467874, 12470449, 12471291, 12473668, 12476175, 12478644, 12479319, 12481392, 12483567, 12485828, 12487892, 12489078, 12491569, 12494103, 12496390, 12498191, 12500563, 12503056, 12503542, 12505992, 12508473, 12510794, 12513394, 12514804, 12516846, 12518948, 12519675, 12521955, 12524332, 12526906, 12527690, 12530272, 12532620, 12535049, 12537498, 12538256, 12540621, 12542350, 12544751, 12547238, 12548264, 12550211, 12550811, 12553182, 12555557, 12557924, 12558843, 12561328, 12563840, 12566256, 12568668, 12569542, 12571861, 12574250, 12576681, 12579049, 12580947, 12583465, 12585862, 12587628, 12589973, 12592260, 12593201, 12595727, 12598228, 12600755, 12602901, 12604343, 12606704, 12609249, 12611776, 12614342, 12616248, 12618258, 12620680, 12622600, 12624546, 12626751, 12629178, 12631725, 12634163, 12636440, 12636778, 12639114, 12641611, 12643105, 12645599, 12648226, 12650582, 12651387, 12652126, 12654513, 12656807, 12659327, 12661714, 12662667, 12665125, 12667795, 12669478, 12671774, 12673975, 12676436, 12678774, 12679851, 12682369, 12684748, 12686987, 12688012, 12690261, 12692823, 12694845, 12697267, 12699802, 12700781, 12703425, 12705769, 12706474, 12708875, 12711360, 12713867, 12714558, 12716951, 12719388, 12722016, 12724362, 12725674, 12728094, 12730650, 12733152, 12733946, 12736172, 12738653, 12740944, 12743291, 12744059, 12746420, 12747640, 12749924, 12752321, 12754686, 12757034, 12758617, 12761001, 12763401, 12765586, 12767908, 12770270, 12771537, 12773871, 12776286, 12778887, 12781274, 12782462, 12784706, 12787084, 12789477, 12791899, 12792765, 12795116, 12797563, 12800005, 12802475, 12803941, 12806359, 12808841, 12811284, 12813771, 12814229, 12816489, 12818633, 12819740, 12822100, 12824571, 12826938, 12828262, 12830181, 12832232, 12834458, 12836630, 12837242, 12839527, 12841915, 12842805, 12845189, 12846073, 12848402, 12850163, 12851021, 12853408, 12855701, 12856156, 12858472, 12860821, 12863366, 12864897, 12867291, 12867708, 12870181, 12872787, 12875082, 12875862, 12878204, 12880220, 12882643, 12884723, 12887341, 12889708, 12891524, 12893599, 12894142, 12896232, 12898411, 12900068, 12902487, 12905031, 12906815, 12909216, 12911383, 12912601, 12915033, 12916910, 12919264, 12921714, 12922581, 12925001, 12927585, 12929859, 12930670, 12933112, 12935719, 12938277, 12939897, 12942288, 12944555, 12945848, 12948144, 12950547, 12952953, 12953881, 12956149, 12958692, 12960702, 12963212, 12965914, 12968366, 12970810, 12972624, 12975234, 12977624, 12980202, 12981154, 12983643, 12985944, 12986565, 12989158, 12991861, 12993504, 12996101, 12998578, 13000482, 13002994, 13005446, 13007481, 13009998, 13012361, 13014905, 13017278, 13017932, 13020334, 13022614, 13025082, 13026362, 13028500, 13030614, 13031952, 13034364, 13036758, 13037078, 13039644, 13042092, 13044416, 13044821, 13047321, 13049093, 13051620, 13053363, 13055691, 13058143, 13060512, 13062835, 13063864, 13066330, 13068829, 13071255, 13073870, 13075228, 13076200, 13078131, 13080667, 13081383, 13083860, 13086255, 13088471, 13090933, 13093310, 13095639, 13097944, 13098798, 13101091, 13103548, 13105870, 13106165, 13108561, 13110994, 13113365, 13115808, 13116679, 13118634, 13120147, 13122427, 13124914, 13127521, 13129800, 13132357, 13134801, 13136825, 13139226, 13141721, 13144325, 13146783, 13147125, 13149575, 13151956, 13154460, 13156590, 13157411, 13159958, 13162503, 13164991, 13166926, 13169228, 13171623, 13174079, 13176436, 13178965, 13180623, 13182847, 13185199, 13187560, 13189197, 13191648, 13193967, 13194992, 13196756, 13198922, 13201337, 13202606, 13204913, 13207068, 13207381, 13209658, 13211532, 13213202, 13213785, 13216318, 13218734, 13221190, 13223549, 13225859, 13227076, 13229002, 13231368, 13233819, 13236185, 13237484, 13238264, 13240689, 13243164, 13245234, 13247646, 13249975, 13252298, 13254846, 13255591, 13256554, 13258929, 13261272, 13263716, 13265986, 13266859, 13269288, 13271685, 13273886, 13274397, 13276805, 13279116, 13281628, 13283960, 13285569, 13288095, 13290162, 13291504, 13294137, 13296472, 13299034, 13299844, 13302017, 13303788, 13306257, 13308706, 13311138, 13312229, 13313028, 13315472, 13317724, 13319250, 13321436, 13323850, 13326388, 13328853, 13329541, 13331881, 13334254, 13336625, 13339080, 13339974, 13342398, 13344800, 13347242, 13349688, 13350895, 13353419, 13355756, 13358029, 13360199, 13361747, 13362542, 13365017, 13367172, 13368506, 13370889, 13373061, 13375483, 13376763, 13379129, 13381497, 13383888, 13384857, 13387286, 13389639, 13392008, 13393891, 13396293, 13398786, 13401121, 13402435, 13404877, 13407473, 13408554, 13410900, 13413306, 13415816, 13416530, 13417476, 13420004, 13422515, 13425005, 13427490, 13428706, 13430499, 13433043, 13435626, 13437325, 13439644, 13441682, 13443786, 13445738, 13447779, 13449271, 13451340, 13453384, 13454130, 13454431, 13456932, 13459571, 13462150, 13462454, 13465004, 13467230, 13468965, 13471288, 13473775, 13476231, 13477618, 13479670, 13481831, 13483614, 13485325, 13487192, 13489218, 13490947, 13492823, 13495179, 13496166, 13498294, 13500765, 13502790]

data.csc.index.npy

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

indices.csc.index.npy

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

indptr.csc.index.npy

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

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": 6657,
+    "version": "0.2.4",
+    "backend": "numpy"
+}