Verified Fermat and Lucas PRP by pfgw.

Primality testing ((2*78915-3)*3^(78915-1)+1)/4 [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.03% and helper 0.02% (0.12% proof)
((2*78915-3)*3^(78915-1)+1)/4 is Fermat and Lucas PRP! (585.5921s+0.0117s)
Primality testing ((2*170026-3)*3^(170026-1)+1)/4 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 5, base 4+sqrt(5)
Calling N+1 BLS with factored part 0.01% and helper 0.01% (0.04% proof)
((2*170026-3)*3^(170026-1)+1)/4 is Fermat and Lucas PRP! (2486.2742s+0.0317s)

To be completed...