#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define llint long long #define inf 1e18 #define rep(x, s, t) for(llint (x) = (s); (x) < (t); (x)++) #define Rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++) #define chmin(x, y) (x) = min((x), (y)) #define chmax(x, y) (x) = max((x), (y)) #define mod 1000000007 using namespace std; typedef pair P; const int FACT_MAX = 2000005; llint fact[FACT_MAX], fact_inv[FACT_MAX]; llint modpow(llint a, llint n) { if(n == 0) return 1; if(n % 2){ return ((a%mod) * (modpow(a, n-1)%mod)) % mod; } else{ return modpow((a*a)%mod, n/2) % mod; } } void make_fact() { llint val = 1; fact[0] = 1; for(int i = 1; i < FACT_MAX; i++){ val *= i; val %= mod; fact[i] = val; } fact_inv[FACT_MAX-1] = modpow(fact[FACT_MAX-1], mod-2); for(int i = FACT_MAX-2; i >= 0; i--){ fact_inv[i] = fact_inv[i+1] * (i+1) % mod; } } llint comb(llint n, llint k) { llint ret = 1; ret *= fact[n]; ret *= fact_inv[k], ret %= mod; ret *= fact_inv[n-k], ret %= mod; return ret; } llint h, w; llint a[1005][1005]; llint get(llint x, llint y, llint z) { return comb(x+y, y) * comb(x+y+z, z) % mod; } llint sum(llint x, llint y, llint h) { if(h < 0) return 0; return comb(x+y+h+1, h) * comb(x+y, y) % mod; } int main(void) { ios::sync_with_stdio(0); cin.tie(0); make_fact(); cin >> h >> w; for(int y = 0; y < h; y++){ for(int x = 0; x < w; x++){ cin >> a[x][y]; } } llint ans = 0; for(int y = 0; y < h; y++){ for(int x = 0; x < w; x++){ ans += sum(x, y, a[x][y]-1) + mod - sum(x, y, a[x+1][y]-1), ans %= mod; ans += sum(x, y, a[x][y]-1) + mod - sum(x, y, a[x][y+1]-1), ans %= mod; ans += get(x, y, a[x][y]-1), ans %= mod; } } cout << ans << endl; return 0; }