P
Initializing...
The fault-tolerant circuit C′, its ExRecs, good and bad locations, the circuit C̃, local · Prove2Me