#define _CRT_SECURE_NO_WARNINGS #define _SILENCE_ALL_CXX17_DEPRECATION_WARNINGS #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define eps 0.000000001 #define LONG_INF 10000000000000000 #define GOLD 1.61803398874989484820458 #define MAX_MOD 1000000007 #define MOD 998244353 #define seg_size 65536*2 #define REP(i,n) for(long long i = 0;i < n;++i) unsigned long xor128(void) { static unsigned long x = time(NULL), y = 362436069, z = 521288629, w = 88675123; unsigned long t; t = (x ^ (x << 11)); x = y; y = z; z = w; return(w = (w ^ (w >> 19)) ^ (t ^ (t >> 8))); } long long ruiseki[3100][3100] = {}; long long imos[3100][3100] = {}; int main() { int n, m, k; cin >> n >> m >> k; vector> input; REP(i, m) { int a, b; cin >> a >> b; input.push_back(make_pair(a, b)); } imos[0][1] = 1; imos[0][2] = -1; for (int i = 0; i <= k; ++i) { for (int q = 1; q <= n; ++q) { imos[i][q] += imos[i][q - 1]; imos[i][q] += MAX_MOD; imos[i][q] %= MAX_MOD; } for (int q = 1; q <= n; ++q) { ruiseki[i][q] += ruiseki[i][q - 1]; ruiseki[i][q] += imos[i][q]; ruiseki[i][q] %= MAX_MOD; } for (int q = 0; q < m; ++q) { long long range = ruiseki[i][input[q].second] - ruiseki[i][input[q].first - 1]; range += MAX_MOD; range %= MAX_MOD; imos[i + 1][input[q].first] += range; imos[i + 1][input[q].second + 1] += MAX_MOD - range; } } cout << imos[k][n] << endl; return 0; }