OFFSET
1,1
COMMENTS
a(8) > 9394. - Max Z. Scialabba, Jan 21 2024
FORMULA
MATHEMATICA
Select[Range[3000], PrimeQ[((2^# + 1)^2 - 2)]&&PrimeQ[((2^# - 1)^2 - 2)] &] (* Vincenzo Librandi, Aug 21 2014 *)
PROG
(Magma) [n: n in [1..400] | IsPrime((2^n-1)^2-2) and IsPrime((2^n+1)^2-2)]
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Vincenzo Librandi, Mar 08 2010
EXTENSIONS
Definition clarified by Jon E. Schoenfield, Jun 18 2010
STATUS
approved