OFFSET
1,2
COMMENTS
This sequence can be represented by a single clause in a CNF IsPrime() function.
PROG
(PARI) step(v)=my(k=log(v[#v])\log(2)); while(1, for(i=1, #v, k++; if(ispseudoprime(2^k+v[i]), next(2))); return(concat(v, vector(#v, i, 2^k+v[i])))) \\ Charles R Greathouse IV, Oct 25 2012
CROSSREFS
KEYWORD
nonn
AUTHOR
Russell Easterly, Feb 14 2010
EXTENSIONS
a(9)-a(32) from Charles R Greathouse IV, Oct 25 2012
STATUS
approved