Primality testing (88^74047-87^74047)/(88-87) [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 17
Running N+1 test using discriminant 37, base 21+sqrt(37)
Calling N-1 BLS with factored part 0.02% and helper 0.01% (0.08% proof)
(88^74047-87^74047)/(88-87) is Fermat and Lucas PRP! (6884.4932s+0.0133s)

To be completed...