#include<bits/stdc++.h>
using namespace std;

const int maxn=75;
const int maxm=4005;
const int maxs=1000005;
const int mod=1e9+7;
const int INF=0x3f3f3f3f;
int n,m,k,kx,ky,cnt,tot,ans;
int x[maxn],y[maxn],allx[maxn],ally[maxn];
pair<int,int>pos[maxm];
set<pair<int,int> >bad;
map<pair<int,int>,int>id;
vector<int>valr[maxs],valc[maxs];
vector<pair<int,int> >edge[maxm]; 
int dist[maxm][maxm],ver[maxm];
bool tmp[maxm];
priority_queue<pair<int,int> >pq;

void add(pair<int,int>p){
	if(p.first<1||p.first>n||p.second<1||p.second>m)return;
	if(bad.count(p))return;
	if(id.count(p))return;
	id[p]=++tot;
	pos[tot]=p;
	valr[p.first].push_back(p.second);
	valc[p.second].push_back(p.first);
}

class Seg{
public:
	pair<int,int>s,t;
	int p;
	Seg(){}
	Seg(pair<int,int>_s,pair<int,int>_t):s(_s),t(_t){add(t),p=id[t];}
	int area()const{return 1LL*(t.first-s.first+1)*(t.second-s.second+1)%mod;}
	int calc(const Seg &o)const{
		return dist[p][o.p]-abs(pos[p].first-pos[o.p].first)-abs(pos[p].second-pos[o.p].second);
	}
}val[maxm];

void dij(int s){
	while(!pq.empty())pq.pop();
	for(int i=1;i<=tot;i++)dist[s][i]=INF;
	dist[s][s]=0;
	pq.push(make_pair(0,s));
	while(!pq.empty()){
		int x=pq.top().second,cur=-pq.top().first;
		pq.pop();
		if(dist[s][x]!=cur)continue;
		for(int i=0;i<int(edge[x].size());i++){
			pair<int,int>y=edge[x][i];
			if(dist[s][y.first]>dist[s][x]+y.second){
				dist[s][y.first]=dist[s][x]+y.second;
				pq.push(make_pair(-dist[s][y.first],y.first));
			}
		}
	}
}

int main(){
	scanf("%d%d%d",&n,&m,&k);
	allx[++kx]=1;
	allx[++kx]=n+1;
	ally[++ky]=1;
	ally[++ky]=m+1;
	for(int i=1;i<=k;i++){
		scanf("%d%d",&x[i],&y[i]);
		x[i]++;y[i]++;
		allx[++kx]=x[i];
		allx[++kx]=x[i]+1;
		ally[++ky]=y[i];
		ally[++ky]=y[i]+1;
		bad.insert(make_pair(x[i],y[i]));
		valr[x[i]].push_back(y[i]);
		valc[y[i]].push_back(x[i]);
	}
	for(int i=1;i<=k;i++)
		for(int dx=-1;dx<=1;dx++)for(int dy=-1;dy<=1;dy++)
			add(make_pair(x[i]+dx,y[i]+dy));
	sort(allx+1,allx+1+kx);
	sort(ally+1,ally+1+ky);
	kx=unique(allx+1,allx+1+kx)-allx-1;
	ky=unique(ally+1,ally+1+ky)-ally-1;
	for(int i=1;i<kx;i++)for(int j=1;j<ky;j++)if(!bad.count(make_pair(allx[i],ally[j])))
		val[++cnt]=Seg(make_pair(allx[i],ally[j]),make_pair(allx[i+1]-1,ally[j+1]-1));
	long long sum=0;
	for(int i=1;i<=n;i++){
		sort(valr[i].begin(),valr[i].end());
		int cur=0;
		for(int j=0;j<int(valr[i].size());j++){
			tmp[j]=bad.count(make_pair(i,valr[i][j]));
			ver[j]=id.count(make_pair(i,valr[i][j]))?id[make_pair(i,valr[i][j])]:0;
			cur+=tmp[j];
			if(j>0&&!tmp[j-1]&&!tmp[j])
				edge[ver[j-1]].push_back(make_pair(ver[j],valr[i][j]-valr[i][j-1])),
				edge[ver[j]].push_back(make_pair(ver[j-1],valr[i][j]-valr[i][j-1]));
		}
		cur=m-cur;
		ans=(ans+1LL*(sum-1LL*n*m+k+sum+cur)%mod*i%mod*cur)%mod;
		sum+=cur;
	}
	sum=0;
	for(int i=1;i<=m;i++){
		sort(valc[i].begin(),valc[i].end());
		int cur=0;
		for(int j=0;j<int(valc[i].size());j++){
			tmp[j]=bad.count(make_pair(valc[i][j],i));
			ver[j]=id.count(make_pair(valc[i][j],i))?id[make_pair(valc[i][j],i)]:0;
			cur+=tmp[j];
			if(j>0&&!tmp[j-1]&&!tmp[j])
				edge[ver[j-1]].push_back(make_pair(ver[j],valc[i][j]-valc[i][j-1])),
				edge[ver[j]].push_back(make_pair(ver[j-1],valc[i][j]-valc[i][j-1]));
		}
		cur=n-cur;
		ans=(ans+1LL*(sum-1LL*n*m+k+sum+cur)%mod*i%mod*cur)%mod;
		sum+=cur;
	}
	ans=(ans%mod+mod)%mod;
	ans=2LL*ans%mod;
	for(int i=1;i<=tot;i++)dij(i);
	for(int i=1;i<=cnt;i++)for(int j=1;j<=cnt;j++)
		ans=(ans+1LL*val[i].calc(val[j])*val[i].area()%mod*val[j].area())%mod;
			//cerr<<val[i].s.first<<" "<<val[i].s.second<<" "<<val[i].t.first<<" "<<val[i].t.second<<endl,
			//cerr<<val[j].s.first<<" "<<val[j].s.second<<" "<<val[j].t.first<<" "<<val[j].t.second<<endl,
			//cerr<<val[i].calc(val[j])<<" "<<val[i].p<<" "<<val[j].p<<" "<<dist[val[i].p][val[j].p]<<endl;
	printf("%d\n",int(1LL*ans*(mod+1)/2%mod));
	return 0;
}

Measured memory_bytes: 111532