#include <algorithm>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <ctime>
#include <iostream>
#include <sstream>
#include <functional>
#include <map>
#include <set>
#include <unordered_map>
#include <unordered_set>
#include <bitset>
#include <string>
#include <cstring>
#include <vector>
#include <queue>
#include <stack>
#include <deque>
#include <list>
#include <numeric>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef pair<ll,ll> P;
typedef pair<P,ll> PPI;
typedef pair<ll,P> PIP;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<P> vp;
#define PQ(T) priority_queue<T,vector<T>,greater<T>>
#define PQ2(T) priority_queue<T>
const double PI = 3.14159265358979323846;
const double EPS = 1e-12;
const ll INF = 1LL<<59;
const ll mod = 1e9+7;
#define REP(i,a,b) for(ll (i)=a;(i)<(ll)(b);++(i))
#define rep(i,n) REP(i,0,n)
#define rep1(i,n) REP(i,1,n+1)
#define repd(i,n,d) for(ll (i)=0;(i)<(ll)(n);(i)+=(d))
#define all(v) (v).begin(), (v).end()
#define pb(x) push_back(x)
#define mp(x,y) make_pair((x),(y))
#define mset(m,v) memset((m),(v),sizeof(m))
#define chmin(x,y) ((x)=min((x),(y)))
#define chmax(x,y) ((x)=max((x),(y)))
#define fst first
#define snd second
#define UNIQUE(x) (x).erase(unique(all(x)),(x).end())
#define DEBUG(x) cerr<<"line ("<<__LINE__<<")  "<<#x<<": "<<x<<endl;
template<class T> ostream &operator<<(ostream &os, const vector<T> &v){int n=v.size();rep(i,n)os<<v[i]<<(i==n-1?"":" ");return os;}

#define N 90
#define M 65*65*4
int h, w, n, h2, w2;
int x[N], y[N], xy[N][N];
int dx[] = {1, 0, -1, 0}, dy[] = {0, 1, 0, -1};
vector<int> x2, y2;
unordered_map<int, int> xd, yd;
ll d[M];

ll pow_mod(ll a, ll r, ll m = mod){
	ll x = 1;
	while(r){
		if(r&1) (x*=a)%=m;
		(a*=a)%=m;
		r>>=1;
	}
	return x;
}

ll inv2 = pow_mod(2, mod-2, mod);
ll inv3 = pow_mod(3, mod-2, mod);

ll f(ll a, ll b, ll c){
	return (a*w2+b)*4+c;
}

void comp(int *a, vector<int> &b, unordered_map<int, int> &c, int d, int &d2){
	b.clear(); c.clear();
	rep(i, n){ b.pb(a[i]); b.pb(a[i]+1);}
	b.pb(0); b.pb(d);
	sort(all(b));
	UNIQUE(b);
	d2 = b.size();
	rep(i, d2) c[b[i]] = i;
	rep(i, n) a[i] = c[a[i]];
}

ll solve(int a, int b, int c, bool xf, bool yf){
	fill(d, d+M, INF);
	rep(i, n) rep(j, 4) d[f(x[i], y[i], j)] = -1;
	ll abc = f(a, b, c);
	d[abc] = 0;
	queue<P> q;
	q.push(P(0, abc));
	ll res = 0;
	while(!q.empty()){
		P p = q.front(); q.pop();
		ll l = p.fst, u = (p.snd>>2)/w2, v = (p.snd>>2)%w2, k = p.snd&3;
		if(d[p.snd]<l) continue;
		//cerr<<"dijk "<<u<<" "<<v<<" "<<k<<" "<<l<<endl;

		rep(i, 4){
			int u2 = u+dx[i], v2 = v+dy[i], k2;
			ll l2 = l+1;
			if(u2<0||u2>=h2-1||v2<0||v2>=w2-1) continue;
			if(i%2==0){
				if(i/2==(1&(k>>1))) l2 += x2[u+1]-x2[u]-1;
				k2 = i/2*2+(k%2);
			}
			if(i%2==1){
				if(i/2==(1&k)) l2 += y2[v+1]-y2[v]-1;
				k2 = i/2+(k/2*2);
			}
			ll p2 = f(u2, v2, k2);
			if(d[p2]>=0 && l2<d[p2]){
				d[p2] = l2;
				q.push(P(d[p2], p2));
			}
		}
		rep1(i, 3){
			ll k2 = k^i;
			ll l2 = l;
			if(i&2) l2 += x2[u+1]-x2[u]-1;
			if(i&1) l2 += y2[v+1]-y2[v]-1;
			ll p2 = f(u, v, k2);
			if(d[p2]>=0 && l2<d[p2]){
				d[p2] = l2;
				//q.push(P(d[p2], p2));
			}
		}
	}
	rep(i, h2-1) rep(j, w2-1){
		if(xy[i][j]) continue;
		if(xf && i==a) continue;
		if(yf && j==b) continue;
		(res+=(d[f(i, j, 0)]+d[f(i, j, 3)])%mod*(x2[i+1]-x2[i])%mod*(y2[j+1]-y2[j])%mod*inv2)%=mod;
	}
	return res;
	rep(i, h2-1){
		rep(j, w2-1) cerr<<d[f(i, j, 0)]<<" ";
		cerr<<endl;
	}
	return res;
}

