Verified Fermat and Lucas PRP by pfgw.
Primality testing 31191!2+256 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Calling N+1 BLS with factored part 0.02% and helper 0.00% (0.05% proof)
31191!2+256 is Fermat and Lucas PRP! (2491.6102s+0.1076s)
Primality testing 38303!2+256 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Calling N-1 BLS with factored part 0.00% and helper 0.00% (0.02% proof)
38303!2+256 is Fermat and Lucas PRP! (2116.5660s+0.1615s)
Primality testing 41487!2+256 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Calling N-1 BLS with factored part 0.00% and helper 0.00% (0.02% proof)
41487!2+256 is Fermat and Lucas PRP! (3504.4626s+0.2079s)

To be completed...