RT，想到这里时卡住了，想问一下做法假了没，如果对的如何在正确的复杂度实现。

做法：

首先，$k=\min^n_{i=1} \max s$，满足 $\gcd(s,m)$ 是 $gcd(a_i,m)$ 的倍数，且 $\gcd(s,m)$ 是 $a_i$ 的因数，且 $s<m$。

其次，使用扩欧求出 $x\mod k=0,x\mod m=a_i$ 的任意一组解。