|
|
| Line 9: |
Line 9: |
| | |RMultiRes= | | |RMultiRes= |
| | |RNlist= | | |RNlist= |
| − | |RRemarks=The sequence testing is for 9519*2^{{Vn}}-1 even {{Vn}}. | + | |RRemarks=For earlier history, see even-{{Vn}} for {{NRi|9519|n}}. |
| | |RSieve= | | |RSieve= |
| | }} | | }} |
| | ==History== | | ==History== |
| | {{HistC|2017-12-04|8388608|Peter Kaiser|473147}} | | {{HistC|2017-12-04|8388608|Peter Kaiser|473147}} |
| − | {{HistC|2017-11-06|8250000|Peter Kaiser|471183}}
| |
| − | {{HistC|2017-05-29|8000000|Peter Kaiser|459983}}
| |
| − | {{HistC|2017-01-09|7500000|Peter Kaiser|450716}}
| |
| − | {{HistC|2016-04-19|7000000|Peter Kaiser|431958}}
| |
| − | {{HistC|2016-01-26|6750000|Peter Kaiser|424169}}
| |
| − | {{HistC|2015-12-04|6250000|Peter Kaiser|418206}}
| |
| − | {{HistC|2015-08-11|6000000|Peter Kaiser|407670}}
| |
| − | {{HistC|2014-12-18|5500000|Peter Kaiser|390366}}
| |
| − | {{HistC|2014-08-18|5000000|Peter Kaiser|380641}}
| |
| − | {{HistC|2014-03-04|4500000|Peter Kaiser|368319}}
| |
| − | {{HistC|2013-07-02|4000000|Peter Kaiser|345073}}
| |
| − | {{HistC|2012-12-18|3500000|Peter Kaiser|322016}}
| |
| − | {{HistC|2012-06-19|3000000|Peter Kaiser|302689}}
| |
| − | {{HistC|2012-02-21|2500000|Peter Kaiser|290276}}
| |
| − | {{HistC|2011-11-28|2000000|Peter Kaiser|280256}}
| |
| − | {{HistC|2011-10-04|1500000|Peter Kaiser|273410}}
| |
| − | {{HistR|2011-06-03|Peter Kaiser|262896}}
| |
| − | {{HistC|2011-02-01|1055348|Jean Penné|250858}}, released
| |
| − | {{HistC|2010-07-02|946148|Jean Penné|220453}}
| |
| − | {{HistC|2009-12-19|811808|Jean Penné|199298}}
| |
| − | {{HistC|2009-10-29|784080|Jean Penné|194255}}
| |
| − | {{HistR|2009-08-12|Jean Penné|185173}}
| |
| − | {{HistC|2008-12-02|725048|Jean Penné|151648}}, released
| |
| − | {{HistC|2008-11-04|698688|Jean Penné|147873}}
| |
| − | {{HistC|2008-09-10|627848|Jean Penné|141806}}
| |
| − | {{HistC|2008-07-28|569468|Jean Penné|138449}}
| |
| − | {{HistC|2008-06-24|515900|Jean Penné|136525}}
| |
| − | {{HistC|2008-06-10|488816|Jean Penné|135607}}
| |
| − | {{HistC|2008-05-25|450236|Jean Penné|134356}}
| |
| − | {{HistC|2008-05-19|430940|Jean Penné|133691}}
| |
| − | {{HistC|2008-05-03|371408|Jean Penné|132659}}
| |
| − | {{HistC|2008-04-23|317900|Jean Penné|132093}}
| |
| − | {{HistR|2008-04-07|Jean Penné|130992}}
| |
| − | {{HistC|2008-01-21|290840|Jean Penné|123342}}, released
| |
| − | {{HistC|2008-01-19|281208|Jean Penné|123219}}
| |
| − | {{HistC|2008-01-10|213908|Jean Penné|122583}}
| |
| − | {{HistR|2007-12-19|Jean Penné|121063}}
| |
