P
Initializing...
Cook–Levin output: bounded bit prefix and terminating cell · Prove2Me