#pragma region Macros #pragma GCC optimize("O3,unroll-loops") #pragma GCC target("sse,sse2,sse3,ssse3,sse4,fma,abm,mmx,avx,avx2") #include // #include // using namespace atcoder; using namespace std; using namespace __gnu_pbds; // #include // #include // namespace mp = boost::multiprecision; // using Bint = mp::cpp_int; // using Bdouble = mp::number>; #define pb emplace_back #define int ll #define endl '\n' #define sqrt __builtin_sqrt #define cbrt __builtin_cbrt #define hypot __builtin_hypot using ll = long long; using ld = long double; const ld PI = acosl(-1); const int INF = 1 << 30; const ll INFL = 1LL << 61; // const int MOD = 998244353; const int MOD = 1000000007; const ld EPS = 1e-10; const bool equals(ld a, ld b) { return fabs((a) - (b)) < EPS; } const vector dx = {0, 1, 0, -1, 1, 1, -1, -1}; // → ↓ ← ↑ ↘ ↙ ↖ ↗ const vector dy = {1, 0, -1, 0, 1, -1, -1, 1}; struct Edge { int from, to; ll cost; Edge(int to, ll cost) : to(to), cost(cost) {} Edge(int from, int to, ll cost) : from(from), to(to), cost(cost) {} }; chrono::system_clock::time_point start, now; __attribute__((constructor)) void constructor() { ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(10); start = chrono::system_clock::now(); } __int128_t POW(__int128_t x, int n) { __int128_t ret = 1; assert(n >= 0); if (x == 1 or n == 0) ret = 1; else if (x == -1 && n % 2 == 0) ret = 1; else if (x == -1) ret = -1; else if (n % 2 == 0) { assert(x < INFL); ret = POW(x * x, n / 2); } else { assert(x < INFL); ret = x * POW(x, n - 1); } return ret; } int per(int x, int y) { // x = qy + r (0 <= r < y) を満たすq assert(y != 0); if (x >= 0 && y > 0) return x / y; if (x >= 0 && y < 0) return x / y - (x % y < 0); if (x < 0 && y < 0) return x / y + (x % y < 0); return x / y - (x % y < 0); // (x < 0 && y > 0) } // int perl(ld x, ld y) { // perld(4.5, 2.1) = 2 // TODO // if (-EPS < x && x < 0 or 0 < x && x < EPS) x = 0; // if (-EPS < y && y < 0 or 0 < x && x < EPS) y = 0; // assert(!equals(y, 0)); // if (x >= 0 && y > 0) return floor(x / y)+EPS; // if (x >= 0 && y < 0) return floor(x / y) - (x - floor(x/y)*y < -EPS); // if (x < 0 && y < 0) return floor(x / y) + (x - floor(x/y)*y < -EPS); // return floor(x / y) - (x - floor(x/y)*y < -EPS); // (x < 0 && y > 0) // } int mod(int x, int y) { // x = qy + r (0 <= r < y) を満たすr assert(y != 0); if (x >= 0) return x % y; __int128_t ret = x % y; // (x < 0) ret += (__int128_t)abs(y) * INFL; ret %= abs(y); return ret; } // ld modl(ld x, ld y) { // TODO // assert(!equals(y, 0)); // if (x >= -EPS) return (x - floor(x/y)*y); // ld ret = x - floor(x/y)*y; // (x < 0) // ret += abs(y) * INFL; // TODO : オーバーフローする? // ret = x - floor(x/abs(y))*abs(y); // return ret; // } // int floor(int x, int y) { // TODO // assert(y != 0); // if (b < 0) a = -a, b = -b; // return a >= 0 ? a / b : (a + 1) / b - 1; // } // int ceil(int x, int y) { // TODO // assert(y != 0); // if (b < 0) a = -a, b = -b; // return a > 0 ? (a - 1) / b + 1 : a / b; // } // int floorl(ld x, ld y) { return 0; } // TODO // int ceill(ld x, ld y) { return 0; } // TODO // int gauss(int x, int y) { // assert(y != 0); // return x / y; // } // 整数部分(未verify) // int gauss(ld x, ld y) { return 0; } // TODO pair max(const pair &a, const pair &b) { if (a.first > b.first or a.first == b.first && a.second > b.second) { return a; } return b; } pair min(const pair &a, const pair &b) { if (a.first < b.first or a.first == b.first && a.second < b.second) { return a; } return b; } template bool chmax(T &a, const T& b) { if (a < b) { a = b; return true; } return false; } template bool chmin(T &a, const T& b) { if (a > b) { a = b; return true; } return false; } template T mid(T a, T b, T c) { return a + b + c - max({a, b, c}) - min({a, b, c}); } template void sort(T &a, T &b, T &c, bool rev = false) { if (rev == false) { if (a > b) swap(a, b); if (a > c) swap(a, c); if (b > c) swap(b, c); } else { if (c > b) swap(c, b); if (c > a) swap(c, a); if (b > a) swap(b, a); } } template void sort(T &a, T &b, T &c, T &d, bool rev = false) { if (rev == false) { if (a > b) swap(a, b); if (a > c) swap(a, c); if (a > d) swap(a, d); if (b > c) swap(b, c); if (b > d) swap(b, d); if (c > d) swap(c, d); } else { if (d > c) swap(d, c); if (d > b) swap(d, b); if (d > a) swap(d, a); if (c > b) swap(c, b); if (c > a) swap(c, a); if (b > a) swap(b, a); } } int countl_zero(int x) { return __builtin_clzll(x); } int countl_one(int x) { int ret = 0; while (x % 2) { x /= 2; ret++; } return ret; } int countr_zero(int x) { return __builtin_ctzll(x); } int countr_one(int x) { int ret = 0, k = 63 - __builtin_clzll(x); while (k != -1 && (x & (1LL << k))) { k--; ret++; } return ret; } int popcount(int x) { return __builtin_popcountll(x); } int unpopcount(int x) { return 64 - __builtin_clzll(x) - __builtin_popcountll(x); } int top_bit(int x) { return 63 - __builtin_clzll(x);} // 2^kの位 int bot_bit(int x) { return __builtin_ctz(x);} // 2^kの位 int MSB(int x) { return 1 << (63 - __builtin_clzll(x)); } // mask int LSB(int x) { return (x & -x); } // mask int bit_width(int x) { return 64 - __builtin_clzll(x); } // 桁数 int ceil_log2(int x) { return 63 - __builtin_clzll(x); } int bit_floor(int x) { return 1 << (63 - __builtin_clzll(x)); } int floor_log2(int x) { return 64 - __builtin_clzll(x-1); } int bit_ceil(int x) { return 1 << (64 - __builtin_clzll(x-1)) - (x==1); } int hamming(int a, int b) { return popcount(a ^ b); } int compcnt(int x) { return (popcount(x^(x >> 1)) + (x&1)) / 2; } class UnionFind { public: UnionFind() = default; UnionFind(int N) : par(N), sz(N, 1) { iota(par.begin(), par.end(), 0); } int root(int x) { if (par[x] == x) return x; return (par[x] = root(par[x])); } bool unite(int x, int y) { int rx = root(x); int ry = root(y); if (rx == ry) return false; if (sz[rx] < sz[ry]) swap(rx, ry); sz[rx] += sz[ry]; par[ry] = rx; return true; } bool issame(int x, int y) { return (root(x) == root(y)); } int size(int x) { return sz[root(x)]; } vector> groups(int N) { vector> G(N); for (int x = 0; x < N; x++) { G[root(x)].push_back(x); } G.erase( remove_if(G.begin(), G.end(), [&](const vector& V) { return V.empty(); }), G.end()); return G; } private: vector par; vector sz; }; template class Modint{ public: int val = 0; Modint(int x = 0) { while (x < 0) x += mod; val = x % mod; } Modint(const Modint &r) { val = r.val; } Modint operator -() { return Modint(-val); } // 単項 Modint operator +(const Modint &r) { return Modint(*this) += r; } Modint operator +(const int &q) { Modint r(q); return Modint(*this) += r; } Modint operator -(const Modint &r) { return Modint(*this) -= r; } Modint operator -(const int &q) { Modint r(q); return Modint(*this) -= r; } Modint operator *(const Modint &r) { return Modint(*this) *= r; } Modint operator *(const int &q) { Modint r(q); return Modint(*this) *= r; } Modint operator /(const Modint &r) { return Modint(*this) /= r; } Modint operator /(const int &q) { Modint r(q); return Modint(*this) /= r; } Modint& operator ++() { val++; if (val >= mod) val -= mod; return *this; } // 前置 Modint operator ++(signed) { ++*this; return *this; } // 後置 Modint& operator --() { val--; if (val < 0) val += mod; return *this; } Modint operator --(signed) { --*this; return *this; } Modint &operator +=(const Modint &r) { val += r.val; if (val >= mod) val -= mod; return *this; } Modint &operator +=(const int &q) { Modint r(q); val += r.val; if (val >= mod) val -= mod; return *this; } Modint &operator -=(const Modint &r) { if (val < r.val) val += mod; val -= r.val; return *this; } Modint &operator -=(const int &q) { Modint r(q); if (val < r.val) val += mod; val -= r.val; return *this; } Modint &operator *=(const Modint &r) { val = val * r.val % mod; return *this; } Modint &operator *=(const int &q) { Modint r(q); val = val * r.val % mod; return *this; } Modint &operator /=(const Modint &r) { int a = r.val, b = mod, u = 1, v = 0; while (b) {int t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v);} val = val * u % mod; if (val < 0) val += mod; return *this; } Modint &operator /=(const int &q) { Modint r(q); int a = r.val, b = mod, u = 1, v = 0; while (b) {int t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v);} val = val * u % mod; if (val < 0) val += mod; return *this; } bool operator ==(const Modint& r) { return this -> val == r.val; } bool operator <(const Modint& r) { return this -> val < r.val; } bool operator >(const Modint& r) { return this -> val > r.val; } bool operator !=(const Modint& r) { return this -> val != r.val; } }; using mint = Modint; // using Mint = modint998244353; istream &operator >>(istream &is, mint& x) { int t; is >> t; x = t; return (is); } ostream &operator <<(ostream &os, const mint& x) { return os << x.val; } mint modpow(const mint &x, int n) { assert(n >= 0); // TODO: n <= -1 if (n == 0) return 1; mint t = modpow(x, n / 2); t = t * t; if (n & 1) t = t * x; return t; } int modpow(__int128_t x, int n, int mod) { assert(n >= 0 && mod > 0); // TODO: n <= -1 __int128_t ret = 1; while (n > 0) { if (n % 2 == 1) ret = ret * x % mod; x = x * x % mod; n /= 2; } return ret; } int modinv(__int128_t x, int mod) { assert(mod > 0 && x > 0); if (x == 1) return 1; return mod - modinv(mod % x, mod) * (mod / x) % mod; } istream &operator >>(istream &is, __int128_t& x) { string S; is >> S; __int128_t ret = 0; int f = 1; if (S[0] == '-') f = -1; for (int i = 0; i < S.length(); i++) if ('0' <= S[i] && S[i] <= '9') ret = ret * 10 + S[i] - '0'; x = ret * f; return (is); } ostream &operator <<(ostream &os, __int128_t x) { ostream::sentry s(os); if (s) { __uint128_t tmp = x < 0 ? -x : x; char buffer[128]; char *d = end(buffer); do { --d; *d = "0123456789"[tmp % 10]; tmp /= 10; } while (tmp != 0); if (x < 0) { --d; *d = '-'; } int len = end(buffer) - d; if (os.rdbuf()->sputn(d, len) != len) { os.setstate(ios_base::badbit); } } return os; } __int128_t stoll(string &S) { __int128_t ret = 0; int f = 1; if (S[0] == '-') f = -1; for (int i = 0; i < S.length(); i++) if ('0' <= S[i] && S[i] <= '9') ret = ret * 10 + S[i] - '0'; return ret * f; } __int128_t gcd(__int128_t a, __int128_t b) { return b ? gcd(b, a % b) : a; } __int128_t lcm(__int128_t a, __int128_t b) { return a / gcd(a, b) * b; // lcmが__int128_tに収まる必要あり } string to_string(ld x, int k) { // xの小数第k位までをstring化する assert(k >= 0); stringstream ss; ss << setprecision(k + 2) << x; string s = ss.str(); if (s.find('.') == string::npos) s += '.'; int pos = s.find('.'); for (int i = 0; k >= (int)s.size() - 1 - pos; i++) s += '0'; s.pop_back(); if (s.back() == '.') s.pop_back(); return s; // stringstream ss; // 第k+1位を四捨五入して第k位まで返す // ss << setprecision(k + 1) << x; // string s = ss.str(); // if (s.find('.') == string::npos) s += '.'; // int pos = s.find('.'); // for (int i = 0; k > (int)s.size() - 1 - pos; i++) s += '0'; // if (s.back() == '.') s.pop_back(); // return s; } string to_string(__int128_t x) { string ret = ""; if (x < 0) { ret += "-"; x *= -1; } while (x) { ret += (char)('0' + x % 10); x /= 10; } reverse(ret.begin(), ret.end()); return ret; } string to_string(char c) { string s = ""; s += c; return s; } struct SXor128 { uint64_t x = 88172645463325252LL; unsigned Int() { x = x ^ (x << 7); return x = x ^ (x >> 9); } unsigned Int(unsigned mod) { x = x ^ (x << 7); x = x ^ (x >> 9); return x % mod; } unsigned Int(unsigned l, unsigned r) { x = x ^ (x << 7); x = x ^ (x >> 9); return x % (r - l + 1) + l; } double Double() { return double(Int()) / UINT_MAX; } } rnd; struct custom_hash { static uint64_t splitmix64(uint64_t x) { x += 0x9e3779b97f4a7c15; x = (x ^ (x >> 30)) * 0xbf58476d1ce4e5b9; x = (x ^ (x >> 27)) * 0x94d049bb133111eb; return x ^ (x >> 31); } size_t operator()(uint64_t x) const { static const uint64_t FIXED_RANDOM = chrono::steady_clock::now().time_since_epoch().count(); return splitmix64(x + FIXED_RANDOM); } }; template size_t HashCombine(const size_t seed,const T &v) { return seed^(hash()(v)+0x9e3779b9+(seed<<6)+(seed>>2)); } template struct hash>{ size_t operator()(const pair &keyval) const noexcept { return HashCombine(hash()(keyval.first), keyval.second); } }; template struct hash>{ size_t operator()(const vector &keyval) const noexcept { size_t s=0; for (auto&& v: keyval) s=HashCombine(s,v); return s; } }; template struct HashTupleCore{ template size_t operator()(const Tuple &keyval) const noexcept{ size_t s=HashTupleCore()(keyval); return HashCombine(s,get(keyval)); } }; template <> struct HashTupleCore<0>{ template size_t operator()(const Tuple &keyval) const noexcept{ return 0; } }; template struct hash>{ size_t operator()(const tuple &keyval) const noexcept { return HashTupleCore>::value>()(keyval); } }; vector _fac, _finv, _inv; void COMinit(int N) { _fac.resize(N + 1); _finv.resize(N + 1); _inv.resize(N + 1); _fac[0] = _fac[1] = 1; _finv[0] = _finv[1] = 1; _inv[1] = 1; for (int i = 2; i <= N; i++) { _fac[i] = _fac[i-1] * mint(i); _inv[i] = -_inv[MOD % i] * mint(MOD / i); _finv[i] = _finv[i - 1] * _inv[i]; } } mint FAC(int N) { if (N < 0) return 0; return _fac[N]; } mint COM(int N, int K) { if (N < K) return 0; if (N < 0 or K < 0) return 0; return _fac[N] * _finv[K] * _finv[N - K]; } mint PERM(int N, int K) { if (N < K) return 0; if (N < 0 or K < 0) return 0; return _fac[N] * _finv[N - K]; } mint NHK(int N, int K) { if (N == 0 && K == 0) return 1; return COM(N + K - 1, K); } #pragma endregion struct BIT2Dwa { int H, W; vector> bit; BIT2Dwa(int _H, int _W) : H(_H + 1), W(_W + 1) { bit.resize(H + 3, vector(W + 3, 0)); } // (x, y)にwを足す void add(int x, int y, int w) { // if (x < 0 or x >= H or y < 0 or y >= W) return ; // 範囲外の時は足さない assert(x >= 0 && x < H && y >= 0 && y < W); for (int a = (++y, ++x); a <= H; a += a & -a) { for (int b = y; b <= W; b += b & -b) { bit[a][b] += w; } } } // [(0, 0) , (x, y)]の和 閉区間 int sum(int x, int y) { if (x < 0 or y < 0) return 0; // x, y < 0の時は0 // if (x >= H) x = H - 1; // x >= H, y >= W のときは x = H - 1, y = W - 1 // if (y >= W) y = W - 1; assert(x < H && y < W); int ret = 0; for (int a = (++y, ++x); a > 0; a -= a & -a) { for (int b = y; b > 0; b -= b & -b) { ret += bit[a][b]; } } return ret; } // [(x1, y1) , (x2, y2)] の和 int sum(int x1, int y1, int x2, int y2) { // if (x1 > x2 or y1 > y2) return 0; // x1 > x2, y1 > y2の時は何もしない // if (x1 > x2) swap(x1, x2); // x1 > x2, y1 > y2の時はswap // if (y1 > y2) swap(y1, y2); assert(x1 <= x2 && y1 <= y2); return sum(x2, y2) - sum(x2, y1 - 1) - sum(x1 - 1, y2) + sum(x1 - 1, y1 - 1); } int get(int x, int y) { assert(x >= 0 && x < H && y >= 0 && y < W); int x1 = x, x2 = x, y1 = y, y2 = y; if (x1 > x2 or y1 > y2) return 0; return sum(x2, y2) - sum(x2, y1 - 1) - sum(x1 - 1, y2) + sum(x1 - 1, y1 - 1); } void set(int x, int y, int w) { int s = get(x, y); add(x, y, -s + w); } }; struct BIT2Dseki { int H, W; vector> bit; BIT2Dseki(int _H, int _W) : H(_H + 1), W(_W + 1) { bit.resize(H + 3, vector(W + 3, 1)); } // (x, y)にwを掛ける void apply(int x, int y, mint w) { // if (x < 0 or x >= H or y < 0 or y >= W) return ; // 範囲外の時は足さない assert(x >= 0 && x < H && y >= 0 && y < W); for (int a = (++y, ++x); a <= H; a += a & -a) { for (int b = y; b <= W; b += b & -b) { bit[a][b] *= w; } } } // [(0, 0) , (x, y)]の積 閉区間 mint prod(int x, int y) { if (x < 0 or y < 0) return 1; // x, y < 0の時は1 // if (x >= H) x = H - 1; // x >= H, y >= W のときは x = H - 1, y = W - 1 // if (y >= W) y = W - 1; assert(x < H && y < W); mint ret = 1; for (int a = (++y, ++x); a > 0; a -= a & -a) { for (int b = y; b > 0; b -= b & -b) { ret *= bit[a][b]; } } return ret; } // [(x1, y1) , (x2, y2)] の和 mint prod(int x1, int y1, int x2, int y2) { // if (x1 > x2 or y1 > y2) return 0; // x1 > x2, y1 > y2の時は何もしない // if (x1 > x2) swap(x1, x2); // x1 > x2, y1 > y2の時はswap // if (y1 > y2) swap(y1, y2); assert(x1 <= x2 && y1 <= y2); return prod(x2, y2) * prod(x1 - 1, y1 - 1) / prod(x2, y1 - 1) / prod(x1 - 1, y2); } mint get(int x, int y) { assert(x >= 0 && x < H && y >= 0 && y < W); int x1 = x, x2 = x, y1 = y, y2 = y; if (x1 > x2 or y1 > y2) return 1; return prod(x2, y2) * prod(x1 - 1, y1 - 1) / prod(x2, y1 - 1) / prod(x1 - 1, y2); } }; signed main() { int H, W; cin >> H >> W; BIT2Dseki bit(H, W); BIT2Dwa cnt(H, W); vector> A(H, vector(W)); for (int i = 0; i < H; i++) { for (int j = 0; j < W; j++) { cin >> A[i][j]; if (A[i][j] != 0) bit.apply(i, j, A[i][j]); else cnt.add(i, j, 1); } } int Q; cin >> Q; for (int q = 0; q < Q; q++) { int r, c; cin >> r >> c; r--; c--; int i1 = 0, j1 = 0, i2 = r - 1, j2 = c - 1; mint tot1 = 1; if (i1 <= i2 && j1 <= j2) tot1 *= bit.prod(i1, j1, i2, j2); if (i1 <= i2 && j1 <= j2 && cnt.sum(i1, j1, i2, j2) > 0) tot1 = 0; i1 = 0, j1 = c + 1, i2 = r - 1, j2 = W - 1; mint tot2 = 1; if (i1 <= i2 && j1 <= j2) tot2 *= bit.prod(i1, j1, i2, j2); if (i1 <= i2 && j1 <= j2 && cnt.sum(i1, j1, i2, j2) > 0) tot2 = 0; i1 = r + 1, j1 = 0, i2 = H - 1, j2 = c - 1; mint tot3 = 1; if (i1 <= i2 && j1 <= j2) tot3 *= bit.prod(i1, j1, i2, j2); if (i1 <= i2 && j1 <= j2 && cnt.sum(i1, j1, i2, j2) > 0) tot3 = 0; i1 = r + 1, j1 = c + 1, i2 = H - 1, j2 = W - 1; mint tot4 = 1; if (i1 <= i2 && j1 <= j2) tot4 *= bit.prod(i1, j1, i2, j2); if (i1 <= i2 && j1 <= j2 && cnt.sum(i1, j1, i2, j2) > 0) tot4 = 0; cout << tot1 * tot2 * tot3 * tot4 << endl; } }