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"
(Created page with "{{Last update|2019-11-14}} {{Riesel prime |Rk=12753 |RNash=3766 |RMaxn=1000000 |RDate=2018-08-18 |RReserved= |RNlist= 3;T:S 4;T:S 6;T:S 7;T:S 11;T:S 12;T:S 14 22;T:S 23;T:S 32...") |
(add history) |
||
(6 intermediate revisions by 3 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 100: | Line 101: | ||
|RRemarks= | |RRemarks= | ||
}} | }} | ||
+ | ==History== | ||
+ | {{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|1007|Gary Barnes}} | ||
+ | {{HistF|2010-11-16|836660|Peter Benson, RPS Drive 9|237296}} | ||
+ | {{HistF|2010-10-09|794570|Peter Benson, RPS Drive 9|233007}} | ||
+ | {{HistF|2010-08-11|715395|Peter Benson, RPS Drive 9|224875}} | ||
+ | {{HistF|2010-06-27|666810|Peter Benson, RPS Drive 9|220013}} | ||
+ | {{HistF|2009-11-08|562236|David Metcalfe, RPS Drive 9|195216}} | ||
+ | {{HistF|2009-06-15|472607|David Metcalfe, RPS Drive 9|177685}} | ||
+ | {{HistF|2009-06-01|454484|David Metcalfe, RPS Drive 9|175506}} | ||
+ | {{HistF|2009-05-13|435414|James P. Burt, RPS Drive 9|173447}} | ||
+ | {{HistR|2009-05-12|RPS Drive 9|173231}} for {{Vn}} > 400000 |
Latest revision as of 19:30, 15 June 2024
Current data
|
|
Notes
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
- 2011-11-23: Checked to n = 1007, Gary Barnes
- 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