Listed on Makoto Kamada s site: http://hpcgi2.nifty.com/m_kamada/f/phin10.cgi?p=313#P31254

Primality testing Phi(31254,10)/1531447 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Generic modular reduction using generic reduction FFT length 3584 on A 34581-bit number
Running N-1 test using base 5
Generic modular reduction using generic reduction FFT length 3584 on A 34581-bit number
Running N-1 test using base 13
Generic modular reduction using generic reduction FFT length 3584 on A 34581-bit number
Running N+1 test using discriminant 23, base 1+sqrt(23)
Generic modular reduction using generic reduction FFT length 3584 on A 34581-bit number
Calling N+1 BLS with factored part 0.12% and helper 0.06% (0.44% proof)
Phi(31254,10)/1531447 is Fermat and Lucas PRP! (158.4193s+0.0154s)

To be completed...