Just had a look at @todd.ginsberg solution for yesterday, that use of the sequence() to provide lazy filtering is very neat. I will definitely have to use that pattern in future.

Sharing here in case someone gets curious https://todd.ginsberg.com/post/advent-of-code/2017/day12/