PFGW Version 3.4.4.32BIT.20101104.Win_Dev [GWNUM 26.4]
Primality testing Phi(134350,10)/537401/8011962251 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 11, base 2+sqrt(11)
Phi(134350,10)/537401/8011962251 is Fermat and Lucas PRP! (807.0272s+0.0690s)

To be completed...