Lean.

Is it still a proof if it takes 4 minutes on a 4 GHz 12-core CPU?