| 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 15"
(corrections) |
(add Williams prime links) |
||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 2: | Line 2: | ||
|Rk=15 | |Rk=15 | ||
|Rb=2 | |Rb=2 | ||
| − | |RCount= | + | |RCount=58 |
|RNash=2221 | |RNash=2221 | ||
|RMaxn=7000000 | |RMaxn=7000000 | ||
| − | |RDate=2024- | + | |RDate=2024-09-02 |
|RReserved= | |RReserved= | ||
|RNlist= | |RNlist= | ||
1;T:ST | 1;T:ST | ||
2;T:T | 2;T:T | ||
| − | 4;T:ST | + | 4;T:ST;C:{{NWi|MM|16|1}} |
5 | 5 | ||
10;T:T | 10;T:T | ||
| Line 18: | Line 18: | ||
41 | 41 | ||
73 | 73 | ||
| − | 80 | + | 80;C:{{NWi|MM|16|20}} |
82 | 82 | ||
| − | 116 | + | 116;C:{{NWi|MM|16|29}} |
125 | 125 | ||
145 | 145 | ||
157 | 157 | ||
| − | 172 | + | 172;C:{{NWi|MM|16|43}} |
202 | 202 | ||
| − | 224 | + | 224;C:{{NWi|MM|16|56}} |
266 | 266 | ||
289 | 289 | ||
293 | 293 | ||
463 | 463 | ||
| − | 1004 | + | 1004;C:{{NWi|MM|16|251}} |
1246 | 1246 | ||
2066 | 2066 | ||
| Line 47: | Line 47: | ||
83669;6790 | 83669;6790 | ||
91457;5904 | 91457;5904 | ||
| − | 103940 | + | 103940;C:{{NWi|MM|16|25985}} |
104177 | 104177 | ||
| − | 108124 | + | 108124;C:{{NWi|MM|16|27031}} |
115327;64310 | 115327;64310 | ||
161453;69688 | 161453;69688 | ||
172714;69689 | 172714;69689 | ||
454681;70347 | 454681;70347 | ||
| − | 568780;73554 | + | 568780;73554;C:{{NWi|MM|16|142195}} |
| − | 656264;74521 | + | 656264;74521;C:{{NWi|MM|16|164066}} |
712294;75333 | 712294;75333 | ||
902474;77203 | 902474;77203 | ||
| Line 65: | Line 65: | ||
6429089;132808 | 6429089;132808 | ||
6993631;132645 | 6993631;132645 | ||
| − | |RRemarks=The {{OEIS|l|A002237}} | + | 9482269;138402 |
| + | |RRemarks=The {{OEIS|l|A002237}}<br>See also {{NWi|MM|16|n}} | ||
}} | }} | ||
==History== | ==History== | ||
| + | {{HistC|2024-09-02|8-400000 only {{Vn}} ≡ 0 mod 4|Mark Rodenkirch|1052874}}, double-check, released | ||
| + | {{HistR|2024-08-22|Mark Rodenkirch|903884}} for {{Rn|8|400000}} '''only {{Vn}} ≡ 0 mod 4''', double-check | ||
| + | {{HistF|2024-08-14|9482269|Ryan Propper}} | ||
{{HistC|2024-06-13|6000000-7000000|Ryan Propper|659284}} | {{HistC|2024-06-13|6000000-7000000|Ryan Propper|659284}} | ||
| − | {{HistC|2021-11-20| | + | {{HistC|2021-11-20|1908000-1967597, 2062945-6134000|RPS Drive K15|593517}}, released |
{{HistF|2021-10-08|6429089|Ryan Propper|589973}} | {{HistF|2021-10-08|6429089|Ryan Propper|589973}} | ||
{{HistF|2021-08-25|6993631|Ryan Propper|587361}} | {{HistF|2021-08-25|6993631|Ryan Propper|587361}} | ||
| Line 75: | Line 79: | ||
{{HistF|2013-10-15|3668194|Ivica Kelava,RPS Drive K15|356337}} | {{HistF|2013-10-15|3668194|Ivica Kelava,RPS Drive K15|356337}} | ||
{{HistF|2011-07-11|2323205|Thomas Ritschel,RPS Drive K15|266073}} | {{HistF|2011-07-11|2323205|Thomas Ritschel,RPS Drive K15|266073}} | ||
| − | {{HistC|2010-01-03|1908000|RPS Drive K15|200731}} | + | {{HistC|2010-01-03|1880000-1908000|RPS Drive K15|200731}} |
| − | {{HistC|2009-02-13|1880000|RPS Drive K15|162649}} | + | {{HistC|2009-02-13|1000000-1880000|RPS Drive K15|162649}} |
| − | {{HistC|2009-01-09|950000-1045993, 1140017-1196900 | + | {{HistC|2009-01-09|1967597-2062945|Peter Benson|157761}} |
| + | {{HistC|2009-01-09|950000-1045993, 1140017-1196900|Peter Benson|157761}} ( {{Rn|1000000|1045993}} & {{Rn|1140017|1196900}} also done by [[RPS Drive K15]] ) | ||
{{HistF|2008-12-16|1837873|Even Stokkedalen,RPS Drive K15|153579}} | {{HistF|2008-12-16|1837873|Even Stokkedalen,RPS Drive K15|153579}} | ||
{{HistF|2007-01-05|1344313|David Metcalfe,RPS Drive K15|95377}} | {{HistF|2007-01-05|1344313|David Metcalfe,RPS Drive K15|95377}} | ||
{{HistF|2006-09-28|1084010|David Metcalfe,RPS Drive K15|88095}} | {{HistF|2006-09-28|1084010|David Metcalfe,RPS Drive K15|88095}} | ||
| − | {{HistR|2006-09-12|RPS Drive K15|86959}} | + | {{HistR|2006-09-12|RPS Drive K15|86959}} from {{Rn|1000000|1000000}} |
{{HistF|2006-03-02|902474|Robert Smith|74336}} | {{HistF|2006-03-02|902474|Robert Smith|74336}} | ||
{{HistF|2005-08-12|712294|Robert Smith|58921}} | {{HistF|2005-08-12|712294|Robert Smith|58921}} | ||
{{HistF|2005-05-17|656264|Robert Smith|54546}} | {{HistF|2005-05-17|656264|Robert Smith|54546}} | ||
| − | {{HistC|2005-03-29|620000|Robert Smith|52415}} | + | {{HistC|2005-03-29|505000-620000|Robert Smith|52415}} |
{{HistF|2005-02-27|568780|Robert Smith|50642}} | {{HistF|2005-02-27|568780|Robert Smith|50642}} | ||
| − | {{HistC|2004-09-06|505000|Robert Smith|39937}} | + | {{HistC|2004-09-06|475000-505000|Robert Smith|39937}} |
| − | {{HistC|2004-06-03|475000|Robert Smith|32439}} | + | {{HistC|2004-06-03|340000-475000|Robert Smith|32439}} |
{{HistF|2004-05-13|454681|Robert Smith|28886}} | {{HistF|2004-05-13|454681|Robert Smith|28886}} | ||
{{HistC|2004-04-15|340000|Robert Smith|26273}} | {{HistC|2004-04-15|340000|Robert Smith|26273}} | ||
Latest revision as of 17:01, 7 September 2024
Current data
|
|
Remarks : |
The sequence A002237 in OEIS See also Williams 15•16n-1 |
Notes
- ↑ S.G. n=1, Twin n=1
- ↑ Twin n=2
- ↑ S.G. n=4, Twin n=4, Williams 15•161-1
- ↑ Twin n=10
- ↑ Near Woodall 15•214-1
- ↑ Woodall, Woodall 30•230-1
- ↑ Williams 15•1620-1
- ↑ Williams 15•1629-1
- ↑ Williams 15•1643-1
- ↑ Williams 15•1656-1
- ↑ Williams 15•16251-1
- ↑ Williams 15•1625985-1
- ↑ Williams 15•1627031-1
- ↑ Williams 15•16142195-1
- ↑ Williams 15•16164066-1
History
- 2024-09-02: Checked n = 8 - 400000 only n ≡ 0 mod 4, Mark Rodenkirch, double-check, released
- 2024-08-22: Reserved by Mark Rodenkirch for n = 8 - 400000 only n ≡ 0 mod 4, double-check
- 2024-08-14: Found n = 9482269, Ryan Propper
- 2024-06-13: Checked n = 6000000 - 7000000, Ryan Propper
- 2021-11-20: Checked n = 1908000 - 1967597, 2062945 - 6134000, RPS Drive K15, released
- 2021-10-08: Found n = 6429089, Ryan Propper
- 2021-08-25: Found n = 6993631, Ryan Propper
- 2021-03-21: Checked n = 1 - 1000000, Gary Barnes, double check, results included
- 2013-10-15: Found n = 3668194, Ivica Kelava, RPS Drive K15
- 2011-07-11: Found n = 2323205, Thomas Ritschel, RPS Drive K15
- 2010-01-03: Checked n = 1880000 - 1908000, RPS Drive K15
- 2009-02-13: Checked n = 1000000 - 1880000, RPS Drive K15
- 2009-01-09: Checked n = 1967597 - 2062945, Peter Benson
- 2009-01-09: Checked n = 950000 - 1045993, 1140017 - 1196900, Peter Benson ( n = 1000000 - 1045993 & n = 1140017 - 1196900 also done by RPS Drive K15 )
- 2008-12-16: Found n = 1837873, Even Stokkedalen, RPS Drive K15
- 2007-01-05: Found n = 1344313, David Metcalfe, RPS Drive K15
- 2006-09-28: Found n = 1084010, David Metcalfe, RPS Drive K15
- 2006-09-12: Reserved by RPS Drive K15 from n = 1000000
- 2006-03-02: Found n = 902474, Robert Smith
- 2005-08-12: Found n = 712294, Robert Smith
- 2005-05-17: Found n = 656264, Robert Smith
- 2005-03-29: Checked n = 505000 - 620000, Robert Smith
- 2005-02-27: Found n = 568780, Robert Smith
- 2004-09-06: Checked n = 475000 - 505000, Robert Smith
- 2004-06-03: Checked n = 340000 - 475000, Robert Smith
- 2004-05-13: Found n = 454681, Robert Smith
- 2004-04-15: Checked to n = 340000, Robert Smith
- 2004-03-30: Found n = 172714, Robert Smith
- 2004-03-30: Found n = 161453, Robert Smith
- 2003-04-07: Found n = 115327, Steven Harvey
- 1999-08-09: Found n = 91457, Michael J. Graef
- 1999-07-08: Found n = 83669, Michael J. Graef
- 1999-07-07: Found n = 83263, Michael J. Graef
- 1999-06-29: Found n = 60622, Michael J. Graef
- 1999-06-03: Found n = 41054, Michael J. Graef
- 1999-06-03: Found n = 40742, Michael J. Graef
- 1998-08-09: Found n = 21962, Wilfrid Keller
- 1998-08-08: Found n = 21727, Wilfrid Keller
- 1994: Found n = 7613, Harvey Dubner
