#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } const long long MAX = 5100000; const long long INF = 1LL << 60; const long long mod = 1000000007LL; //const long long mod = 998244353LL; using namespace std; typedef unsigned long long ull; typedef long long ll; struct mint { ll x; // typedef long long ll; mint(ll x = 0) :x((x%mod + mod) % mod) {} mint& operator+=(const mint a) { if ((x += a.x) >= mod) x -= mod; return *this; } mint& operator-=(const mint a) { if ((x += mod - a.x) >= mod) x -= mod; return *this; } mint& operator*=(const mint a) { (x *= a.x) %= mod; return *this; } mint operator+(const mint a) const { mint res(*this); return res += a; } mint operator-(const mint a) const { mint res(*this); return res -= a; } mint operator*(const mint a) const { mint res(*this); return res *= a; } mint pow(ll t) const { if (!t) return 1; mint a = pow(t >> 1); a *= a; if (t & 1) a *= *this; return a; } // for prime mod mint inv() const { return pow(mod - 2); } mint& operator/=(const mint a) { return (*this) *= a.inv(); } mint operator/(const mint a) const { mint res(*this); return res /= a; } }; int main() { /* cin.tie(nullptr); ios::sync_with_stdio(false); */ ll N, M, K; scanf("%lld %lld %lld", &N, &M, &K); vector> dp(K + 1, vector(N + 5)); dp[0][0] = 1; vector l(M), r(M); for (ll i = 0; i < M; i++) { scanf("%lld %lld", &l[i], &r[i]); l[i]--; r[i]--; } for (ll i = 0; i < K; i++) { vector sum(N + 2); for (ll j = 0; j < N; j++) { sum[j + 1] = sum[j] + dp[i][j]; } for (ll j = 0; j < M; j++) { dp[i + 1][l[j]] += sum[r[j] + 1] - sum[l[j]]; dp[i + 1][r[j] + 1] -= sum[r[j] + 1] - sum[l[j]]; } for (ll j = 0; j <= N; j++) dp[i + 1][j + 1] += dp[i + 1][j]; } cout << dp[K][N - 1].x << endl; return 0; }