PFGW
Primality testing phi(32481,10) [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 43
Running N-1 test using base 59
Running N+1 test using discriminant 67, base 14+sqrt(67)
Calling N-1 BLS with factored part 1.37% and helper 0.06% (4.17% proof)
phi(32481,10) is Fermat and Lucas PRP! (173.0450s+0.0062s)
To be completed...