OFFSET
1,1
COMMENTS
a(1) through a(21) have been proved to be prime with WinPFGW. No more terms up to 10000.
PROG
(PARI) is(n)=ispseudoprime((2^n-3)*2^n+1) \\ Charles R Greathouse IV, Jun 13 2017
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
Jason Earls, Jul 24 2004
EXTENSIONS
a(22) from Michael S. Branicky, Mar 26 2023
a(23) from Michael S. Branicky, Oct 22 2024
STATUS
approved