Sierpinski conjecture base 190 remain
Started: Nov. 21, 2021
Last update: Jan. 24, 2025
Compiled by Gary Barnes
Riesel
conjectures
Riesel
conjectures powers of 2
Riesel conjecture reservations
Sierpinski
conjectures
Sierpinski conjectures
powers of 2
Sierpinski conjecture reservations
Testing is coordinated at
Mersenneforum
Conjectures 'R Us.
k and n-ranges completed:
k<=926K to n=25K
k>926K to n=13.3K
3689 k's remaining for k and n-ranges completed above:
954, 4146, 6157, 7873, 8403, 9979, 10005, 12850, 12982, 13372, 14295, 14968,
15930, 17530, 20676, 22381, 23110, 24831, 27721, 28270, 29415, 33541, 37734,
38199, 38928, 39415, 39729, 40002, 40279, 41263, 43584, 44173, 46756, 46987,
47026, 47178, 47560, 48517, 49395, 49429, 49770, 50415, 50467, 51856, 52740,
54001, 54094, 54153, 54436, 55009, 59682, 66006, 66847, 67231, 67833, 69714,
73113, 73710, 74491, 77163, 78799, 80218, 80956, 81979, 82056, 82308, 86100,
87034, 87036, 88140, 88503, 89565, 91918, 92065, 92734, 95565, 99321, 99811,
101368, 103336, 105051, 105987, 108087, 108330, 110590, 111354, 111685, 113563,
114219, 116676, 117889, 118419, 119380, 121977, 123655, 126255, 126441, 126634,
127780, 127960, 127971, 129696, 132021, 132651, 132679, 132703, 133080, 135438,
137727, 141324, 143700, 143844, 143931, 146305, 146797, 147451, 148842, 149170,
149310, 149761, 149934, 150318, 150490, 150879, 151867, 152082, 153270, 156489,
156952, 157321, 158937, 161413, 161539, 161647, 164104, 164764, 165216, 169221,
169872, 172375, 172839, 173532, 174498, 174699, 176101, 180066, 181312, 182404,
185787, 185874, 186930, 187332, 187372, 188898, 189415, 192145, 192720, 193305,
197458, 200089, 201856, 201994, 202476, 203022, 204300, 207043, 207358, 211323,
212737, 212889, 214287, 217339, 217912, 218505, 219205, 219384, 219510, 220986,
221181, 221370, 222448, 223315, 224866, 225999, 226368, 228223, 230793, 233019,
233910, 234291, 235078, 236367, 237106, 240039, 240852, 240859, 240937, 241194,
242832, 243316, 243715, 244672, 245890, 249670, 250593, 250975, 251037, 255750,
256875, 256924, 257509, 257980, 259063, 259728, 261483, 261747, 261906, 262335,
263434, 263515, 264600, 265569, 266455, 266635, 266637, 269010, 269118, 269554,
271398, 271552, 271794, 272367, 274032, 275629, 277510, 277876, 278286, 279804,
279921, 280476, 281535, 284851, 285546, 289251, 289593, 289674, 289791, 290622,
293256, 293938, 297447, 300574, 301779, 303523, 303691, 303837, 304563, 304741,
306099, 306775, 306954, 307692, 308082, 309228, 309726, 310881, 311713, 312798,
313561, 314196, 314335, 318258, 319149, 319470, 320497, 322330, 322746, 322785,
322791, 322980, 325554, 325833, 327664, 327946, 328840, 329038, 333000, 335970,
336913, 337960, 338047, 338109, 338268, 340936, 342139, 345621, 347229, 347602,
349531, 350338, 350484, 352080, 352567, 353461, 359025, 361798, 361926, 363310,
365851, 365955, 368986, 369442, 370479, 370659, 372831, 375186, 375670, 376651,
377115, 377398, 377541, 378967, 384051, 384996, 385248, 385516, 385794, 386394,
386517, 387538, 388918, 389077, 389793, 389830, 390499, 391519, 393184, 393432,
394144, 394324, 395875, 401818, 402496, 402550, 402657, 404730, 408888, 409356,
409549, 409839, 410253, 414174, 415278, 415615, 416314, 416655, 419476, 420480,
422046, 422506, 422514, 422902, 426370, 427117, 427266, 427390, 429430, 430372,
432027, 432043, 432423, 433534, 436684, 438478, 439089, 439765, 440695, 440829,
441007, 441402, 443152, 444004, 444319, 445678, 446551, 449712, 449836, 451101,
451360, 453405, 454354, 455343, 455913, 456502, 458427, 458970, 459357, 460500,
467265, 469611, 471198, 473446, 475102, 476737, 477846, 478074, 478563, 478980,
478999, 479311, 480013, 480930, 481147, 481453, 483040, 483088, 483267, 485185,
485227, 486169, 486823, 488626, 489169, 491856, 492543, 494403, 494691, 495841,
496228, 498064, 498283, 498538, 499654, 503979, 504273, 504522, 506340, 508954,
509014, 511056, 511893, 518374, 518497, 520486, 520768, 522705, 523222, 524421,
526687, 528634, 529069, 530217, 531060, 531115, 532143, 532507, 534184, 537253,
539128, 539595, 543778, 544843, 544948, 545115, 545877, 545925, 547906, 548809,
549466, 549699, 550249, 551227, 552562, 552573, 552757, 553617, 553834, 558054,
559456, 561027, 561348, 561723, 562086, 563055, 563950, 564550, 565246, 566106,
567327, 568036, 570055, 570253, 576549, 579493, 579495, 580230, 581413, 583695,
588238, 588472, 588639, 588661, 591813, 592840, 595029, 596110, 596263, 598486,
599782, 599803, 600834, 602343, 603897, 604707, 606042, 607437, 608850, 608907,
609613, 609673, 609883, 610078, 611161, 614041, 614121, 615112, 615456, 615820,
616248, 618268, 618930, 621232, 622569, 624760, 625084, 625906, 627627, 628666,
631059, 631314, 631407, 632367, 632601, 632653, 632728, 633166, 633787, 634347,
635461, 635626, 635647, 635838, 635896, 637096, 637236, 637458, 637603, 640239,
640615, 645003, 645256, 648270, 648357, 649974, 650128, 652549, 652803, 654048,
655468, 655608, 656848, 656850, 657903, 658789, 660538, 660997, 661432, 663265,
663376, 663759, 664297, 667893, 668043, 668368, 668881, 669456, 670188, 671364,
671557, 672703, 672894, 673386, 674835, 675186, 675472, 675897, 676168, 676650,
677287, 677478, 677860, 678706, 679333, 679450, 679674, 680727, 681688, 682404,
683487, 683977, 684163, 686646, 687316, 687783, 687853, 689073, 689752, 692470,
692524, 692724, 692947, 694095, 695163, 695328, 696616, 698554, 699445, 700323,
703468, 703533, 707656, 708163, 708690, 710244, 710628, 712813, 713743, 714982,
715138, 716412, 716425, 716542, 717015, 717166, 717991, 718219, 719967, 721078,
722548, 723507, 723882, 727234, 730192, 734157, 737452, 737920, 738700, 741703,
742002, 742197, 743382, 743926, 744556, 745512, 746968, 748786, 749514, 750058,
751011, 751473, 752157, 753687, 754246, 754381, 754749, 754833, 756964, 757054,
757888, 758236, 759019, 760674, 760924, 762211, 762429, 763894, 764013, 764730,
764893, 765324, 766641, 767047, 768412, 770164, 770304, 771811, 772095, 775650,
775957, 779728, 780616, 781764, 784789, 786583, 787227, 789069, 790063, 791991,
796413, 796630, 796729, 798528, 799527, 799548, 799716, 804682, 806953, 806974,
807076, 807165, 808209, 813240, 813688, 814362, 814732, 815199, 819921, 820155,
822925, 824643, 825184, 825694, 825700, 825960, 826464, 827458, 831388, 832377,
833295, 833334, 833500, 834669, 840555, 841554, 842028, 842454, 843075, 843708,
846795, 847429, 849174, 849675, 851095, 851670, 855870, 856324, 856636, 856713,
858289, 859308, 859839, 860713, 862555, 864690, 865662, 866488, 866757, 867028,
870943, 871209, 871603, 871780, 871966, 875352, 875632, 878724, 880072, 880320,
883332, 886050, 887892, 888399, 890823, 892351, 893295, 894973, 894997, 895188,
895407, 896680, 896715, 897256, 897628, 898147, 898654, 898656, 899241, 900456,
902248, 902464, 906901, 907300, 907788, 907792, 908691, 909195, 910066, 911305,
911334, 911415, 911451, 917844, 920479, 920994, 921504, 921765, 922149, 923412,
924000, 924630, 926034, 926275, 926700, 926730, 928473, 929260, 929521, 930333,
930360, 932758, 932983, 933609, 935728, 937938, 938742, 938803, 940539, 941524,
942202, 943636, 945217, 945451, 947055, 947679, 948505, 948507, 950503, 952516,
954487, 955033, 955063, 958890, 959070, 960156, 960948, 961123, 962887, 965212,
966018, 966096, 966789, 967270, 967320, 967533, 967884, 968410, 970152, 970579,
971005, 972171, 972736, 973012, 974080, 977302, 977856, 977952, 978243, 978303,
982264, 982665, 982885, 983055, 983215, 983626, 985135, 985947, 988044, 988545,
989208, 989572, 989997, 991390, 991921, 992961, 993952, 994345, 994465, 995983,
996696, 997138, 998037, 998356, 998740, 999504, 999649, 999751, 1000459,
1000771, 1001127, 1001194, 1002240, 1002682, 1003324, 1003753, 1004830, 1006771,
1009054, 1009698, 1009786, 1009995, 1011049, 1014064, 1014256, 1014846, 1016289,
1016745, 1018237, 1018393, 1019559, 1020132, 1020703, 1020705, 1020825, 1020889,
1021008, 1021665, 1023274, 1023712, 1024713, 1025185, 1025565, 1026468, 1027276,
1028191, 1028799, 1029085, 1029943, 1030563, 1030743, 1032354, 1033882, 1034646,
1034787, 1034871, 1034965, 1035030, 1035412, 1035601, 1036350, 1037284, 1038682,
1038835, 1039587, 1039713, 1040005, 1040760, 1041708, 1042788, 1044312, 1046248,
1046937, 1049121, 1049875, 1050165, 1050310, 1051038, 1052200, 1054845, 1055301,
1055584, 1055953, 1056069, 1056463, 1056673, 1056787, 1058122, 1059514, 1059742,
1060825, 1061040, 1061202, 1061575, 1063057, 1063512, 1063680, 1064883, 1066045,
1066086, 1068250, 1069294, 1069782, 1070269, 1070977, 1071253, 1073656, 1073773,
1073994, 1074018, 1074841, 1074867, 1074930, 1074988, 1075048, 1076286, 1077892,
1077933, 1078492, 1078576, 1078648, 1080594, 1082914, 1085232, 1085499, 1086208,
1086813, 1087224, 1087501, 1088433, 1088533, 1089249, 1089603, 1091694, 1092592,
1094640, 1094755, 1095004, 1097520, 1097728, 1097832, 1098037, 1098297, 1099896,
1100055, 1102108, 1102642, 1102899, 1103398, 1103439, 1103592, 1103790, 1104925,
1104936, 1105125, 1106379, 1106542, 1106844, 1108615, 1108797, 1111128, 1112385,
1112415, 1112526, 1112574, 1113702, 1117176, 1117585, 1118449, 1118580, 1121037,
1122189, 1123029, 1123654, 1123734, 1124989, 1125112, 1126869, 1127095, 1127374,
1127437, 1127950, 1128624, 1130337, 1131103, 1131492, 1133854, 1134966, 1135185,
1135545, 1135731, 1136517, 1139334, 1139887, 1140651, 1140658, 1141035, 1141044,
1144519, 1145938, 1147099, 1147720, 1148100, 1149286, 1150518, 1150986, 1151773,
1153162, 1153450, 1155205, 1155585, 1155976, 1156887, 1158189, 1158208, 1158888,
1160089, 1160440, 1160631, 1161088, 1161135, 1161574, 1161841, 1162234, 1162374,
1163956, 1163989, 1164327, 1164528, 1164948, 1166142, 1166296, 1167414, 1168881,
1170352, 1171213, 1171474, 1171539, 1171704, 1171920, 1174876, 1175413, 1175673,
1178971, 1179108, 1180197, 1182219, 1182673, 1182982, 1183525, 1183603, 1183936,
1184058, 1184772, 1185345, 1187083, 1188637, 1189063, 1190688, 1192054, 1192221,
1192605, 1192794, 1195273, 1195792, 1196697, 1197886, 1198537, 1198632, 1199271,
1202397, 1203574, 1204705, 1205736, 1205976, 1206277, 1206369, 1206625, 1206930,
1207159, 1207402, 1208323, 1210620, 1211365, 1211959, 1215040, 1215928, 1216671,
1218109, 1219030, 1219152, 1222879, 1223595, 1224499, 1224594, 1225491, 1225813,
1227556, 1229142, 1229403, 1229476, 1232128, 1233150, 1234059, 1235962, 1237066,
1237488, 1238485, 1241401, 1242139, 1242441, 1242925, 1245328, 1246077, 1246656,
1247212, 1247748, 1248013, 1250415, 1251433, 1251622, 1251762, 1251964, 1253182,
1255060, 1255746, 1256026, 1256208, 1256490, 1256824, 1256956, 1257736, 1259262,
1261174, 1262320, 1262901, 1265601, 1266331, 1266595, 1268239, 1268580, 1269003,
1269124, 1269387, 1269991, 1269997, 1270833, 1271152, 1271707, 1272862, 1273162,
1273396, 1274733, 1275115, 1275117, 1275600, 1276579, 1277152, 1279299, 1279504,
1279510, 1280296, 1280469, 1281649, 1282299, 1282423, 1282893, 1282995, 1283014,
1283158, 1283859, 1284531, 1285786, 1285972, 1286185, 1286188, 1286947, 1287879,
1288294, 1290886, 1291878, 1292485, 1293553, 1294051, 1294420, 1294828, 1298010,
1298623, 1299238, 1300659, 1300857, 1301286, 1302387, 1302399, 1303282, 1304283,
1305565, 1308490, 1308742, 1309338, 1309593, 1309989, 1310899, 1311058, 1311388,
1313265, 1314646, 1315690, 1315794, 1316275, 1316493, 1317243, 1318149, 1319248,
1319449, 1320345, 1321146, 1321894, 1322988, 1324972, 1325380, 1326112, 1326643,
1327405, 1327450, 1327869, 1328566, 1328722, 1330282, 1330815, 1331017, 1331019,
1331251, 1332345, 1333752, 1334617, 1335231, 1335828, 1339675, 1343493, 1343542,
1344760, 1346047, 1346167, 1346938, 1348060, 1348335, 1348827, 1350006, 1350328,
1351654, 1351899, 1354140, 1355719, 1356217, 1356292, 1356483, 1357494, 1358103,
1358676, 1359100, 1360809, 1361203, 1362811, 1366074, 1366992, 1367913, 1368859,
1371064, 1371486, 1372087, 1372366, 1373016, 1373100, 1373565, 1374394, 1375237,
1375648, 1376146, 1376926, 1377364, 1379100, 1379949, 1380645, 1384369, 1385307,
1385416, 1385986, 1386117, 1388236, 1388635, 1390714, 1391052, 1391307, 1391419,
1391458, 1392067, 1392178, 1397166, 1398528, 1401750, 1403635, 1405269, 1405780,
1406716, 1407661, 1408213, 1408369, 1408626, 1411770, 1412728, 1415146, 1416264,
1416510, 1417398, 1417794, 1418568, 1420216, 1421005, 1421499, 1421581, 1421752,
1422214, 1422760, 1423429, 1423935, 1424479, 1424938, 1425624, 1426339, 1426342,
1426962, 1429303, 1430209, 1431253, 1432140, 1432198, 1434540, 1434954, 1435162,
1437145, 1439767, 1440126, 1440555, 1440957, 1441585, 1441959, 1442095, 1442956,
1444119, 1444875, 1445451, 1446606, 1447188, 1447926, 1447972, 1448994, 1449865,
1451733, 1453893, 1454458, 1454500, 1454790, 1456066, 1456344, 1456710, 1457587,
1458354, 1458720, 1458762, 1458786, 1459323, 1459476, 1459678, 1460005, 1460590,
1461798, 1464844, 1465924, 1467705, 1467795, 1468407, 1468546, 1469521, 1470444,
1471984, 1472611, 1472868, 1473831, 1474429, 1475092, 1476570, 1476591, 1476714,
1477659, 1480048, 1480633, 1482352, 1483162, 1484451, 1484793, 1484835, 1486744,
1488700, 1488982, 1489968, 1490436, 1491745, 1494202, 1494501, 1495911, 1496083,
1496409, 1498338, 1498917, 1499328, 1499733, 1499922, 1500553, 1500663, 1501755,
1502566, 1502695, 1503498, 1504092, 1509144, 1510008, 1510614, 1512315, 1512337,
1513078, 1513137, 1513485, 1515043, 1515586, 1515906, 1520199, 1520503, 1521207,
1521324, 1522054, 1522578, 1522971, 1523046, 1523415, 1524036, 1524181, 1525347,
1525486, 1525911, 1527235, 1527414, 1528383, 1528656, 1529367, 1529722, 1529911,
1530403, 1530940, 1531492, 1531957, 1532136, 1532175, 1532266, 1534639, 1534684,
1535100, 1535266, 1536403, 1536774, 1537333, 1538122, 1539049, 1540414, 1541239,
1542268, 1542349, 1544193, 1544881, 1545090, 1545705, 1545762, 1545783, 1547851,
1547983, 1548015, 1549170, 1550346, 1550610, 1550866, 1551207, 1552608, 1552764,
1553100, 1553361, 1556227, 1556649, 1556772, 1557271, 1557624, 1557889, 1558179,
1558986, 1559514, 1560499, 1561150, 1564837, 1567753, 1567920, 1568257, 1570227,
1571281, 1571356, 1571935, 1572628, 1572886, 1573629, 1573723, 1574223, 1574227,
1574613, 1576888, 1579008, 1579314, 1580593, 1585110, 1585329, 1585407, 1586827,
1588560, 1588588, 1589362, 1590562, 1590838, 1591222, 1591234, 1592157, 1594167,
1594716, 1595424, 1595965, 1597026, 1599813, 1600110, 1600168, 1600425, 1601397,
1601727, 1603995, 1604019, 1605105, 1605163, 1606435, 1606698, 1607427, 1608400,
1608862, 1610764, 1611394, 1613503, 1614904, 1615749, 1617175, 1617387, 1617789,
1622034, 1622166, 1622737, 1625029, 1625359, 1625725, 1625850, 1626555, 1626565,
1626786, 1627654, 1628329, 1629282, 1630566, 1631781, 1632909, 1633761, 1633815,
1634004, 1634134, 1635466, 1637286, 1640118, 1640481, 1640880, 1642131, 1642408,
1642434, 1644891, 1646419, 1646871, 1647567, 1648138, 1648713, 1649229, 1649595,
1650085, 1652913, 1653594, 1654252, 1655007, 1655508, 1655595, 1656162, 1656544,
1657092, 1657380, 1657486, 1657891, 1658038, 1658070, 1659025, 1659304, 1661167,
1661809, 1662745, 1663540, 1663611, 1664352, 1666068, 1666326, 1666339, 1666432,
1666476, 1666579, 1667431, 1668727, 1668915, 1669416, 1669920, 1670443, 1672120,
1672384, 1673352, 1673593, 1673707, 1674394, 1674523, 1675069, 1676722, 1678293,
1678698, 1679080, 1679827, 1680238, 1680652, 1681363, 1681545, 1681603, 1681984,
1682025, 1682524, 1683657, 1683943, 1684137, 1684377, 1684428, 1684812, 1686147,
1686529, 1686882, 1686955, 1687050, 1687438, 1688128, 1689459, 1689717, 1690200,
1691058, 1692696, 1696410, 1696822, 1696845, 1698418, 1698562, 1699450, 1701376,
1702002, 1703727, 1704039, 1704483, 1704676, 1704903, 1704958, 1705309, 1705404,
1706101, 1707906, 1710157, 1711068, 1711354, 1713180, 1713271, 1713373, 1713462,
1713498, 1713609, 1714606, 1715260, 1715364, 1715754, 1715943, 1715973, 1716900,
1717399, 1717702, 1717858, 1717930, 1717968, 1718049, 1718140, 1719687, 1719954,
1721484, 1722343, 1723038, 1723405, 1724700, 1724850, 1727064, 1728391, 1729129,
1729738, 1730002, 1730106, 1730139, 1730841, 1731900, 1731937, 1732276, 1734169,
1734780, 1734829, 1735527, 1736346, 1736620, 1736809, 1740265, 1740708, 1740883,
1741387, 1742476, 1745013, 1745532, 1745622, 1745994, 1747032, 1747902, 1747951,
1749171, 1750081, 1750705, 1751089, 1752856, 1753272, 1753341, 1754134, 1754319,
1754728, 1754823, 1755045, 1755652, 1756377, 1756435, 1756477, 1756650, 1757010,
1757161, 1758156, 1758918, 1759062, 1761121, 1762041, 1762483, 1762771, 1763763,
1765011, 1765522, 1766341, 1766751, 1768176, 1768222, 1768326, 1768852, 1769497,
1769884, 1771107, 1772479, 1772605, 1773037, 1773052, 1773240, 1774561, 1777063,
1777342, 1780767, 1780819, 1781008, 1781134, 1781287, 1781337, 1781649, 1782151,
1782930, 1783038, 1784052, 1784553, 1784620, 1785460, 1786615, 1787328, 1788595,
1788684, 1789009, 1790475, 1792918, 1794403, 1795129, 1795561, 1796959, 1799325,
1799364, 1799820, 1801348, 1802673, 1803996, 1805058, 1805715, 1808196, 1808685,
1809915, 1810030, 1810107, 1810237, 1811155, 1811233, 1811337, 1811443, 1812751,
1813434, 1813479, 1814515, 1815538, 1815655, 1815865, 1816179, 1818831, 1820793,
1820995, 1821234, 1821676, 1822905, 1823442, 1824490, 1827406, 1828450, 1828767,
1829143, 1829508, 1830232, 1831903, 1832098, 1832455, 1832595, 1832784, 1833751,
1834578, 1835598, 1836684, 1837029, 1837458, 1837824, 1838854, 1839724, 1839811,
1840344, 1840857, 1841386, 1841523, 1842085, 1842205, 1842706, 1842760, 1842781,
1844391, 1845205, 1846873, 1848117, 1848987, 1849645, 1849830, 1850499, 1850854,
1851033, 1851277, 1851286, 1851364, 1853448, 1853656, 1854787, 1855171, 1856139,
1857115, 1857994, 1858566, 1859382, 1861081, 1863831, 1864329, 1866333, 1867135,
1867216, 1867345, 1867432, 1867965, 1869256, 1869457, 1870002, 1870552, 1870629,
1872021, 1872372, 1872694, 1873131, 1874218, 1874475, 1876267, 1876750, 1876893,
1877290, 1878040, 1879242, 1879918, 1880770, 1880973, 1882548, 1883536, 1884085,
1884598, 1884823, 1885158, 1885297, 1885495, 1885728, 1886197, 1887079, 1887342,
1887495, 1888114, 1888141, 1888773, 1890154, 1891170, 1892047, 1892236, 1894099,
1894495, 1894933, 1895292, 1895310, 1895401, 1897266, 1898200, 1898779, 1899039,
1899490, 1899685, 1900491, 1900833, 1901193, 1901284, 1902003, 1903615, 1904080,
1904760, 1905453, 1908855, 1909096, 1909342, 1911070, 1911807, 1911859, 1912419,
1914931, 1916080, 1917384, 1917456, 1917976, 1918644, 1919100, 1921570, 1921603,
1921782, 1921843, 1922032, 1922170, 1924863, 1925064, 1925094, 1925646, 1926150,
1926417, 1926493, 1927723, 1927899, 1927933, 1929181, 1929253, 1930398, 1931080,
1931515, 1932796, 1934074, 1934299, 1934401, 1934850, 1936596, 1937740, 1938163,
1938262, 1938424, 1939669, 1939900, 1941445, 1941529, 1941898, 1941948, 1943013,
1943233, 1943235, 1943326, 1943382, 1943553, 1943806, 1944021, 1944379, 1945360,
1945527, 1945636, 1946134, 1946151, 1949355, 1949592, 1950778, 1952851, 1953676,
1955521, 1959270, 1959456, 1959849, 1960221, 1960900, 1961187, 1961428, 1961571,
1961760, 1961913, 1962550, 1966032, 1966060, 1966665, 1966879, 1967473, 1969018,
1969300, 1969579, 1970077, 1972309, 1972365, 1972807, 1974250, 1974382, 1974465,
1975258, 1975750, 1976727, 1977873, 1979700, 1981039, 1981260, 1981680, 1982772,
1983448, 1984041, 1984176, 1985697, 1985818, 1987036, 1987350, 1989073, 1991556,
1992957, 1996398, 1996713, 1997250, 1997388, 1998816, 1998907, 1999203, 2000997,
2001787, 2002128, 2002255, 2002281, 2003139, 2003509, 2004202, 2005537, 2005561,
2005690, 2006454, 2007645, 2007832, 2008756, 2009389, 2009652, 2011017, 2011047,
2011231, 2012440, 2012731, 2012749, 2013301, 2015125, 2015307, 2015619, 2015976,
2017111, 2017197, 2017297, 2017534, 2020204, 2021302, 2021916, 2023555, 2023800,
2024473, 2024983, 2025063, 2025412, 2025798, 2026320, 2028987, 2029042, 2029941,
2030023, 2032432, 2032623, 2032773, 2033560, 2033767, 2035041, 2035086, 2036449,
2036835, 2036865, 2038893, 2040598, 2040637, 2040937, 2041519, 2041599, 2041980,
2043556, 2044323, 2044411, 2045031, 2046760, 2047950, 2048169, 2048665, 2049351,
2049904, 2050231, 2050491, 2050606, 2051499, 2051967, 2052909, 2054029, 2055925,
2056293, 2056600, 2056687, 2058096, 2058415, 2059477, 2059680, 2059851, 2059936,
2060194, 2060625, 2061082, 2061957, 2062474, 2063478, 2063517, 2064076, 2064457,
2065128, 2065302, 2065617, 2066046, 2066767, 2067909, 2067940, 2068087, 2068347,
2068656, 2070147, 2070223, 2070439, 2070444, 2071869, 2073180, 2073310, 2074233,
2074392, 2074411, 2074903, 2075214, 2076183, 2077308, 2077863, 2078673, 2079084,
2079189, 2079472, 2080963, 2081706, 2083006, 2085738, 2087443, 2087631, 2087683,
2089174, 2089402, 2089537, 2089771, 2089833, 2090043, 2090112, 2090599, 2092917,
2093359, 2093428, 2095237, 2096217, 2096368, 2096641, 2097090, 2097592, 2099932,
2100172, 2100535, 2102329, 2104911, 2106100, 2106408, 2106682, 2107891, 2109076,
2110224, 2110357, 2113987, 2115183, 2115517, 2115706, 2116041, 2116089, 2117026,
2118000, 2118121, 2118189, 2118657, 2118762, 2119174, 2119717, 2120023, 2120158,
2120598, 2121232, 2121283, 2122951, 2123139, 2127774, 2128222, 2128348, 2128386,
2131248, 2131368, 2132781, 2134806, 2134933, 2135154, 2136922, 2136928, 2137864,
2138089, 2138440, 2139046, 2144955, 2145316, 2145370, 2145943, 2146839, 2147796,
2151118, 2151856, 2151894, 2151954, 2153854, 2153923, 2154097, 2154777, 2154853,
2157927, 2158615, 2158998, 2159652, 2160358, 2161120, 2161548, 2162310, 2162536,
2166768, 2167281, 2170504, 2170659, 2172334, 2172541, 2172873, 2173404, 2173465,
2174371, 2175871, 2175960, 2178096, 2178292, 2178541, 2179854, 2180307, 2181295,
2181361, 2181379, 2181412, 2181691, 2181772, 2182653, 2183088, 2183979, 2184135,
2185515, 2185678, 2186670, 2187784, 2188701, 2188861, 2189734, 2190954, 2191086,
2191224, 2191987, 2197560, 2199573, 2199748, 2199816, 2200194, 2201922, 2202936,
2203230, 2203876, 2203950, 2204272, 2204704, 2204991, 2205282, 2206696, 2206863,
2207115, 2207754, 2208571, 2209056, 2209993, 2210679, 2210824, 2210988, 2211643,
2212543, 2213086, 2213167, 2213307, 2214763, 2218576, 2219073, 2219088, 2219170,
2219593, 2220577, 2221119, 2223504, 2223777, 2223967, 2225638, 2225778, 2229171,
2229544, 2229924, 2230593, 2231055, 2231688, 2232433, 2232829, 2233512, 2233555,
2233932, 2233945, 2234185, 2234701, 2237373, 2238154, 2239002, 2239641, 2241667,
2242338, 2242569, 2243647, 2244057, 2244058, 2244523, 2246403, 2247220, 2249374,
2250442, 2250936, 2251534, 2251558, 2252862, 2254000, 2254147, 2258814, 2258845,
2258868, 2259498, 2259876, 2262285, 2263821, 2264686, 2264962, 2265478, 2265678,
2265928, 2266986, 2268217, 2268795, 2269110, 2269843, 2270034, 2270800, 2272903,
2273464, 2273854, 2274307, 2274832, 2276779, 2279659, 2279922, 2283022, 2283198,
2283319, 2283754, 2283774, 2284642, 2284977, 2286804, 2287033, 2288181, 2289969,
2291271, 2292190, 2293527, 2293674, 2293876, 2294866, 2297836, 2300436, 2300517,
2301096, 2301246, 2301346, 2301931, 2303079, 2303352, 2304288, 2304414, 2304661,
2304895, 2304904, 2305389, 2305741, 2306229, 2306988, 2307279, 2308045, 2309973,
2310736, 2311018, 2311275, 2311363, 2312056, 2312257, 2312614, 2313286, 2313735,
2313945, 2314599, 2316640, 2318526, 2319550, 2320006, 2321008, 2321937, 2323758,
2323879, 2324226, 2324662, 2325426, 2326936, 2327320, 2327437, 2327983, 2328130,
2328189, 2329254, 2329435, 2329983, 2329989, 2330424, 2331819, 2332920, 2334381,
2338155, 2338530, 2339367, 2339655, 2339787, 2339841, 2340961, 2341201, 2342803,
2343420, 2343547, 2344458, 2344717, 2346076, 2346436, 2346451, 2346816, 2347327,
2347591, 2347773, 2347989, 2348155, 2348581, 2350713, 2350798, 2352214, 2353501,
2354076, 2354265, 2354457, 2354458, 2354838, 2355031, 2355222, 2355748, 2356089,
2356944, 2357974, 2358003, 2358435, 2358849, 2359315, 2359807, 2359995, 2360599,
2361982, 2362230, 2362504, 2363226, 2363242, 2364240, 2365101, 2365329, 2368591,
2369017, 2371492, 2371839, 2373312, 2373840, 2374176, 2376010, 2376271, 2377569,
2377770, 2378163, 2379060, 2379897, 2380347, 2380458, 2380737, 2381913, 2382151,
2382846, 2383108, 2386149, 2386314, 2386324, 2387215, 2387490, 2387709, 2388456,
2389102, 2389327, 2390766, 2391319, 2391462, 2393587, 2393998, 2396419, 2398644,
2398714, 2399283, 2399799, 2400189, 2400232, 2402109, 2402869, 2405229, 2405317,
2405922, 2407582, 2408320, 2409846, 2412550, 2412649, 2412891, 2413477, 2413861,
2415733, 2415841, 2415960, 2417775, 2418976, 2419971, 2421799, 2423409, 2424534,
2424853, 2425470, 2426845, 2427160, 2427177, 2427342, 2427664, 2428564, 2429025,
2430667, 2431047, 2431233, 2431282, 2432481, 2433693, 2434563, 2437159, 2437960,
2438290, 2438835, 2438886, 2439553, 2439796, 2440225, 2440653, 2441610, 2442493,
2442507, 2443570, 2444241, 2444554, 2445285, 2445756, 2446446, 2446594, 2447953,
2448255, 2449114, 2450362, 2450422, 2450625, 2451103, 2451327, 2452161, 2452821,
2455099, 2456043, 2456596, 2456797, 2457736, 2457889, 2457946, 2458117, 2458981,
2459355, 2460028, 2460655, 2462260, 2462562, 2462884, 2463597, 2464194, 2464281,
2464987, 2465011, 2465503, 2466979, 2467759, 2471002, 2471938, 2473069, 2473251,
2473389, 2474491, 2474997, 2475348, 2475552, 2476713, 2477349, 2477938, 2478112,
2478229, 2479036, 2479353, 2479390, 2479824, 2479992, 2480122, 2481487, 2482783,
2484247, 2489187, 2489329, 2490450, 2490483, 2490987, 2491021, 2492833, 2493013,
2493636, 2495173, 2495536, 2496417, 2496567, 2496753, 2497380, 2497975, 2498049,
2498575, 2499001, 2499390, 2499514, 2500386, 2502292, 2502904, 2503041, 2503333,
2503438, 2504133, 2504637, 2506015, 2507613, 2508628, 2508784, 2509845, 2509938,
2510719, 2511709, 2512413, 2512921, 2513200, 2513506, 2513667, 2513724, 2514058,
2514283, 2515245, 2517135, 2517741, 2518446, 2518810, 2519934, 2520081, 2520220,
2520246, 2522167, 2523553, 2523682, 2524084, 2524387, 2526003, 2527513, 2527968,
2528809, 2530663, 2531394, 2532790, 2532850, 2533422, 2533792, 2534380, 2534628,
2534761, 2534953, 2536117, 2536399, 2536542, 2536585, 2537812, 2538186, 2539996,
2543164, 2543325, 2544901, 2545881, 2546029, 2547634, 2547742, 2548122, 2548603,
2548963, 2549136, 2549314, 2549851, 2553153, 2553478, 2553933, 2555229, 2555857,
2556451, 2557755, 2557980, 2558544, 2558962, 2559933, 2560474, 2560524, 2560708,
2563479, 2564938, 2565895, 2567230, 2567274, 2567908, 2569663, 2569906, 2570095,
2570223, 2571159, 2571625, 2572578, 2573091, 2573833, 2575867, 2576017, 2576506,
2576599, 2577838, 2578308, 2579838, 2580505, 2580817, 2581827, 2582907, 2583840,
2584414, 2585055, 2586306, 2586568, 2586729, 2586784, 2587027, 2587246, 2589183,
2589298, 2593381, 2593818, 2594622, 2594665, 2594701, 2595870, 2596017, 2596186,
2596651, 2596771, 2597505, 2597674, 2598853, 2599069, 2599509, 2600298, 2600385,
2601177, 2602192, 2602882, 2603746, 2603751, 2604003, 2606578, 2606986, 2608774,
2609047, 2609059, 2609254, 2609362, 2610589, 2610720, 2613775, 2614600, 2614903,
2615664, 2617272, 2617636, 2619583, 2619948, 2620903, 2621178, 2622231, 2622429,
2624148, 2624428, 2625147, 2626645, 2628249, 2630019, 2630317, 2630835, 2631520,
2633122, 2635339, 2636548, 2637162, 2637262, 2638312, 2638323, 2639655, 2639889,
2639892, 2640820, 2641383, 2642284, 2642556, 2643120, 2643211, 2643343, 2643441,
2644327, 2645518, 2645668, 2647828, 2650753, 2651505, 2652489, 2654328, 2654640,
2654967, 2655472, 2655564, 2656510, 2658189, 2660919, 2662681, 2662923, 2663113,
2663572, 2665597, 2666617, 2666766, 2666806, 2670676, 2670901, 2671000, 2673624,
2676493, 2677332, 2677927, 2678242, 2678688, 2678694, 2680848, 2682403, 2682594,
2682967, 2683614, 2684313, 2688234, 2688463, 2688964, 2689813, 2690118, 2690415,
2691376, 2692162, 2693085, 2693104, 2694171, 2694423, 2697070, 2699670, 2700222,
2701408, 2701804, 2701893, 2704177, 2704941, 2706105, 2706222, 2706838, 2708716,
2708727, 2711445, 2711853, 2712390, 2714080, 2714551, 2715501, 2715987, 2716570,
2716572, 2716761, 2716876, 2717149, 2719059, 2720109, 2722704, 2723410, 2723904,
2724691, 2726563, 2727285, 2727603, 2727984, 2728149, 2728510, 2728855, 2730910,
2731695, 2733138, 2733304, 2733375, 2734467, 2735521, 2736037, 2737413, 2737677,
2738997, 2739996, 2740087, 2742570, 2743905, 2744044, 2744121, 2744290, 2746537,
2748907, 2751165, 2751366, 2751988, 2752153, 2753418, 2754783, 2754799, 2754916,
2754922, 2755033, 2755338, 2755650, 2755749, 2756131, 2759697, 2760480, 2762778,
2762856, 2763019, 2763960, 2764746, 2764945, 2766831, 2766997, 2767227, 2767497,
2767881, 2768199, 2768449, 2768550, 2769040, 2771218, 2772574, 2773129, 2773282,
2774374, 2774565, 2775453, 2776116, 2777793, 2778049, 2779369, 2780002, 2782252,
2782489, 2782936, 2783319, 2783574, 2783715, 2784399, 2784894, 2785741, 2785912,
2786607, 2786880, 2787517, 2788599, 2788843, 2789806, 2793207, 2793285, 2793376,
2793492, 2793871, 2794998, 2796525, 2797159, 2799675, 2799939, 2800017, 2800071,
2800416, 2800539, 2802733, 2803269, 2803536, 2803579, 2803903, 2804196, 2805288,
2806636, 2807254, 2807515, 2808220, 2808274, 2808610, 2809033, 2810374, 2811639,
2812474, 2812714, 2816263, 2819302, 2820336, 2820615, 2821420, 2821642, 2821782,
2823172, 2823361, 2824546, 2824687, 2829664, 2829988, 2831080, 2831167, 2832747,
2834983, 2835010, 2836543, 2837688, 2837886, 2837940, 2837955, 2839530, 2839978,
2840692, 2841396, 2841847, 2841948, 2842428, 2843194, 2843277, 2844739, 2846574,
2846784, 2847645, 2848191, 2848555, 2848581, 2850004, 2850706, 2850867, 2850975,
2851438, 2851906, 2853765, 2854255, 2854320, 2855059, 2855640, 2857873, 2857885,
2860417, 2861754, 2862118, 2862991, 2863900, 2865744, 2865880, 2866872, 2866909,
2866995, 2867554, 2868276, 2868510, 2869270, 2869437, 2870226, 2871877, 2873866,
2874054, 2874195, 2874559, 2874841, 2875504, 2876115, 2876167, 2876221, 2877798,
2877948, 2879109, 2879226, 2879241, 2879865, 2880753, 2882271, 2882749, 2882868,
2883790, 2883990, 2884371, 2884389, 2886402, 2886688, 2887099, 2888863, 2889388,
2889442, 2891166, 2891550, 2892696, 2892813, 2893086, 2894055, 2896633, 2897802,
2898228, 2898871, 2899519, 2900724, 2900776, 2901367, 2901634, 2901654, 2901844,
2901978, 2902435, 2902819, 2903149, 2903713, 2904123, 2904823, 2907594, 2908621,
2908914, 2912590, 2913477, 2913594, 2914852, 2915028, 2916616, 2920200, 2920321,
2920494, 2920590, 2920695, 2921842, 2921872, 2922070, 2922405, 2925199, 2925357,
2925574, 2925930, 2926282, 2926795, 2928031, 2928571, 2930509, 2931181, 2932357,
2932437, 2933367, 2933640, 2934706, 2934907, 2935860, 2937579, 2938779, 2939139,
2939295, 2939298, 2939877, 2941309, 2942320, 2942892, 2943120, 2943136, 2943546,
2943712, 2943970, 2945581, 2946367, 2947131, 2948145, 2948898, 2949289, 2950299,
2950449, 2951478, 2953816, 2953864, 2953989, 2954437, 2954602, 2955493, 2958753,
2958973, 2959134, 2960476, 2962569, 2962881, 2963746, 2963748, 2965452, 2966049,
2966413, 2967862, 2968077, 2968899, 2969920, 2971528, 2972250, 2972296, 2972341,
2975290, 2975844, 2976306, 2976736, 2976943, 2977038, 2977207, 2977647, 2978071,
2978455, 2979712, 2981454, 2983603, 2985514, 2986114, 2986935, 2987259, 2988354,
2989344, 2990779, 2991457, 2991496, 2992200, 2992398, 2992761, 2993544, 2995588,
2995836, 2996982, 2997103, 2997519, 2997678, 3000418, 3002280, 3004132, 3004377,
3004431, 3005070, 3006225, 3007480, 3007824, 3008058, 3008251, 3008793, 3009007,
3009013, 3013512, 3013689, 3014211, 3014266, 3015700, 3015927, 3015966, 3015988,
3016402, 3016540, 3016702, 3018606, 3018817, 3019518, 3020607, 3021712, 3023125,
3023808, 3024484, 3025186, 3027111, 3028179, 3028900, 3029281, 3029383, 3030730,
3030975, 3034308, 3034675, 3035109, 3036567, 3038143, 3038604, 3039090, 3039384,
3042021, 3042376, 3043204, 3044133, 3044289, 3046762, 3048489, 3048664, 3049615,
3051066, 3051420, 3051807, 3052245, 3053155, 3054670, 3054982, 3055362, 3056490,
3056530, 3056721, 3057147, 3059217, 3059289, 3059428, 3059724, 3059821, 3060195,
3060316, 3060829, 3061005, 3061384, 3061707, 3061999, 3062358, 3064038, 3064404,
3064530, 3065190, 3065395, 3065512, 3065652, 3066102, 3067696, 3069369, 3071080,
3071155, 3071472, 3071724, 3073017, 3073842, 3073890, 3074167, 3074904, 3075874,
3076449, 3076672, 3077106, 3077368, 3077964, 3079155, 3080826, 3081352, 3082009,
3082669, 3084069, 3084267, 3084589, 3085224, 3085518, 3087105, 3087837, 3090249,
3090529, 3092008, 3092649, 3092811, 3093336, 3094365, 3096510, 3096807, 3096816,
3096859, 3096873, 3097605, 3098974, 3099744, 3100122, 3100599, 3100830, 3102562,
3103251, 3104802, 3105231, 3106234, 3106770, 3107181, 3107935, 3110322, 3111759,
3114636, 3114723, 3115306, 3116166, 3117406, 3117786, 3119650, 3120178, 3121896,
3122556, 3123456, 3123804, 3124626, 3124761, 3124882, 3125659, 3126669, 3127561,
3127632, 3128562, 3133666, 3135648, 3135930, 3136567, 3137584, 3138049, 3138748,
3138964, 3139726, 3140230, 3141085, 3141477, 3142842, 3142881, 3143520, 3143973,
3144493