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"
(Adding history) |
(base) |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | |||
{{Riesel prime | {{Riesel prime | ||
|Rk=12753 | |Rk=12753 | ||
+ | |Rb=2 | ||
+ | |RCount=91 | ||
|RNash=3766 | |RNash=3766 | ||
|RMaxn=1000000 | |RMaxn=1000000 | ||
Line 8: | Line 9: | ||
|RNlist= | |RNlist= | ||
3;T:S | 3;T:S | ||
− | 4 | + | 4 |
6;T:S | 6;T:S | ||
− | 7 | + | 7 |
11;T:S | 11;T:S | ||
− | 12 | + | 12 |
14 | 14 | ||
22;T:S | 22;T:S | ||
− | 23 | + | 23 |
32 | 32 | ||
35 | 35 | ||
Line 101: | Line 102: | ||
}} | }} | ||
==History== | ==History== | ||
− | |||
{{HistC|2018-08-18|400000|Alexander Jones}} | {{HistC|2018-08-18|400000|Alexander Jones}} | ||
{{HistC|2011-11-23|20000|Thomas Ritschel}} | {{HistC|2011-11-23|20000|Thomas Ritschel}} | ||
+ | {{HistC|2011-10-03|400000 - 1000000|RPS Drive 9}}, released | ||
+ | {{HistF|2010-11-16|836660|Peter Benson}} | ||
+ | {{HistF|2010-10-09|794570|Peter Benson}} | ||
+ | {{HistF|2010-08-11|715395|Peter Benson}} | ||
+ | {{HistF|2010-06-27|666810|Peter Benson}} | ||
+ | {{HistF|2009-11-08|562236|David Metcalfe}} | ||
+ | {{HistF|2009-06-15|472607|David Metcalfe}} | ||
+ | {{HistF|2009-06-01|454484|David Metcalfe}} | ||
+ | {{HistF|2009-05-13|435414|James P. Burt}} | ||
+ | {{HistR|2009-05-12|RPS Drive 9}} |
Latest revision as of 07:39, 21 July 2021
Current data
|
|
Notes
History
- 2018-08-18: Checked to n = 400000, Alexander Jones
- 2011-11-23: Checked to n = 20000, Thomas Ritschel
- 2011-10-03: Checked n = 400000 - 1000000, RPS Drive 9, released
- 2010-11-16: Found n = 836660, Peter Benson
- 2010-10-09: Found n = 794570, Peter Benson
- 2010-08-11: Found n = 715395, Peter Benson
- 2010-06-27: Found n = 666810, Peter Benson
- 2009-11-08: Found n = 562236, David Metcalfe
- 2009-06-15: Found n = 472607, David Metcalfe
- 2009-06-01: Found n = 454484, David Metcalfe
- 2009-05-13: Found n = 435414, James P. Burt
- 2009-05-12: Reserved by RPS Drive 9