Sierpinski conjecture base 420 remain
Started: June 1, 2023
Last update: Nov. 10, 2023
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.
3958 k's remaining at n=50K:
841, 939, 1931, 2341, 2803, 4456, 5230, 5347, 6718, 7420, 7518, 8232, 8404,
9207, 9697, 11101, 12054, 12408, 13170, 13263, 13666, 14379, 14734, 14888,
14967, 14980, 15302, 16156, 16945, 17515, 18126, 18346, 18747, 18757, 19146,
19238, 19367, 20630, 21291, 22513, 23154, 23168, 23926, 24093, 25014, 25680,
27131, 27219, 27290, 27515, 28378, 28502, 28992, 29474, 31314, 31593, 31745,
31984, 32128, 32466, 32743, 32886, 33045, 33776, 33821, 34226, 34942, 35235,
36705, 36781, 37377, 37869, 38055, 38765, 38926, 38981, 39803, 39996, 43408,
43424, 43814, 43936, 44056, 44664, 45249, 45984, 46307, 47524, 47605, 50166,
50553, 51692, 51702, 52849, 53017, 53218, 53652, 53900, 54016, 54883, 55116,
55266, 55904, 55989, 55992, 56878, 57379, 58457, 58470, 58802, 59453, 60493,
61279, 61933, 62180, 62802, 64093, 64427, 65891, 67361, 67537, 67878, 68622,
69690, 69723, 70727, 70729, 70760, 70855, 70904, 70955, 71088, 71889, 72014,
73653, 73687, 73995, 74824, 75146, 77009, 77044, 78519, 79570, 80656, 81080,
81220, 81384, 81416, 81819, 82055, 82485, 83294, 84628, 84982, 86555, 86571,
87888, 88154, 90549, 90780, 90935, 92705, 93739, 94072, 95078, 95989, 96548,
97591, 97596, 98092, 99810, 102402, 104472, 105541, 107311, 108486, 108619,
108846, 108904, 109292, 110270, 110436, 112524, 112659, 112827, 113567, 113848,
114066, 114809, 115332, 115742, 115774, 115850, 116949, 118111, 118296, 120346,
120908, 121221, 122007, 122997, 123395, 124050, 124660, 126084, 127719, 128343,
128396, 128404, 129313, 129503, 129933, 129977, 130893, 132552, 133631, 134380,
134721, 135612, 135799, 138948, 139062, 141218, 141613, 143166, 143212, 143217,
143353, 143470, 143586, 143654, 143830, 144170, 144825, 146462, 146538, 146805,
146930, 147770, 148022, 149033, 149070, 149326, 149658, 150331, 150351, 150419,
150504, 151043, 151269, 151524, 152241, 153570, 154144, 154379, 154506, 155261,
156169, 158147, 160028, 160280, 160884, 161474, 161585, 162269, 163016, 165157,
165646, 165918, 166573, 166703, 167242, 167976, 168515, 168633, 169243, 169484,
169662, 170147, 170504, 171418, 171692, 171917, 172116, 173045, 173917, 173951,
174152, 174293, 174357, 174554, 174874, 175184, 175279, 176224, 180756, 181141,
181233, 181977, 182107, 182276, 182417, 182967, 183297, 184021, 184219, 185520,
185547, 186737, 188992, 189353, 189957, 190639, 190712, 190714, 191665, 191747,
191753, 191806, 192026, 192084, 192682, 192826, 194501, 194730, 196949, 197871,
198444, 199417, 199553, 199641, 200710, 201660, 202037, 203318, 204738, 205449,
206248, 206291, 207787, 208120, 208562, 208606, 208942, 209705, 210211, 210662,
210744, 210922, 211550, 211771, 213446, 213646, 213869, 214288, 214817, 215008,
215556, 217777, 218104, 218379, 218616, 218968, 218983, 219874, 220308, 220605,
221857, 222732, 222913, 222940, 224293, 225679, 226056, 226382, 226442, 226619,
226730, 226918, 226984, 228149, 229018, 229025, 229553, 229948, 230084, 230686,
231063, 231767, 231919, 232288, 232573, 234114, 234752, 235863, 236601, 236967,
237266, 237830, 238317, 238540, 239430, 239586, 240480, 240763, 240915, 241016,
242076, 246012, 246652, 246705, 247004, 247017, 247755, 248362, 249894, 250166,
250496, 250693, 252320, 253020, 253474, 254401, 254413, 255173, 255943, 256582,
256590, 256645, 258119, 258480, 258493, 259470, 259872, 260745, 261984, 262330,
266085, 266986, 268401, 268614, 269270, 269352, 269870, 270117, 271686, 272034,
272310, 272457, 273264, 274356, 274725, 274806, 276030, 276349, 276631, 276782,
277355, 277821, 278184, 280019, 280075, 280375, 280545, 280888, 281516, 281648,
281997, 282416, 282640, 283280, 283962, 284228, 284708, 285437, 286196, 286712,
286809, 287544, 288227, 289539, 289617, 290183, 290406, 291838, 292148, 292476,
294116, 294493, 295213, 295695, 296383, 296552, 296596, 297976, 298505, 298705,
298921, 299007, 299632, 300005, 300155, 300225, 300595, 301437, 301848, 302117,
302708, 303768, 305285, 305523, 305647, 306076, 306987, 307469, 308288, 309033,
309471, 310169, 310602, 310697, 311118, 311153, 311541, 311765, 312637, 313017,
313182, 314445, 315143, 315253, 315751, 316468, 316770, 317134, 317825, 318022,
318126, 318696, 318824, 320317, 320717, 320800, 321873, 322291, 322903, 324315,
324683, 325891, 325902, 326668, 327062, 328221, 328407, 328696, 328849, 330069,
330678, 331018, 331031, 331328, 332104, 333375, 334011, 334123, 334156, 334337,
334462, 335468, 336029, 336182, 336612, 336944, 337302, 337841, 338732, 339396,
340760, 341175, 341358, 343435, 343611, 343632, 343769, 343853, 343898, 344512,
344732, 345479, 346386, 347786, 351844, 351882, 353641, 354598, 355261, 355905,
356242, 356307, 357067, 357851, 358693, 358694, 359519, 360123, 360335, 360959,
363450, 364714, 365637, 365641, 366374, 366846, 367031, 368281, 368447, 368861,
369216, 369482, 369595, 369983, 370265, 370351, 370425, 370460, 370796, 371149,
372576, 373179, 373194, 374854, 375460, 375667, 376847, 377650, 377756, 378291,
378358, 378899, 379232, 379363, 379375, 380337, 381241, 382300, 382529, 383530,
383977, 384126, 384511, 384767, 384795, 385876, 386838, 386981, 387013, 387887,
388469, 388670, 389845, 390155, 390945, 390971, 391108, 391964, 392366, 392401,
392870, 393388, 395200, 395563, 396162, 396330, 397827, 397908, 397913, 399136,
399816, 400036, 400300, 400525, 402192, 402503, 402528, 403055, 403474, 403985,
404062, 405344, 407060, 407441, 409097, 409886, 410284, 410851, 413144, 416238,
416480, 416759, 417528, 417937, 418760, 419091, 419317, 419347, 421518, 422717,
424529, 424709, 424967, 425042, 425103, 425152, 428159, 429088, 429419, 430504,
430583, 431867, 432312, 432511, 432835, 433036, 433111, 433291, 433893, 434372,
434558, 434672, 434996, 435190, 435698, 436997, 437204, 438375, 438537, 438851,
439006, 439089, 439781, 440216, 440417, 440535, 441257, 442185, 442217, 444903,
444963, 445146, 445331, 445812, 445961, 446261, 446330, 447263, 447273, 451494,
451791, 452098, 452188, 452240, 453582, 454027, 454567, 456312, 457560, 458906,
459026, 459152, 459262, 461364, 462402, 463323, 463381, 463544, 463941, 464985,
465113, 465321, 466467, 466888, 466970, 467471, 469262, 470720, 470861, 472690,
472928, 474139, 474374, 475010, 476713, 477042, 478638, 478659, 478879, 479685,
480021, 480273, 480770, 480783, 482148, 482480, 484225, 484514, 484743, 485094,
485196, 485414, 485774, 485880, 485996, 485997, 486450, 487096, 490182, 490526,
490538, 491539, 491806, 491945, 491952, 492077, 494795, 495043, 495095, 496669,
496707, 497202, 498631, 498737, 498995, 499077, 500228, 500570, 500642, 500673,
502675, 502818, 502863, 503769, 505471, 506293, 506848, 508205, 508754, 508857,
509261, 509556, 510630, 510641, 511937, 512217, 512282, 512777, 513433, 514653,
514780, 514849, 514918, 515701, 515805, 517408, 517747, 519273, 519359, 519452,
519728, 520530, 520672, 521109, 521119, 521161, 521846, 522721, 523096, 523342,
523856, 524235, 524560, 524882, 525678, 525952, 526949, 528330, 530175, 530232,
530748, 530995, 531790, 532055, 532399, 532425, 533480, 533784, 534972, 536012,
537632, 538039, 539009, 539300, 539802, 540565, 541001, 541100, 543074, 544555,
545269, 545289, 547106, 547381, 547998, 549185, 550342, 550363, 550696, 550728,
551524, 551762, 552848, 553121, 553809, 555204, 556161, 556434, 557149, 558064,
558246, 558666, 559883, 560092, 561382, 562406, 563369, 567316, 567627, 567990,
568694, 568855, 568889, 569120, 570054, 572140, 572295, 572471, 573011, 573876,
574433, 578387, 578878, 579128, 579297, 579686, 580714, 580784, 580815, 580891,
581239, 582669, 584002, 584067, 584228, 584791, 585999, 586033, 586979, 590246,
592947, 593096, 593146, 593645, 593917, 595488, 595512, 595651, 595683, 596378,
596469, 596558, 597842, 597990, 598194, 600174, 601189, 601474, 602873, 603303,
604555, 605024, 605804, 605853, 606954, 607077, 607329, 609034, 609076, 609169,
610556, 611408, 612153, 612346, 613473, 613564, 613883, 614279, 614589, 615368,
615761, 616032, 616203, 616378, 616753, 617083, 617187, 617377, 618190, 618527,
618573, 618680, 619711, 619940, 620039, 620187, 620390, 620486, 620609, 620715,
621799, 623059, 623249, 623393, 623663, 624511, 625000, 625039, 625847, 627675,
629125, 629619, 629786, 630419, 631080, 631179, 631920, 631968, 633641, 634323,
635654, 637172, 637519, 637862, 640424, 641184, 641439, 642538, 644109, 644285,
644596, 644920, 644973, 646351, 646655, 646798, 648339, 648437, 648569, 649134,
649268, 649282, 649398, 649450, 649939, 650355, 650654, 651029, 652970, 653814,
654618, 655051, 655203, 655720, 657002, 657368, 657656, 659539, 659708, 659762,
660435, 660663, 664239, 667265, 668547, 668549, 668836, 669432, 670361, 671154,
671462, 673046, 673169, 673193, 673832, 674020, 674440, 674716, 674748, 676417,
677310, 677439, 677687, 678778, 679474, 679533, 679628, 680254, 680421, 680891,
681383, 681875, 683083, 683305, 683703, 683822, 684022, 684425, 684904, 685055,
685227, 685543, 685724, 685756, 687396, 688969, 690405, 690862, 690882, 691255,
691751, 691757, 691915, 692123, 692368, 692636, 693212, 693792, 694047, 694152,
694669, 696112, 696484, 697351, 697428, 698343, 698438, 698859, 701000, 701385,
702753, 702807, 702929, 703995, 704534, 705104, 705553, 706579, 707015, 707346,
707418, 707515, 707888, 708930, 709161, 709979, 710228, 710784, 710876, 710882,
711964, 712476, 713079, 713138, 713594, 713770, 714012, 714414, 714873, 715186,
717494, 717513, 718155, 719086, 720433, 720820, 720873, 720958, 721163, 721344,
721532, 722050, 722290, 723751, 724121, 724304, 724476, 725805, 725986, 726301,
726519, 726796, 728131, 728355, 729902, 730053, 732541, 734223, 734614, 734618,
735640, 737109, 737205, 737533, 737593, 737799, 738811, 739468, 740362, 740704,
741036, 741380, 741456, 742263, 742347, 743532, 744370, 744614, 746278, 747902,
748290, 748775, 749563, 750255, 750983, 751249, 754302, 754392, 755062, 755486,
755933, 756538, 757130, 760823, 761297, 761864, 763117, 765800, 765833, 766258,
766600, 767061, 767415, 767906, 767920, 769347, 769811, 769939, 770160, 770799,
770823, 771112, 772546, 773405, 773504, 773610, 773703, 774076, 774218, 774328,
774478, 775259, 775571, 777230, 778103, 778461, 778552, 778740, 779066, 779435,
780156, 780290, 781122, 781760, 782721, 783059, 783604, 783960, 784348, 785164,
785318, 786162, 786426, 786427, 787199, 787663, 788102, 788641, 788953, 789513,
790266, 790586, 790701, 791313, 792347, 792481, 792635, 793129, 794128, 794712,
796601, 796950, 797519, 798217, 799057, 799756, 801766, 802507, 802779, 804443,
807325, 807479, 807570, 808584, 808742, 808875, 810364, 811182, 812111, 812114,
812496, 812952, 815701, 816534, 816637, 817498, 817665, 817902, 818000, 818424,
818591, 818683, 819642, 820109, 820200, 820351, 820815, 822197, 822955, 823144,
824279, 824308, 824326, 825516, 826149, 826186, 828467, 829546, 829704, 829828,
830859, 832275, 833350, 833980, 834266, 834844, 835688, 835939, 836120, 836479,
837009, 837496, 838016, 838631, 839528, 839760, 840941, 841975, 842277, 842579,
843606, 844765, 846316, 847064, 847742, 847911, 848468, 848748, 849516, 849893,
850139, 851663, 851684, 852333, 853506, 853766, 854135, 855035, 855058, 855610,
855850, 856709, 856807, 857385, 857512, 857574, 859223, 859913, 860035, 860694,
860796, 860969, 862091, 863360, 865699, 867662, 868698, 869327, 870607, 871072,
871158, 871433, 873252, 874474, 874760, 875052, 875463, 875744, 876521, 876942,
877399, 877421, 878629, 879701, 879719, 880023, 880828, 880866, 883964, 884207,
884922, 885453, 885482, 886066, 886204, 887426, 887429, 887767, 887862, 887943,
888053, 888086, 888238, 888754, 889151, 891990, 892174, 892942, 893856, 894624,
896359, 896678, 897207, 897407, 898468, 898483, 898836, 900363, 900683, 900708,
901302, 901352, 901548, 901737, 901939, 902204, 902248, 902840, 904678, 905031,
905791, 906835, 907556, 908517, 909280, 909366, 909452, 909780, 909932, 910069,
910081, 910940, 911466, 912130, 912161, 913038, 913971, 914019, 915315, 916416,
916518, 917875, 918056, 918844, 919502, 920326, 920803, 921187, 921326, 921960,
922024, 922510, 923796, 923893, 925161, 925535, 925857, 926012, 926509, 926931,
928131, 928997, 929101, 929920, 930082, 930485, 930934, 932000, 932095, 932356,
932753, 932904, 933752, 934374, 934662, 936413, 936772, 937987, 939305, 939363,
939860, 940007, 940094, 940435, 940990, 941016, 941763, 942179, 942334, 943179,
943632, 943934, 944040, 944118, 944334, 944583, 944727, 945567, 945626, 946074,
946409, 947554, 947670, 949672, 949998, 950405, 950854, 951409, 951713, 951869,
952051, 952165, 952261, 952506, 952586, 953143, 953366, 954862, 955132, 956656,
957701, 959271, 959541, 960311, 960387, 960456, 960860, 964857, 965238, 967456,
967547, 968210, 968587, 968894, 970584, 970906, 971128, 971260, 971350, 971627,
971986, 973132, 973346, 973978, 974221, 974416, 974522, 974542, 975006, 975216,
975264, 975570, 975705, 976719, 976973, 977373, 977758, 978660, 978903, 979177,
979419, 979722, 980929, 981935, 982197, 982219, 983179, 983577, 984290, 984650,
984894, 985726, 986743, 988263, 988781, 988822, 988872, 989283, 989556, 990191,
990768, 991204, 992293, 993374, 993862, 994548, 994737, 994770, 994805, 995110,
995680, 998736, 999792, 999917, 999970, 1000718, 1002400, 1002420, 1003028,
1006685, 1006862, 1008264, 1008294, 1008859, 1010388, 1011243, 1012137, 1012436,
1012605, 1013516, 1013857, 1014978, 1015184, 1015239, 1015923, 1016207, 1017823,
1017897, 1017908, 1018495, 1018526, 1020288, 1020642, 1020926, 1020976, 1021212,
1021345, 1022238, 1022610, 1022756, 1022841, 1023058, 1024669, 1025367, 1025558,
1025722, 1025810, 1026351, 1027292, 1027437, 1028443, 1028637, 1028836, 1028923,
1029637, 1030537, 1031122, 1031224, 1031870, 1032671, 1034140, 1035213, 1035451,
1035605, 1036161, 1036584, 1036721, 1037789, 1039431, 1039443, 1039483, 1040256,
1041125, 1041144, 1041351, 1042016, 1042237, 1042765, 1043774, 1045039, 1045344,
1046543, 1047167, 1048291, 1048347, 1048852, 1050243, 1050586, 1050626, 1050880,
1051019, 1052288, 1053108, 1053658, 1055565, 1056711, 1056888, 1057807, 1058811,
1058825, 1059686, 1060279, 1060472, 1060658, 1061680, 1062253, 1064059, 1064430,
1064697, 1065552, 1065973, 1066232, 1067589, 1067689, 1067868, 1068218, 1068278,
1068406, 1069335, 1070659, 1070684, 1071274, 1072354, 1074163, 1074256, 1075675,
1075929, 1076447, 1077701, 1078048, 1078626, 1079022, 1080589, 1081461, 1081588,
1082913, 1083219, 1083482, 1084076, 1085262, 1085387, 1085592, 1085689, 1085854,
1086343, 1086879, 1087357, 1087667, 1088592, 1088645, 1088863, 1088894, 1089004,
1089533, 1090379, 1090680, 1090898, 1091255, 1093644, 1094669, 1095806, 1096252,
1096704, 1097191, 1097372, 1098356, 1099223, 1099399, 1100584, 1101283, 1101335,
1101455, 1102409, 1102591, 1102598, 1102602, 1103489, 1103872, 1104152, 1104250,
1104674, 1105118, 1105552, 1106487, 1107014, 1108459, 1108492, 1108585, 1108695,
1108936, 1109280, 1109365, 1110165, 1110314, 1111020, 1112047, 1112066, 1113473,
1113828, 1114386, 1115176, 1115404, 1116245, 1116449, 1119094, 1120391, 1120539,
1120597, 1122798, 1124632, 1125357, 1125361, 1126734, 1128086, 1128624, 1128690,
1128700, 1128761, 1129123, 1129297, 1129517, 1129701, 1130999, 1131402, 1131432,
1132094, 1132356, 1133707, 1134091, 1134370, 1134456, 1135107, 1135436, 1135438,
1135670, 1136873, 1137633, 1138478, 1138552, 1139066, 1139330, 1140522, 1141561,
1143797, 1144191, 1144700, 1145026, 1145083, 1145269, 1145963, 1146122, 1148068,
1148322, 1148509, 1149331, 1149378, 1149940, 1150171, 1150962, 1152090, 1152371,
1152699, 1153130, 1153479, 1153910, 1154024, 1154690, 1154908, 1155873, 1155917,
1156821, 1156907, 1157183, 1157928, 1158023, 1158758, 1159505, 1159674, 1160390,
1160407, 1161676, 1161865, 1161985, 1163488, 1164526, 1164712, 1166203, 1166680,
1167072, 1167098, 1167495, 1167651, 1167945, 1168439, 1168534, 1168647, 1169038,
1169275, 1170528, 1171010, 1171067, 1171128, 1171340, 1171617, 1171691, 1171759,
1172152, 1172686, 1172850, 1172916, 1173328, 1174169, 1174448, 1175433, 1175519,
1175795, 1176211, 1176602, 1177648, 1177888, 1177895, 1178119, 1178336, 1178378,
1178609, 1179054, 1180062, 1180618, 1180840, 1181733, 1182130, 1182782, 1184272,
1184332, 1184443, 1185224, 1186255, 1186743, 1186798, 1187850, 1187874, 1188061,
1188613, 1189951, 1191116, 1191346, 1192278, 1196341, 1196384, 1196774, 1197914,
1198586, 1198912, 1199747, 1200286, 1200484, 1201053, 1201106, 1203654, 1205461,
1206572, 1206620, 1206942, 1207249, 1208073, 1208111, 1209132, 1209810, 1211094,
1212125, 1214980, 1216108, 1216757, 1217124, 1217212, 1217725, 1219143, 1219826,
1220800, 1222250, 1222307, 1223193, 1224669, 1224744, 1225995, 1226036, 1226540,
1226825, 1226860, 1227414, 1227867, 1228356, 1231409, 1231637, 1232091, 1232423,
1232568, 1232592, 1233062, 1233260, 1235580, 1236236, 1236899, 1237019, 1237844,
1237897, 1238168, 1239393, 1239412, 1239549, 1240045, 1240066, 1240450, 1240917,
1241109, 1241219, 1242094, 1242856, 1243317, 1243635, 1244012, 1244021, 1244207,
1244513, 1244773, 1245994, 1246143, 1247116, 1247718, 1248270, 1248352, 1249527,
1249830, 1249897, 1250038, 1250791, 1250921, 1252664, 1253145, 1253498, 1253721,
1253884, 1255445, 1256610, 1257107, 1257528, 1260195, 1261588, 1261606, 1263420,
1265499, 1265528, 1265564, 1267471, 1268797, 1268803, 1270252, 1270507, 1270840,
1270909, 1272388, 1272846, 1273526, 1273785, 1273915, 1273947, 1275780, 1276285,
1277403, 1278650, 1278813, 1278997, 1279773, 1279775, 1280177, 1280530, 1280569,
1282134, 1283699, 1283864, 1284432, 1284943, 1285949, 1287576, 1288680, 1289063,
1289392, 1289659, 1291294, 1291627, 1292138, 1292890, 1292892, 1293019, 1293277,
1293370, 1294635, 1294793, 1294827, 1294836, 1295358, 1296179, 1296195, 1296260,
1297724, 1297820, 1298784, 1299036, 1299354, 1299564, 1299685, 1300862, 1302142,
1302573, 1305199, 1305253, 1305669, 1306865, 1309138, 1309309, 1310995, 1311064,
1311145, 1312094, 1312271, 1312676, 1312778, 1313558, 1314011, 1315058, 1315536,
1315933, 1316045, 1317364, 1317443, 1317722, 1320226, 1320528, 1322194, 1323357,
1323648, 1324389, 1324716, 1324855, 1325160, 1325307, 1325477, 1326149, 1326559,
1326654, 1326665, 1327164, 1327455, 1327488, 1327533, 1327681, 1327945, 1328256,
1328292, 1329098, 1329450, 1329494, 1330112, 1330541, 1330780, 1330941, 1331201,
1331496, 1331899, 1333283, 1334431, 1335403, 1336453, 1336467, 1336674, 1337218,
1337260, 1337518, 1338783, 1338874, 1342962, 1343410, 1343594, 1343943, 1344353,
1345116, 1345438, 1345517, 1345689, 1346388, 1346407, 1346530, 1347620, 1348474,
1349306, 1349540, 1351047, 1351464, 1352244, 1352974, 1353219, 1353941, 1356605,
1357841, 1358101, 1358109, 1358147, 1359298, 1360775, 1361758, 1361936, 1362355,
1364737, 1364919, 1365302, 1365340, 1365348, 1366069, 1366247, 1366876, 1367409,
1367908, 1368179, 1369281, 1370019, 1371085, 1371647, 1371661, 1372054, 1374155,
1374564, 1376515, 1376549, 1377092, 1377973, 1378774, 1379181, 1379470, 1380370,
1382094, 1382715, 1383612, 1383638, 1384204, 1384550, 1384881, 1385203, 1385292,
1385396, 1385931, 1386329, 1386966, 1386984, 1388447, 1388529, 1388994, 1390357,
1391087, 1392342, 1392668, 1393056, 1393201, 1394774, 1395616, 1396937, 1398000,
1398108, 1398556, 1402059, 1402111, 1402350, 1403174, 1404075, 1404601, 1404989,
1405433, 1405680, 1405797, 1406339, 1406492, 1407823, 1407962, 1408561, 1408571,
1409013, 1409087, 1410827, 1411268, 1411751, 1412475, 1412579, 1413177, 1413643,
1413848, 1414258, 1414687, 1415015, 1416718, 1416952, 1417388, 1418624, 1418678,
1418953, 1419368, 1419544, 1419846, 1419981, 1420039, 1420844, 1420874, 1422690,
1422841, 1424749, 1425128, 1426077, 1427011, 1427075, 1427346, 1427500, 1427884,
1428389, 1428873, 1428917, 1429715, 1429908, 1430193, 1430222, 1430653, 1430933,
1431177, 1432895, 1433136, 1434083, 1434138, 1435435, 1436373, 1438180, 1438906,
1438984, 1440206, 1440371, 1442489, 1443590, 1443744, 1444650, 1445975, 1446409,
1447918, 1448307, 1448396, 1448444, 1449750, 1450332, 1450461, 1450674, 1450784,
1451363, 1453191, 1453559, 1453930, 1454098, 1454779, 1456283, 1457327, 1457485,
1457636, 1460138, 1460182, 1460773, 1461021, 1461411, 1461487, 1461989, 1462188,
1462899, 1463157, 1463323, 1463611, 1464648, 1465060, 1465639, 1466344, 1467315,
1469139, 1471817, 1471869, 1472145, 1473512, 1473793, 1474762, 1474779, 1474905,
1475152, 1475575, 1476916, 1477870, 1478643, 1479469, 1480029, 1480437, 1480705,
1481268, 1481357, 1483608, 1484755, 1484942, 1484967, 1485111, 1485289, 1486107,
1486131, 1486832, 1487394, 1488166, 1488289, 1488657, 1489186, 1489315, 1489635,
1489826, 1490054, 1490726, 1491163, 1492442, 1492554, 1492669, 1494568, 1494659,
1494716, 1494970, 1495375, 1495529, 1496791, 1497181, 1497435, 1498215, 1498355,
1500022, 1500924, 1501077, 1501210, 1502030, 1502095, 1502608, 1502972, 1503113,
1503167, 1503173, 1504110, 1504194, 1505505, 1505808, 1506327, 1506797, 1506862,
1507094, 1507099, 1507450, 1507562, 1507763, 1507776, 1508407, 1508471, 1508594,
1509446, 1509681, 1510247, 1512586, 1512822, 1513587, 1514529, 1515180, 1517820,
1518138, 1518926, 1519560, 1519814, 1520653, 1520754, 1521626, 1522496, 1522794,
1524051, 1525814, 1526126, 1526156, 1526779, 1527223, 1530757, 1531052, 1531065,
1531677, 1531843, 1532064, 1532285, 1533522, 1533568, 1534190, 1534563, 1534797,
1535080, 1535375, 1535932, 1535991, 1536284, 1537869, 1538424, 1539312, 1539489,
1539610, 1539942, 1540017, 1540360, 1541435, 1542009, 1542145, 1542199, 1542937,
1544310, 1544648, 1545069, 1545151, 1545492, 1546241, 1546683, 1548000, 1548142,
1548451, 1548680, 1548756, 1548830, 1549107, 1550542, 1551733, 1552162, 1552701,
1552703, 1554410, 1554513, 1554848, 1555896, 1555980, 1556139, 1556369, 1556857,
1556960, 1558906, 1559152, 1559169, 1560433, 1560901, 1561595, 1561836, 1562430,
1562432, 1562579, 1562751, 1563150, 1564093, 1564384, 1564612, 1564822, 1565152,
1565397, 1565989, 1566291, 1566452, 1566614, 1567073, 1567466, 1567625, 1567822,
1568454, 1568935, 1569402, 1569675, 1569760, 1569764, 1569939, 1571173, 1571676,
1571975, 1572067, 1572088, 1572217, 1573658, 1575084, 1575416, 1575653, 1575856,
1576015, 1576475, 1576575, 1579708, 1580220, 1581026, 1581154, 1581485, 1581555,
1582060, 1582117, 1582479, 1582545, 1582645, 1582801, 1582996, 1583742, 1583936,
1584103, 1584181, 1584222, 1584467, 1584685, 1586704, 1587160, 1588523, 1588648,
1589878, 1589998, 1590010, 1590118, 1590216, 1590749, 1591841, 1594830, 1595660,
1596429, 1596824, 1596997, 1597579, 1597599, 1597979, 1598037, 1598115, 1598990,
1599886, 1601437, 1602450, 1602631, 1603244, 1603304, 1604269, 1604481, 1604904,
1606728, 1607307, 1607737, 1607798, 1608535, 1608707, 1608798, 1609357, 1610074,
1610106, 1610297, 1611052, 1611065, 1611653, 1613498, 1613530, 1613576, 1613884,
1614538, 1614955, 1615376, 1615572, 1615757, 1615923, 1617060, 1618149, 1618266,
1618871, 1619357, 1620244, 1620447, 1620466, 1621759, 1622313, 1622598, 1623377,
1623972, 1624055, 1624164, 1624383, 1625482, 1626117, 1626269, 1626998, 1627792,
1628429, 1629720, 1630682, 1630782, 1631712, 1631924, 1633234, 1633659, 1634744,
1635126, 1635163, 1635586, 1636571, 1636632, 1637481, 1638512, 1638571, 1638685,
1640638, 1641485, 1641759, 1642852, 1642879, 1642901, 1642910, 1643585, 1644429,
1645031, 1645108, 1645899, 1646050, 1646532, 1646796, 1647280, 1647719, 1647993,
1648284, 1648340, 1648453, 1649099, 1650614, 1651069, 1651757, 1651807, 1651939,
1652426, 1653042, 1653902, 1654108, 1654117, 1655054, 1656835, 1657828, 1657962,
1658039, 1658480, 1658812, 1658905, 1659134, 1659160, 1659414, 1660154, 1660341,
1660762, 1661768, 1662171, 1662397, 1664090, 1664107, 1667039, 1667460, 1667612,
1667782, 1667797, 1668371, 1668898, 1670179, 1670854, 1671882, 1672444, 1673295,
1673895, 1674268, 1674465, 1675852, 1676228, 1677601, 1677683, 1677749, 1678247,
1678700, 1679002, 1680826, 1681268, 1681660, 1681759, 1683864, 1684422, 1684438,
1686375, 1687105, 1687483, 1687846, 1688280, 1689462, 1689715, 1689745, 1690407,
1690549, 1691336, 1692419, 1692969, 1693179, 1693342, 1693946, 1694143, 1694188,
1694471, 1694809, 1695094, 1695680, 1695847, 1696502, 1697354, 1697609, 1697645,
1698518, 1698661, 1698883, 1699051, 1699396, 1699695, 1699745, 1700418, 1700616,
1701408, 1701769, 1702091, 1702112, 1702271, 1703677, 1704546, 1704909, 1705434,
1705891, 1706039, 1706937, 1707558, 1707591, 1708192, 1708962, 1709321, 1710268,
1710576, 1710602, 1710945, 1711230, 1712675, 1712970, 1713248, 1713594, 1713954,
1714665, 1714696, 1714945, 1715427, 1715939, 1715997, 1716807, 1717179, 1717627,
1717658, 1719441, 1719878, 1720887, 1720926, 1721047, 1721889, 1722044, 1722360,
1724321, 1724661, 1725044, 1726843, 1727519, 1727624, 1727741, 1728185, 1728345,
1728585, 1730686, 1730730, 1731024, 1731054, 1731151, 1731330, 1731995, 1732154,
1732163, 1732454, 1732609, 1733274, 1733527, 1733817, 1734355, 1735023, 1735352,
1736231, 1736677, 1736744, 1737889, 1738431, 1738920, 1739388, 1740083, 1740309,
1740898, 1741536, 1742051, 1742464, 1744663, 1745823, 1746585, 1746728, 1746996,
1747178, 1747202, 1747371, 1747685, 1748224, 1748881, 1749712, 1750464, 1750720,
1750844, 1751429, 1751782, 1752203, 1752968, 1753078, 1753144, 1753466, 1753634,
1754532, 1755192, 1756209, 1758438, 1758639, 1758761, 1759360, 1759555, 1759806,
1760477, 1761270, 1761323, 1762307, 1762440, 1762834, 1763568, 1764106, 1764784,
1765911, 1766548, 1767301, 1768237, 1768303, 1768329, 1768488, 1769282, 1769626,
1769787, 1769941, 1770760, 1770941, 1771500, 1772528, 1772601, 1772943, 1773165,
1773261, 1773604, 1774044, 1774310, 1774514, 1776350, 1776380, 1776402, 1777194,
1777463, 1777723, 1778728, 1779665, 1780466, 1781939, 1781992, 1782221, 1783613,
1784335, 1786100, 1786655, 1787837, 1788707, 1788830, 1789840, 1789877, 1790928,
1791020, 1792214, 1793821, 1793841, 1795579, 1795875, 1796155, 1796329, 1796573,
1797331, 1797470, 1797500, 1797883, 1798551, 1800616, 1800984, 1801619, 1802723,
1802937, 1803058, 1803532, 1803717, 1804539, 1804907, 1805001, 1805064, 1806931,
1807112, 1807270, 1807589, 1809566, 1809611, 1809986, 1810542, 1812603, 1812732,
1814068, 1814184, 1817459, 1818719, 1819360, 1819398, 1820050, 1820239, 1820948,
1822657, 1823132, 1823665, 1823695, 1823834, 1824648, 1824991, 1825255, 1826389,
1826720, 1828050, 1828284, 1828344, 1828514, 1830342, 1831182, 1834143, 1834754,
1835404, 1835642, 1835695, 1836298, 1836461, 1836596, 1837033, 1838763, 1839743,
1840034, 1840504, 1840809, 1841931, 1842923, 1843153, 1843255, 1843423, 1843760,
1845219, 1845700, 1846179, 1846677, 1847052, 1847088, 1847635, 1848337, 1849159,
1850657, 1851544, 1851559, 1852057, 1852384, 1852655, 1852738, 1852855, 1853108,
1853349, 1853674, 1854615, 1854701, 1857586, 1858821, 1859075, 1860017, 1860257,
1862409, 1863339, 1863767, 1864951, 1865002, 1865958, 1866925, 1868140, 1868166,
1868205, 1868658, 1869241, 1869408, 1869742, 1869936, 1870060, 1870240, 1870328,
1872584, 1872872, 1873412, 1873436, 1874712, 1874807, 1875119, 1875192, 1875679,
1876066, 1876396, 1876607, 1878009, 1878419, 1878501, 1878678, 1879114, 1879593,
1880529, 1881029, 1882617, 1883305, 1883539, 1884264, 1884877, 1884969, 1885807,
1887089, 1887525, 1888254, 1888403, 1888405, 1888422, 1890379, 1890552, 1891057,
1892076, 1892591, 1892708, 1893388, 1893856, 1894690, 1894922, 1895598, 1895624,
1896226, 1896604, 1896648, 1898441, 1898517, 1898709, 1898815, 1899418, 1899985,
1900334, 1900584, 1900783, 1900830, 1902554, 1902802, 1903160, 1903554, 1903913,
1905055, 1905576, 1906160, 1906898, 1906956, 1907182, 1907187, 1908349, 1908417,
1908673, 1908906, 1909034, 1909762, 1910690, 1911205, 1911339, 1911779, 1912017,
1912232, 1912490, 1913018, 1913421, 1914253, 1914316, 1915824, 1917471, 1917906,
1918476, 1918498, 1918605, 1919761, 1920103, 1920149, 1920631, 1920957, 1921713,
1921789, 1922132, 1922285, 1922818, 1923104, 1923924, 1924161, 1924352, 1924755,
1926721, 1926870, 1927077, 1927819, 1927858, 1928722, 1929023, 1929627, 1929987,
1929997, 1930174, 1930448, 1931477, 1932189, 1932571, 1933654, 1933893, 1934443,
1934494, 1935080, 1935701, 1935920, 1936414, 1937055, 1937235, 1938265, 1938669,
1939161, 1939419, 1941742, 1942476, 1942799, 1942916, 1943554, 1943720, 1943798,
1946008, 1947375, 1947696, 1948023, 1948220, 1949221, 1949622, 1950420, 1951200,
1951525, 1951705, 1951881, 1952033, 1952567, 1952903, 1953579, 1953591, 1954039,
1955996, 1956289, 1956740, 1956926, 1958720, 1958856, 1959954, 1962242, 1962701,
1962945, 1963361, 1963887, 1964343, 1965193, 1965689, 1965831, 1967018, 1967171,
1968435, 1968851, 1968918, 1970237, 1970434, 1970706, 1970875, 1971079, 1971121,
1971544, 1971735, 1972671, 1972824, 1973621, 1974469, 1975466, 1975671, 1975897,
1978242, 1978454, 1979696, 1980896, 1982496, 1982737, 1982785, 1984188, 1985014,
1985106, 1985526, 1986244, 1986325, 1986373, 1986828, 1987132, 1989036, 1989077,
1989269, 1990210, 1990959, 1991167, 1991331, 1991357, 1991460, 1991809, 1991960,
1992458, 1992822, 1993286, 1993820, 1993943, 1994699, 1996379, 1996980, 1998213,
1998216, 1998906, 1999328, 1999800, 2000881, 2000896, 2002696, 2003652, 2003690,
2004558, 2005027, 2005160, 2007053, 2008252, 2008750, 2009318, 2009528, 2009853,
2012715, 2012800, 2013211, 2013350, 2014068, 2014484, 2014744, 2015495, 2016789,
2017812, 2019020, 2019658, 2019755, 2020177, 2020810, 2020851, 2021401, 2021535,
2021848, 2021894, 2021929, 2022635, 2022826, 2023068, 2023085, 2023108, 2024865,
2025150, 2025331, 2025513, 2025847, 2026306, 2026897, 2027114, 2027958, 2027963,
2028477, 2029103, 2029197, 2029504, 2031409, 2031417, 2031910, 2031944, 2032005,
2032106, 2032538, 2032839, 2033008, 2033476, 2033639, 2033990, 2034709, 2034971,
2035164, 2035511, 2036454, 2036631, 2036797, 2036997, 2037526, 2037539, 2037969,
2038481, 2039892, 2041048, 2041597, 2042532, 2043961, 2044223, 2045026, 2046158,
2046251, 2046281, 2046968, 2047440, 2047710, 2047940, 2048214, 2048877, 2049427,
2049527, 2050051, 2051920, 2053060, 2053146, 2053177, 2053706, 2055380, 2055563,
2056955, 2057019, 2057106, 2057179, 2057241, 2058268, 2058473, 2059619, 2059820,
2060048, 2060049, 2060373, 2061045, 2061635, 2061848, 2062694, 2064231, 2064292,
2064559, 2064949, 2066171, 2066690, 2066705, 2067171, 2068570, 2070484, 2070900,
2071424, 2072594, 2073162, 2073426, 2075108, 2075180, 2075251, 2076434, 2076818,
2077128, 2077232, 2077286, 2077648, 2077702, 2077879, 2078324, 2078696, 2078732,
2079504, 2080010, 2080160, 2080711, 2080901, 2082435, 2083202, 2083938, 2084003,
2084219, 2084372, 2084403, 2084551, 2085882, 2086054, 2086276, 2086673, 2086867,
2087225, 2087892, 2088698, 2089845, 2089933, 2090656, 2092768, 2092957, 2093169,
2093271, 2093308, 2094492, 2094754, 2095227, 2096561, 2096679, 2097496, 2098236,
2098516, 2098692, 2098717, 2099654, 2100301, 2100426, 2100791, 2100803, 2101236,
2101870, 2101883, 2102112, 2102878, 2103454, 2104074, 2105463, 2105546, 2105728,
2107395, 2107946, 2107948, 2107997, 2108220, 2108298, 2109475, 2110459, 2111955,
2112577, 2113245, 2113358, 2113771, 2114261, 2114682, 2114961, 2115047, 2115872,
2116526, 2118050, 2118110, 2118609, 2119035, 2119103, 2119737, 2121426, 2121577,
2121590, 2122041, 2122293, 2122681, 2122970, 2123403, 2123729, 2124301, 2124383,
2126256, 2126264, 2126516, 2127105, 2127589, 2129491, 2130789, 2131522, 2132312,
2133187, 2133581, 2133740, 2135599, 2136125, 2136995, 2137386, 2137474, 2137888,
2138186, 2139315, 2140280, 2140321, 2140363, 2141389, 2141626, 2141783, 2142049,
2142891, 2144546, 2144897, 2145316, 2146491, 2146823, 2147943, 2149019, 2149265,
2149302, 2149526, 2150390, 2150391, 2153468, 2153474, 2155040, 2156060, 2156197,
2156581, 2156697, 2158321, 2158542, 2158837, 2159310, 2161260, 2162154, 2162319,
2162494, 2163291, 2163331, 2163684, 2163820, 2164563, 2164564, 2165202, 2165972,
2166160, 2166217, 2166467, 2166597, 2167283, 2169540, 2169727, 2170583, 2170744,
2170954, 2171154, 2171432, 2171519, 2171596, 2171815, 2171828, 2171834, 2172006,
2172571, 2173397, 2175129, 2175136, 2175299, 2175785, 2176992, 2177187, 2178325,
2179347, 2180106, 2180143, 2181202, 2181676, 2181772, 2182220, 2182844, 2183182,
2183398, 2183522, 2184954, 2185247, 2185789, 2185990, 2186693, 2186939, 2189082,
2189201, 2189527, 2189833, 2189968, 2190228, 2190374, 2190837, 2191362, 2191855,
2192368, 2192763, 2194206, 2194313, 2194776, 2195827, 2196770, 2198042, 2198213,
2198884, 2199185, 2199883, 2200208, 2200214, 2201112, 2201460, 2201663, 2202548,
2202905, 2203089, 2204771, 2205375, 2205466, 2205602, 2205823, 2206001, 2206038,
2206487, 2206830, 2208144, 2208447, 2208709, 2208988, 2209407, 2209847, 2210637,
2210804, 2211199, 2212472, 2213922, 2214001, 2214383, 2214836, 2215035, 2215567,
2215853, 2215942, 2217592, 2217619, 2218615, 2219005, 2219658, 2220726, 2220776,
2221027, 2221676, 2221830, 2222034, 2223353, 2224205, 2224565, 2225708, 2225947,
2226789, 2226956, 2226965, 2227156, 2227174, 2227479, 2227892, 2228004, 2228107,
2229237, 2230302, 2230628, 2230918, 2231018, 2232372, 2233954, 2234171, 2234377,
2234950, 2235509, 2236134, 2236519, 2236864, 2237500, 2237548, 2239428, 2240140,
2240692, 2241853, 2242704, 2242802, 2243073, 2243216, 2243833, 2244208, 2245370,
2245779, 2245902, 2245954, 2246383, 2246414, 2246878, 2247561, 2247930, 2248052,
2250215, 2250266, 2250661, 2251765, 2252119, 2252132, 2253298, 2253612, 2254574,
2254737, 2256138, 2257824, 2257903, 2257908, 2258665, 2258842, 2259427, 2259508,
2259746, 2261190, 2261503, 2261549, 2261913, 2262158, 2262175, 2262658, 2262793,
2263199, 2263245, 2263258, 2263348, 2263533, 2263633, 2264139, 2264200, 2264395,
2264861, 2264999, 2266508, 2266950, 2267383, 2267892, 2267926, 2268049, 2268140,
2268731, 2269110, 2269412, 2270415, 2270831, 2272136, 2273146, 2273194, 2273419,
2273820, 2274886, 2275087, 2275142, 2275203, 2275996, 2277609, 2277752, 2279293,
2280137, 2280320, 2280417, 2280633, 2280691, 2281919, 2284051, 2284158, 2285303,
2285481, 2286259, 2286437, 2287002, 2287381, 2287390