PFGW Version 1.2.0 for Windows [FFT v23.8]
Primality testing ((314021^(11467)+1)/314022) [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 11, base 1+sqrt(11)
Calling N-1 BLS with factored part 0.29% and helper 0.02% (0.90% proof)
((314021^(11467)+1)/314022) is Fermat and Lucas PRP! (1451.5561s+0.0051s)
Done.
To be completed...