Integer part of((square root of 2)*10^11539) PRP to base 3,7 and 11 Fermat and Lucas PRP
To be completed...