85^61124-61124^85+117934*0 is 3-PRP! (230.8452s+0.0012s)

To be completed...