%I #26 Oct 10 2022 07:56:52
%S 0,1,4,6,15,21,25,70,129,399,511,856,9574,14479,17649,27054,28296,
%T 32796,38176
%N Numbers k such that (3*2^k - 1)^2 - 2 is prime.
%C Next term > 100000.
%C a(1)-a(12) have been proved with PARI's ECPP; all subsequent terms correspond to BPSW PRPs. - _Lucas A. Brown_, Mar 28 2021
%H Lucas A. Brown, <a href="https://github.com/lucasaugustus/oeis/blob/main/A100911.py">A100911.py</a>
%H S. Harvey, <a href="http://harvey563.tripod.com/Carol_Kynea.txt">Carol and Kynea Primes</a>.
%o (PARI) is(n)=ispseudoprime((3*2^n-1)^2-2) \\ _Charles R Greathouse IV_, Feb 19 2016
%K nonn,more
%O 1,3
%A _Ray Chandler_, Nov 21 2004
%E a(1), a(14)-a(19) by _Lucas A. Brown_, Mar 28 2021