一个序列 $a$，可以把相邻两项数合并，可不可以处理出 $f_{i,j}$ 表示序列长度为 $i$ 且有 $j$ 个 1。

$n$ 和值域是 $2000$ 规模。