WinPFRG 3.7.10: 2^848502-3173 is 3-PRP! (452.4740s+0.0001s) 2^871146-3173 is 3-PRP! (469.2654s+0.0307s)
To be completed...