P
Initializing...
Single-shift cover query is decidable from the verifier machine · Prove2Me