Much better p+1 factoring (10x faster), use in ECPP.