#include #include #include #include #define _USE_MATH_DEFINES #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() const int INF = 0x3f3f3f3f, MOD = 1000000007; const long long LINF = 0x3f3f3f3f3f3f3f3fLL; /*-----------------------------------------*/ int main() { cin.tie(0); ios::sync_with_stdio(false); // freopen("input.txt", "r", stdin); int n, m, k; cin >> n >> m >> k; vector l(m), r(m); REP(i, m) cin >> l[i] >> r[i]; vector > shita(n + 1), ue(n + 1); REP(i, m) { shita[l[i]].emplace_back(i); if (r[i] + 1 <= n) ue[r[i] + 1].emplace_back(i); } vector > up(n + 1), down(n + 1); REP(i, m) { up[r[i]].emplace_back(i); down[l[i] - 1].emplace_back(i); } vector > dp(k + 1, vector(n + 1, 0)); dp[0][1] = 1; REP(i, k) { vector cum(n + 1, 0); FOR(j, 1, n + 1) (cum[j] += (cum[j - 1] + dp[i][j]) % MOD) %= MOD; int cnt = 0; long long tmp = 0; FOR(j, 1, n + 1) { cnt += shita[j].size() - ue[j].size(); (tmp += dp[i][j] * cnt % MOD) %= MOD; // cout << i + 1 << ' ' << j << " | " << shita[j].size() << '\n'; for (int e : ue[j]) { tmp -= (cum[r[e]] - cum[l[e] - 1]) % MOD; (tmp += MOD) %= MOD; } (dp[i + 1][j] += tmp) %= MOD; // cout << i + 1 << ' ' << j << " : " << dp[i + 1][j] << '\n'; } vector muc(n + 1, 0); muc[n] = dp[i][n]; for (int j = n - 1; j > 0; --j) (muc[j] += (muc[j + 1] + dp[i][j]) % MOD) %= MOD; cnt = 0; tmp = 0; for (int j = n; j > 0; --j) { cnt += up[j].size() - down[j].size(); (tmp += dp[i][j] * cnt % MOD) %= MOD; for (int e : down[j]) { tmp -= (muc[l[e]] - (r[e] + 1 <= n ? muc[r[e] + 1] : 0)) % MOD; (tmp += MOD) %= MOD; } (dp[i + 1][j] += tmp) %= MOD; } cnt = 0; FOR(j, 1, n + 1) { cnt += shita[j].size() - ue[j].size(); dp[i + 1][j] -= dp[i][j] * cnt % MOD; (dp[i + 1][j] += MOD) %= MOD; } } cout << dp[k][n] << '\n'; return 0; // vector > to(n + 1, vector(n + 1, 0)); // FOR(i, 1, n + 1) FOR(j, 1, n + 1) { // } // vector > dp(k + 1, vector(n + 1, 0)); // dp[0][1] = 1; // REP(i, k) FOR(j, 1, n + 1) { // REP(x, m) if (l[x] <= j && j <= r[x]) { // FOR(y, l[x], r[x] + 1) (dp[i + 1][y] += dp[i][j]) %= MOD; // } // } // cout << dp[k][n] << '\n'; return 0; }