P
Initializing...
One blank work tape can be simulated away · Prove2Me