Primality testing ((2)^(2*100400-1)+(2)^(100400-1)+1) + 26672 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 7
Running N+1 test using discriminant 19, base 19+sqrt(19)
((2)^(2*100400-1)+(2)^(100400-1)+1) + 26672 is Fermat and Lucas PRP! (321.9546s+0.1501s)

To be completed...