9534*10^23212 - 1 may be prime. (a = 2)

9534*10^23212 - 1 may be prime. (P = 5, Q = -1)

9534*10^23212 - 1 is prime! (P = 7, Q = -1) [23216 digits]



The primality of this number, of
the form k*b^n - 1, was proved by computing a Lucas sequence.
The result is verified by computing another independent Lucas sequence.
See
http://en.wikipedia.org/wiki/Lucas_sequence