Primality testing Phi(4969,9473) [N-1/N+1, Brillhart-Lehmer-Selfridge] Running N-1 test using base 23 Running N-1 test using base 31 Running N+1 test using discriminant 41, base 8+sqrt(41) Calling N-1 BLS with factored part 25.61% and helper 0.11% (76.93% proof) Phi(4969,9473) is Fermat and Lucas PRP! (325.8668s+0.0011s)