P
Initializing...
Blank work tapes may be assumed freely · Prove2Me