P
Initializing...
Ignoring certificates preserves polynomial time · Prove2Me