Primality testing Phi(100093,2^7) [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 23
Running N-1 test using base 47
Running N-1 test using base 83
Running N+1 test using discriminant 149, base 14+sqrt(149)
Calling N-1 BLS with factored part 0.13% and helper 0.02% (0.41% proof)
Phi(100093,2^7) is Fermat and Lucas PRP! (1305.1988s+0.0287s)

To be completed...