Primality testing (31320^4201-1)/31319 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 83
Running N+1 test using discriminant 97, base 24+sqrt(97)
Calling N-1 BLS with factored part 1.58% and helper 0.02% (4.77% proof)
(31320^4201-1)/31319 is Fermat and Lucas PRP! (1041.1811s+0.0037s)

To be completed...