PFGW:
Primality testing 96^17033-95^17033 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 13
Running N+1 test using discriminant 23, base 6+sqrt(23)
Calling N-1 BLS with factored part 0.05% and helper 0.01% (0.15% proof)
96^17033-95^17033 is Fermat and Lucas PRP! (327.4956s+0.0023s)
Primality testing 96^73877-95^73877 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 11
Running N-1 test using base 13
Running N+1 test using discriminant 41, base 10+sqrt(41)
Calling N-1 BLS with factored part 0.03% and helper 0.00% (0.10% proof)
96^73877-95^73877 is Fermat and Lucas PRP! (8245.1507s+0.0108s)
To be completed...