typedef long long ll;
ll exgcd(ll a,ll b,ll&x,ll&y){
	if(!b)return x=1,y=0,a;
    ll d=exgcd(b,a%b,y,x);
 	return y-=(a/b)*x,d;
}

萌新求助，我听说 wiki 上有一个定理是扩欧求出来的 $x,y$ 的绝对值之和是所有满足要求的 $x,y$ 中最小的，但是由于一些众所周知的原因，我看不到 wiki 上的定理和证明，请问有没有神仙能发一下/kel 还有，求出来的这个 $x,y$ 的绝对值之和在什么范围啊/kel 就是该如何判断在 $a,b$ 在某个范围内的时候，这个 $x,y$ 有没有可能爆 int/ll /kel