#include <iostream>
#include <vector>
#include <algorithm>
#include <array>
#include <iterator>
#include <string>
#include <cctype>
#include <cstring>
#include <cstdlib>
#include <cassert>
#include <cmath>
#include <ctime>
#include <iomanip>
#include <numeric>
#include <stack>
#include <queue>
#include <map>
#include <unordered_map>
#include <set>
#include <unordered_set>
#include <bitset>
#include <random>
#include <utility>
#include <functional>
using namespace std;
void solve()
{
	int H,W,N;
	cin >> H >> W >> N;
	vector<vector<int>> G(W);
	for(int i = 0;i < N;i++)
	{
		int a,b;
		cin >> a >> b;
		G[--b].push_back(--a);
	}
	for(int j = 0;j < W;j++)
	{
		sort(G[j].begin(),G[j].end());
		G[j].push_back(H);
	}
	vector<int> id(W);
	long long ans = 0;
	for(int i = 0;i < H;i++)
	{
		vector<int> A(W);
		for(int j = 0;j < W;j++)
		{
			while(G[j][id[j]] < i) id[j]++;
			A[j] = G[j][id[j]] - i;
		}

		vector<int> L(W),R(W);
		vector<int> seen(W);
		{
			stack<int> S;
			for(int j = 0;j < W;j++)
			{
				while(!S.empty() && A[S.top()] > A[j]) S.pop();
				L[j] = S.empty() ? -1 : S.top();
				S.push(j);
			}
		}
		{
			stack<int> S;
			for(int j = W;j--;)
			{
				while(!S.empty() && A[S.top()] >= A[j]) S.pop();
				R[j] = S.empty() ? W : S.top();
				S.push(j);
			}
		}
		for(int j = 0;j < W;j++)
		{
			ans += (long long) A[j] * (R[j] - j) * (j - L[j]);
		}
	}
	cout << ans << "\n";
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	int tt = 1;
	/* cin >> tt; */
	while(tt--) solve();
}