Tested with pfgw 3.8.3: Running N-1 test using base 2 Running N+1 test using discriminant 2, base 1+sqrt(2) Running N+1 test using discriminant 13, base 1+sqrt(13) 123^64370+122 is Fermat and Lucas PRP!
To be completed...