![]() |
Sierp Base 829
Sierp Base 829
Conjectured k = 84 Covering Set = Trivial Factors: k == 1 mod 2(2) and k == 2 mod 3(3) and k == 22 mod 23(23) Found Primes: 26k's - File attached Trivial Factor Eliminations: 15k's Conjecture Proven |
Sierp Base 851
Sierp Base 851
Conjectured k = 70 Covering Set = 3, 71 Trivial Factors k == 1 mod 2(2) and k == 4 mod 5(5) and k == 16 mod 17(17) Found Primes: 25k's - File attached Trivial Factor Eliminations: 9k's Conjecture Proven |
Riesel base 587, k=8
Primes: 2*587^26-1 4*587^1-1 6*587^2-1 k=8 proven composite (have factors 3 or 7) Base proven. |
Riesel bases 545 and 671
Primes found:
2*545^84-1 4*545^1-1 6*545^4-1 2*671^2-1 4*671^1-1 The other k have trivial factors (including 6*671^n-1). With a conjectured k of 8, these conjectures are proven. |
Riesel base 566
I'm reserving this base. I will report results another day as this one is more stubborn than the others.
|
[quote=unconnected;210168]Riesel base 587, k=10
Primes: 2*587^26-1 4*587^1-1 6*587^2-1 k=8 proven composite (have factors 3 or 7) Base proven.[/quote] The conjecture is k=8 so it did not need to be tested. |
[QUOTE=gd_barnes;210213]The conjecture is k=8 so it did not need to be tested.[/QUOTE]
Ehh, I've got an understanding problem now.. How can this one be composite, when it is the conjecture? Edit: Doh, forget it, sorry. Should think before posting.. |
Reserving Riesel 835 and Sierp 727 as new to n=25K
|
S503 and S545 k=8 conjectures proven and added to the pages.
|
Riesel Base 835
Riesel Base 835
Conjectured k = 56 Covering Set = 11, 19 Trivial Factors k == 1 mod 2(2) and k == 1 mod 3(3) and k == 1 mod 139(139) Found Primes: 18k's - File attached Trivial Factor Eliminations: 9k's Conjecture Proven |
Sierp Base 727
Sierp Base 727
Conjectured k = 64 Covering Set = 7, 13 Trivial Factors k == 1 mod 2(2) and k == 2 mod 3(3) and k == 10 mod 11(11) Found Primes: 18k's - File attached Trivial Factor Eliminations: 13k's Conjecture Proven |
| All times are UTC. The time now is 22:49. |
Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.