OFFSET
1,2
COMMENTS
Terms through 1361 correspond to provable primes; terms beyond 1361 correspond to probable primes.
After 22793, there are no more terms through 40000. - Jon E. Schoenfield, Mar 27 2018
a(37) > 5*10^5. - Robert Price, Jun 01 2018
MAPLE
select(k->isprime(2^k-2*k+1), [$0..3000]); # Muniru A Asiru, Apr 03 2018
MATHEMATICA
Select[Range[0, 1000], PrimeQ[2^# - 2*# + 1] &]
PROG
(Magma) [n: n in [0..1000] |IsPrime(2^n-2*n+1)]; // Vincenzo Librandi, Mar 27 2018
(PARI) isok(n) = isprime(2^n-2*n+1); \\ Michel Marcus, Mar 27 2018
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
Vaclav Kotesovec, Mar 26 2018
EXTENSIONS
a(31) from Jon E. Schoenfield, Mar 27 2018
a(32)-a(34) from Robert Price, Apr 03 2018
a(35)-a(36) from Robert Price, Jun 01 2018
STATUS
approved