目前看到评红/橙的绝大多数都在采用纯模拟，然而会爆 int/long long/int128。

有符号整数的溢出为未定义行为，只是恰好你的编译器/洛谷评测机可以得到正确答案。 理论上，使用任何有符号整数纯模拟做法，可以得到任意评测结果（AC/WA/TLE/RE/MLE/...）

即使采用无符号整数，也需要证明无符号溢出不影响答案。

个人认为通过小数据找到规律难度远低于证明无符号溢出不影响答案，参考今年 CSP-J T3，同样是一道结论规律题目，洛谷评黄，有理由认定此题难度相当或略低于 CSP-J T3，且出题人也放在 T3，所以评黄合理。

当然，也希望有人可以给出具体的做法证明（lowbit找规律证明/溢出不影响答案证明）。如果有非常巧妙且易于想到和理解的证明方法，可以评橙，但红实在是太过了。（至少我赛时没有想到证明，采用的是小数据找规律）