题意：

定义一个序列$b_0\mathrm{.}\mathrm{.}\mathrm{.}{b}_{n}b\_0...b\_n$是好的当且仅当存在n个序列m，使得$m_{i}m\_i$长度为$b_{i}b\_i$的连续数列，且${\sum }_{i=0}^n{\sum }_{j=0}^{b_i}{m}_{ij}==0\backslash sum\_\{i=0\}^\{n\}\backslash sum\_\{j=0\}^\{b\_i\}m\_\{ij\}\; ==\; 0$， 问一个序列a的所有非空子序列中，有多少个序列是好的

题解：

奇数$2\ast n+12\; *\; n+1$ 可以构造为$-n\mathrm{.}\mathrm{.}\mathrm{.}\mathrm{0...}n-n...0...n$, sum为0， sum取值可以是$x\ast b_{i}x\; *\; b\_i$

偶数$2\ast n2\; *\; n$ 必然会造成n的残留, sum取值可以是$x\ast b_i+nx\; *\; b\_i\; +\; n$

二进制下考虑，$1010010100$ 会造成$0101001010$的残留

每个$b_{i}b\_i$是可以取任意多数的，且正负任取，由辗转相除法可得，通过任意的的加减，可以得到两数中的gcd。

如果两个数的lowbit相同，那么他们的gcd至少也是lowbit，是无法去清除残留的

而如果lowbit至少相差1，也就是 a > b, lowbit(a) > lowbit(b), 此时，d = gcd(a, b), a的残留为a / 2, d为a / x, x >= 2, 此时，可以使用d去消除残留

综上，按lowbit分类后计数即可

参考代码