Primality testing phi(7,2957!) [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2999
Running N-1 test using base 3001
Running N+1 test using discriminant 3019, base 111+sqrt(3019)
Calling N-1 BLS with factored part 16.68% and helper 0.00% (50.04% proof)
phi(7,2957!) is Fermat and Lucas PRP! (1369.9637s+0.0157s)
To be completed...