Calling N-1 BLS with factored part 25.07% and helper 0.03% (75.24% proof)
Phi(5,2415!) is Fermat and Lucas PRP! (677.9536s+0.0069s)

To be completed...