OFFSET
1,1
COMMENTS
a(8) > 2086750, using A050414. - Michael S. Branicky, Feb 16 2024
PROG
(PARI) isok(k) = isprime(k^2 - 3) && isprime(2^k - 3); \\ Michel Marcus, Jul 02 2021
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Alex Ratushnyak, Nov 04 2019
STATUS
approved