Solution (source code)

= Solution

<Sequences> with finitely many ones correspond to finite subsets of $\mathbb N$, a countable union of the countable sets of $k$-element subsets. Complementation gives the same result for finitely many zeros. Their union is therefore countable.