看了本题题解，这个菜鸡有一个地方没有看懂/kk

本题的进行反悔贪心的操作数为$\frac{\sum_{i=1}^nansx_i}{\frac{b}{\gcd(a,b)}}$，怎么证明这个式子是可以整除的，且它的规模有多大呀？

而且$a,b,s_i$的规模好像都是$10^9$的？（darkbzoj上看到的）

（注：$s$为题目给定的序列，$ansx_i$是$ax+by=-s_i$的解）