Pythagorean Triplet - Lean | SlaveCode