Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |
Navigation
Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |
Difference between revisions of "Riesel prime 2 12753"
(base) |
(change drive end date, add drive & posts to primes) |
||
Line 103: | Line 103: | ||
==History== | ==History== | ||
{{HistC|2018-08-18|400000|Alexander Jones}} | {{HistC|2018-08-18|400000|Alexander Jones}} | ||
+ | {{HistC|2018-06-23|400000 - 1000000|RPS Drive 9|490374}}, released | ||
{{HistC|2011-11-23|20000|Thomas Ritschel}} | {{HistC|2011-11-23|20000|Thomas Ritschel}} | ||
− | + | {{HistF|2010-11-16|836660|Peter Benson, RPS Drive 9|237296}} | |
− | {{HistF|2010-11-16|836660|Peter Benson}} | + | {{HistF|2010-10-09|794570|Peter Benson, RPS Drive 9|233007}} |
− | {{HistF|2010-10-09|794570|Peter Benson}} | + | {{HistF|2010-08-11|715395|Peter Benson, RPS Drive 9|224875}} |
− | {{HistF|2010-08-11|715395|Peter Benson}} | + | {{HistF|2010-06-27|666810|Peter Benson, RPS Drive 9|220013}} |
− | {{HistF|2010-06-27|666810|Peter Benson}} | + | {{HistF|2009-11-08|562236|David Metcalfe, RPS Drive 9|195216}} |
− | {{HistF|2009-11-08|562236|David Metcalfe}} | + | {{HistF|2009-06-15|472607|David Metcalfe, RPS Drive 9|177685}} |
− | {{HistF|2009-06-15|472607|David Metcalfe}} | + | {{HistF|2009-06-01|454484|David Metcalfe, RPS Drive 9|175506}} |
− | {{HistF|2009-06-01|454484|David Metcalfe}} | + | {{HistF|2009-05-13|435414|James P. Burt, RPS Drive 9|173447}} |
− | {{HistF|2009-05-13|435414|James P. Burt}} | + | {{HistR|2009-05-12|RPS Drive 9|173231}} for {{Vn}} > 400000 |
− | {{HistR|2009-05-12|RPS Drive 9}} |
Revision as of 19:49, 14 June 2024
Current data
|
|
Notes
- ↑ Sophie Germain n=3
- ↑ Sophie Germain n=6
- ↑ Sophie Germain n=11
- ↑ Sophie Germain n=22
History
- 2018-08-18: Checked to n = 400000, Alexander Jones
- 2018-06-23: Checked n = 400000 - 1000000, RPS Drive 9, released
- 2011-11-23: Checked to n = 20000, Thomas Ritschel
- 2010-11-16: Found n = 836660, Peter Benson, RPS Drive 9
- 2010-10-09: Found n = 794570, Peter Benson, RPS Drive 9
- 2010-08-11: Found n = 715395, Peter Benson, RPS Drive 9
- 2010-06-27: Found n = 666810, Peter Benson, RPS Drive 9
- 2009-11-08: Found n = 562236, David Metcalfe, RPS Drive 9
- 2009-06-15: Found n = 472607, David Metcalfe, RPS Drive 9
- 2009-06-01: Found n = 454484, David Metcalfe, RPS Drive 9
- 2009-05-13: Found n = 435414, James P. Burt, RPS Drive 9
- 2009-05-12: Reserved by RPS Drive 9 for n > 400000