P
Initializing...
The amplification tree has polynomially many leaves · Prove2Me