题目名是真的
#include<iostream>
#include<cmath>
#include<cstdio>
#include<algorithm>
#define ll long long
#define p 1000000007
using namespace std;
int n,m,k,sum,tot;
ll ans;
struct node {int x,y;} a[100005];
inline int read()
{
int a=0,f=1; char c=getchar();
while (c<'0'||c>'9') {if (c=='-') f=-1; c=getchar();}
while (c>='0'&&c<='9') {a=a*10+c-'0'; c=getchar();}
return a*f;
}
inline bool cmp(node a,node b)
{
return a.x==b.x?a.y<b.y:a.x<b.x;
}
ll quick_power(ll a,ll b)
{
ll ans=1;
for (int i=b;i;i>>=1,a=a*a%p)
if (i&1) ans=ans*a%p;
return ans;
}
int main()
{
n=read(); m=tot=read(); k=read();
sum=(ll)n*(n+1)/2%p;
for (int i=1;i<=k;i++) a[i].x=read(),a[i].y=read();
sort(a+1,a+k+1,cmp);
int tmp=sum; ans=1;
for (int i=1;i<=k;i++)
{
if (a[i].x!=a[i-1].x&&i!=1) ans=ans*tmp%p,tmp=sum,tot--;
if (a[i].x!=a[i-1].x||a[i].y!=a[i-1].y) tmp=(tmp-a[i].y+p)%p;
}
tot--; ans=ans*tmp%p;
printf("%lld\n",ans*quick_power(sum,tot)%p);
return 0;
}