:import std/Math . :import std/String . part1 [{ [[(1 (lines 0) parts [∑(part1 0) : ∑(part2 0)] # equivalent alternative using std/Pair P # part1 [length (filter (P.uncurry …