Riesel conjecture base 130 remain
Started: May 21, 2020
Last update: Jan. 10, 2022
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.
4115 k's remaining at n=25K:
254, 597, 918, 1178, 1773, 3075, 3116, 3480, 4211, 4979, 6927, 7032, 7415, 8541,
9431, 10266, 10872, 11013, 11048, 11235, 12071, 12819, 12840, 13820, 14912,
15590, 16958, 18699, 18783, 19401, 20043, 21090, 21690, 21851, 22184, 23034,
23928, 23972, 24336, 24588, 24992, 25206, 25953, 26201, 27987, 28247, 28359,
28911, 29195, 29621, 30584, 31046, 31826, 32103, 32358, 33884, 34889, 36884,
37598, 38910, 40139, 40698, 41847, 44108, 44606, 45453, 47979, 48981, 49601,
50381, 50436, 52061, 53090, 54233, 54497, 54762, 55854, 56270, 57044, 57248,
57576, 58427, 58472, 58556, 59448, 62099, 63534, 63828, 64131, 64892, 65993,
66341, 66369, 66980, 67001, 67575, 68127, 68352, 68511, 70746, 70872, 72038,
72566, 73518, 74204, 74250, 74628, 74705, 75069, 75455, 75615, 76266, 77309,
78894, 79731, 79913, 81327, 83150, 83184, 83484, 84494, 84758, 85629, 85691,
86888, 88685, 89079, 89678, 90609, 90710, 91158, 91175, 92138, 92556, 92712,
93255, 93461, 93971, 94319, 96677, 96849, 97283, 98121, 99453, 99584, 99843,
100083, 100871, 101124, 101964, 102239, 103329, 103371, 104637, 104682, 106170,
106418, 107052, 109559, 110091, 110552, 110741, 111626, 111813, 111831, 112197,
113669, 114900, 115383, 115872, 116327, 116670, 117140, 117768, 117828, 120653,
121151, 122621, 123162, 123534, 124436, 125199, 127593, 127653, 128153, 129165,
129300, 130005, 131177, 131252, 131345, 131675, 132059, 132171, 132323, 132686,
132777, 133170, 133359, 133505, 133820, 135249, 135774, 136068, 136364, 137811,
138042, 138392, 138483, 138597, 139383, 141782, 141920, 143007, 144887, 145380,
145935, 146981, 147666, 148031, 148332, 148863, 148929, 149123, 149550, 149858,
150012, 150873, 151064, 152618, 152639, 152700, 153041, 153795, 154305, 155760,
157196, 157749, 158043, 158274, 158657, 159030, 159035, 159161, 160212, 161732,
161786, 161813, 162570, 162999, 163179, 163823, 164880, 165192, 166107, 166203,
166464, 167547, 168921, 170769, 171495, 173037, 173486, 174617, 175883, 176327,
176394, 177635, 178740, 180357, 180812, 180860, 182198, 182435, 182613, 183983,
184629, 185495, 185759, 185760, 185921, 186068, 186342, 186993, 188031, 189435,
190124, 190604, 190866, 191922, 191955, 192417, 193617, 195122, 195584, 195815,
197759, 197913, 198738, 199109, 199566, 200258, 201380, 201408, 202472, 202850,
205122, 205538, 206600, 207167, 207237, 207372, 208815, 209267, 209339, 210093,
210645, 211040, 213161, 213398, 214091, 214215, 214577, 215034, 215414, 215471,
215759, 215825, 216675, 217134, 217592, 218058, 218486, 219564, 220791, 220917,
221769, 221841, 221999, 222177, 222933, 222963, 223220, 223250, 223416, 224795,
225845, 225878, 226893, 227417, 227439, 227529, 227669, 227789, 227810, 227852,
228579, 228638, 228662, 229784, 230616, 233229, 233346, 233834, 234474, 234525,
234572, 235146, 235379, 237504, 238440, 239289, 240186, 241886, 241956, 242166,
242729, 242873, 243597, 243630, 243860, 245540, 245681, 246017, 247157, 247692,
249300, 249327, 250020, 251682, 251843, 252060, 252872, 253388, 253394, 253919,
255714, 257016, 258069, 258855, 259961, 260250, 260516, 261150, 263061, 263178,
263496, 263498, 263708, 264581, 265007, 265736, 266043, 266193, 266738, 267534,
268508, 268832, 268914, 270263, 270314, 270869, 271287, 272087, 272217, 272619,
272805, 273023, 273131, 273590, 274184, 274290, 274458, 275858, 276540, 277425,
277457, 278112, 278888, 279570, 280611, 280865, 281045, 281660, 282104, 282473,
282998, 283221, 283896, 284271, 284733, 285989, 286496, 286773, 287534, 288369,
288380, 289902, 290166, 290327, 290688, 290889, 291405, 292131, 292769, 294227,
294618, 294849, 295199, 295404, 295500, 295835, 295992, 296076, 296508, 297564,
297845, 298211, 299342, 300120, 300567, 300644, 300792, 301107, 301170, 301337,
301401, 302087, 303440, 304047, 304445, 306014, 307200, 308172, 308504, 308814,
309131, 310139, 310340, 310788, 310997, 312233, 313877, 314402, 314532, 314798,
315393, 315869, 316233, 316878, 317531, 318096, 318198, 318593, 318609, 319047,
320322, 321407, 321605, 322116, 322128, 322194, 323492, 323633, 324018, 324879,
325274, 326127, 326594, 326834, 327051, 327239, 328911, 329057, 329277, 330306,
330485, 330738, 331158, 331871, 332208, 332259, 332511, 332516, 334314, 334706,
336014, 336095, 336099, 336270, 336671, 337262, 337457, 337682, 338577, 339420,
339551, 339693, 339810, 340383, 340799, 342119, 342695, 342707, 343350, 343481,
343590, 344922, 345983, 346889, 347139, 348756, 348881, 349245, 350219, 350295,
352223, 353046, 354146, 354194, 354446, 354636, 355268, 355646, 356247, 356319,
357548, 357743, 359853, 360999, 361430, 361460, 363192, 364310, 366228, 366668,
368502, 368978, 369812, 370302, 371660, 371823, 372432, 372563, 372653, 373382,
373389, 374399, 374661, 375447, 375629, 375783, 376434, 376457, 376553, 376755,
377414, 378219, 378599, 379751, 380076, 380648, 380661, 380685, 384746, 386523,
387069, 387630, 387935, 388056, 388851, 389169, 389340, 389478, 390977, 391770,
393132, 393353, 393849, 394109, 394223, 394865, 395154, 395445, 396608, 397667,
397809, 399515, 401171, 401517, 402695, 403491, 403908, 404369, 404762, 405876,
406646, 407108, 407673, 407808, 408920, 410481, 411282, 411356, 411371, 411734,
411863, 412668, 412820, 413198, 414527, 416028, 416579, 416739, 417234, 419070,
419094, 419592, 420765, 420800, 421037, 421166, 421295, 421997, 422412, 422580,
424491, 425903, 426171, 426365, 426504, 426570, 426633, 427346, 427452, 427527,
428024, 428096, 428663, 428762, 428943, 428976, 430565, 431279, 431643, 431874,
432413, 432518, 432692, 432821, 434274, 435411, 435600, 436319, 437187, 438849,
439571, 439916, 440175, 441032, 441642, 441995, 442248, 444018, 444558, 445461,
446102, 446580, 446730, 446744, 447495, 448830, 449166, 449703, 449724, 449898,
452160, 452475, 452568, 452604, 452862, 453245, 453272, 454920, 455004, 455646,
456047, 456971, 457218, 457451, 457550, 457935, 458571, 458892, 460128, 460329,
460938, 462267, 462300, 462807, 462855, 463199, 464157, 464321, 464447, 464787,
464829, 465180, 465336, 465966, 467276, 469065, 469869, 470643, 471090, 472007,
473826, 474321, 475043, 475479, 475535, 475743, 477033, 477494, 478496, 478655,
480309, 482210, 483926, 484124, 484308, 484815, 485094, 485144, 485412, 488856,
489483, 489624, 491072, 491387, 491654, 492237, 492941, 493298, 493502, 494036,
494090, 494397, 495875, 495944, 496491, 497418, 498696, 499229, 499242, 499251,
503598, 504030, 504351, 504480, 505283, 505397, 506405, 507215, 508715, 509589,
509982, 510038, 511743, 512957, 512997, 513018, 513923, 514166, 514812, 515118,
515216, 516534, 517056, 517203, 518660, 519807, 520034, 520529, 520644, 520857,
521327, 521550, 523917, 524645, 524927, 525134, 526040, 526695, 526716, 526856,
526881, 527160, 527417, 527669, 527949, 528753, 531029, 531206, 532907, 533394,
533514, 533955, 534186, 534626, 534914, 535004, 535593, 535922, 535991, 536628,
537653, 538154, 538497, 538542, 539457, 540516, 541031, 541293, 541760, 541979,
542963, 543398, 544056, 544986, 545136, 545616, 546533, 547446, 547845, 548319,
549257, 550127, 550680, 551247, 551468, 552066, 552171, 552918, 555185, 556277,
556581, 556910, 557033, 557901, 557930, 558105, 559637, 559869, 559917, 561203,
563204, 563348, 563432, 563481, 563882, 565395, 567009, 567755, 568628, 569174,
570375, 570425, 570768, 573687, 573815, 574436, 574827, 575241, 575754, 575933,
576906, 578337, 579021, 579674, 579720, 580631, 581772, 582224, 582605, 582950,
583473, 583476, 583643, 584175, 584259, 585425, 585567, 586364, 586613, 586881,
587015, 587196, 587238, 588443, 590594, 590811, 591669, 592209, 592916, 594477,
595163, 595868, 597258, 599204, 599850, 600525, 601010, 602442, 602541, 602697,
602925, 602988, 603138, 603254, 603584, 603681, 604695, 604748, 605361, 605553,
606629, 606705, 607868, 607979, 608066, 608238, 609893, 609935, 610712, 610899,
611319, 612462, 612819, 613281, 613698, 614915, 615470, 615531, 615623, 615701,
616239, 616361, 616526, 617544, 617928, 618333, 619236, 619634, 619865, 620435,
620603, 622878, 622913, 623690, 624180, 624726, 624992, 625584, 626817, 627279,
627491, 628013, 629120, 629148, 629337, 629574, 630855, 631290, 631458, 631898,
632430, 634041, 634565, 636150, 637052, 637079, 637185, 637379, 638366, 638730,
638888, 641246, 641705, 642426, 642482, 642828, 643224, 643253, 644169, 644354,
645737, 645849, 646662, 647927, 648390, 648449, 649709, 650283, 650871, 651030,
651200, 651986, 652019, 652590, 652845, 652892, 653018, 653466, 654215, 654291,
655160, 655490, 656100, 657008, 659219, 660312, 660668, 662204, 662691, 664574,
664920, 664955, 666681, 666972, 667461, 667844, 668481, 669377, 670245, 671114,
671399, 671820, 673005, 673908, 674840, 675830, 675845, 676421, 676643, 676827,
677138, 677468, 678077, 680220, 681332, 681374, 682229, 682253, 683390, 683952,
684738, 684765, 685385, 685655, 685659, 686046, 687803, 688167, 690090, 690551,
690657, 691040, 691419, 693221, 694824, 695216, 695556, 696266, 696396, 696788,
697568, 698261, 698394, 698765, 698951, 702926, 703602, 705126, 706155, 706482,
707375, 707568, 708213, 708318, 708878, 709956, 710763, 710990, 711176, 711971,
712100, 712664, 714435, 715775, 715971, 716060, 716312, 716319, 717273, 718358,
719058, 719310, 719987, 720230, 720372, 720854, 721778, 721841, 721940, 722016,
722712, 722859, 722870, 722991, 724397, 725084, 725729, 726896, 727451, 729117,
729282, 729311, 729327, 730169, 730200, 730845, 730865, 731252, 731264, 731607,
732264, 732965, 733077, 733404, 733880, 734085, 734750, 735282, 736352, 737886,
739139, 739677, 740930, 741066, 741546, 743777, 744474, 744605, 744716, 745368,
745551, 745991, 746175, 746250, 746964, 747123, 749400, 750080, 750893, 751290,
751679, 751871, 752040, 752594, 752984, 753026, 753642, 754779, 754968, 755000,
755456, 755529, 756123, 757278, 757821, 759770, 759908, 760587, 760673, 760908,
761982, 762273, 763731, 764747, 764780, 765516, 767244, 767468, 767523, 767559,
768714, 769808, 770543, 770984, 771615, 771948, 772391, 772490, 772608, 773672,
774635, 774981, 775140, 775707, 775956, 776700, 776939, 778010, 778959, 779430,
779501, 779571, 780564, 781362, 783323, 783330, 784127, 784170, 784184, 786072,
787746, 787901, 788918, 789276, 789632, 789693, 791327, 791772, 792080, 792156,
792936, 792944, 793409, 794645, 797241, 797637, 797660, 798018, 798249, 798977,
799682, 800787, 801420, 802217, 802374, 802937, 803031, 804339, 804692, 805256,
805905, 806537, 807585, 807711, 807948, 808227, 808754, 810986, 811484, 811902,
811911, 811935, 812592, 812732, 812883, 814488, 814493, 814907, 816596, 818078,
819144, 820887, 821144, 821858, 822158, 822383, 822812, 823596, 823989, 824987,
825437, 825518, 825563, 825977, 826148, 826197, 827085, 827390, 827885, 828326,
828573, 828917, 829280, 829383, 829644, 830670, 830934, 833030, 833382, 833838,
835124, 835290, 835388, 835748, 836249, 837092, 837351, 837384, 837677, 837764,
837873, 838076, 838121, 838443, 838728, 838874, 839631, 840102, 841031, 841199,
841283, 842699, 842724, 842909, 844089, 844187, 845282, 846549, 847148, 847379,
848355, 848478, 849234, 849437, 850439, 851106, 852098, 852614, 853028, 853988,
854585, 854643, 856640, 859758, 860393, 860435, 860766, 861366, 861543, 864341,
864900, 865131, 865524, 865712, 866331, 867293, 868176, 868457, 868835, 869240,
869607, 870489, 872210, 872495, 874938, 875708, 876026, 876290, 876324, 876782,
877580, 878487, 878700, 879797, 880188, 880385, 880742, 880980, 881486, 881703,
882555, 882854, 882941, 884585, 884741, 884885, 885119, 885189, 886314, 887133,
887655, 888042, 888486, 889092, 889949, 890136, 891782, 892592, 895085, 895379,
895515, 895988, 896277, 896331, 896702, 896855, 897227, 898055, 898437, 898755,
898923, 898965, 899012, 899063, 899154, 900804, 901637, 903065, 903233, 903368,
903377, 904395, 904709, 904968, 905480, 906126, 906567, 908114, 908399, 910464,
910883, 910902, 911142, 911565, 912081, 912347, 912554, 912752, 912972, 913014,
913593, 913901, 914561, 914633, 914772, 915560, 915749, 915797, 916215, 918440,
918857, 919326, 920364, 920798, 920802, 921237, 921453, 921695, 921972, 922923,
924450, 924786, 925220, 926109, 927798, 928265, 928398, 929979, 930101, 930161,
930462, 931263, 931935, 932073, 933638, 934553, 935454, 935586, 936044, 936065,
936776, 937379, 938939, 939140, 939632, 941103, 941166, 941333, 941403, 941607,
942096, 942309, 942449, 942806, 944330, 944630, 944784, 945627, 945933, 946047,
946166, 946187, 947094, 947277, 947391, 948761, 949455, 949743, 950687, 951716,
954566, 954627, 954737, 955025, 955112, 955817, 956316, 958395, 959150, 959351,
959445, 961017, 962798, 963506, 963890, 964028, 964161, 964292, 964350, 965358,
965490, 965990, 967275, 967653, 969455, 970314, 970526, 970635, 970709, 970776,
971933, 972986, 973344, 974117, 974913, 975296, 975503, 977222, 977652, 978245,
980862, 982248, 982499, 982710, 983873, 983964, 984255, 985329, 986036, 986331,
986544, 986714, 987086, 987114, 987872, 987984, 988089, 988436, 988467, 988527,
992007, 992412, 992930, 992964, 993372, 993896, 994832, 995043, 995339, 995901,
996029, 996396, 996645, 996780, 997145, 998088, 998145, 999443, 999623, 1000055,
1000323, 1000409, 1001309, 1001919, 1002404, 1004270, 1004586, 1004642, 1004984,
1005164, 1005293, 1005524, 1006097, 1007213, 1008375, 1010402, 1010619, 1010843,
1012331, 1013069, 1013294, 1013751, 1013784, 1014294, 1014563, 1016108, 1016423,
1016661, 1016801, 1018070, 1018488, 1018851, 1019988, 1020210, 1020266, 1020360,
1020539, 1020861, 1021637, 1022592, 1023059, 1023254, 1024874, 1024934, 1024977,
1026356, 1026386, 1026533, 1026677, 1027020, 1027118, 1027676, 1029165, 1029516,
1030313, 1031231, 1031480, 1032357, 1033565, 1033937, 1034049, 1034637, 1034841,
1035507, 1037388, 1037408, 1037411, 1037843, 1038921, 1039355, 1039571, 1041888,
1043268, 1044129, 1044303, 1044800, 1044857, 1046123, 1047396, 1047491, 1047495,
1047803, 1047929, 1048842, 1049573, 1050036, 1050135, 1051143, 1051670, 1051884,
1052060, 1053350, 1053452, 1053567, 1053726, 1054986, 1055337, 1057067, 1057545,
1057779, 1057974, 1058282, 1058303, 1058583, 1058733, 1058775, 1060845, 1062147,
1062540, 1062917, 1063646, 1063701, 1063904, 1064562, 1064886, 1065290, 1066178,
1069028, 1069044, 1069221, 1070057, 1070759, 1070766, 1071645, 1072422, 1072779,
1074000, 1074567, 1074578, 1076877, 1077260, 1078212, 1078988, 1079528, 1079754,
1080062, 1082216, 1082390, 1082435, 1082607, 1082747, 1083371, 1084220, 1085583,
1086122, 1088355, 1089428, 1089657, 1090587, 1092239, 1093194, 1093283, 1093982,
1094637, 1095683, 1095711, 1096031, 1096817, 1096820, 1096838, 1096898, 1097648,
1098453, 1098738, 1099305, 1101447, 1101983, 1103222, 1104401, 1105115, 1105442,
1105764, 1107143, 1107773, 1108307, 1109042, 1109280, 1109364, 1109445, 1109609,
1111022, 1111034, 1111085, 1111650, 1111940, 1112399, 1112451, 1112486, 1113786,
1114017, 1114655, 1115195, 1116326, 1116921, 1117110, 1117635, 1119435, 1119438,
1119470, 1120142, 1120344, 1120410, 1120620, 1120704, 1121481, 1122815, 1123082,
1123131, 1124111, 1124582, 1125051, 1125692, 1125884, 1126787, 1127564, 1127960,
1129200, 1129364, 1129452, 1130007, 1130259, 1130813, 1130922, 1131377, 1131551,
1133297, 1133792, 1134305, 1134590, 1134725, 1134840, 1135335, 1137819, 1137959,
1139072, 1139111, 1139189, 1139282, 1139966, 1140267, 1140749, 1140993, 1141208,
1143290, 1143369, 1143888, 1143893, 1145325, 1148274, 1148673, 1149107, 1149672,
1149786, 1149908, 1150619, 1150703, 1151067, 1151747, 1152327, 1152741, 1154477,
1154906, 1157424, 1159085, 1160135, 1160196, 1160699, 1160912, 1161351, 1161477,
1162877, 1162940, 1163243, 1163936, 1163985, 1164080, 1164531, 1165448, 1166556,
1167035, 1167342, 1167497, 1168127, 1168892, 1169534, 1171391, 1172384, 1173027,
1173642, 1173671, 1175736, 1176263, 1176480, 1176641, 1176662, 1176905, 1177346,
1178073, 1178210, 1178808, 1179182, 1179236, 1180715, 1181490, 1182014, 1182159,
1182785, 1182798, 1183464, 1183989, 1184142, 1184261, 1186179, 1186274, 1186364,
1187496, 1187888, 1187915, 1188093, 1189365, 1190267, 1190561, 1190583, 1190660,
1191360, 1192130, 1192335, 1192571, 1193147, 1193540, 1193768, 1193910, 1194983,
1195544, 1196162, 1196171, 1196948, 1197926, 1198518, 1198745, 1199291, 1200221,
1201173, 1201806, 1202180, 1202714, 1202972, 1203365, 1203414, 1203416, 1203822,
1204340, 1205276, 1206587, 1207035, 1208166, 1209881, 1210311, 1210710, 1211361,
1213370, 1213452, 1213500, 1213694, 1213767, 1213847, 1213853, 1214502, 1215468,
1216317, 1217120, 1217309, 1218299, 1218666, 1219296, 1220010, 1220550, 1221312,
1222355, 1222460, 1223049, 1224084, 1224720, 1224864, 1227984, 1229594, 1229727,
1230420, 1231014, 1231277, 1232318, 1232471, 1232771, 1233527, 1233677, 1234389,
1235313, 1236603, 1238735, 1239128, 1239197, 1239452, 1240061, 1242534, 1243943,
1244007, 1246961, 1247570, 1248431, 1248432, 1250088, 1250286, 1250534, 1251441,
1251854, 1251966, 1252185, 1252364, 1252490, 1253310, 1253366, 1254276, 1254626,
1254758, 1255445, 1256369, 1257468, 1259435, 1259697, 1260050, 1260219, 1261761,
1262024, 1263068, 1263494, 1263887, 1264859, 1265364, 1265490, 1266444, 1266834,
1266882, 1267106, 1267424, 1269101, 1269216, 1269578, 1269734, 1270907, 1270908,
1271715, 1272297, 1272396, 1272404, 1272776, 1272923, 1273976, 1274043, 1274094,
1274612, 1275191, 1275572, 1276332, 1276991, 1277642, 1278297, 1278299, 1279877,
1280211, 1281050, 1281554, 1281842, 1282358, 1283543, 1285370, 1285502, 1286247,
1286279, 1286807, 1287311, 1287617, 1288386, 1288646, 1289423, 1290804, 1290816,
1291217, 1292045, 1292229, 1293594, 1293938, 1294008, 1294175, 1294395, 1296605,
1297188, 1297286, 1298471, 1298949, 1302008, 1302156, 1303184, 1303206, 1303580,
1303842, 1304795, 1304900, 1305126, 1306047, 1306097, 1306251, 1306887, 1307357,
1307462, 1307783, 1308689, 1309800, 1310115, 1312595, 1312635, 1313468, 1313799,
1315176, 1315407, 1316156, 1317530, 1317947, 1318776, 1318818, 1318949, 1319438,
1319564, 1320041, 1320302, 1320348, 1320390, 1320566, 1321527, 1323323, 1323492,
1325531, 1325559, 1325564, 1325934, 1327551, 1328609, 1329351, 1329813, 1329981,
1330092, 1330173, 1330961, 1332704, 1332963, 1334216, 1334481, 1334631, 1334925,
1335665, 1335888, 1336854, 1336934, 1337669, 1337904, 1338033, 1338248, 1339083,
1339691, 1339794, 1340882, 1341158, 1341617, 1343514, 1343567, 1343736, 1344254,
1344359, 1344779, 1344810, 1344921, 1344942, 1345047, 1346045, 1346129, 1347560,
1347600, 1350024, 1350066, 1350108, 1350911, 1351632, 1352712, 1353357, 1354278,
1355585, 1356107, 1356113, 1356122, 1356324, 1358601, 1359429, 1360727, 1362663,
1362909, 1362971, 1363035, 1363329, 1364102, 1364313, 1364505, 1365303, 1365674,
1368291, 1369398, 1369866, 1370097, 1370240, 1371045, 1371672, 1371918, 1371995,
1372212, 1372224, 1372431, 1373255, 1373264, 1374935, 1376678, 1376811, 1377231,
1378451, 1378763, 1379492, 1379691, 1380878, 1381263, 1381571, 1381971, 1382978,
1384058, 1386779, 1388465, 1388577, 1389488, 1390124, 1390695, 1390697, 1391471,
1391874, 1392759, 1394529, 1394598, 1396983, 1397097, 1397358, 1397516, 1397720,
1397727, 1398818, 1399269, 1399341, 1399721, 1400099, 1400520, 1401306, 1401983,
1402223, 1402811, 1403271, 1404057, 1404173, 1404257, 1404852, 1404915, 1405238,
1405776, 1406112, 1406589, 1406651, 1407828, 1407858, 1409648, 1410105, 1410347,
1410476, 1410623, 1411002, 1411085, 1411524, 1412091, 1413126, 1414436, 1414662,
1414884, 1415373, 1415957, 1416297, 1416897, 1416921, 1417868, 1417914, 1417949,
1418064, 1418103, 1418481, 1418631, 1418993, 1419020, 1419168, 1419954, 1420427,
1420736, 1423119, 1423185, 1423913, 1424886, 1425540, 1425720, 1426401, 1427115,
1427204, 1427864, 1428554, 1429950, 1430124, 1430937, 1431698, 1433007, 1433532,
1433940, 1433975, 1434357, 1434566, 1434687, 1435295, 1435305, 1436807, 1437228,
1437290, 1437563, 1438248, 1438487, 1438616, 1438935, 1441001, 1441148, 1441476,
1441526, 1442291, 1442442, 1442555, 1442835, 1443080, 1443303, 1443633, 1443731,
1443800, 1444274, 1445030, 1446362, 1447275, 1448295, 1448595, 1449177, 1449627,
1450514, 1450826, 1451088, 1451307, 1451627, 1453577, 1456064, 1456932, 1458879,
1459131, 1459448, 1459973, 1460013, 1460288, 1460460, 1460559, 1462133, 1463001,
1463795, 1463837, 1464186, 1464972, 1465572, 1465892, 1468944, 1469409, 1470221,
1470641, 1470998, 1472439, 1474250, 1475079, 1475594, 1476071, 1476752, 1479347,
1479479, 1480170, 1481789, 1482405, 1482611, 1483238, 1483320, 1485801, 1486196,
1486907, 1487375, 1487726, 1488030, 1488458, 1489104, 1489338, 1489559, 1489569,
1490091, 1490988, 1491564, 1492481, 1493178, 1493487, 1493534, 1495404, 1496672,
1497059, 1498074, 1498611, 1498989, 1500213, 1500735, 1501145, 1501355, 1501392,
1502456, 1502757, 1502792, 1503734, 1504089, 1504274, 1504332, 1504581, 1504694,
1504796, 1505237, 1505387, 1505582, 1506002, 1506206, 1506717, 1507746, 1507940,
1508202, 1509372, 1509489, 1509918, 1510298, 1510919, 1512515, 1514111, 1514307,
1515308, 1515467, 1515495, 1516437, 1516719, 1516824, 1516979, 1516986, 1517294,
1517765, 1518423, 1519065, 1519827, 1520555, 1521158, 1522214, 1522854, 1522938,
1524399, 1524947, 1525007, 1525442, 1526765, 1527065, 1527066, 1527173, 1528158,
1528584, 1528902, 1529781, 1529819, 1530006, 1530020, 1530131, 1530603, 1531037,
1531184, 1531896, 1532046, 1532154, 1532190, 1533354, 1533470, 1534425, 1534514,
1535543, 1535967, 1536417, 1537155, 1537316, 1538370, 1538777, 1539890, 1540407,
1540757, 1540823, 1541532, 1542528, 1542654, 1543158, 1543179, 1543403, 1543427,
1543703, 1544208, 1545828, 1545867, 1546715, 1548135, 1548492, 1548681, 1549011,
1549508, 1549668, 1550384, 1550670, 1551729, 1552268, 1553066, 1553295, 1553976,
1555215, 1555493, 1555922, 1556412, 1556543, 1557341, 1557620, 1558712, 1559622,
1559790, 1561562, 1561781, 1561998, 1562609, 1564172, 1564665, 1565006, 1565040,
1566338, 1567283, 1567976, 1569164, 1569786, 1570097, 1570451, 1570560, 1571133,
1571613, 1571868, 1572785, 1573721, 1575380, 1575536, 1576584, 1577703, 1578119,
1578228, 1578635, 1578680, 1580778, 1580847, 1581315, 1582043, 1582065, 1582169,
1583348, 1584563, 1584839, 1585235, 1586018, 1587602, 1587701, 1587986, 1588311,
1588689, 1589319, 1590240, 1590374, 1591038, 1591314, 1591566, 1591577, 1591944,
1592961, 1594793, 1595820, 1595840, 1597808, 1598723, 1599378, 1599735, 1600152,
1600164, 1601331, 1602021, 1603970, 1604751, 1604927, 1605069, 1605206, 1605276,
1605321, 1605566, 1606074, 1606104, 1606487, 1606518, 1606698, 1606700, 1607271,
1608006, 1608126, 1608270, 1609659, 1611800, 1611912, 1612181, 1612766, 1612902,
1613004, 1613049, 1613264, 1613921, 1614686, 1614740, 1616015, 1617389, 1618542,
1618635, 1618863, 1620165, 1621388, 1622160, 1622174, 1624767, 1625030, 1625684,
1626116, 1626626, 1627011, 1627412, 1627530, 1627674, 1628267, 1628853, 1628951,
1629216, 1629527, 1630304, 1631148, 1631487, 1632585, 1632654, 1632744, 1632933,
1635804, 1635993, 1636844, 1637136, 1638221, 1638576, 1639451, 1639859, 1641165,
1641327, 1641333, 1641858, 1642832, 1643373, 1643394, 1643763, 1644113, 1644567,
1644689, 1644714, 1646247, 1646409, 1646931, 1647647, 1648992, 1651518, 1655184,
1655252, 1655403, 1655714, 1655934, 1656101, 1656608, 1658154, 1658553, 1659179,
1659863, 1659870, 1659900, 1660257, 1660295, 1660688, 1660719, 1660929, 1661102,
1661475, 1662644, 1662719, 1662831, 1663734, 1663890, 1663950, 1663995, 1664616,
1665273, 1665449, 1666974, 1666977, 1667198, 1667780, 1668417, 1669655, 1670630,
1670810, 1671035, 1671422, 1671888, 1673799, 1674443, 1674836, 1675074, 1675125,
1675139, 1676040, 1676774, 1677440, 1677729, 1678706, 1681412, 1682172, 1682321,
1683950, 1685259, 1686029, 1686231, 1686626, 1686987, 1687017, 1687410, 1688460,
1688591, 1688817, 1689158, 1689867, 1690931, 1691453, 1692651, 1693253, 1693344,
1694562, 1694939, 1695593, 1696160, 1697063, 1697237, 1697312, 1697865, 1698027,
1698236, 1698414, 1698677, 1700165, 1700882, 1703321, 1703433, 1703696, 1704833,
1705095, 1705223, 1705883, 1706247, 1708037, 1708503, 1709156, 1709849, 1710822,
1711361, 1711907, 1711950, 1713464, 1715730, 1715814, 1716230, 1716458, 1717095,
1717130, 1718124, 1719680, 1720125, 1721168, 1721834, 1721883, 1722125, 1722582,
1725621, 1725740, 1725924, 1726055, 1726581, 1726734, 1727889, 1729092, 1729757,
1731690, 1732775, 1733216, 1734321, 1734441, 1734821, 1734833, 1734945, 1735211,
1735220, 1738785, 1738928, 1739357, 1739621, 1739943, 1740491, 1740729, 1742393,
1743347, 1743458, 1744383, 1744530, 1745729, 1745802, 1745804, 1746084, 1746362,
1748184, 1749476, 1749948, 1750421, 1750695, 1750989, 1752129, 1752648, 1752815,
1754873, 1755870, 1757508, 1759689, 1759853, 1760117, 1760271, 1761165, 1761572,
1761951, 1762335, 1764030, 1764548, 1764576, 1766153, 1766403, 1767074, 1767189,
1767329, 1768761, 1769216, 1769630, 1770731, 1771331, 1771697, 1772226, 1772747,
1775834, 1776443, 1776699, 1776896, 1777946, 1778085, 1779002, 1779233, 1781075,
1783247, 1783769, 1785267, 1786233, 1786446, 1786709, 1786992, 1787669, 1788147,
1788641, 1788935, 1789592, 1789659, 1789719, 1790244, 1790772, 1791287, 1792400,
1792410, 1792998, 1793522, 1794158, 1794192, 1794963, 1795088, 1795313, 1795329,
1795991, 1796853, 1797392, 1798127, 1799774, 1800072, 1800206, 1800723, 1802222,
1802571, 1802936, 1803476, 1804377, 1804401, 1804524, 1805043, 1805318, 1805985,
1806884, 1807206, 1807277, 1807799, 1807983, 1809633, 1810631, 1812042, 1812077,
1812309, 1812507, 1814094, 1814789, 1815188, 1816131, 1817663, 1817942, 1819325,
1819595, 1819722, 1819911, 1820639, 1821318, 1821444, 1822473, 1823276, 1823781,
1824356, 1824438, 1824741, 1825355, 1825374, 1825562, 1825637, 1826373, 1827228,
1827513, 1827711, 1827842, 1827995, 1828215, 1828289, 1828499, 1829160, 1830119,
1830123, 1830231, 1830333, 1830557, 1830675, 1830866, 1831239, 1831641, 1832427,
1832525, 1832814, 1834172, 1835493, 1835516, 1835814, 1836458, 1836620, 1838768,
1838813, 1839602, 1840976, 1841900, 1842150, 1844088, 1844186, 1844445, 1844481,
1844802, 1845188, 1845527, 1846304, 1846839, 1847084, 1847588, 1848260, 1848555,
1849046, 1849457, 1849488, 1850234, 1851029, 1852034, 1852923, 1853196, 1853954,
1854084, 1854407, 1854539, 1854828, 1855646, 1855745, 1855914, 1856138, 1856975,
1857179, 1857710, 1858236, 1858889, 1859379, 1860035, 1860461, 1861952, 1862690,
1864998, 1865753, 1865834, 1866911, 1869762, 1871325, 1872215, 1872249, 1872963,
1874216, 1875003, 1875162, 1876050, 1876662, 1877334, 1878650, 1880370, 1881023,
1881182, 1881315, 1882035, 1882071, 1882202, 1882274, 1884444, 1884465, 1884996,
1886592, 1886780, 1888721, 1888748, 1888793, 1890221, 1890942, 1891187, 1891508,
1893908, 1894392, 1894838, 1895282, 1895831, 1896147, 1897058, 1898187, 1899984,
1900277, 1900809, 1901384, 1901937, 1902252, 1904739, 1905317, 1905341, 1905429,
1906650, 1906811, 1906968, 1907361, 1907387, 1909506, 1910451, 1910505, 1910913,
1911422, 1912992, 1913139, 1913346, 1913387, 1914368, 1914467, 1914959, 1915148,
1915692, 1915712, 1917444, 1917497, 1917839, 1918359, 1918967, 1919859, 1920962,
1921362, 1921571, 1922253, 1923212, 1923996, 1925001, 1925478, 1926356, 1926413,
1928256, 1929818, 1931945, 1933352, 1933413, 1933523, 1936047, 1937247, 1937450,
1937835, 1939323, 1939578, 1939925, 1940234, 1940408, 1940535, 1940895, 1941438,
1941956, 1942301, 1943253, 1943384, 1943547, 1943910, 1944170, 1944296, 1944441,
1945623, 1948437, 1948626, 1950272, 1950579, 1950953, 1951506, 1951637, 1953009,
1953030, 1953473, 1954257, 1955046, 1955090, 1956707, 1957727, 1957796, 1958058,
1958189, 1958357, 1958457, 1958553, 1958987, 1959876, 1960277, 1960317, 1960938,
1960946, 1961051, 1961147, 1961318, 1961469, 1961969, 1963298, 1963515, 1964477,
1965384, 1966169, 1966539, 1966995, 1967057, 1967276, 1967571, 1967750, 1968227,
1968698, 1969551, 1969584, 1971447, 1971942, 1971944, 1972349, 1972371, 1973336,
1975283, 1975499, 1975779, 1975887, 1976034, 1976466, 1977315, 1978361, 1979154,
1979520, 1979723, 1980192, 1980378, 1980588, 1980708, 1981065, 1981344, 1982066,
1982325, 1983027, 1983437, 1983732, 1986092, 1987652, 1988270, 1988295, 1988351,
1988627, 1988655, 1989054, 1990748, 1991135, 1991186, 1991949, 1992509, 1993035,
1994294, 1994694, 1995558, 1995786, 1996499, 1999181, 2000111, 2002328, 2002598,
2004003, 2004692, 2004734, 2005887, 2006097, 2006159, 2006492, 2006636, 2006657,
2006904, 2008136, 2008659, 2010255, 2010458, 2011062, 2011403, 2012030, 2012060,
2012187, 2012294, 2013650, 2014013, 2014257, 2014448, 2014587, 2014940, 2017103,
2017530, 2017623, 2019117, 2020302, 2020407, 2021198, 2021324, 2021567, 2021996,
2022029, 2022255, 2022402, 2022794, 2022890, 2023421, 2024016, 2024247, 2026812,
2027439, 2027463, 2028398, 2028882, 2029007, 2029703, 2030108, 2030351, 2030555,
2030856, 2031023, 2032427, 2032464, 2034026, 2034693, 2034953, 2035874, 2036787,
2036918, 2037381, 2037435, 2037444, 2037462, 2037968, 2038436, 2038488, 2039184,
2039283, 2039933, 2040240, 2040782, 2040789, 2041139, 2041323, 2041470, 2041736,
2042118, 2042573, 2042739, 2044344, 2045594, 2045789, 2045828, 2047277, 2047922,
2048124, 2048579, 2052509, 2052887, 2053031, 2053088, 2055258, 2055671, 2058674,
2058995, 2059863, 2060255, 2061546, 2061711, 2062041, 2062838, 2062866, 2062932,
2064428, 2064561, 2064792, 2065121, 2065260, 2065493, 2067092, 2067111, 2067717,
2068148, 2068229, 2068907, 2069406, 2069673, 2069706, 2070105, 2072550, 2074172,
2074367, 2074811, 2074980, 2075039, 2076902, 2077412, 2078297, 2079393, 2080674,
2080691, 2080695, 2081067, 2081171, 2081256, 2081552, 2081748, 2081961, 2081997,
2083484, 2084000, 2084294, 2085152, 2085257, 2085647, 2087136, 2088666, 2089707,
2091042, 2091299, 2092605, 2093250, 2093436, 2093772, 2094822, 2095052, 2096049,
2096523, 2096532, 2098490, 2099276, 2099798, 2099904, 2100324, 2102024, 2102055,
2102864, 2103978, 2105751, 2106479, 2106668, 2106738, 2107658, 2107788, 2109431,
2109552, 2109600, 2109885, 2110257, 2110469, 2111034, 2111195, 2111664, 2111754,
2112279, 2113511, 2113596, 2114039, 2117294, 2118531, 2119979, 2120784, 2120895,
2121893, 2122199, 2122698, 2122803, 2123466, 2124428, 2125176, 2126723, 2127122,
2127570, 2131151, 2133146, 2133968, 2134122, 2135816, 2136738, 2136759, 2136885,
2136986, 2137631, 2138103, 2138148, 2138915, 2139461, 2140359, 2140944, 2141196,
2141316, 2141589, 2143313, 2147222, 2147336, 2148204, 2149053, 2149911, 2151150,
2151444, 2153246, 2154174, 2154240, 2156235, 2156261, 2156654, 2156862, 2156981,
2157105, 2157885, 2158748, 2158962, 2159397, 2159433, 2159886, 2161202, 2161205,
2162025, 2164352, 2164394, 2164871, 2165531, 2166348, 2167127, 2167806, 2168475,
2168952, 2169752, 2169773, 2169777, 2170413, 2170655, 2170844, 2171979, 2172116,
2172944, 2173994, 2175275, 2176388, 2178075, 2178803, 2179802, 2179905, 2180201,
2180648, 2180924, 2181149, 2181432, 2182091, 2182328, 2183234, 2184099, 2184527,
2184557, 2184869, 2185698, 2185824, 2186522, 2186853, 2186913, 2186963, 2187014,
2187306, 2187516, 2187830, 2189679, 2190435, 2190714, 2191010, 2191236, 2192417,
2193203, 2193503, 2193794, 2194613, 2194671, 2197595, 2198060, 2198177, 2198228,
2198520, 2198837, 2199227, 2200013, 2200664, 2200970, 2201511, 2202764, 2203496,
2203646, 2203800, 2203805, 2204033, 2204598, 2204750, 2204778, 2204787, 2205779,
2206730, 2206814, 2207480, 2207643, 2208053, 2208098, 2208872, 2209020, 2210363,
2211162, 2211399, 2211917, 2212371, 2212410, 2213292, 2213295, 2214300, 2214570,
2214818, 2215019, 2215173, 2215602, 2215733, 2216537, 2217362, 2217890, 2218343,
2219285, 2219589, 2219673, 2219925, 2220402, 2221107, 2221332, 2221761, 2222081,
2223195, 2223545, 2223972, 2223986, 2224245, 2224406, 2224464, 2225000, 2225336,
2225574, 2225673, 2225820, 2226213, 2226477, 2227263, 2228186, 2228573, 2229059,
2229455, 2229515, 2229600, 2229705, 2229840, 2229971, 2230538, 2230562, 2231324,
2232098, 2232234, 2232311, 2232759, 2234985, 2235788, 2236446, 2236824, 2238140,
2238789, 2238888, 2239094, 2239161, 2240121, 2240211, 2240232, 2240390, 2240736,
2241264, 2242262, 2243726, 2243774, 2244047, 2244747, 2245734, 2246183, 2246780,
2246913, 2247774, 2248223, 2248346, 2249262, 2249402, 2249949, 2250672, 2251412,
2251725, 2251758, 2252055, 2253332, 2254904, 2255559, 2256867, 2257418, 2257907,
2257952, 2258765, 2259156, 2259251, 2259618, 2259833, 2260211, 2260304, 2260413,
2260889, 2261834, 2262534, 2263026, 2263550, 2264117, 2264249, 2264882, 2264957,
2266643, 2266644, 2267057, 2267087, 2267609, 2267868, 2267904, 2267924, 2268968,
2269632, 2269782, 2271210, 2271410, 2271801, 2272442, 2272601, 2272848, 2273111,
2273766, 2274078, 2275209, 2275715, 2276922, 2278182, 2278277, 2278991, 2278998,
2279663, 2280447, 2281497, 2281757, 2283282, 2283462, 2283506, 2283513, 2283968,
2283986, 2284412, 2284451, 2284965, 2285294, 2285438, 2285630, 2287392, 2287914,
2288295, 2288301, 2288700, 2289981, 2290436, 2290502, 2290761, 2293020, 2293355,
2293868, 2295008, 2295189, 2295393, 2296344, 2298003, 2299110, 2300333, 2301462,
2301972, 2303016, 2305440, 2306319, 2306789, 2306802, 2307204, 2307425, 2307566,
2308352, 2308454, 2308934, 2309136, 2309868, 2312129, 2313501, 2313854, 2314118,
2314470, 2315322, 2315366, 2315688, 2315763, 2315933, 2316339, 2316896, 2317463,
2317979, 2319353, 2319936, 2320271, 2320341, 2320404, 2322728, 2322906, 2322945,
2323806, 2323920, 2324072, 2324513, 2325249, 2325338, 2325845, 2325906, 2326599,
2327550, 2327889, 2327922, 2328029, 2328176, 2328560, 2328657, 2329259, 2329286,
2329308, 2329310, 2329350, 2329965, 2329967, 2330861, 2331116, 2331449, 2331653,
2332031, 2332157, 2333552, 2333648, 2334704, 2335085, 2336315, 2336429, 2336450,
2336574, 2336930, 2337134, 2338263, 2339528, 2340185, 2341662, 2341887, 2341922,
2342664, 2343093, 2343419, 2344554, 2345423, 2345556, 2345646, 2345687, 2348264,
2348663, 2349615, 2350401, 2351876, 2353185, 2353971, 2354202, 2354487, 2356883,
2357450, 2358392, 2359704, 2360213, 2360945, 2361027, 2361584, 2361800, 2362329,
2362385, 2362628, 2362662, 2362977, 2363162, 2363967, 2366204, 2366736, 2366970,
2368158, 2368487, 2369222, 2369552, 2369852, 2369922, 2370278, 2371233, 2371616,
2371692, 2372064, 2372199, 2372346, 2373011, 2374950, 2375748, 2376714, 2377103,
2377610, 2378961, 2379147, 2379435, 2379477, 2381097, 2381226, 2381229, 2383826,
2384111, 2385507, 2385513, 2386532, 2387253, 2387792, 2387975, 2389179, 2391090,
2391173, 2391804, 2392604, 2393442, 2393631, 2393633, 2395154, 2396648, 2397432,
2397915, 2398064, 2398265, 2398538, 2398680, 2398742, 2398757, 2399048, 2399072,
2399835, 2399840, 2399931, 2400176, 2400443, 2400861, 2401193, 2401358, 2401373,
2401622, 2402324, 2402535, 2402588, 2402768, 2403248, 2403384, 2403855, 2403962,
2405253, 2405814, 2407064, 2407629, 2407724, 2408004, 2408730, 2409066, 2410661,
2410809, 2412545, 2412932, 2413676, 2413992, 2414162, 2415246, 2417102, 2417475,
2417823, 2417937, 2419307, 2419440, 2419503, 2419638, 2420664, 2421405, 2421497,
2422428, 2422893, 2423040, 2424759, 2424830, 2425031, 2425298, 2425466, 2425595,
2426381, 2427518, 2428215, 2428346, 2428925, 2429279, 2430311, 2430453, 2430668,
2430990, 2431883, 2433099, 2433324, 2434796, 2435889, 2436008, 2436107, 2436599,
2436921, 2437374, 2437397, 2437821, 2438214, 2438465, 2438808, 2438916, 2439320,
2439788, 2440113, 2440376, 2441121, 2441156, 2441651, 2442603, 2442708, 2442969,
2443235, 2443631