PFGW Version 4.1.3.64BIT.20240114.x86_Dev [GWNUM 30.19]
Primality testing Phi(17#,12492) [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N-1 test using base 23
Running N+1 test using discriminant 47, base 3+sqrt(47)
Calling N-1 BLS with factored part 0.03% and helper 0.00% (0.10% proof)
Phi(17#,12492) is Fermat and Lucas PRP! (6227.8046s+1.6726s)

To be completed...