#include using namespace std; using ll = long long; const ll mod = 1e9 + 7; template T power(T x, long long n) { T res = 1; while (n) { if (n & 1) res *= x; x *= x; n >>= 1; } return res; } template T mod_inv(T a, T md) { T b = md, u = 1, v = 0; while (b != 0) { T t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } u %= md; if (u < 0) u += md; return u; } template vector> factorize(T n) { vector> res; for (T i = 2; i * i <= n; i++) { if (n % i == 0) { res.emplace_back(i, 0); while (n % i == 0) { res.back().second++; n /= i; } } } if (n != 1) { if (!res.empty() && res.back().first == n) res.back().second++; else res.emplace_back(n, 1); } return res; } template T linear_congruence(const vector>& cs, T md) { bool ng = false; unordered_map> facts; for (auto cc : cs) { T x, m; tie(x, m) = cc; for (auto& pp : factorize(m)) { T p; int k; tie(p, k) = pp; if (!facts.count(p)) { facts[p] = make_pair(k, x % power(p, k)); continue; } auto q = facts[p]; if ((x - q.second) % power(p, min(k, q.first)) != 0) { ng = true; break;; } if (k > q.first) { facts[p] = make_pair(k, x % power(p, k)); } } } if (ng) return -1; bool zero = true; vector> mr; for (auto p : facts) { mr.emplace_back(power(p.first, p.second.first), p.second.second); zero &= (p.second.second == 0); } if (zero) { T res = 1; for (auto p : facts) { (res *= power(p.first, p.second.first)) %= md; } return res; } mr.emplace_back(md, 0); int n = mr.size(); vector coffs(n, 1); vector constants(n, 0); for (int i = 0; i < n - 1; i++) { T v = (mr[i].second - constants[i]) * mod_inv(coffs[i], mr[i].first) % mr[i].first; if (v < 0) v += mr[i].first; for (int j = i + 1; j < n; j++) { (constants[j] += coffs[j] * v) %= mr[j].first; (coffs[j] *= mr[i].first) %= mr[j].first; } } return constants.back(); } int main() { ios::sync_with_stdio(false), cin.tie(0); int N; cin >> N; vector> cs; for (int i = 0; i < N; i++) { int X, Y; cin >> X >> Y; cs.emplace_back(X, Y); } cout << linear_congruence(cs, mod) << endl; return 0; }