P
Initializing...
Claim 5.2, proof — the bonus is maximized by executing in minimal time · Prove2Me