P

Initializing...

The decoded strategy fails the typed oracularized game with probability at most 6 times the combined error, given the PCP's soundness in the form hgc · Prove2Me