#include #include #include struct Garner { public: using size_type = std::size_t; template static bool preprocess(std::vector &b, std::vector &m) { for (size_type i = 0; i < b.size(); ++i) { for (size_type j = 0; j < i; ++j) { T g = gcd(m[i], m[j]); if ((b[i] - b[j]) % g) return false; m[i] /= g; m[j] /= g; T gi = gcd(g, m[i]), gj = g / gi; do { g = gcd(gi, gj); gi *= g; gj /= g; } while (g != 1); m[i] *= gi; m[j] *= gj; b[i] %= m[i]; b[j] %= m[j]; } } return true; } template static T garner(const std::vector &b, std::vector m, const T mod) { assert(b.size() == m.size()); assert(!b.empty()); for (size_type i = 0; i < b.size(); ++i) { assert(b[i] >= 0); assert(m[i] > 0); } assert(mod > 0); m.emplace_back(mod); std::vector sum(m.size()), ip(m.size(), 1); for (size_type i = 0; i < b.size(); ++i) { T t = (b[i] % m[i] - sum[i] + m[i]) % m[i] * inverse(ip[i], m[i]) % m[i]; for (size_type j = i + 1; j < m.size(); ++j) { sum[j] = (sum[j] + ip[j] * t) % m[j]; ip[j] = (ip[j] * m[i] % m[j]); } } return sum.back(); } private: template static T gcd(T a, T b) { while (b > 0) { T nb = a % b; a = b; b = nb; } return a; } template static T inverse(const T &a, const T &mod) { T a0 = (a % mod + mod) % mod, a1 = 1, a2 = 0; T b0 = mod, b1 = 0, b2 = 1; while (b0 > 0) { T q = a0 / b0, r = a0 % b0; T nb0 = a0 % b0, nb1 = a1 - b1 * q, nb2 = a2 - b2 * q; a0 = b0; a1 = b1; a2 = b2; b0 = nb0; b1 = nb1; b2 = nb2; } assert(a0 == 1); return (a1 % mod + mod) % mod; } }; #include int main() { int N; scanf("%d", &N); std::vector b(N), m(N); bool zero = true; for (int i = 0; i < N; ++i) scanf("%lld %lld", &b[i], &m[i]), zero &= b[i] == 0; constexpr long long mod = 1000000007; if (!Garner::preprocess(b, m)) puts("-1"); else if (zero) { long long ans = 1; for (auto c : m) ans = ans * c % mod; printf("%lld\n", ans); } else printf("%lld\n", Garner::garner(b, m, mod)); }