OFFSET
1,2
PROG
(PARI) a3(n) = {my(k=1); while (!(isprime(k*2^n*(k*2^n-1)-1)), k++); k; }
a4(n) = {my(k=1); while (!(isprime(p=k*2^n*(k*2^n-1)-1) && isprime(p+2)), k++); k; }
isok(n) = a3(n) == a4(n); \\ Michel Marcus, Sep 17 2019
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Pierre CAMI, Oct 19 2007
EXTENSIONS
a(12)-a(15) from Jinyuan Wang, Mar 05 2020
STATUS
approved