Here is what is written...
Minor details and caveats:
For those interested, here are the constraints on what the verifier will accept:
k = one of the 9 left
1000 < n < 50000000
1000000000000 < p < 2^64
I guess we should change this to 8 k left hopefully this will be 7 k left shortly.