OFFSET
1,3
COMMENTS
All of the primes for the terms <= 2713 have been certified. Primality proof for the largest: PFGW Version 20041001.Win_Stable (v1.2 RC1b) [FFT v23.8] Primality testing (10^2713)^2+5*(10^2713)-1 [N+1, Brillhart-Lehmer-Selfridge] Running N+1 test using discriminant 7, base 1+sqrt(7) Calling Brillhart-Lehmer-Selfridge with factored part 34.96% (10^2713)^2+5*(10^2713)-1 is prime! (216.4510s+10.6592s)
PROG
(PARI) is(n)=ispseudoprime((10^n)^2+5*(10^n)-1) \\ Charles R Greathouse IV, Jun 13 2017
CROSSREFS
KEYWORD
more,nonn
AUTHOR
Jason Earls, Jun 17 2005
EXTENSIONS
a(14) from Michael S. Branicky, Mar 27 2023
STATUS
approved