设 $f(i)$ 为 至少 $i$ 个元素相等的集合，则 $f(i+1)$ 一定是 $f(i)$ 的子集，所以恰好 $i$ 个相等的个数是 $|f(i)|-|f(i+1)|$，看起来非常合理，但为什么不对？对于本题的特殊情况，我认为 $\forall x>=i+1$ 一定满足 $x>=i$，即 $\forall x \in f(i+1),x\in f(i)$ 所以 $f(i)$ 可以看作为答案集合的后缀和，直接差分是正确的，但是事实上，这样做只会得 $37$ pts，不考虑由于哈希冲突带来的小概率错误，即使是用可以做到一定不冲突的 __int128 和 vector 等哈希方法也不对，各种哈希方法都试过，在以下构造的随机数据中，题解输出均为 $24$ 而我的做法输出 $28$，求一个形式化的证伪。