Starting probable prime test of 2^209242-4253
Using FMA3 FFT length 20K, Pass1=320, Pass2=64, clm=4, a = 3, L2 = 152*86
2^209242-4253 is base 3-Fermat PRP! (62989 decimal digits) Time : 15.594 sec.
Starting Lucas sequence
Using FMA3 FFT length 20K, Pass1=320, Pass2=64, clm=4, P = 5, Q = 3
2^209242-4253 is Fermat and Lucas PRP, Starting Frobenius test sequence
Using FMA3 FFT length 20K, Pass1=320, Pass2=64, clm=4, Q = 3
2^209242-4253 is Fermat, Lucas and Frobenius PRP! (P = 5, Q = 3, D = 13) Time : 82.027 sec.

To be completed...