OFFSET
1,3
COMMENTS
Next term > 100000.
a(1)-a(12) have been proved with PARI's ECPP; all subsequent terms correspond to BPSW PRPs. - Lucas A. Brown, Mar 28 2021
LINKS
PROG
(PARI) is(n)=ispseudoprime((3*2^n-1)^2-2) \\ Charles R Greathouse IV, Feb 19 2016
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Ray Chandler, Nov 21 2004
EXTENSIONS
a(1), a(14)-a(19) by Lucas A. Brown, Mar 28 2021
STATUS
approved