扩展中国剩余定理

对于每两个式子（我们考虑将其合并）：

$$\{\begin{array}{c}x\equiv a_1(\%m_1)\\ x\equiv a_2(\%m_2)\end{array}$$

则有：

$$\{\begin{array}{c}x=a_1+k_1\ast m_1\\ x=a_2+k_2\ast m_2\end{array}$$

两式合并：

$a_1+k_1\ast m_1=a_2+k_2\ast m_2$

移项得：$k_1\ast m_1+(-k_2)\ast m_2=a_2-a_1$ （由扩展欧几里得算法解得 $k_1^{\prime }$， $k_2^{\prime }$）

$k_1$的通解为：$k_1=k_1^{\prime }+k\ast \frac{m_2}{gcd(m_1,m_2)}$

$k_1$的通解的求法：利用二元不定方程组的通解
例：将 $-k_2$ 看成 $k_2$，$m_1,m_2$ 的最大公倍数用 $d$ 表示。

$k_1\ast m_1+k_2\ast m_2=a_2-a_1$
$k_1^{\prime }\ast m_1+k_2^{\prime }\ast m_2=a_2-a_1$
两式相减
$(k_1-k_1^{\prime })\ast m_1=(k_2-k_2^{\prime })\ast m_2$
两边同时约掉最大公倍数 $d$ 为：(目的使 $m_1,m_2$ 互质)
不约掉时：设 $k=k_1-k_1^{\prime }，d=2$ 相当与给 $k$ 乘 $2$ 此时 $(k\ast 2)$ 只能取偶数，不为全部解。

$(k_1-k_1^{\prime })\ast \frac{m_1}{d}=(k_2-k_2^{\prime })\ast \frac{m_2}{d}$

解得：
$k_1=k_1^{\prime }+k\ast \frac{m_2}{d}$
$k_2=k_2^{\prime }+k\ast \frac{m_1}{d}$

将 $k_1$ 带入 $x=a_1+k_1\ast m_1$ 中，即为 $x$ 的通解 $x=(k_1^{\prime }\ast m+a_1)+k\ast \frac{m_1{m}_2}{gcd(m_1,m_2)}$

---

typedef long long ll;

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


int main()
{
	int n; cin >> n;
	ll a1, m1; cin >> m1 >> a1;
	bool flag = true;
	for (int i = 0; i < n - 1; i++)
	{
		ll a2, m2; cin >> m2 >> a2;
		ll k1, k2; 
		ll d = exgcd(m1, m2, k1, k2);
		if ((a2 - a1) % d) // 判断是否有解
		{
			flag = false;
			break;
		}
		k1 *= (a2 - a1) / d; 
		ll t = m2 / d;
		k1 = (k1 % t + t) % t; //k1 = k1 + k * t 均为k1的解，取最小的一个
		a1 = k1 * m1 + a1;
		m1 = m1 / d * m2;
	}
	if (flag) cout << (a1 % m1 + m1) % m1 << endl;
	else puts("-1");
}