文件：https://share.weiyun.com/8rSN8tYb

可以把某种优化后的枚举算法卡成 TLE，见此提交 （我 hack 我自己）。

原理：设差分数组中不同的数字个数为 $c$，枚举做法的时间复杂度高达 $O(c \cdot 2^c)$。官方数据给的 $a$ 数组可能比较“不平均”，$c$ 值很小，故可以卡过；hack 数据满足官方数据 19~22 点的性质，$c$ 高达 $35$。

本人暂时没有写出其他的正确做法，答案数据是复制的某篇题解生成的。