本质：为了求得大系数的解，算小系数方程的解，并推上去。

写一个程序，枚举 $a$ 和 $b$，判断算出来的解 $(x,y)$ 能否满足 $ax+by=\gcd(x,y)$。

很多式子可以转化为同余式
例如
$ax+by=c\to x\equiv R \pmod{M}$
$ax\equiv b \pmod{m}\to ax+my=b\to x\equiv R \pmod{M}$

简化到两个方程。

信奥题目中 EXCRT 算法经常以建模题出现。

在处理一些问题的时候，不要滥用通过逆元做除法来获取同余式，应使用 EXGCD 将某个等式或者同余式转化为 $x \equiv a \pmod{b}$ 的形式！