Primality testing (2^87005-1)/(2^17401-1)/31 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 3
Running N-1 test using base 7
Running N-1 test using base 11
Running N-1 test using base 23
Running N+1 test using discriminant 31, base 18+sqrt(31)
Calling N-1 BLS with factored part 0.50% and helper 0.06% (1.57% proof)
(2^87005-1)/(2^17401-1)/31 is Fermat and Lucas PRP! (304.3815s+0.0035s)

To be completed...