Run Length Encoding - Lean | SlaveCode