Condensed table of all conjectures for bases ≤ 1030

Last update: [2023-06-30 11:30:02 CDT]

Script created by Karsten Bonath, ported to Linux by Max Dettweiler
Based on pages compiled by Gary Barnes

Colors:
proven 1 k left 2 k's left 3 k's left not started just started
[x k's]: Mouse-over to show remaining k's with search ranges.

Riesel conjectures:

base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain
none	2 power 2 conjectures	3 63064644938 100714 k's	4 power 2 conjectures	5 346802 56 k's [4.3M]	6 84687 1597 (5.6M)	7 408034255082 16399 k's [k≤1G at n>=25K]	8 power 2 conjectures	9 74 none - proven	10 10176 4421 (3M)
11 862 none - proven	12 376 none - proven	13 302 none - proven	14 4 none - proven	15 36370321851498 14 k's [k≤20M at n>=250K]	16 power 2 conjectures	17 86 none - proven	18 246 none - proven	19 1119866 947 k's	20 8 none - proven
21 560 none - proven	22 4461 3656 (5M)	23 476 404 (2M)	24 32336 68 k's [260K]	25 346802 100 k's	26 149 none - proven	27 804 706 (5M)	28 9078 [4 k's]	29 4 none - proven	30 4928 [9 k's]
31 134718 55758 (3M)	32 power 2 conjectures	33 764 none - proven	34 6 none - proven	35 287860 423 k's [100K]	36 116364 30 k's	37 7772 [12 k's]	38 13 none - proven	39 1352534 2134 k's	40 3386517 1117 k's [100K]
41 8 none - proven	42 15137 [24 k's]	43 672 none - proven	44 4 none - proven	45 22564 [5 k's]	46 8177 [7 k's]	47 14 none - proven	48 3226 [20 k's]	49 2414 none - proven	50 16 none - proven
51 8632534 10432 k's	52 85967 99 k's [100K]	53 5392 64 k's [250K]	54 21 none - proven	55 6852 [5 k's]	56 20 none - proven	57 144 none - proven	58 105788 255 k's [100K]	59 4 none - proven	60 20558 [24 k's]
61 13484 [2 k's]	62 8 none - proven	63 187258666 177330 k's [25K]	64 power 2 conjectures	65 10 none - proven	66 101954772 66553 k's [25K]	67 3144 [3 k's]	68 22 none - proven	69 6 none - proven	70 6176 [2 k's]
71 1132052528 8960 k's [k≤1M at n=2.5K]	72 293 none - proven	73 408 none - proven	74 4 none - proven	75 4086 [8 k's]	76 120 none - proven	77 14 none - proven	78 90059 63 k's [100K]	79 1965996 4993 k's [100K]	80 253 [2 k's]
81 74 none - proven	82 22326 66 k's [100K]	83 8 none - proven	84 16 none - proven	85 398534880 449684 k's [2.5K]	86 28 none - proven	87 1660 [10 k's]	88 9702 [19 k's]	89 4 none - proven	90 27 none - proven
91 229058 35 k's [200K]	92 32 none - proven	93 612 424 (1M)	94 39 29 (1M)	95 2510 [8 k's]	96 38995 30 k's [100K]	97 26354 132 k's [100K]	98 10 none - proven	99 144 none - proven	100 750 none - proven
101 118 none - proven	102 1635 [4 k's]	103 1158 924 (1M)	104 4 none - proven	105 170606 47 k's [100K]	106 1626615 590 k's [100K]	107 686 [13 k's]	108 13406 75 k's [100K]	109 144 84 (1M)	110 38 none - proven
111 12018 [6 k's]	112 3843 [2 k's]	113 20 none - proven	114 24 none - proven	115 78966 48 k's [100K]	116 14 none - proven	117 6432 [8 k's]	118 50 none - proven	119 4 none - proven	120 166616308 not started
121 3294 none - proven	122 14 none - proven	123 154 24 (816K)	124 3730449 54450 k's	125 8 none - proven	126 2767077 4532 k's [25K]	127 93902377422 not started	128 power 2 conjectures	129 14 none - proven	130 2443673 4115 k's [25K]
131 10 none - proven	132 20 none - proven	133 3684 926 (600K)	134 4 none - proven	135 3112 [6 k's]	136 90693 51 k's [100K]	137 22 none - proven	138 1806 [5 k's]	139 6 none - proven	140 46 none - proven
141 960608630 not started	142 12 none - proven	143 1226 [14 k's]	144 59 none - proven	145 257324 120 k's [100K]	146 8 none - proven	147 79956 166 k's [100K]	148 5214 [4 k's]	149 4 none - proven	150 49074 71 k's [100K]
151 349922 365 k's [320K]	152 16 none - proven	153 34 none - proven	154 216 none - proven	155 14 none - proven	156 2113322677 not started	157 3554 [4 k's]	158 52 [2 k's]	159 516 none - proven	160 183 116 (600K)
161 3154 [14 k's]	162 3259 [2 k's]	163 372 254 (600K)	164 4 none - proven	165 646 none - proven	166 127754 91 k's [100K]	167 8 none - proven	168 4744 41 k's [100K]	169 186 none - proven	170 20 none - proven
171 112790 75 k's [100K]	172 1262 [3 k's]	173 28 22 (1M)	174 6 none - proven	175 278467080 not started	176 58 none - proven	177 268 none - proven	178 87 none - proven	179 4 none - proven	180 7674582 110328 k's [2.5K]
181 300 168 (600K)	182 62 none - proven	183 208 none - proven	184 36 none - proven	185 32 none - proven	186 67 none - proven	187 3524 [4 k's]	188 8 none - proven	189 56 none - proven	190 626861 554 k's [25K]
191 260 [2 k's]	192 13897 113 k's [100K]	193 80802 232 k's [100K]	194 4 none - proven	195 582483712 not started	196 2215067 1992 k's [25K]	197 10 none - proven	198 3662 29 k's [100K]	199 13224 43 k's [100K]	200 68 none - proven
201 3669230 9769 k's [25K]	202 57 none - proven	203 14 none - proven	204 81 none - proven	205 8450016 33171 k's [2.5K]	206 22 none - proven	207 38572 280 k's [100K]	208 56 none - proven	209 4 none - proven	210 80176412 239583 k's [2.5K]
211 5058 [4 k's]	212 70 [4 k's]	213 534 294 (600K)	214 44 11 (1M)	215 15358 237 k's [100K]	216 92 none - proven	217 4688 [2 k's]	218 74 [2 k's]	219 34 none - proven	220 324 none - proven
221 38 32 (600K)	222 88530 258 k's [100K]	223 54704 402 k's [100K]	224 4 none - proven	225 168032 128 k's [100K]	226 158447 509 k's [25K]	227 20 none - proven	228 16718 121 k's [100K]	229 24 none - proven	230 8 none - proven
231 151584 55 k's [100K]	232 501417 884 k's [25K]	233 14 10 (600K)	234 46 6 (600K)	235 5378 [7 k's]	236 80 none - proven	237 50 none - proven	238 5415261 57141 k's [2.5K]	239 4 none - proven	240 2952972 56648 k's [2.5K]
241 15918 [16 k's]	242 14 none - proven	243 11896 31 k's [210K]	244 6 none - proven	245 40 none - proven	246 77 none - proven	247 469184 1913 k's [25K]	248 82 none - proven	249 14256 133 k's [100K]	250 682217 3699 k's [10K]
251 8 none - proven	252 45 none - proven	253 1904 1854 (1M)	254 4 none - proven	255 205022 360 k's [57K]	256 power 2 conjectures	257 44 none - proven	258 36 none - proven	259 14 none - proven	260 28 none - proven
261 13061094 58155 k's [2.5K]	262 27351 118 k's [100K]	263 10 none - proven	264 54 none - proven	265 20 none - proven	266 88 none - proven	267 1432662 5761 k's [10K]	268 1344 [9 k's]	269 4 none - proven	270 21681 69 k's [100K]
271 50389004 320252 k's [2.5K]	272 8 none - proven	273 7262 [9 k's]	274 21 none - proven	275 22 4 (600K)	276 1552307 12601 k's [2.5K]	277 7088 [20 k's]	278 14 none - proven	279 6 none - proven	280 513613045571841 not started
281 328 [2 k's]	282 19139 229 k's [100K]	283 218042 1118 k's [25K]	284 4 none - proven	285 12 none - proven	286 83 none - proven	287 14276 156 k's [100K]	288 613 [2 k's]	289 86 none - proven	290 98 none - proven
291 16410 32 k's [100K]	292 34682 219 k's [100K]	293 8 none - proven	294 119 none - proven	295 664484 880 k's [25K]	296 10 none - proven	297 130076 678 k's [25K]	298 116 [3 k's]	299 4 none - proven	300 85 none - proven
301 1152584 734 k's [25K]	302 13 none - proven	303 85368 1077 k's [25K]	304 426 [6 k's]	305 16 none - proven	306 39295 70 k's [100K]	307 8 none - proven	308 104 [5 k's]	309 94 none - proven	310 363869 1470 k's [25K]
311 14 none - proven	312 173401 3577 k's [10K]	313 8634 [9 k's]	314 4 none - proven	315 900 [2 k's]	316 287520 175 k's [100K]	317 14 none - proven	318 144 122 (1M)	319 1526 [3 k's]	320 106 [2 k's]
321 22 8 (600K)	322 18 none - proven	323 93896 1836 k's [25K]	324 14 none - proven	325 112882226 not started	326 110 50 (600K)	327 696 [3 k's]	328 48 8 (1M)	329 4 none - proven	330 16527822 99767 k's [2.5K]
331 470030 486 k's [100K]	332 38 18 (600K)	333 502 16 (1M)	334 66 14 (600K)	335 8 none - proven	336 63018 67 k's [100K]	337 378 [2 k's]	338 74 [4 k's]	339 16 none - proven	340 32 none - proven
341 20 none - proven	342 629 [6 k's]	343 1676 [5 k's]	344 4 none - proven	345 1295243216 not started	346 2119475 19648 k's [2.5K]	347 28 22 (600K)	348 18496 143 k's [100K]	349 6 none - proven	350 14 none - proven
351 27708 [15 k's]	352 2426 [12 k's]	353 58 none - proven	354 141 71 (600K)	355 46190 56 k's [100K]	356 8 none - proven	357 584078 2773 k's [10K]	358 27606383 265552 k's [2.5K]	359 4 none - proven	360 3782 36 k's [100K]
361 8870 [4 k's]	362 10 none - proven	363 64 none - proven	364 74 none - proven	365 62 none - proven	366 2109 1747 (2M)	367 620 none - proven	368 40 36 (600K)	369 36 none - proven	370 531 [3 k's]
371 32 none - proven	372 4477 [13 k's]	373 74 18 (600K)	374 4 none - proven	375 836460 2476 k's [10K]	376 144 none - proven	377 8 none - proven	378 1517 [6 k's]	379 56 none - proven	380 128 [3 k's]
381 168652 182 k's [100K]	382 13404 132 k's [100K]	383 208 [6 k's]	384 6 none - proven	385 3449490 3683 k's [10K]	386 44 none - proven	387 98 none - proven	388 205391 2747 k's [10K]	389 4 none - proven	390 137 none - proven
391 1820454 4989 k's [10K]	392 74 7 (600K)	393 11358 35 k's [100K]	394 159 none - proven	395 10 none - proven	396 41672 111 k's [100K]	397 172134 688 k's [25K]	398 8 7 (600K)	399 1558133564 not started	400 20080878 111272 k's [2.5K]
401 68 38 (600K)	402 92 32 (600K)	403 24744 60 k's [100K]	404 4 none - proven	405 146 none - proven	406 593 [2 k's]	407 16 none - proven	408 5316 40 k's [100K]	409 534 [2 k's]	410 136 [3 k's]
411 60254 122 k's [100K]	412 69 6 (600K)	413 22 none - proven	414 84 none - proven	415 3246826818 not started	416 140 55 (600K)	417 56 none - proven	418 11733 56 k's [100K]	419 4 none - proven	420 6548233 63188 k's [2.5K]
421 73640 50 k's [100K]	422 46 [5 k's]	423 1536 [7 k's]	424 69 [3 k's]	425 70 none - proven	426 62 none - proven	427 2080614 16442 k's [2.5K]	428 10 none - proven	429 44 none - proven	430 45152 [13 k's]
431 15380 228 k's [100K]	432 192596 8757 k's [2.5K]	433 92 none - proven	434 4 none - proven	435 31732727570 not started	436 645 [2 k's]	437 14 none - proven	438 2194 28 k's [100K]	439 144 [2 k's]	440 8 none - proven
441 118 none - proven	442 54047 71 k's [100K]	443 28 none - proven	444 179 [5 k's]	445 43338 91 k's [100K]	446 74 [3 k's]	447 148 [2 k's]	448 131556 786 k's [25K]	449 4 none - proven	450 122 none - proven
451 89610 63 k's [100K]	452 59 [3 k's]	453 4658266 96179 k's [2.5K]	454 6 none - proven	455 20 none - proven	456 76303920 not started	457 747684 5773 k's [10K]	458 16 11 (700K)	459 24 none - proven	460 56243 101 k's [100K]
461 8 none - proven	462 2924772 50851 k's [2.5K]	463 668 [2 k's]	464 4 none - proven	465 706690 2896 k's [10K]	466 21450 54 k's [100K]	467 14 none - proven	468 202 [4 k's]	469 516 422 (600K)	470 158 137 (600K)
471 750 [2 k's]	472 87 none - proven	473 14 none - proven	474 39 none - proven	475 50 none - proven	476 52 none - proven	477 14102 [25 k's]	478 370268 12041 k's [2.5K]	479 4 none - proven	480 38 none - proven
481 25956422 not started	482 8 none - proven	483 2584 [13 k's]	484 96 none - proven	485 6952 91 k's [100K]	486 1525283 27683 k's [2.5K]	487 2256 [9 k's]	488 164 [8 k's]	489 6 none - proven	490 48051 87 k's [100K]
491 40 none - proven	492 86 none - proven	493 170 92 (600K)	494 4 none - proven	495 117150 112 k's [100K]	496 638 57 (600K)	497 82 [2 k's]	498 96306 835 k's [25K]	499 2354 [17 k's]	500 166 [3 k's]
501 862 [4 k's]	502 7136 70 k's [100K]	503 8 none - proven	504 201 94 (600K)	505 714 68 (600K)	506 14 none - proven	507 11812 [25 k's]	508 1225673 31004 k's [2.5K]	509 4 none - proven	510 218 [2 k's]
511 40789000085994 not started	512 power 2 conjectures	513 221706 2095 k's [25K]	514 104 none - proven	515 44 none - proven	516 142 87 (600K)	517 36 none - proven	518 172 [5 k's]	519 14 none - proven	520 1128 [3 k's]
521 28 none - proven	522 9797 149 k's [100K]	523 132 none - proven	524 4 none - proven	525 8364188 53207 k's [2.5K]	526 900 [3 k's]	527 10 none - proven	528 47 none - proven	529 54 none - proven	530 58 [4 k's]
531 20 none - proven	532 573 none - proven	533 88 74 (600K)	534 106 [2 k's]	535 746580 3106 k's [10K]	536 178 [9 k's]	537 113788 1041 k's [25K]	538 8 none - proven	539 4 none - proven	540 800138 1121 k's [25K]
541 15546458 121957 k's [2.5K]	542 182 [11 k's]	543 2500 40 k's [100K]	544 219 none - proven	545 8 none - proven	546 11732602 75963 k's [2.5K]	547 1556732 3234 k's [25K]	548 13 7 (600K)	549 34 6 (600K)	550 666 [5 k's]
551 22 10 (600K)	552 78 [4 k's]	553 31854 50 k's [100K]	554 4 none - proven	555 58202 236 k's [100K]	556 26019699 not started	557 32 none - proven	558 259 [7 k's]	559 6 none - proven	560 10 none - proven
561 5975464 11851 k's [2.5K]	562 191 none - proven	563 46 28 (600K)	564 114 [2 k's]	565 20598 32 k's [200K]	566 8 none - proven	567 2202 [6 k's]	568 19347 90 k's [100K]	569 4 none - proven	570 12511182 250358 k's [2.5K]
571 12 none - proven	572 190 [8 k's]	573 204 6 (600K)	574 24 none - proven	575 77600 979 k's [25K]	576 17798 71 k's	577 18 none - proven	578 142 [10 k's]	579 204 none - proven	580 167 none - proven
581 98 2 (600K)	582 54 52 (600K)	583 2846 [10 k's]	584 4 none - proven	585 14271738 138122 k's [2.5K]	586 5906982 52466 k's [2.5K]	587 8 none - proven	588 94 [2 k's]	589 1004 [4 k's]	590 196 [3 k's]
591 30820 55 k's [100K]	592 17196 158 k's [100K]	593 10 none - proven	594 6 none - proven	595 291890 91 k's [100K]	596 200 none - proven	597 116 none - proven	598 43728 231 k's [100K]	599 4 none - proven	600 102772 911 k's [25K]
601 818 [3 k's]	602 68 [2 k's]	603 11324 41 k's [100K]	604 21 none - proven	605 100 none - proven	606 74660 419 k's [25K]	607 51584 513 k's [25K]	608 8 none - proven	609 184 none - proven	610 753 234 (600K)
611 118 10 (600K)	612 105437 969 k's [25K]	613 34692 129 k's [100K]	614 4 none - proven	615 34 12 (600K)	616 23447 26 k's [100K]	617 104 none - proven	618 2517 43 k's [100K]	619 216 6 (600K)	620 22 none - proven
621 190642 516 k's [25K]	622 90 none - proven	623 14 none - proven	624 569819 13722 k's [6.5K]	625 26468 59 k's	626 10 none - proven	627 129182 1222 k's [25K]	628 186 none - proven	629 4 none - proven	630 24412760 not started
631 149801300 not started	632 14 none - proven	633 1004 [5 k's]	634 126 29 (600K)	635 52 none - proven	636 27 9 (1M)	637 144 none - proven	638 70 [4 k's]	639 2136 [13 k's]	640 10349 35 k's [100K]
641 298 [8 k's]	642 3214 57 k's [100K]	643 300 [2 k's]	644 4 none - proven	645 18 none - proven	646 30410 85 k's [100K]	647 688 [25 k's]	648 237 [3 k's]	649 14 none - proven	650 8 none - proven
651 4965144 14902 k's [2.5K]	652 600759 4946 k's [10K]	653 110 [6 k's]	654 261 [9 k's]	655 3294 [10 k's]	656 74 none - proven	657 22 none - proven	658 22407 98 k's [100K]	659 4 none - proven	660 322567 3922 k's [10K]
661 2518794379382 not started	662 14 7 (600K)	663 1244 [4 k's]	664 6 none - proven	665 38 8 (400K)	666 898 none - proven	667 834 [2 k's]	668 14 11 (400K)	669 66 none - proven	670 243 none - proven
671 8 none - proven	672 41440 407 k's [25K]	673 1617938 14781 k's [2.5K]	674 4 none - proven	675 37816 185 k's [100K]	676 149 none - proven	677 112 [4 k's]	678 195 [5 k's]	679 186 174 (400K)	680 226 none - proven
681 32 none - proven	682 40979 209 k's [100K]	683 20 none - proven	684 46 39 (400K)	685 518792 3654 k's [10K]	686 230 [2 k's]	687 4686 [12 k's]	688 105 9 (400K)	689 4 none - proven	690 42053568 not started
691 4306490 27776 k's [2.5K]	692 8 none - proven	693 14922 47 k's [100K]	694 279 [2 k's]	695 28 26 (400K)	696 288 [2 k's]	697 4536 [17 k's]	698 232 [17 k's]	699 6 none - proven	700 343498413 not started
701 14 none - proven	702 75 32 (400K)	703 4454 [14 k's]	704 4 none - proven	705 1881842 16419 k's [2.5K]	706 302 none - proven	707 14 none - proven	708 41121 236 k's [100K]	709 924 [6 k's]	710 80 [4 k's]
711 4540 [15 k's]	712 185 47 (1M)	713 8 none - proven	714 12 none - proven	715 9745298 14622 k's [2.5K]	716 238 [4 k's]	717 30514 203 k's [100K]	718 1023 [22 k's]	719 4 none - proven	720 104 [3 k's]
721 3966270 21072 k's [2.5K]	722 242 [8 k's]	723 12852 85 k's [100K]	724 59 none - proven	725 10 none - proven	726 12751579 140272 k's [2.5K]	727 246 8 (400K)	728 212722 24784 k's [2.5K]	729 74 none - proven	730 171 170 (400K)
731 62 34 (400K)	732 211836 8311 k's [2.5K]	733 4038 [23 k's]	734 4 none - proven	735 3536594 38151 k's [2.5K]	736 870 560 (400K)	737 40 [2 k's]	738 13738 123 k's [100K]	739 36 none - proven	740 14 none - proven
741 160 none - proven	742 21546 43 k's [100K]	743 32 14 (400K)	744 299 [7 k's]	745 31706 [17 k's]	746 34 [2 k's]	747 120 [4 k's]	748 855 [7 k's]	749 4 none - proven	750 27353 77 k's [100K]
751 85682 233 k's [100K]	752 101 [6 k's]	753 144 [4 k's]	754 1056 [15 k's]	755 8 none - proven	756 54604682 not started	757 27666 62 k's [100K]	758 10 none - proven	759 56 none - proven	760 22676277 not started
761 128 32 (400K)	762 8 none - proven	763 925778 11168 k's [2.5K]	764 4 none - proven	765 2114542 25003 k's [2.5K]	766 1002 [5 k's]	767 172 [6 k's]	768 55367 855 k's [25K]	769 6 none - proven	770 256 [4 k's]
771 83954 64 k's [100K]	772 27054 587 k's [25K]	773 44 38 (400K)	774 61 [2 k's]	775 172368 537 k's [25K]	776 8 none - proven	777 23485096 not started	778 696 [4 k's]	779 4 none - proven	780 285 [2 k's]
781 254 none - proven	782 28 14 (400K)	783 302 104 (400K)	784 156 116 (400K)	785 130 none - proven	786 37209 472 k's [25K]	787 27332 159 k's [100K]	788 14 none - proven	789 236 [2 k's]	790 225 48 (400K)
791 10 none - proven	792 1158 [7 k's]	793 1834536 18639 k's [2.5K]	794 4 none - proven	795 5770 [23 k's]	796 27199220 not started	797 8 none - proven	798 339 [3 k's]	799 1885767686976 not started	800 88 8 (1M)
801 40381102 not started	802 408 [10 k's]	803 68 [2 k's]	804 6 none - proven	805 92 none - proven	806 268 [2 k's]	807 32824 198 k's [100K]	808 59058 947 k's [25K]	809 4 none - proven	810 35683 223 k's [100K]
811 260 none - proven	812 13 4 (400K)	813 186 122 (400K)	814 164 [2 k's]	815 16 8 (400K)	816 343 [3 k's]	817 6189398 74092 k's [2.5K]	818 8 none - proven	819 124 none - proven	820 390795 527 k's [25K]
821 958 [12 k's]	822 156369 8895 k's [2.5K]	823 8262 68 k's [100K]	824 4 none - proven	825 176 none - proven	826 131420459393 not started	827 14 none - proven	828 144 [2 k's]	829 84 none - proven	830 278 [5 k's]
831 1721084 25415 k's [2.5K]	832 50 none - proven	833 140 104 (400K)	834 166 none - proven	835 56 none - proven	836 32 8 (400K)	837 2094 [6 k's]	838 180384 3293 k's [10K]	839 4 none - proven	840 84608 760 k's [25K]
841 24090 [12 k's]	842 280 [22 k's]	843 8652 67 k's [100K]	844 14 none - proven	845 46 none - proven	846 34 none - proven	847 1357806 12433 k's [2.5K]	848 284 [5 k's]	849 16 none - proven	850 369 221 (400K)
851 70 none - proven	852 8529 81 k's [100K]	853 62 none - proven	854 4 none - proven	855 7419914968008 not started	856 108467 527 k's [25K]	857 10 none - proven	858 24053 249 k's [100K]	859 44 none - proven	860 8 none - proven
861 323168 703 k's [25K]	862 26417 158 k's [100K]	863 14 none - proven	864 174 114 (400K)	865 21155948 not started	866 35 none - proven	867 92 8 (500K)	868 78 none - proven	869 4 none - proven	870 66 none - proven
871 16460 [13 k's]	872 98 [4 k's]	873 208 [2 k's]	874 6 none - proven	875 74 none - proven	876 51768432 not started	877 50654 471 k's [25K]	878 292 36 k's [100K]	879 34 24 (400K)	880 48720 180 k's [100K]
881 8 none - proven	882 25606 253 k's [100K]	883 324 194 (500K)	884 4 none - proven	885 1041492 3952 k's [10K]	886 1758033 29469 k's [2.5K]	887 38 [2 k's]	888 69 64 (400K)	889 266 [4 k's]	890 10 none - proven
891 79570190 not started	892 189 [3 k's]	893 148 [3 k's]	894 284 [6 k's]	895 152774 1042 k's [25K]	896 14 none - proven	897 19308 45 k's [100K]	898 30 none - proven	899 4 none - proven	900 52 none - proven
901 12 none - proven	902 8 none - proven	903 24746 39 k's [100K]	904 1266 [11 k's]	905 152 22 (400K)	906 171998037 not started	907 4050362 89943 k's [2.5K]	908 29 none - proven	909 6 none - proven	910 5005381602981 not started
911 20 none - proven	912 331 [9 k's]	913 1368714 16764 k's [2.5K]	914 4 none - proven	915 3970630 57194 k's [2.5K]	916 132 none - proven	917 16 none - proven	918 11946 75 k's [100K]	919 24 none - proven	920 103 [3 k's]
921 10667550454 not started	922 27 none - proven	923 8 none - proven	924 36 none - proven	925 44751264 not started	926 104 [6 k's]	927 5886 48 k's [100K]	928 32514 629 k's [25K]	929 4 none - proven	930 20 none - proven
931 3960 [2 k's]	932 310 [9 k's]	933 389944 12657 k's [2.5K]	934 21 none - proven	935 14 none - proven	936 100260 91 k's [100K]	937 1140 [9 k's]	938 299 [23 k's]	939 46 none - proven	940 36929 242 k's [100K]
941 158 [2 k's]	942 206 [4 k's]	943 18822 90 k's [100K]	944 4 none - proven	945 386 [2 k's]	946 2156122023 not started	947 80 none - proven	948 220 [4 k's]	949 56 none - proven	950 316 [6 k's]
951 50 none - proven	952 5411 34 k's [100K]	953 266 [5 k's]	954 381 [13 k's]	955 1333860 12170 k's [2.5K]	956 10 none - proven	957 1438 [8 k's]	958 174 8 (500K)	959 4 none - proven	960 61681833328 not started
961 38 none - proven	962 106 [6 k's]	963 22349616 not started	964 194 none - proven	965 8 none - proven	966 699327630 not started	967 408 242 (500K)	968 16 4 (500K)	969 96 none - proven	970 447630 3431 k's [10K]
971 3578 82 k's [100K]	972 279 [8 k's]	973 21914 83 k's [100K]	974 4 none - proven	975 282032 2245 k's [10K]	976 154367 545 k's [25K]	977 164 [5 k's]	978 177 [2 k's]	979 6 none - proven	980 110 [2 k's]
981 112303013130 not started	982 4914 71 k's [100K]	983 14 none - proven	984 196 [3 k's]	985 86 none - proven	986 8 none - proven	987 170 [3 k's]	988 300 [2 k's]	989 4 none - proven	990 1684699 24510 k's [2.5K]
991 11358 [24 k's]	992 172 [9 k's]	993 8 none - proven	994 399 [4 k's]	995 82 20 (500K)	996 52840 668 k's [25K]	997 101526 1027 k's [25K]	998 38 [4 k's]	999 3166 56 k's [100K]	1000 12 none - proven
1001 1168 [3 k's]	1002 237 none - proven	1003 396 [2 k's]	1004 4 none - proven	1005 244960 2554 k's [10K]	1006 1538 [8 k's]	1007 8 none - proven	1008 623563 15807 k's [2.5K]	1009 1314 [6 k's]	1010 338 [16 k's]
1011 208 none - proven	1012 946143 16390 k's [10K]	1013 14 none - proven	1014 6 none - proven	1015 11049380 41219 k's [2.5K]	1016 112 none - proven	1017 900 [5 k's]	1018 111284 2895 k's [10K]	1019 4 2 (600K)	1020 94655888 not started
1021 218 none - proven	1022 10 none - proven	1023 68394 142 k's [100K]	1024 power 2 conjectures	1025 20 8 (1.075M)	1026 157 none - proven	1027 21332 32 k's [250K]	1028 8 none - proven	1029 104 26 (1M)	1030 54642 125 k's [100K]

Statistics:
bases all over: 1029
bases proven: 399
bases not started: 53
bases with 1 k-value: 103
bases with 2 k-values: 50
bases with 3 k-values: 26
remaining k-values: 4261994

Riesel conjectures that are powers of 2:

base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain
2 509203 44 k's	2 2nd conjecture 762701 26 k's [6.5M]	2 even-n 39939 [2 k's]	2 odd-n 172677 [4 k's]	4 39939 [5 k's]	8 14 none - proven	16 33965 [15 k's]	32 10 none - proven	64 14 none - proven	128 44 none - proven
256 10364 [19 k's]	512 14 none - proven	1024 81 29 (1M)

Statistics:
bases all over: 13
bases proven: 5
bases not started: 0
bases with 1 k-value: 1
bases with 2 k-values: 1
bases with 3 k-values: 0
remaining k-values: 116

Sierpinski conjectures:

base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain
none	2 power 2 conjectures	3 125050976086 411412 k's	4 power 2 conjectures	5 159986 30 k's [4.3M]	6 174308 [10 k's]	7 1112646039348 19917 k's [k≤1G at n>=25K]	8 power 2 conjectures	9 2344 2036 (5M)	10 9175 7666 (3M)
11 1490 none - proven	12 521 none - proven	13 132 none - proven	14 4 none - proven	15 91218919470156 10362 k's [k≤1G at n>=25K]	16 power 2 conjectures	17 278 244 (5M)	18 398 none - proven	19 765174 525 k's [200K]	20 8 none - proven
21 1002 none - proven	22 6694 5128 (2M)	23 182 none - proven	24 30651 61 k's [400K]	25 262638 81 k's	26 221 [2 k's]	27 538 398 (2M)	28 4554 [2 k's]	29 4 none - proven	30 867 [2 k's]
31 6360528 503 k's [100K]	32 power 2 conjectures	33 1854 none - proven	34 6 none - proven	35 214018 325 k's [100K]	36 1886 none - proven	37 2604 [3 k's]	38 14 none - proven	39 166134 259 k's [100K]	40 826477 238 k's [100K]
41 8 none - proven	42 13372 [15 k's]	43 2256 166 (1M)	44 4 none - proven	45 53474 26 k's [250K]	46 14992 [12 k's]	47 8 none - proven	48 1219 [6 k's]	49 2944 [2 k's]	50 16 none - proven
51 5183582 4319 k's [80K]	52 28674 [16 k's]	53 1966 [18 k's]	54 21 none - proven	55 4416 [4 k's]	56 20 none - proven	57 1188 none - proven	58 43071 96 k's [125K]	59 4 none - proven	60 16957 [19 k's]
61 15168 [9 k's]	62 8 none - proven	63 37565868 33772 k's [25K]	64 power 2 conjectures	65 10 none - proven	66 21314443 10856 k's	67 18342 33 k's [250K]	68 22 17 (1M)	69 6 none - proven	70 11077 10438 (1M)
71 5917678826 not started	72 731 none - proven	73 1444 none - proven	74 4 none - proven	75 4086 1312 (1.3M)	76 43 none - proven	77 14 none - proven	78 186123 120 k's [100K]	79 2212516 6978 k's	80 1039 [12 k's]
81 6068 [9 k's]	82 19587 55 k's [100K]	83 8 none - proven	84 16 none - proven	85 346334170 358422 k's	86 28 8 (1M)	87 274 32 (1M)	88 4093 [6 k's]	89 4 none - proven	90 27 none - proven
91 89586 [12 k's]	92 32 none - proven	93 24394 70 k's [100K]	94 39 none - proven	95 41354 365 k's [100K]	96 353081 387 k's [100K]	97 15996 82 k's [100K]	98 10 none - proven	99 684 none - proven	100 2469 [3 k's]
101 16 none - proven	102 293 [3 k's]	103 13794 44 k's [100K]	104 4 none - proven	105 181632 51 k's [100K]	106 495090 184 k's [100K]	107 122 [2 k's]	108 26270 132 k's [100K]	109 34 none - proven	110 38 none - proven
111 24340 [16 k's]	112 3502 1696 (1M)	113 94 none - proven	114 24 none - proven	115 49794 32 k's [100K]	116 25 none - proven	117 2184 1474 (1M)	118 69 48 (1M)	119 4 none - proven	120 374876369 not started
121 360 none - proven	122 40 34 (1M)	123 2138 [6 k's]	124 173559406 not started	125 8 none - proven	126 766700 1217 k's [25K]	127 11254645362 not started	128 power 2 conjectures	129 14 none - proven	130 1021537 1572 k's [25K]
131 10 none - proven	132 13 none - proven	133 1944 [3 k's]	134 4 none - proven	135 1112 [4 k's]	136 90693 58 k's [100K]	137 22 none - proven	138 2781 [9 k's]	139 6 none - proven	140 46 8 (1M)
141 129697332 283945 k's [2.5K]	142 12 none - proven	143 7628 117 k's [100K]	144 59 none - proven	145 430482 264 k's [100K]	146 8 none - proven	147 17946 37 k's [100K]	148 4471 2361 (1M)	149 4 none - proven	150 49074 69 k's [100K]
151 83316 92 k's [200K]	152 16 none - proven	153 34 none - proven	154 61 none - proven	155 14 4 (1.7M)	156 18406311208 not started	157 1344 [2 k's]	158 52 none - proven	159 36 none - proven	160 22 none - proven
161 1760 [6 k's]	162 6193 [7 k's]	163 4192 [13 k's]	164 4 none - proven	165 2974 [3 k's]	166 140947 85 k's [100K]	167 8 none - proven	168 9244 70 k's [100K]	169 16 none - proven	170 20 none - proven
171 18790 [11 k's]	172 108 none - proven	173 28 none - proven	174 6 4 (1M)	175 606727296 not started	176 58 none - proven	177 3648 [10 k's]	178 1585 [11 k's]	179 4 none - proven	180 1679679 11748 k's [10K]
181 118 none - proven	182 23 8 (1M)	183 1036 none - proven	184 36 none - proven	185 32 10 (1M)	186 67 none - proven	187 798 none - proven	188 8 none - proven	189 56 none - proven	190 3146151 4749 k's [10K]
191 302 [3 k's]	192 7879 56 k's [100K]	193 14454 39 k's [100K]	194 4 none - proven	195 289401986 not started	196 2730222 2518 k's [25K]	197 10 none - proven	198 4105 36 k's [100K]	199 13224 41 k's [100K]	200 47 40 (1M)
201 4613782 29202 k's [2.5K]	202 57 none - proven	203 16 none - proven	204 81 4 (1M)	205 138330 76 k's [100K]	206 22 none - proven	207 9426 74 k's [100K]	208 153 none - proven	209 4 none - proven	210 147840103 not started
211 20238 [13 k's]	212 70 [4 k's]	213 4174 [14 k's]	214 171 [2 k's]	215 19924 304 k's [100K]	216 92 none - proven	217 1854 1356 (600K)	218 74 17 (1M)	219 34 none - proven	220 103 none - proven
221 38 none - proven	222 389359 1235 k's [100K]	223 57814 529 k's [30K]	224 4 none - proven	225 117406 80 k's [100K]	226 1547460 14985 k's [2.5K]	227 20 18 (1M)	228 1146 [2 k's]	229 24 none - proven	230 8 4 (1M)
231 251748 95 k's [100K]	232 447592 807 k's [25K]	233 14 none - proven	234 46 none - proven	235 15706 27 k's [100K]	236 80 [2 k's]	237 50 none - proven	238 5613633 58571 k's [2.5K]	239 4 none - proven	240 1722187 32558 k's [2.5K]
241 636076 1815 k's [25K]	242 8 none - proven	243 40078 97 k's [400K]	244 6 none - proven	245 40 none - proven	246 77 none - proven	247 71392 171 k's [100K]	248 82 [4 k's]	249 824 [3 k's]	250 5496397 61066 k's [2.5K]
251 8 none - proven	252 45 27 (600K)	253 25018 [10 k's]	254 4 none - proven	255 110094 156 k's [100K]	256 power 2 conjectures	257 44 40 (600K)	258 36 none - proven	259 144 64 (1M)	260 28 none - proven
261 8837652 39028 k's [2.5K]	262 110724 832 k's [25K]	263 10 8 (1M)	264 54 41 (1M)	265 246 none - proven	266 88 none - proven	267 1343016 3728 k's [25K]	268 8338 76 k's [100K]	269 4 none - proven	270 62060 428 k's [25K]
271 168541962 not started	272 8 none - proven	273 3974 [6 k's]	274 21 none - proven	275 22 none - proven	276 622697 1669 k's [25K]	277 19578 82 k's [100K]	278 8 none - proven	279 6 none - proven	280 82035074042274 not started
281 46 none - proven	282 10807 148 k's [100K]	283 106714 559 k's [25K]	284 4 none - proven	285 12 none - proven	286 370 none - proven	287 7142 88 k's [100K]	288 2704 [7 k's]	289 204 none - proven	290 98 [3 k's]
291 33232 68 k's [100K]	292 40393 262 k's [100K]	293 8 none - proven	294 119 61 (1M)	295 394902 542 k's [25K]	296 10 none - proven	297 133654 695 k's [25K]	298 183 [2 k's]	299 4 none - proven	300 85 none - proven
301 1061982 705 k's [25K]	302 16 none - proven	303 174742 2225 k's [25K]	304 121 60 (1M)	305 16 none - proven	306 431937 1385 k's [25K]	307 34 none - proven	308 104 [5 k's]	309 94 none - proven	310 268392 1091 k's [25K]
311 142 none - proven	312 890797 32149 k's [2.5K]	313 111312 234 k's [100K]	314 4 none - proven	315 1642 [2 k's]	316 287520 145 k's [100K]	317 52 44 (600K)	318 144 89 (600K)	319 684 [5 k's]	320 106 97 (600K)
321 22 none - proven	322 18 none - proven	323 2284 31 k's [100K]	324 14 none - proven	325 82786558 not started	326 110 none - proven	327 1844 [11 k's]	328 48 27 (1M)	329 4 none - proven	330 16636723 101096 k's [2.5K]
331 280458 253 k's [100K]	332 38 [2 k's]	333 6514 [25 k's]	334 66 [2 k's]	335 8 4 (1M)	336 92000 107 k's [100K]	337 534 none - proven	338 112 [10 k's]	339 16 none - proven	340 309 199 (1M)
341 20 none - proven	342 552 [5 k's]	343 1936 [4 k's]	344 4 none - proven	345 356851424 not started	346 22248598 not started	347 28 none - proven	348 26523 257 k's [100K]	349 6 none - proven	350 14 none - proven
351 115752 102 k's [100K]	352 7990 [20 k's]	353 16 8 (700K)	354 141 [3 k's]	355 23586 40 k's [100K]	356 8 none - proven	357 456628 1428 k's [25K]	358 27478218 not started	359 4 none - proven	360 628 [5 k's]
361 1671172 5510 k's	362 10 none - proven	363 64 none - proven	364 291 none - proven	365 304 [2 k's]	366 79231 357 k's [100K]	367 3462 [14 k's]	368 40 [3 k's]	369 36 none - proven	370 160 none - proven
371 32 none - proven	372 9699 51 k's [100K]	373 120 108 (700K)	374 4 none - proven	375 7509988 46406 k's [2.5K]	376 610 [2 k's]	377 8 none - proven	378 6444 [12 k's]	379 246 156 (1M)	380 128 [2 k's]
381 18526 [10 k's]	382 11491 93 k's [100K]	383 1022 37 k's	384 6 none - proven	385 3301264 3407 k's [10K]	386 85 none - proven	387 1798 [10 k's]	388 90249 832 k's [25K]	389 4 none - proven	390 137 none - proven
391 206662 247 k's [100K]	392 130 [3 k's]	393 58608 166 k's [100K]	394 159 [2 k's]	395 10 [2 k's]	396 5253 [4 k's]	397 10546 28 k's [100K]	398 8 none - proven	399 2525403854 not started	400 12492354 68114 k's [2.5K]
401 68 20 (1M)	402 92 61 (600K)	403 11412 31 k's [100K]	404 4 none - proven	405 146 none - proven	406 186 none - proven	407 16 none - proven	408 5318 [19 k's]	409 124 none - proven	410 136 [2 k's]
411 46246 88 k's [100K]	412 132 [2 k's]	413 22 none - proven	414 84 none - proven	415 3088787196 not started	416 140 none - proven	417 56 10 (700K)	418 8398 28 k's [100K]	419 4 none - proven	420 2288555 9707 k's [10K]
421 53806 [17 k's]	422 46 [3 k's]	423 9698 69 k's [100K]	424 16 none - proven	425 70 none - proven	426 62 8 (600K)	427 5852794 48534 k's [2.5K]	428 10 8 (600K)	429 44 none - proven	430 22413 15321 (600K)
431 20138 316 k's [100K]	432 46765 964 k's [25K]	433 342 [2 k's]	434 4 none - proven	435 3699251266 not started	436 208 none - proven	437 8 none - proven	438 2633 30 k's [100K]	439 34 none - proven	440 8 none - proven
441 118 none - proven	442 36768 50 k's [100K]	443 184 [3 k's]	444 179 [2 k's]	445 14986 42 k's [100K]	446 148 [6 k's]	447 204 [2 k's]	448 139191 961 k's [25K]	449 4 none - proven	450 122 87 (600K)
451 97068 104 k's [100K]	452 152 [8 k's]	453 4863476 100879 k's [2.5K]	454 6 none - proven	455 20 none - proven	456 14836963 51825 k's [2.5K]	457 84958 422 k's [25K]	458 16 none - proven	459 24 none - proven	460 37803 75 k's [100K]
461 8 2 (600K)	462 6880642 123504 k's [2.5K]	463 1188 [2 k's]	464 4 none - proven	465 78056 127 k's [100K]	466 6492 [16 k's]	467 8 4 (1M)	468 202 97 (1.186M)	469 46 none - proven	470 158 none - proven
471 4562 [12 k's]	472 87 [2 k's]	473 8 none - proven	474 39 none - proven	475 288 none - proven	476 52 28 (600K)	477 78152 168 k's [100K]	478 523069 17110 k's [2.5K]	479 4 none - proven	480 38 12 (600K)
481 11680548 46637 k's [2.5K]	482 8 none - proven	483 32 none - proven	484 96 none - proven	485 3344 67 k's [100K]	486 301941 2844 k's [10K]	487 6772 42 k's [100K]	488 164 [6 k's]	489 6 none - proven	490 15123 29 k's [100K]
491 40 none - proven	492 86 69 (600K)	493 324 [5 k's]	494 4 none - proven	495 692446 1247 k's [25K]	496 141 none - proven	497 16 8 (600K)	498 7983 45 k's [100K]	499 2124 [23 k's]	500 166 [10 k's]
501 278 none - proven	502 8832 89 k's [100K]	503 8 none - proven	504 201 [3 k's]	505 208 none - proven	506 25 none - proven	507 1142 [3 k's]	508 601128 14811 k's [2.5K]	509 4 none - proven	510 218 [2 k's]
511 3876595974396 not started	512 power 2 conjectures	513 45828 446 k's [25K]	514 411 [8 k's]	515 44 none - proven	516 142 122 (600K)	517 36 none - proven	518 172 [4 k's]	519 14 none - proven	520 1006 369 (1M)
521 28 none - proven	522 32644 781 k's [25K]	523 10872 45 k's [100K]	524 4 none - proven	525 8639814 54690 k's [2.5K]	526 373 none - proven	527 10 none - proven	528 116 none - proven	529 972 [9 k's]	530 58 [2 k's]
531 20 none - proven	532 40 none - proven	533 88 [2 k's]	534 106 104 (600K)	535 4653216 35050 k's [2.5K]	536 178 [2 k's]	537 176734 2347 k's [10K]	538 27 none - proven	539 4 none - proven	540 1091739 2632 k's [10K]
541 15253776 120506 k's [2.5K]	542 32 [2 k's]	543 6478 96 k's [100K]	544 64 none - proven	545 8 none - proven	546 45119296 not started	547 1658658 5063 k's [10K]	548 16 none - proven	549 34 none - proven	550 115 94 (600K)
551 22 none - proven	552 78 none - proven	553 1938 [4 k's]	554 4 none - proven	555 32388 132 k's [100K]	556 3353698 32274 k's [2.5K]	557 16 none - proven	558 259 [3 k's]	559 6 none - proven	560 10 none - proven
561 6290186 7027 k's [6.175K]	562 12 none - proven	563 12 none - proven	564 114 [2 k's]	565 8472 [13 k's]	566 8 none - proven	567 924 none - proven	568 23328 86 k's [100K]	569 4 none - proven	570 2972056 56901 k's [2.5K]
571 12 none - proven	572 190 [8 k's]	573 204 [3 k's]	574 24 16 (600K)	575 136582 1823 k's [25K]	576 30651 151 k's	577 664 [6 k's]	578 68 [3 k's]	579 86 6 (600K)	580 414 none - proven
581 98 none - proven	582 54 32 (600K)	583 2994 [12 k's]	584 4 none - proven	585 13929512 134076 k's [2.5K]	586 21262902 196149 k's [2.5K]	587 8 none - proven	588 94 none - proven	589 414 none - proven	590 196 [10 k's]
591 16242 33 k's [100K]	592 23721 247 k's [100K]	593 10 [2 k's]	594 6 none - proven	595 301128 90 k's [100K]	596 200 136 (600K)	597 12 none - proven	598 18568 93 k's [100K]	599 4 none - proven	600 1906972 48948 k's [2.5K]
601 216 none - proven	602 68 [4 k's]	603 1964 [4 k's]	604 21 none - proven	605 100 70 (600K)	606 50380 171 k's [100K]	607 420034 5572 k's [10K]	608 8 none - proven	609 184 none - proven	610 142 none - proven
611 16 none - proven	612 162446 2152 k's [10K]	613 1536 [4 k's]	614 4 none - proven	615 34 none - proven	616 53061 50 k's [100K]	617 514 [7 k's]	618 3995 49 k's [200K]	619 94 none - proven	620 22 [2 k's]
621 19592 36 k's [100K]	622 90 none - proven	623 14 none - proven	624 712899 23326 k's [2.5K]	625 17428 [23 k's]	626 10 none - proven	627 12354 84 k's [100K]	628 1072 [7 k's]	629 4 none - proven	630 24015859 not started
631 8243256 28048 k's [2.5K]	632 8 none - proven	633 6022 58 k's [100K]	634 126 [2 k's]	635 52 none - proven	636 27 none - proven	637 144 none - proven	638 70 32 (600K)	639 1664 [7 k's]	640 11925 39 k's [100K]
641 106 none - proven	642 10932 206 k's [100K]	643 22 none - proven	644 4 none - proven	645 18 none - proven	646 52701 133 k's [100K]	647 124 [3 k's]	648 296 [6 k's]	649 144 64 (600K)	650 8 none - proven
651 4541342 13808 k's [2.5K]	652 2491849 39920 k's [2.5K]	653 110 [4 k's]	654 261 [4 k's]	655 6930 32 k's [100K]	656 145 [6 k's]	657 48 none - proven	658 20428 112 k's [100K]	659 4 none - proven	660 74031 564 k's [25K]
661 1185028551412 not started	662 14 none - proven	663 10042 44 k's [100K]	664 6 none - proven	665 38 none - proven	666 231 none - proven	667 26218 117 k's [100K]	668 8 none - proven	669 66 none - proven	670 243 none - proven
671 8 none - proven	672 3366 [14 k's]	673 687142 3328 k's [10K]	674 4 none - proven	675 293812 3017 k's [10K]	676 825 none - proven	677 112 none - proven	678 195 106 (600K)	679 16 none - proven	680 226 [5 k's]
681 32 none - proven	682 6831 43 k's [100K]	683 20 none - proven	684 86 [2 k's]	685 637524 4576 k's [10K]	686 230 116 (600K)	687 7956 32 k's [100K]	688 105 [2 k's]	689 4 none - proven	690 395800653 not started
691 9449088 62047 k's [2.5K]	692 8 none - proven	693 6592 [12 k's]	694 1111 [6 k's]	695 28 none - proven	696 288 none - proven	697 14308 58 k's [100K]	698 232 [8 k's]	699 6 none - proven	700 36945505 not started
701 92 none - proven	702 75 39 (600K)	703 538 [2 k's]	704 4 none - proven	705 10159692 93375 k's [2.5K]	706 405 none - proven	707 58 40 (600K)	708 28361 190 k's [100K]	709 214 none - proven	710 80 [3 k's]
711 49572 201 k's [100K]	712 528 [9 k's]	713 8 none - proven	714 12 none - proven	715 21508102 33368 k's [2.5K]	716 238 [3 k's]	717 179678 2703 k's [10K]	718 243 [5 k's]	719 4 none - proven	720 104 13 (500K)
721 3446248 18229 k's [2.5K]	722 8 none - proven	723 2354 [21 k's]	724 204 9 (500K)	725 10 none - proven	726 10923176 119761 k's [2.5K]	727 64 none - proven	728 953974 115651 k's [2.5K]	729 74 none - proven	730 171 84 (400K)
731 62 none - proven	732 81364 1358 k's [25K]	733 14314 77 k's [100K]	734 4 none - proven	735 174778 721 k's [25K]	736 133 12 (400K)	737 40 none - proven	738 12767 129 k's [100K]	739 36 none - proven	740 14 13 (1M)
741 160 none - proven	742 30462 52 k's [100K]	743 32 none - proven	744 299 [12 k's]	745 334816 784 k's [25K]	746 82 [4 k's]	747 32 none - proven	748 106 none - proven	749 4 none - proven	750 210779 1073 k's [25K]
751 41032 119 k's [100K]	752 16 none - proven	753 144 [2 k's]	754 301 [3 k's]	755 8 none - proven	756 67836285 not started	757 47376 120 k's [100K]	758 10 8 (500K)	759 56 none - proven	760 113906481 not started
761 128 [3 k's]	762 246 [5 k's]	763 151462 814 k's [25K]	764 4 none - proven	765 2699768 32349 k's [2.5K]	766 235 [2 k's]	767 80 [3 k's]	768 55367 685 k's [40K]	769 6 none - proven	770 256 [2 k's]
771 264218 202 k's [100K]	772 23191 342 k's [100K]	773 44 [5 k's]	774 61 [2 k's]	775 862620 3752 k's [10K]	776 8 none - proven	777 24088826 394350 k's [2.5K]	778 208 163 (400K)	779 4 none - proven	780 243 none - proven
781 528 370 (500K)	782 28 none - proven	783 36 none - proven	784 156 151 (400K)	785 130 none - proven	786 210082 3604 k's [10K]	787 7684 37 k's [100K]	788 40 [3 k's]	789 236 96 (500K)	790 225 [2 k's]
791 10 none - proven	792 365 [4 k's]	793 4492848 47035 k's [2.5K]	794 4 none - proven	795 6566 32 k's [100K]	796 137085595 not started	797 8 none - proven	798 187 33 (400K)	799 1864613598304 not started	800 88 [2 k's]
801 45030296 not started	802 129 none - proven	803 16 4 (500K)	804 6 none - proven	805 714 none - proven	806 268 140 (400K)	807 53428 508 k's [25K]	808 24271 267 k's [100K]	809 4 none - proven	810 30008 165 k's [100K]
811 552 [3 k's]	812 16 none - proven	813 186 none - proven	814 651 [7 k's]	815 16 none - proven	816 343 153 (400K)	817 2063406 24181 k's [2.5K]	818 8 none - proven	819 124 none - proven	820 30378 [21 k's]
821 136 80 (500K)	822 278173 16021 k's [2.5K]	823 9166 69 k's [100K]	824 4 none - proven	825 176 [2 k's]	826 19730748315 not started	827 8 none - proven	828 12 8 (500K)	829 84 none - proven	830 278 [13 k's]
831 1030522 15039 k's [2.5K]	832 69 [2 k's]	833 140 [2 k's]	834 166 89 (400K)	835 474 [2 k's]	836 32 2 (400K)	837 1032 [4 k's]	838 1447276 46353 k's [2.5K]	839 4 none - proven	840 9076 54 k's [100K]
841 22312 [12 k's]	842 68 [3 k's]	843 28486 250 k's [100K]	844 51 none - proven	845 46 none - proven	846 43 none - proven	847 150678 557 k's [25K]	848 284 [10 k's]	849 16 none - proven	850 369 252 (400K)
851 70 none - proven	852 34974 627 k's [25K]	853 204 106 (1M)	854 4 none - proven	855 7954937545864 not started	856 39457 103 k's [100K]	857 10 none - proven	858 35218 567 k's [25K]	859 474 [2 k's]	860 8 none - proven
861 813160 2692 k's [10K]	862 6757 38 k's [100K]	863 8 none - proven	864 174 74 (500K)	865 15460266 just started	866 16 8 (500K)	867 92 none - proven	868 78 none - proven	869 4 none - proven	870 66 none - proven
871 21676 [22 k's]	872 98 [3 k's]	873 208 [3 k's]	874 6 none - proven	875 74 4 (1M)	876 258073912 not started	877 2182 [8 k's]	878 23 [3 k's]	879 34 none - proven	880 25282 79 k's [100K]
881 8 none - proven	882 5297 46 k's [100K]	883 324 66 (500K)	884 4 none - proven	885 588746 2160 k's [10K]	886 8170158 142454 k's [2.5K]	887 38 [2 k's]	888 13 none - proven	889 624 none - proven	890 10 none - proven
891 80364072 not started	892 187 [3 k's]	893 32 none - proven	894 359 [11 k's]	895 953800 13493 k's [2.5K]	896 22 none - proven	897 7634 [15 k's]	898 30 none - proven	899 4 none - proven	900 12 none - proven
901 12 none - proven	902 8 none - proven	903 338 none - proven	904 361 [6 k's]	905 118 [3 k's]	906 161291811 not started	907 1350424 29433 k's [2.5K]	908 100 [7 k's]	909 6 none - proven	910 4989054506113 not started
911 208 [4 k's]	912 331 [10 k's]	913 2540464 31687 k's [2.5K]	914 4 2 (400K)	915 4266956 61769 k's [2.5K]	916 132 none - proven	917 16 2 (500K)	918 24812 156 k's [100K]	919 24 none - proven	920 103 [5 k's]
921 10596584690 not started	922 285 [3 k's]	923 8 none - proven	924 36 none - proven	925 59162602 not started	926 205 [4 k's]	927 28624 454 k's [25K]	928 27871 529 k's [25K]	929 4 none - proven	930 20 8 (400K)
931 37978 26 k's [100K]	932 310 [11 k's]	933 3343252 113075 k's [2.5K]	934 16 none - proven	935 14 10 (400K)	936 100260 92 k's [100K]	937 202 none - proven	938 314 [16 k's]	939 46 none - proven	940 5557 45 k's [100K]
941 158 none - proven	942 206 [3 k's]	943 15636 53 k's [100K]	944 4 none - proven	945 386 [3 k's]	946 1524340829428 not started	947 80 [3 k's]	948 38 none - proven	949 246 none - proven	950 316 [5 k's]
951 50 none - proven	952 5503 [25 k's]	953 52 8 (400K)	954 381 [15 k's]	955 981094 2322 k's [75K]	956 10 none - proven	957 19638 143 k's [100K]	958 412 [2 k's]	959 4 none - proven	960 197938246042 not started
961 1000 [7 k's]	962 106 [4 k's]	963 23276986 not started	964 771 [14 k's]	965 8 none - proven	966 924230558 not started	967 144 none - proven	968 16 11 (400K)	969 96 none - proven	970 430152 3258 k's [10K]
971 14876 342 k's [100K]	972 279 [8 k's]	973 9252 27 k's [100K]	974 4 none - proven	975 375364 2920 k's [10K]	976 4492245 48740 k's [2.5K]	977 160 [7 k's]	978 177 [4 k's]	979 6 none - proven	980 110 25 (400K)
981 50234474650 not started	982 39640 816 k's [25K]	983 40 8 (400K)	984 196 [3 k's]	985 900 [3 k's]	986 8 none - proven	987 170 none - proven	988 1678 [7 k's]	989 4 none - proven	990 838385 11957 k's [2.5K]
991 5262 [7 k's]	992 332 45 k's [100K]	993 36 [2 k's]	994 399 [5 k's]	995 82 none - proven	996 5841 49 k's [100K]	997 36048 238 k's [100K]	998 38 12 (400K)	999 3234 63 k's [100K]	1000 12 none - proven
1001 166 none - proven	1002 1240 [4 k's]	1003 4768 [24 k's]	1004 4 2 (600K)	1005 54610 225 k's [100K]	1006 531 [5 k's]	1007 8 none - proven	1008 12730554 350616 k's [2.5K]	1009 304 144 (400K)	1010 338 [15 k's]
1011 208 none - proven	1012 16207 104 k's [100K]	1013 14 none - proven	1014 6 none - proven	1015 12079606 45006 k's [2.5K]	1016 112 none - proven	1017 1494 [15 k's]	1018 77443 1534 k's [25K]	1019 4 none - proven	1020 95696289 not started
1021 2262 [4 k's]	1022 8 none - proven	1023 632462 2531 k's [25K]	1024 power 2 conjectures	1025 20 none - proven	1026 157 none - proven	1027 84552 222 k's [200K]	1028 8 none - proven	1029 104 none - proven	1030 75345 193 k's [100K]

Statistics:
bases all over: 1029
bases proven: 388
bases not started: 52
bases with 1 k-value: 107
bases with 2 k-values: 51
bases with 3 k-values: 38
remaining k-values: 4838163

Sierpinski conjectures that are powers of 2:

base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain	base CK remain
2 78557 [5 k's]	2 2nd conjecture 271129 [17 k's]	2 even-n 66741 none - proven	2 odd-n 95283 [3 k's]	4 66741 [6 k's]	8 47 none - proven	16 66741 [14 k's]	32 10 none - proven	64 51 none - proven	128 44 40 (1.2857M)
256 1221 831 (1M)	512 18 5 (1M)	1024 81 none - proven

Statistics:
bases all over: 13
bases proven: 5
bases not started: 0
bases with 1 k-value: 3
bases with 2 k-values: 0
bases with 3 k-values: 1
remaining k-values: 48

Short table for bases ≤ 1030

Colors: proven 1 k left 2 k's left 3 k's left

Riesel conjectures:

6	9	10	11	12	13	14	17	18	20	21	22	23	26	27	29	31	33	34	38	41	43	44	47	49
50	54	56	57	59	61	62	65	67	68	69	70	72	73	74	76	77	80	81	83	84	86	89	90	92
93	94	98	99	100	101	103	104	109	110	112	113	114	116	118	119	121	122	123	125	129	131	132	133	134
137	139	140	142	144	146	149	152	153	154	155	158	159	160	162	163	164	165	167	169	170	172	173	174	176
177	178	179	181	182	183	184	185	186	188	189	191	194	197	200	202	203	204	206	208	209	213	214	216	217
218	219	220	221	224	227	229	230	233	234	236	237	239	242	244	245	246	248	251	252	253	254	257	258	259
260	263	264	265	266	269	272	274	275	278	279	281	284	285	286	288	289	290	293	294	296	298	299	300	302
305	307	309	311	314	315	317	318	319	320	321	322	324	326	327	328	329	332	333	334	335	337	339	340	341
344	347	349	350	353	354	356	359	362	363	364	365	366	367	368	369	370	371	373	374	376	377	379	380	384
386	387	389	390	392	394	395	398	401	402	404	405	406	407	409	410	412	413	414	416	417	419	424	425	426
428	429	433	434	436	437	439	440	441	443	446	447	449	450	452	454	455	458	459	461	463	464	467	469	470
471	472	473	474	475	476	479	480	482	484	489	491	492	493	494	496	497	500	503	504	505	506	509	510	514
515	516	517	519	520	521	523	524	526	527	528	529	531	532	533	534	538	539	544	545	548	549	551	554	557
559	560	562	563	564	566	569	571	573	574	577	579	580	581	582	584	587	588	590	593	594	596	597	599	601
602	604	605	608	609	610	611	614	615	617	619	620	622	623	626	628	629	632	634	635	636	637	643	644	645
648	649	650	656	657	659	662	664	665	666	667	668	669	670	671	674	676	679	680	681	683	684	686	688	689
692	694	695	696	699	701	702	704	706	707	712	713	714	719	720	724	725	727	729	730	731	734	736	737	739
740	741	743	746	749	755	758	759	761	762	764	769	773	774	776	779	780	781	782	783	784	785	788	789	790
791	794	797	798	800	803	804	805	806	809	811	812	813	814	815	816	818	819	824	825	827	828	829	832	833
834	835	836	839	844	845	846	849	850	851	853	854	857	859	860	863	864	866	867	868	869	870	873	874	875
879	881	883	884	887	888	890	892	893	896	898	899	900	901	902	905	908	909	911	914	916	917	919	920	922
923	924	929	930	931	934	935	939	941	944	945	947	949	951	956	958	959	961	964	965	967	968	969	974	978
979	980	983	984	985	986	987	988	989	993	995	1000	1001	1002	1003	1004	1007	1011	1013	1014	1016	1019	1021	1022	1025
1026	1028	1029

proven: 399

1-k: 103

2-k: 50

3-k: 26

Riesel conjectures that are powers of 2:

2 even-n

128

512

1024

proven: 5

1-k: 1

2-k: 1

3-k: 0

Sierpinski conjectures:

9	10	11	12	13	14	17	18	20	21	22	23	26	27	28	29	30	33	34	36	37	38	41	43	44
47	49	50	54	56	57	59	62	65	68	69	70	72	73	74	75	76	77	83	84	86	87	89	90	92
94	98	99	100	101	102	104	107	109	110	112	113	114	116	117	118	119	121	122	125	129	131	132	133	134
137	139	140	142	144	146	148	149	152	153	154	155	157	158	159	160	164	165	167	169	170	172	173	174	176
179	181	182	183	184	185	186	187	188	189	191	194	197	200	202	203	204	206	208	209	214	216	217	218	219
220	221	224	227	228	229	230	233	234	236	237	239	242	244	245	246	249	251	252	254	257	258	259	260	263
264	265	266	269	272	274	275	278	279	281	284	285	286	289	290	293	294	296	298	299	300	302	304	305	307
309	311	314	315	317	318	320	321	322	324	326	328	329	332	334	335	337	339	340	341	344	347	349	350	353
354	356	359	362	363	364	365	368	369	370	371	373	374	376	377	379	380	384	386	389	390	392	394	395	398
401	402	404	405	406	407	409	410	412	413	414	416	417	419	422	424	425	426	428	429	430	433	434	436	437
439	440	441	443	444	447	449	450	454	455	458	459	461	463	464	467	468	469	470	472	473	474	475	476	479
480	482	483	484	489	491	492	494	496	497	501	503	504	505	506	507	509	510	515	516	517	519	520	521	524
526	527	528	530	531	532	533	534	536	538	539	542	544	545	548	549	550	551	552	554	557	558	559	560	562
563	564	566	567	569	571	573	574	578	579	580	581	582	584	587	588	589	593	594	596	597	599	601	604	605
608	609	610	611	614	615	619	620	622	623	626	629	632	634	635	636	637	638	641	643	644	645	647	649	650
657	659	662	664	665	666	668	669	670	671	674	676	677	678	679	681	683	684	686	688	689	692	695	696	699
701	702	703	704	706	707	709	710	713	714	716	719	720	722	724	725	727	729	730	731	734	736	737	739	740
741	743	747	748	749	752	753	754	755	758	759	761	764	766	767	769	770	774	776	778	779	780	781	782	783
784	785	788	789	790	791	794	797	798	800	802	803	804	805	806	809	811	812	813	815	816	818	819	821	824
825	827	828	829	832	833	834	835	836	839	842	844	845	846	849	850	851	853	854	857	859	860	863	864	866
867	868	869	870	872	873	874	875	878	879	881	883	884	887	888	889	890	892	893	896	898	899	900	901	902
903	905	909	914	916	917	919	922	923	924	929	930	934	935	937	939	941	942	944	945	947	948	949	951	953
956	958	959	965	967	968	969	974	979	980	983	984	985	986	987	989	993	995	998	1000	1001	1004	1007	1009	1011
1013	1014	1016	1019	1022	1025	1026	1028	1029

proven: 388

1-k: 107

2-k: 51

3-k: 38

Sierpinski bases that are powers of 2:

2 even-n

2 odd-n

128

256

512

1024

proven: 5

1-k: 3

2-k: 0

3-k: 1