P
Initializing...
A cubic-quadratic upper bound at total five · Prove2Me