Riesel conjecture base 250 remain
Started: Nov. 6, 2021
Last update: Jan. 11, 2024
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.
2480 k's remaining at n=25K:
252, 282, 1118, 1322, 1413, 1686, 2009, 2141, 2295, 2885, 3461, 4187, 4650,
4943, 5378, 5591, 5774, 6659, 7478, 8033, 8682, 9143, 9159, 9363, 9378, 10520,
10938, 11202, 11774, 11930, 11982, 12975, 13185, 13302, 13451, 13718, 13796,
13880, 14264, 14283, 14462, 14691, 15018, 15341, 15362, 16097, 16314, 16496,
16875, 16899, 17096, 17571, 17579, 17624, 17970, 18365, 18710, 18944, 19211,
19262, 19737, 20099, 20556, 20606, 20939, 21011, 21173, 21401, 21479, 22122,
22566, 22842, 23123, 23196, 23523, 23736, 23817, 23981, 24059, 24095, 24209,
24281, 24471, 24878, 24954, 25086, 25229, 25691, 25847, 25899, 26256, 26538,
26547, 26591, 27015, 27017, 27185, 27312, 27522, 27537, 27699, 27821, 28866,
28944, 29292, 29355, 29565, 29573, 30527, 30915, 31128, 31268, 31497, 31982,
32129, 32240, 32696, 32930, 33081, 33384, 33998, 34005, 34631, 34706, 34815,
35399, 35493, 35894, 36000, 36054, 36462, 36545, 36611, 37376, 37670, 38078,
38099, 38255, 38639, 38741, 39408, 39657, 39807, 40166, 40457, 40634, 40823,
41298, 41726, 41739, 42069, 42285, 42591, 42671, 43032, 44768, 45020, 45665,
45683, 45911, 46112, 46595, 47531, 47895, 47906, 47979, 47988, 48324, 48374,
49350, 49559, 49691, 49947, 49950, 50594, 50958, 51065, 51495, 51515, 51650,
51936, 52074, 52209, 52419, 52458, 52952, 52983, 53213, 53502, 54578, 54602,
54609, 55010, 55499, 56187, 56429, 56559, 57164, 57203, 57612, 58046, 58220,
58538, 58607, 58625, 59099, 59123, 59138, 59615, 59751, 60206, 60290, 60537,
60791, 60950, 60992, 61445, 61512, 61521, 62102, 62502, 62541, 62843, 63552,
63690, 63735, 63755, 65355, 65796, 66012, 67185, 67518, 69026, 69072, 69182,
69458, 69566, 69969, 69995, 70188, 70383, 70548, 70580, 71051, 71502, 71592,
71808, 72036, 72042, 72081, 72231, 72510, 72582, 73199, 73503, 73575, 73739,
74114, 74190, 74309, 74526, 75050, 75299, 75357, 75468, 75552, 75858, 75897,
75951, 76023, 76250, 77457, 77541, 77564, 77790, 77886, 78221, 78651, 80213,
80588, 81576, 81695, 81965, 82208, 82631, 83208, 83331, 83604, 83768, 84240,
85088, 85502, 85593, 86568, 86589, 86600, 86909, 88836, 88932, 89019, 89937,
90054, 91017, 91194, 91373, 91865, 91979, 91998, 92418, 92660, 93120, 93785,
94407, 94433, 95319, 95720, 95858, 95871, 95883, 96638, 97854, 98835, 99930,
100610, 100650, 100910, 101405, 101435, 101453, 102339, 102456, 102581, 102798,
102831, 102891, 102909, 102969, 103052, 103190, 103767, 103883, 103899, 104040,
104417, 104711, 104978, 105150, 105251, 105338, 105636, 106226, 106427, 106479,
106583, 106613, 107402, 108083, 108189, 108546, 108707, 108774, 108806, 109443,
109454, 109632, 109710, 109937, 110144, 110730, 110835, 111728, 111969, 111999,
112017, 112160, 112173, 112542, 113088, 113153, 113616, 113681, 114204, 114206,
114420, 114453, 114845, 114903, 115079, 115664, 115961, 115986, 116099, 116714,
116793, 117053, 117432, 117971, 118242, 118602, 118758, 118979, 119016, 119330,
119835, 120023, 120266, 120714, 120927, 121061, 121133, 121218, 121514, 121670,
122174, 122294, 122477, 122489, 123491, 123503, 123756, 123815, 123860, 124106,
124302, 124491, 124757, 124823, 125583, 125957, 125988, 126240, 126326, 126452,
126642, 126662, 127364, 127539, 127635, 127637, 127794, 128618, 128729, 129027,
129405, 129455, 129749, 129890, 129960, 130521, 130638, 130724, 130742, 130826,
130835, 131816, 132027, 132276, 132414, 132575, 133074, 133220, 133227, 133233,
133290, 133311, 133856, 134189, 134975, 135261, 135528, 135885, 136215, 136292,
136358, 136794, 136958, 137322, 137411, 137549, 137673, 138420, 138698, 138791,
139005, 139343, 139694, 139961, 140204, 140442, 140552, 141026, 141144, 141159,
141618, 141984, 142046, 142626, 142652, 142787, 143100, 143204, 143328, 143499,
143627, 143720, 143835, 143846, 144558, 145200, 145419, 145944, 145952, 147018,
147291, 147878, 148091, 148194, 148419, 148773, 148956, 149516, 149529, 149781,
149886, 149994, 150068, 150261, 150380, 150504, 150879, 151089, 151125, 151362,
151544, 151763, 152181, 152283, 152532, 152576, 152811, 152928, 153570, 153669,
154202, 154260, 154326, 154397, 154598, 155052, 155093, 155208, 155547, 155585,
155619, 155675, 156074, 156305, 156575, 156651, 156737, 157100, 157145, 157418,
157629, 158511, 158588, 158694, 158736, 159092, 159849, 159927, 160109, 160317,
160392, 161151, 161216, 161333, 161391, 161573, 161853, 162282, 162425, 162620,
162816, 162938, 163541, 163712, 163959, 164030, 164139, 164552, 164765, 164862,
164880, 165114, 165231, 165350, 165486, 165659, 165987, 166841, 166851, 166910,
167306, 167553, 167825, 168015, 168132, 168260, 168299, 168990, 169217, 169926,
169952, 170225, 170721, 171029, 171068, 171183, 172023, 172038, 172176, 172259,
173013, 173618, 173694, 173774, 173910, 173967, 173988, 174164, 174203, 174365,
174773, 175197, 175418, 175743, 175911, 175958, 177141, 177414, 177452, 177497,
177963, 178116, 178142, 178211, 178935, 178979, 179240, 179403, 179609, 179624,
179777, 179784, 179988, 180384, 180981, 181442, 181974, 182021, 183087, 183314,
183509, 183768, 184193, 184497, 184503, 184802, 184919, 185043, 185055, 185474,
186150, 186440, 186605, 186776, 186884, 187248, 187496, 188249, 188282, 188340,
188652, 189192, 189218, 189333, 189755, 189788, 190875, 190932, 190956, 190979,
191012, 191057, 191178, 191558, 191649, 192516, 192585, 193286, 193398, 193727,
194021, 194234, 194364, 194489, 194775, 194930, 195705, 196457, 196517, 196626,
196842, 197070, 197297, 197471, 197570, 197661, 198038, 198849, 198974, 199005,
199182, 199278, 199371, 199442, 199800, 200058, 200697, 200799, 202530, 202556,
202614, 202961, 203009, 203030, 203678, 203706, 203919, 203997, 204170, 204296,
205104, 205266, 205568, 205572, 205664, 206072, 206180, 206306, 207177, 207213,
207405, 207522, 207561, 207581, 207873, 208035, 208313, 208547, 208653, 208785,
208911, 208958, 209121, 209282, 209298, 209595, 210185, 210356, 210606, 210918,
210933, 211199, 211367, 211428, 211487, 212123, 212273, 212279, 212345, 212358,
212504, 212928, 213119, 213812, 214308, 214409, 214604, 214925, 215078, 216768,
216908, 216971, 217902, 218279, 218622, 218771, 218825, 219012, 219515, 219699,
219761, 219872, 220023, 220128, 220184, 220637, 220905, 220938, 221132, 221261,
221627, 221634, 221807, 221978, 222732, 222881, 223343, 223614, 223640, 223653,
224142, 224441, 224763, 225486, 225756, 225923, 226401, 226470, 226632, 226866,
226929, 227280, 227600, 227925, 228156, 228222, 228359, 228393, 228642, 228918,
229277, 229446, 230099, 230496, 230642, 230649, 230892, 230921, 231656, 232098,
232644, 232775, 233054, 233622, 234684, 235101, 235257, 235496, 236415, 236441,
236886, 237485, 237701, 237756, 238206, 238449, 238533, 238592, 238652, 239018,
239508, 239924, 240035, 240530, 240710, 240743, 241190, 241793, 242264, 242463,
242538, 243072, 243272, 243428, 243582, 243720, 243753, 244377, 244656, 244752,
244818, 245118, 245354, 245373, 246251, 246983, 247053, 247185, 247773, 247950,
248238, 248946, 249122, 249258, 249297, 249999, 250043, 250667, 250946, 251754,
251786, 252281, 252345, 252437, 252689, 253007, 253020, 253023, 253119, 253311,
253343, 253698, 254601, 254627, 255576, 256077, 256538, 256608, 256922, 257396,
257414, 259254, 259442, 259503, 259535, 259650, 260261, 260286, 260790, 261249,
261270, 261309, 261885, 262188, 262635, 262746, 262772, 263012, 263030, 263493,
263841, 263966, 264279, 264351, 264507, 264915, 265407, 265697, 266139, 266885,
266909, 267042, 267114, 267317, 267347, 267543, 268641, 269357, 269571, 269694,
269870, 269933, 270012, 270882, 271038, 271332, 271581, 272177, 272312, 272873,
272901, 272990, 273222, 273453, 273464, 273516, 273638, 273692, 273804, 273840,
274041, 274388, 274523, 274761, 275172, 275348, 275694, 275978, 276324, 277416,
277434, 277607, 277832, 278294, 278331, 278463, 278738, 278742, 278846, 278862,
279177, 279191, 279707, 279932, 280010, 280127, 281427, 281966, 282395, 283214,
283338, 283766, 283968, 284120, 284514, 284741, 284844, 284943, 285099, 285392,
285476, 285561, 285639, 286448, 286641, 286841, 286971, 287564, 287730, 287745,
288395, 288581, 288900, 289277, 289590, 289656, 289886, 290618, 290657, 290891,
291240, 291476, 292046, 292142, 292301, 292416, 292497, 292841, 293075, 293255,
293315, 293591, 294182, 294267, 294695, 294924, 295044, 295322, 295343, 295922,
296271, 296531, 296625, 297428, 297449, 297687, 297936, 298164, 298218, 298715,
298946, 298971, 299183, 299345, 299616, 299693, 300156, 300693, 300699, 300912,
301050, 301914, 302004, 302459, 303962, 304211, 304229, 304424, 305015, 305087,
305295, 305769, 306006, 306684, 306840, 307743, 307815, 307908, 307958, 308096,
308330, 309206, 309531, 309986, 310025, 310553, 310844, 310872, 310977, 311208,
311405, 311426, 311495, 311957, 312245, 312302, 312747, 312963, 312978, 313034,
313184, 313263, 313290, 313307, 313491, 313797, 313821, 314016, 314055, 314096,
314460, 315708, 315801, 315909, 316059, 316182, 316634, 317487, 317514, 318198,
318321, 319307, 320024, 320199, 320420, 321477, 321855, 322074, 322253, 322289,
322455, 322650, 324026, 324045, 324333, 324450, 324542, 324650, 324728, 324809,
324936, 325113, 325770, 326028, 326106, 326166, 326601, 326894, 326930, 327453,
328031, 328566, 328649, 328740, 328928, 329130, 330699, 330755, 330851, 331074,
331098, 331301, 331691, 331809, 331862, 331880, 331899, 332796, 333041, 333360,
333381, 333576, 333728, 333999, 334031, 335054, 335063, 335201, 335375, 335765,
335793, 335921, 336228, 336345, 336521, 336839, 337287, 337392, 337520, 337853,
338600, 338607, 338646, 338768, 339392, 339758, 339797, 340104, 340122, 341244,
341292, 343605, 343740, 343859, 344120, 344243, 344319, 344717, 344864, 345036,
345180, 345194, 345426, 345588, 345684, 345744, 345809, 345837, 346004, 346284,
346394, 346680, 346758, 347093, 347298, 347543, 347610, 347723, 347828, 347867,
348305, 348534, 348552, 348578, 348714, 349092, 349151, 349293, 349548, 349644,
349995, 350093, 350223, 350463, 350964, 351108, 351248, 351885, 351936, 351966,
352082, 352083, 352101, 352424, 352587, 352634, 352985, 353070, 353691, 353694,
353705, 353739, 354038, 354212, 354342, 354558, 354668, 354953, 355020, 355109,
355137, 355200, 355239, 355299, 355475, 355716, 356268, 356421, 356955, 357137,
357210, 358268, 358427, 358740, 358965, 358970, 359180, 359654, 359660, 359687,
359823, 360764, 361929, 362540, 362724, 363039, 363600, 364037, 364172, 364185,
364640, 365550, 365613, 365886, 366042, 366374, 366447, 366552, 366882, 367056,
367592, 367703, 367974, 368553, 368592, 368969, 369170, 369372, 369450, 369671,
369885, 370059, 370728, 370982, 371460, 371471, 372372, 372771, 373368, 373595,
373686, 373740, 374664, 374741, 374786, 374823, 374832, 374988, 375339, 375612,
375780, 375911, 375924, 376260, 376275, 376398, 376587, 376743, 377022, 377379,
377490, 377594, 378146, 379187, 379271, 379746, 380279, 380526, 380552, 380696,
381132, 381681, 381993, 382266, 382391, 382458, 382695, 383223, 383529, 383555,
384029, 384138, 384393, 384497, 384801, 385334, 385529, 385544, 385722, 385758,
386153, 386829, 386894, 387041, 387312, 387864, 388067, 388079, 389076, 389091,
389252, 389775, 390126, 390146, 390666, 390806, 390968, 391080, 391158, 391212,
391364, 391559, 391751, 392835, 392859, 392943, 393017, 393051, 393488, 393797,
393818, 393903, 393914, 394071, 394169, 394665, 394787, 394871, 394902, 395072,
395097, 395420, 395475, 395684, 395690, 395750, 395786, 395970, 396072, 396501,
396906, 397083, 397127, 397146, 398087, 398159, 398165, 398196, 398397, 398891,
399140, 399447, 399842, 399849, 400247, 400721, 400772, 400877, 401142, 401187,
401249, 401717, 402041, 402093, 402210, 402405, 402533, 402684, 402806, 402861,
403418, 403463, 403469, 403556, 403562, 403716, 403814, 404091, 404343, 404847,
405885, 406472, 406773, 407171, 407325, 407688, 407694, 407714, 407811, 407876,
408957, 409247, 409419, 410133, 410367, 410379, 410783, 410822, 411204, 411459,
411542, 411564, 411875, 413076, 413375, 413585, 413624, 414131, 414144, 414233,
414287, 414432, 414908, 415346, 415509, 415908, 416133, 416586, 417548, 417836,
418148, 418151, 418622, 419058, 419799, 419942, 420059, 420246, 420260, 421118,
421146, 421170, 421175, 421292, 422061, 422399, 423419, 423809, 424058, 424173,
424433, 424446, 424664, 425207, 425751, 425948, 426266, 426380, 426414, 426521,
426996, 427292, 427584, 427649, 428366, 428507, 428879, 429014, 429159, 429209,
429614, 429999, 430197, 430205, 430374, 431133, 431217, 431441, 431721, 431921,
432062, 432107, 432396, 433332, 433455, 434937, 435197, 435438, 435852, 436400,
436463, 436490, 436724, 436931, 436992, 437004, 437102, 438215, 438530, 438819,
438828, 439251, 439533, 439539, 439806, 440085, 440642, 440859, 441132, 441431,
441723, 441795, 441899, 442061, 442172, 442445, 443010, 443192, 443265, 443756,
443862, 443873, 444128, 444269, 444681, 444951, 444978, 445173, 445524, 445943,
446447, 447027, 447144, 447651, 447864, 447900, 448755, 448860, 448997, 449222,
449289, 449502, 449712, 449801, 450971, 451337, 451392, 451395, 451454, 451485,
451694, 452552, 452819, 452886, 452952, 453605, 453683, 453714, 453807, 454112,
454457, 455003, 455033, 455211, 455417, 455898, 456293, 456537, 456569, 456615,
457304, 457421, 458064, 458513, 458721, 459174, 459176, 459300, 459395, 459455,
459486, 459707, 459833, 459923, 460164, 460331, 460584, 460812, 460835, 460910,
461145, 461649, 461897, 461964, 462057, 462429, 463026, 464082, 464447, 465104,
465219, 465429, 465591, 465833, 466014, 466118, 466359, 466935, 467093, 467178,
467249, 467388, 467612, 467678, 467856, 467970, 468152, 468399, 469127, 469626,
470070, 470154, 470367, 470375, 470655, 470765, 470913, 471168, 471477, 471654,
472280, 473297, 473301, 473405, 474581, 474822, 476009, 476178, 476349, 476354,
476624, 476706, 476979, 477075, 477278, 477395, 477405, 477621, 477629, 477681,
477759, 477933, 478214, 478290, 478331, 478739, 478890, 479079, 479282, 479696,
479733, 480005, 480398, 480702, 481329, 481568, 481820, 481848, 481926, 482127,
482504, 483678, 483705, 483876, 484007, 484155, 484170, 484233, 484251, 484286,
484610, 484836, 485006, 485447, 485579, 485774, 486341, 486456, 486656, 486671,
486905, 487800, 488003, 488502, 488583, 489056, 489219, 490205, 490499, 490772,
490857, 491273, 491456, 491637, 491973, 492176, 492189, 493505, 493691, 493967,
493977, 494061, 494720, 495119, 495212, 495359, 495407, 495413, 495483, 495756,
495771, 496226, 496820, 496977, 497316, 497682, 498200, 498293, 498539, 498723,
498735, 499238, 499370, 499742, 500085, 500553, 501021, 501125, 501198, 501606,
501855, 501861, 502008, 502173, 502979, 503048, 503103, 503309, 503369, 503837,
503915, 503925, 504569, 504743, 505592, 505766, 506015, 506585, 508199, 508694,
509057, 509108, 509708, 509739, 510194, 510740, 510780, 510786, 510927, 511074,
511520, 511976, 512151, 512177, 512352, 512552, 512573, 512792, 512982, 513137,
514722, 515106, 515472, 515655, 515687, 516309, 516468, 516786, 516993, 517520,
517812, 517890, 518183, 518684, 518846, 519104, 520196, 520554, 520893, 521400,
522335, 523058, 523134, 523136, 523199, 523680, 523851, 524087, 524397, 524897,
525123, 525237, 525344, 525528, 525638, 525645, 526473, 526566, 527276, 528204,
528459, 528590, 528659, 528698, 528785, 529085, 529506, 529686, 529853, 529862,
529883, 530073, 530286, 530474, 530864, 530999, 531747, 531899, 532026, 532613,
532691, 533417, 533429, 533526, 533627, 533666, 533672, 533978, 534882, 535545,
535886, 536727, 536831, 537039, 537221, 537390, 537473, 538115, 538266, 538676,
538826, 539265, 539843, 540068, 540075, 540417, 540861, 540879, 541388, 541592,
541799, 541853, 541971, 542954, 543072, 543341, 543414, 543665, 543686, 543806,
543911, 543947, 544064, 544077, 544869, 545957, 546092, 546104, 546204, 546243,
546417, 546933, 547745, 547815, 548034, 548670, 548685, 548687, 549146, 549336,
549896, 549909, 549926, 550016, 550193, 550286, 550917, 550980, 551742, 551987,
552269, 552452, 552657, 553406, 553437, 553887, 553962, 554375, 554615, 554933,
555491, 555647, 555998, 556949, 557384, 557729, 557768, 557774, 557877, 557924,
558132, 558156, 558273, 559308, 560030, 560075, 560225, 560636, 560712, 561354,
561492, 561674, 562223, 563447, 563811, 564443, 565350, 566255, 566574, 566595,
566610, 566658, 566696, 566996, 567087, 567177, 567258, 567674, 567758, 569016,
569472, 569771, 570476, 570714, 571008, 571190, 571301, 571392, 571580, 571715,
572216, 572490, 572781, 573285, 573470, 573504, 573591, 573803, 574031, 574289,
574674, 574908, 575040, 575058, 576350, 576837, 577019, 577110, 577326, 577398,
577463, 577508, 577599, 577749, 578087, 578405, 578624, 578906, 579309, 579372,
579933, 580200, 580479, 580550, 581075, 581270, 581285, 581603, 582024, 582188,
582728, 582734, 582804, 583311, 583826, 583865, 584184, 584619, 585243, 585333,
585654, 585833, 586119, 586125, 586530, 586569, 586667, 586862, 586925, 587720,
587786, 588285, 588350, 588719, 589598, 590006, 590102, 590196, 590456, 590552,
590573, 590630, 590721, 591017, 591197, 591608, 591839, 591857, 592170, 592257,
592715, 593024, 593363, 593373, 594233, 594869, 594948, 595128, 595166, 595383,
595461, 595638, 595673, 595797, 596282, 596301, 596430, 596753, 597117, 597719,
597936, 598692, 598887, 599153, 599301, 599756, 599897, 600140, 600300, 600876,
601290, 601565, 601812, 601922, 601974, 602427, 602520, 602618, 602813, 602904,
603033, 603167, 603248, 603495, 604488, 604596, 604607, 605372, 605411, 605660,
605679, 606563, 606654, 606779, 607142, 607980, 608429, 608735, 608799, 608934,
609417, 609506, 609740, 610026, 610275, 610704, 610949, 611078, 611150, 612108,
612314, 612350, 612963, 613479, 613692, 613694, 613817, 613824, 614729, 614888,
614951, 615377, 615452, 616136, 616248, 616383, 616656, 617028, 617204, 617210,
617223, 617282, 617306, 617963, 618125, 618207, 619173, 619568, 619725, 619971,
620012, 620109, 620387, 621032, 621195, 621440, 621477, 621726, 622644, 622794,
622995, 623039, 623481, 623990, 624137, 624360, 624489, 624542, 624809, 625410,
625556, 625707, 626492, 626508, 627471, 627578, 628527, 628671, 629333, 629541,
629612, 629634, 630093, 630275, 630503, 630659, 630678, 631164, 631593, 632061,
632334, 633857, 634278, 634493, 634572, 634884, 635462, 635651, 635787, 636156,
636338, 636351, 636494, 636788, 637302, 637424, 637445, 639011, 639042, 639323,
639420, 639708, 639809, 640592, 640628, 641055, 641085, 641135, 641174, 641499,
642059, 642197, 642467, 642539, 642573, 642879, 643007, 643152, 643415, 643529,
643709, 643710, 643865, 643997, 644190, 644333, 644744, 644783, 644816, 644829,
645360, 646361, 646431, 646506, 646868, 647079, 647637, 648038, 648183, 648332,
648404, 648761, 649580, 649650, 649769, 649862, 649923, 650043, 650549, 651171,
651204, 651543, 652146, 652499, 652601, 652977, 653259, 653831, 654137, 654351,
654356, 654434, 655257, 655593, 655617, 656139, 656163, 656178, 656364, 656366,
656514, 656709, 656958, 657393, 657660, 658580, 658611, 659096, 659196, 659207,
659376, 659421, 659465, 659517, 659727, 660195, 660299, 660804, 661182, 661469,
661508, 662168, 662892, 662957, 663339, 663464, 663924, 664491, 664673, 664758,
664881, 665127, 665355, 665369, 665804, 665999, 666578, 667686, 667806, 668040,
668175, 668534, 668970, 669254, 669419, 670088, 670205, 670763, 670983, 671024,
671675, 671843, 671862, 672083, 672578, 672584, 672818, 672842, 672948, 673181,
673206, 673730, 673856, 673884, 673986, 674261, 674514, 674813, 675210, 675555,
675684, 676859, 677199, 677652, 677828, 678162, 678389, 678470, 678926, 679232,
679370, 680228, 680261, 681257, 681450, 681539, 681735