#include using namespace std; #define rep(i,a,b) for(int i=(int)(a);i<(int)(b);i++) #define ALL(v) (v).begin(),(v).end() using ll=long long int; const int inf = 0x3fffffff; const ll INF = 0x1fffffffffffffff; const double eps=1e-12; templateinline bool chmax(T& a,T b){if(ainline bool chmin(T& a,T b){if(a>b){a=b;return 1;}return 0;} templatestruct fp { int v; static int get_mod(){return mod;} int inv() const{ int tmp,a=v,b=mod,x=1,y=0; while(b)tmp=a/b,a-=tmp*b,swap(a,b),x-=tmp*y,swap(x,y); if(x<0){x+=mod;} return x; } fp(ll x=0){init(x%mod+mod);} fp& init(int x){v=(x>=1;} return res;} fp& operator+=(const fp& x){return init(v+x.v);} fp& operator-=(const fp& x){return init(v+mod-x.v);} fp& operator*=(const fp& x){v=ll(v)*x.v%mod; return *this;} fp& operator/=(const fp& x){v=ll(v)*x.inv()%mod; return *this;} fp operator+(const fp& x)const{return fp(*this)+=x;} fp operator-(const fp& x)const{return fp(*this)-=x;} fp operator*(const fp& x)const{return fp(*this)*=x;} fp operator/(const fp& x)const{return fp(*this)/=x;} bool operator==(const fp& x)const{return v==x.v;} bool operator!=(const fp& x)const{return v!=x.v;} }; using Fp=fp<>; templatestruct factorial { vector Fact,Finv,Inv; factorial(int maxx){ Fact.resize(maxx); Finv.resize(maxx); Inv.resize(maxx); Fact[0]=Fact[1]=Finv[0]=Finv[1]=Inv[1]=1; rep(i,2,maxx){Fact[i]=Fact[i-1]*i;} Finv[maxx-1]=Fact[maxx-1].inv(); for(int i=maxx-1;i>=2;i--){Finv[i-1]=Finv[i]*i; Inv[i]=Finv[i]*Fact[i-1];} } T fact(int n,bool inv=0){if(n<0)return 0; return (inv?Finv[n]:Fact[n]);} T inv(int n){if(n<0)return 0; return Inv[n];} T nPr(int n,int r,bool inv=0){if(n<0||nstruct BIT{ int n; T all=0; vector val; BIT(int _n):n(_n),val(_n+10){} void clear(){val.assign(n+10,0); all=T();} void add(int i,T x){ for(i++;i<=n;i+=(i&-i))val[i]+=x; all+=x; } T sum(int i){ T res=0; for(i++;i;i-=(i&-i))res+=val[i]; return res; } }; factorial fact(402020); int main(){ int n,k,m; cin>>n>>k>>m; vector L(m),R(m); rep(i,0,m)cin>>L[i]>>R[i]; vector mxl(k+1,0); rep(i,0,m)chmax(mxl[R[i]],L[i]); rep(i,0,k)chmax(mxl[i+1],mxl[i]); vector dp(k+1,BIT(k+1)); dp[0].add(0,1); rep(i,0,k){ for(int j=k-1;j>=0;j--){ Fp add=dp[j].sum(k+1)-dp[j].sum(mxl[i]-1); dp[j+1].add(i+1,add); } } Fp res; rep(x,1,k+1){ Fp add; rep(k,1,x+1){ Fp sub=fact.nCr(x,k)*Fp(k).pow(n); if((x-k)&1)add-=sub; else add+=sub; } add*=(dp[x].sum(k)-dp[x].sum(mxl[k]-1)); res+=add; } cout<