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.