P
Initializing...
Formula round-trip function computed in quadratic time by Turing machine · Prove2Me