Where F(n) is the nth Fibonacci number.
PFGW:
Primality testing F(51432)*F(51432+1)-1 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 11
Running N+1 test using discriminant 31, base 1+sqrt(31)
Calling N-1 BLS with factored part 0.34% and helper 0.13% (1.15% proof)
F(51432)*F(51432+1)-1 is Fermat and Lucas PRP! (123.3710s+0.0594s)
Primality testing F(82290)*F(82290+1)-1 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 3
Running N+1 test using discriminant 7, base 6+sqrt(7)
Calling N+1 BLS with factored part 0.33% and helper 0.18% (1.17% proof)
F(82290)*F(82290+1)-1 is Fermat and Lucas PRP! (342.0554s+0.0060s)

To be completed...