#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <ctime>
#include <cassert>
#include <string>
#include <algorithm>
#include <vector>
#include <queue>
#include <stack>
#include <functional>
#include <iostream>
#include <map>
#include <set>
#include <cassert>
using namespace std;
typedef long long ll;
typedef pair<int,int> P;
typedef pair<int,P> P1;
typedef pair<P,P> P2;
#define pu push
#define pb push_back
#define mp make_pair
#define eps 1e-7
#define INF 1000000000
#define mod 1000000007
#define fi first
#define sc second
#define rep(i,x) for(int i=0;i<x;i++)
#define repn(i,x) for(int i=1;i<=x;i++)
#define SORT(x) sort(x.begin(),x.end())
#define ERASE(x) x.erase(unique(x.begin(),x.end()),x.end())
#define POSL(x,v) (lower_bound(x.begin(),x.end(),v)-x.begin())
#define POSU(x,v) (upper_bound(x.begin(),x.end(),v)-x.begin())
vector<int>zx,zy;
int h,w,n,a[35],b[35];
vector<P1>za,zb;
vector<int>cx,cy;
int revx[1000005],revy[1000005];
bool bad[105][105];
int dist[95][95];
bool u[95][95];
int main(){
	cin>>h>>w>>n;
	rep(i,n){
		cin>>a[i]>>b[i]; a[i]++; b[i]++;
		zx.pb(a[i]);
		zy.pb(b[i]);
	}
	SORT(zx); ERASE(zx);
	SORT(zy); ERASE(zy);
	int cur = 1;
	rep(i,zx.size()){
		if(cur != zx[i]){
			za.pb(mp(0,mp(cur,zx[i]-1)));
		}
		za.pb(mp(1,mp(zx[i],zx[i])));
		cur = zx[i]+1;
	}
	if(cur <= h){
		za.pb(mp(0,mp(cur,h)));
	}
	
	cur = 1;
	rep(i,zy.size()){
		if(cur != zy[i]){
			zb.pb(mp(0,mp(cur,zy[i]-1)));
		}
		zb.pb(mp(1,mp(zy[i],zy[i])));
		cur = zy[i]+1;
	}
	if(cur <= w){
		zb.pb(mp(0,mp(cur,w)));
	}
	rep(i,za.size()){
		rep(j,zb.size()){
			cx.pb(za[i].sc.fi); cx.pb(za[i].sc.sc);
			cy.pb(zb[j].sc.fi); cy.pb(zb[j].sc.sc);
		}
	}
	SORT(cx); ERASE(cx);
	SORT(cy); ERASE(cy);
	rep(i,cx.size()) revx[cx[i]] = i+1;
	rep(i,cy.size()) revy[cy[i]] = i+1;
	rep(i,cx.size()){
        rep(j,cy.size()){
            rep(k,n) if(a[k]==cx[i]&&b[k]==cy[j]) bad[i+1][j+1] = 1;
        }
	}
	ll add = 0,add2 = 0;
	rep(i,za.size()){
		rep(j,zb.size()){
			int x = za[i].sc.fi,y = zb[j].sc.fi;
			x = revx[x]; y = revy[y];
			if(bad[x][y]) continue;
			if(!za[i].fi && !zb[j].fi) continue;
			ll cnt = 1LL*(za[i].sc.sc-za[i].sc.fi+1)*(zb[j].sc.sc-zb[j].sc.fi+1);
			cnt %= mod;
			rep(x,95) rep(y,95) {
				dist[x][y] = INF;
				u[x][y] = 0;
			}
			dist[x][y] = 0;
			queue<P1>que;
			que.push(mp(0,mp(x,y)));
			while(!que.empty()){
				P1 p = que.front(); que.pop();
				if(u[p.sc.fi][p.sc.sc]) continue;
				u[p.sc.fi][p.sc.sc] = 1;
				int X = p.sc.fi,Y = p.sc.sc;
				int dx[4]={0,1,0,-1};
				int dy[4]={1,0,-1,0};
				rep(k,4){
					int nx = X+dx[k];
					int ny = Y+dy[k];
					if(1<=nx&&nx<=cx.size()&&1<=ny&&ny<=cy.size()&&!bad[nx][ny]){
						int dt;
						if(k%2 == 0) dt = cy[max(Y,ny)-1]-cy[min(Y,ny)-1];
						else dt = cx[max(X,nx)-1]-cx[min(X,nx)-1];
						if(dist[nx][ny] > dist[X][Y]+dt && !u[nx][ny]){
							dist[nx][ny] = dist[X][Y]+dt;
							que.push(mp(dist[nx][ny],mp(nx,ny)));
						}
					}
				}
			}
			rep(ii,za.size()){
				rep(jj,zb.size()){
					int xx = za[ii].sc.fi,yy = zb[jj].sc.fi;
					xx = revx[xx]; yy = revy[yy];
					ll cntt = 1LL*(za[ii].sc.sc-za[ii].sc.fi+1)*(zb[jj].sc.sc-zb[jj].sc.fi+1);
					cntt %= mod;
					int dif = dist[xx][yy];
					if(dif == INF) continue;
					dif -= cx[max(xx,x)-1]-cx[min(xx,x)-1]+cy[max(yy,y)-1]-cy[min(yy,y)-1];
					assert(dif >= 0);
					if(!za[ii].fi && !zb[jj].fi) add2 += (dif * (cnt * cntt % mod) % mod);
					else add += (dif * (cnt * cntt % mod) % mod);
				}
			}
		}
	}
	add %= mod;
	add = add*(mod+1)/2%mod;
	add = (add+add2)%mod;
	//cout << add << endl;
	ll ret = 0;
	for(int i=1;i<w;i++){
		ret += 1LL*h*h%mod*i%mod*(w-i)%mod;
		ret %= mod;
	}
	for(int i=1;i<h;i++){
		ret += 1LL*w*w%mod*i%mod*(h-i)%mod;
		ret %= mod;
	}
	for(int i=0;i<n;i++){
		ret -= 1LL*(a[i]-1)*a[i]%mod*((mod+1)/2)%mod*w%mod;
		ret -= 1LL*(h-a[i])*(h-a[i]+1)%mod*((mod+1)/2)%mod*w%mod;
		ret -= 1LL*(b[i]-1)*b[i]%mod*((mod+1)/2)%mod*h%mod;
		ret -= 1LL*(w-b[i])*(w-b[i]+1)%mod*((mod+1)/2)%mod*h%mod;
		ret %= mod;
	}
	for(int i=0;i<n;i++){
		for(int j=i+1;j<n;j++){
			ret += abs(a[i]-a[j])+abs(b[i]-b[j]);
			ret %= mod;
		}
	}
	ret = (ret%mod+mod)%mod;
	//cout << ret << " " << add << endl;
	cout << (ret+add)%mod << endl;
}

Measured memory_bytes: 4608