Verified Fermat and Lucas PRP by pfgw.

Primality testing 39967!2+1024 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 39979
Running N+1 test using discriminant 39989, base 294+sqrt(39989)
39967!2+1024 is Fermat and Lucas PRP! (2362.7453s+0.1729s)

Primality testing 45369!2+1024 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 45389
Running N-1 test using base 45427
Running N-1 test using base 45481
Running N+1 test using discriminant 45497, base 4+sqrt(45497)
45369!2+1024 is Fermat and Lucas PRP! (4748.9522s+0.2326s)

Primality testing 47599!2+1024 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 47623
Running N+1 test using discriminant 47653, base 372+sqrt(47653)
47599!2+1024 is Fermat and Lucas PRP! (4631.4659s+0.2487s)

To be completed...