:import std/Combinator . :import std/String . :import std/Math . :import std/Char . part1 (filter numeric?) → [^0 : {}(_0)] → string→number main [∑(part1 <$> (lines 0))]