Primality testing (2^54934+3)/13 [N-1/N+1, Brillhart-Lehmer-Selfridge]

Calling N+1 BLS with factored part 0.16% and helper 0.06% (0.54% proof)

(2^54934+3)/13 is Fermat and Lucas PRP! (344.5680s+0.0051s)

To be completed...