Lean 由 9096490 Records DK 於 2025年5月30日發行，收錄於專輯《Mars - EP》中