PFGW Version 20090928.Win_Dev (Beta caveat utilitor ) [GWNUM 25.13]
Primality testing 31^104309-30^104309 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 3
Running N-1 test using base 7
Running N+1 test using discriminant 13, base 2+sqrt(13)
31^104309-30^104309 is Fermat and Lucas PRP! (9740.5975s+0.0566s)
To be completed...