PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14]
Primality testing (13*10^25713-7)/3 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 13, base 1+sqrt(13)
(13*10^25713-7)/3 is Fermat and Lucas PRP! (166.3238s+0.0014s)

To be completed...