Plateau and Depression Prime (PDP)
http://www.worldofnumbers.com/deplat.htm
PFGW Version 3.4.6.64BIT.20110307.Win_Dev [GWNUM 26.5]
Primality testing (4*10^111032-7)/3 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 31, base 2+sqrt(31)
Calling N+1 BLS with factored part 0.02% and helper 0.00% (0.06% proof)
(4*10^111032-7)/3 is Fermat and Lucas PRP! (5052.1160s+7.9273s)
Done.
To be completed...