PFGW Version 3.4.8.64BIT.20110617.Win_Dev [GWNUM 26.6]
Primality testing 1*17^25521+2 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Special modular reduction using all-complex Core2 type-1 FFT length 8K, Pass1=32, Pass2=256 on 17^25521+2
Running N-1 test using base 3
Special modular reduction using all-complex Core2 type-1 FFT length 8K, Pass1=32, Pass2=256 on 17^25521+2
Running N+1 test using discriminant 7, base 1+sqrt(7)
Special modular reduction using all-complex Core2 type-1 FFT length 8K, Pass1=32, Pass2=256 on 17^25521+2
Calling N-1 BLS with factored part 0.07% and helper 0.01% (0.21% proof)
1*17^25521+2 is Fermat and Lucas PRP! (91.4520s+0.0014s)
Done.

To be completed...