P
Initializing...
The final work tape can be simulated away · Prove2Me