13517! - 13517# + 1 is 3-PRP! (306.4504s+0.0400s)
---
PFGW Version 20050213.Win_Dev (Alpha/IBDWT caveat utilitor)
Using v24fft.DLL, version FFTVer=24.9, DllVer=1.1.5

Primality testing 13517! - 13517# + 1 [N+1, Brillhart-Lehmer-Selfridge]
Warning, N only factored 0.01% (proof NOT possible without more factors)
Running N+1 test using discriminant 3, base 1+sqrt(3)
Calling Brillhart-Lehmer-Selfridge with factored part 0.01%
13517! - 13517# + 1 is Lucas PRP! (1652.5516s+0.0420s)

To be completed...