Alice's J against the check: summed over the oracle halves, at most the sixth copy's extraction error plus 54² times the typed failure, per oracle half

Initializing...

Alice's J against the check: summed over the oracle halves, at most the sixth copy's extraction error plus 54² times the typed failure, per oracle half · Prove2Me