P
Initializing...
Polynomial-time closure under terminal-bit deletion and output concatenation · Prove2Me