#include #define ADD(a, b) a = (a + ll(b)) % mod #define MUL(a, b) a = (a * ll(b)) % mod #define MAX(a, b) a = max(a, b) #define MIN(a, b) a = min(a, b) #define rep(i, a, b) for(int i = int(a); i < int(b); i++) #define rer(i, a, b) for(int i = int(a) - 1; i >= int(b); i--) #define all(a) (a).begin(), (a).end() #define sz(v) (int)(v).size() #define pb push_back #define sec second #define fst first #define debug(fmt, ...) Debug(__LINE__, ":", fmt, ##__VA_ARGS__) using namespace std; typedef long long ll; typedef unsigned long long ull; typedef pair pi; typedef pair pl; typedef pair ppi; typedef vector vi; typedef vector vl; typedef vector mat; typedef complex comp; void Debug() {cout << '\n'; } templatevoid Debug(FIRST arg, REST... rest){ cout<ostream& operator<<(ostream& out,const vector& v) { out<<"[";if(!v.empty()){rep(i,0,sz(v)-1)out<ostream& operator<<(ostream& out,const pair& v){ out<<"("<> N >> M >> K; rep(i, 0, M) { cin >> L[i] >> R[i]; L[i]--; } rep(i, 1, N + 1) D[0][i] = 1; rep(i, 0, K) { rep(j, 0, M) { int l = L[j], r = R[j]; ADD(E[i][j], D[i][r] - D[i][l] + mod); } // debug(i, vi(E[i], E[i] + N)); rep(j, 0, M) { int l = L[j], r = R[j]; ADD(D[i + 1][l + 1], E[i][j]); ADD(D[i + 1][r + 1], mod - E[i][j]); } // debug(i, vi(D[i + 1], D[i + 1] + N + 2)); rep(j, 0, N) ADD(D[i + 1][j + 1], D[i + 1][j]); rep(j, 0, N) ADD(D[i + 1][j + 1], D[i + 1][j]); // debug(i, vi(D[i + 1], D[i + 1] + N + 1)); } cout << (mod + D[K][N] - D[K][N - 1]) % mod << "\n"; } int main() { #ifndef LOCAL ios::sync_with_stdio(false); cin.tie(0); #endif cout << fixed; cout.precision(20); srand((unsigned int)time(NULL)); #ifdef LOCAL //freopen("in.txt", "wt", stdout); //for tester freopen("in.txt", "rt", stdin); #endif solve(); #ifdef LOCAL cerr << "Time elapsed: " << 1.0 * clock() / CLOCKS_PER_SEC << " s.\n"; #endif return 0; }