#include using namespace std; #define _p(...) (void)printf(__VA_ARGS__) #define forr(x,arr) for(auto&& x:arr) #define _overload3(_1,_2,_3,name,...) name #define _rep2(i,n) _rep3(i,0,n) #define _rep3(i,a,b) for(int i=int(a);i=int(a);i--) #define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__) #define ALL(x) (x).begin(), (x).end() #define BIT(n) (1LL<<(n)) #define SZ(x) ((int)(x).size()) #define fst first #define snd second typedef vector vi;typedef vector vvi;typedef pair pii;typedef vector vpii; typedef long long ll; const long long mod = 1000000007; typedef vector Vec; typedef vector Mat; Mat matMul(const Mat &l, const Mat &r) { assert(l[0].size() == r.size()); // l.col == r.row int nrow = (int) l.size(); int ncol = (int) r[0].size(); int x = (int) r.size(); Mat ret(nrow, Vec(ncol)); for (int i = 0; i < nrow; i++) { for (int k = 0; k < x; k++) { for (int j = 0; j < ncol; j++) { (ret[i][j] += (l[i][k] * r[k][j]) % mod + mod) %= mod; } } } return ret; } Mat matPow(Mat A, long long m) { assert(A.size() == A[0].size()); // 正方行列 int size = A.size(); Mat B(size, Vec(size, 0)); for (int i = 0; i < size; i++) B[i][i] = 1; while (m > 0) { if (m & 1) B = matMul(B, A); A = matMul(A, A); m >>= 1; } return B; } long long powMod(long long x, long long y) { long long r = 1, a = x % mod; while (y) { if (y & 1) r = (r * a) % mod; a = (a * a) % mod; y /= 2; } return r; } long long powModP(long long x, const string& y) { if (x == 0) return 0; long long z = 0; for (char c : y) { z = z * 10 + c - '0'; if (z > 1e17) z %= mod - 1; } z %= mod - 1; return powMod(x, z); } void Main() { int N; cin >> N; Mat a{{1,1},{1,0}}; ll ans = 1; rep(i,N) { ll c; string d; cin >> c >> d; Mat b = matPow(a, c+1); ll pat = b[0][0]; ll tp = powModP(pat, d); //_p("%lld ^ %s = %lld\n", pat, d.c_str(), tp); ans = (ans * tp) % mod; } cout << ans << endl; } int main() { cin.tie(0); ios::sync_with_stdio(false); Main(); return 0; }