ll f5(ll h){
	ll r1 = ((3*h-2)*(h-1)+2*(h-1)*(h-1)%mod*(h-1))%mod*(h-1)%mod;
	ll r2 = ((4*h-4)*(h-1)+2*(h-2)*(h-1)%mod*(h-1))%mod*(h-1)%mod*(h-1)%mod*inv2%mod;
	return (r1+r2)%mod;
}

int main(){
	cin>>h>>w>>n;
	rep(i, n) cin>>x[i]>>y[i];
	comp(x, x2, xd, h, h2);
	comp(y, y2, yd, w, w2);
	rep(i, n) xy[x[i]][y[i]] = -1;
	ll res = 0;
	rep(i, h2-1) rep(j, w2-1){
		if(xy[i][j]) continue;
		ll xx = x2[i+1]-x2[i], yy = y2[j+1]-y2[j];
		bool xf = xx>1, yf = yy>1;
		ll r0 = solve(i, j, 0, xf, yf);
		ll r3 = (!xf&&!yf)?r0:solve(i, j, 3, xf, yf);
		//cerr<<"xx yy "<<xx<<" "<<yy<<endl;
		ll res2 = res;
		(res+=(r0+r3)*(xx)%mod*(yy)%mod*inv2)%=mod;
		//cerr<<"diff1 "<<(res-res2+mod)%mod<<endl;
		if(!xf&&!yf) continue;
		ll xx1 = x2[i], xx2 = h-x2[i+1], yy1 = y2[j], yy2 = w-y2[j+1];
		if(xf&&yf){
			ll rx = (pow_mod(xx, 3)-xx)*w%mod*yy%mod*inv3%mod + (yy1*(yy1+1)+yy2*(yy2+1))%mod*xx%mod*xx%mod*yy%mod*inv2%mod + xx*xx%mod*yy%mod*(w-yy)%mod*(yy-1)%mod*inv2%mod;
			ll ry = (pow_mod(yy, 3)-yy)*h%mod*xx%mod*inv3%mod + (xx1*(xx1+1)+xx2*(xx2+1))%mod*yy%mod*yy%mod*xx%mod*inv2%mod + yy*yy%mod*xx%mod*(h-xx)%mod*(xx-1)%mod*inv2%mod;
			(res+=rx+ry)%=mod;
			//cerr<<"rx ry "<<rx<<" "<<ry<<endl;
		} else if(xf){
			(res+=(pow_mod(xx, 3)-xx)*w%mod*inv3%mod + (yy1*(yy1+1)+yy2*(yy2+1))%mod*xx%mod*xx%mod*inv2%mod)%=mod;
		} else {
			(res+=(pow_mod(yy, 3)-yy)*h%mod*inv3%mod + (xx1*(xx1+1)+xx2*(xx2+1))%mod*yy%mod*yy%mod*inv2%mod)%=mod;
		}
		//cerr<<"diff "<<(res-res2+mod)%mod<<endl;
	}
	cout<<(res*inv2%mod+mod)%mod<<endl;
	//cerr<<res<<endl;
	//cerr<<f5(h)*inv2%mod<<endl;
	return 0;
}


Measured memory_bytes: 384