Perfect Numbers - Lean | SlaveCode