PFGW Fermat Prp b=3,5,7 and BLS test :

PFGW Version 20041001.Win_Stable (v1.2 RC1b) [FFT v23.8]

Primality testing 2^500899-500899 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 13, base 8+sqrt(13)
2^500899-500899 is Fermat and Lucas PRP! (21984.6702s+0.0100s)

To be completed...