Primality testing (37931^4201-1)/37930 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 23
Running N-1 test using base 59
Running N-1 test using base 67
Running N-1 test using base 73
Running N+1 test using discriminant 103, base 6+sqrt(103)
Calling N-1 BLS with factored part 1.21% and helper 0.02% (3.66% proof)
(37931^4201-1)/37930 is Fermat and Lucas PRP! (347.8519s+0.3829s)

To be completed...