I was learning to use the ABC2 input type for PFGW early this morning when I came up with these:

Code:

10*2^13509-1 is 3-PRP! (0.0290s+0.0015s)
10*2^21737-1 is 3-PRP! (0.0676s+0.0011s)
10*2^25623-1 is 3-PRP! (0.0805s+0.0011s)

I am not sure about the meaning of "3-" in this instance. I know how to calculate the number of digits in 2

^{p}-1. How that translates to something in this format, I do now know.

Thanks.