P
Initializing...
The complete first return admits the relative logarithmic clock · Prove2Me