P
Initializing...
The terminal reporter word budget is quadratic in the magnitude · Prove2Me