#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define endl "\n"
#define FOR(i, l, r) for (ll i = l; i <= r; i++)
#define FORD(i, l, r) for (ll i = l; i >= r; i--)
#define fre(NAME) freopen(NAME".inp","r",stdin); freopen(NAME".out","w",stdout)
#define boost ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL)
#define ldb long double
#pragma GCC optimize("O3")
#define ull unsigned long long
#define time cerr << "Time: " << 1.0 * clock() / CLOCKS_PER_SEC << endl;
#define fi first
#define se second
#define pb push_back
#define mpr make_pair
#define sz(a) a.size()
#define all(a) a.begin(),a.end()
#define ms(a,n) memset(a,n,sizeof(a))
#define FIX(a,n) fixed << setprecision(n) << a
// Bit
#define MASK(x) (1<<(x))
#define BIT(mask, i) (((mask) >> (i))&1)
#define SET_ON(x,i) ((x) | MASK(i))
#define SET_OFF(x,i) ((x) & ~MASK(i))
#define c_bit(i) __builtin_popcountll(i)
typedef long double ld;
typedef pair<ll,ll> pl;
typedef pair<int,int> pi;
typedef vector<ll> vll;
typedef vector<int> vi;
const int MOD = 1e9+7;
const ld PI = 3.141592653589793238462643383279502884L;
inline ll gcd(ll a, ll b){return b==0 ? a : gcd(b,a%b);}
inline ll lcm(ll a, ll b){return a/gcd(a,b)*b;}
const ll LINF = 1e18 + 5;
const int INF = 1e9;
const int N = 5e5 + 5;
const int LOG = __lg(N)+1;
const ll MAXN = 3005;
//ITIS
int t = 1;
struct segmentree{
int n;
vector<int> tree;
segmentree(int x = 0) {
n = x;
tree.assign(4*n+5,0);
}
void build(int idx,int l,int r) {
if(l==r) {
tree[idx] = 1;
return;
}
int mid = (l+r)>>1;
build(idx << 1,l,mid);
build(idx << 1 | 1,mid+1,r);
tree[idx] = tree[idx << 1] + tree[idx << 1 | 1];
}
void update(int idx,int l,int r,int pos) {
if(l==r) {
tree[idx] = 0;
return;
}
int mid = (l+r)>>1;
if(pos <= mid) {
update(idx << 1, l,mid,pos);
}
else {
update(idx << 1 | 1,mid+1,r,pos);
}
tree[idx] = tree[idx << 1] + tree[idx << 1 | 1];
}
int query(int idx,int l,int r, int ql, int qr) {
if(qr < l || r < ql) return 0;
if(ql <= l && qr >= r) return tree[idx];
int mid = (l+r) >> 1;
return query(idx << 1,l,mid,ql,qr) + query(idx << 1 | 1,mid+1,r,ql,qr);
}
void update(int pos) {
update(1,1,n,pos);
}
int query(int l,int r) {
if(l>r) return 0;
return query(1,1,n,l,r);
}
};
int main() {
boost;
//cin >> t;
while (t--)
{
int n,m,k;
cin >> n >> m >> k;
vector<int> first_col(n+1,m+1);
vector<int> first_row(m+1,n+1);
for(int i=1;i<=k;++i) {
int x,y;
cin >> x >> y;
first_col[x] = min(first_col[x],y);
first_row[y] = min(first_row[y],x);
}
int d = first_row[1] - 1;
int r = first_col[1] - 1;
if(d == 0 && r == 0) {
cout << 1 << endl;
return 0;
}
vector<vector<int>> block(d+5);
for(int col = 1;col<=r;++col) {
if(first_row[col] <= d) block [first_row[col]].push_back(col);
}
segmentree seg(r);
if(r > 0) seg.build(1,1,r);
ll ans = 0;
for(int col = 1; col <= r; ++col) {
ans += first_row[col] - 1;
}
for(int i=1;i<=d;++i) {
for(int col : block[i]) {
seg.update(col);
}
int reach = first_col[i] - 1;
ans += max(0,reach - r);
int lim = min(reach,r);
if(lim > 0) {
ans += lim - seg.query(1,lim);
}
}
cout << ans << endl;
}
//time;
return 0;
}
/*
Hav a nice day xD
Author Bạch Ngọc Đức - Cross
*/
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKI2RlZmluZSBsbCBsb25nIGxvbmcKI2RlZmluZSBlbmRsICJcbiIKI2RlZmluZSBGT1IoaSwgbCwgcikgZm9yIChsbCBpID0gbDsgaSA8PSByOyBpKyspCiNkZWZpbmUgRk9SRChpLCBsLCByKSBmb3IgKGxsIGkgPSBsOyBpID49IHI7IGktLSkKI2RlZmluZSBmcmUoTkFNRSkgZnJlb3BlbihOQU1FIi5pbnAiLCJyIixzdGRpbik7IGZyZW9wZW4oTkFNRSIub3V0IiwidyIsc3Rkb3V0KQojZGVmaW5lIGJvb3N0IGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpO2Npbi50aWUoTlVMTCk7Y291dC50aWUoTlVMTCkKI2RlZmluZSBsZGIgbG9uZyBkb3VibGUKI3ByYWdtYSBHQ0Mgb3B0aW1pemUoIk8zIikKI2RlZmluZSB1bGwgdW5zaWduZWQgbG9uZyBsb25nCiNkZWZpbmUgdGltZSBjZXJyIDw8ICJUaW1lOiAiIDw8IDEuMCAqIGNsb2NrKCkgLyBDTE9DS1NfUEVSX1NFQyA8PCBlbmRsOwojZGVmaW5lIGZpIGZpcnN0CiNkZWZpbmUgc2Ugc2Vjb25kCiNkZWZpbmUgcGIgcHVzaF9iYWNrCiNkZWZpbmUgbXByIG1ha2VfcGFpcgojZGVmaW5lIHN6KGEpIGEuc2l6ZSgpCiNkZWZpbmUgYWxsKGEpIGEuYmVnaW4oKSxhLmVuZCgpCiNkZWZpbmUgbXMoYSxuKSBtZW1zZXQoYSxuLHNpemVvZihhKSkKI2RlZmluZSBGSVgoYSxuKSBmaXhlZCA8PCBzZXRwcmVjaXNpb24obikgPDwgYQoKLy8gQml0CiNkZWZpbmUgTUFTSyh4KSAoMTw8KHgpKQojZGVmaW5lIEJJVChtYXNrLCBpKSAoKChtYXNrKSA+PiAoaSkpJjEpCiNkZWZpbmUgU0VUX09OKHgsaSkgKCh4KSB8IE1BU0soaSkpCiNkZWZpbmUgU0VUX09GRih4LGkpICgoeCkgJiB+TUFTSyhpKSkKI2RlZmluZSBjX2JpdChpKSBfX2J1aWx0aW5fcG9wY291bnRsbChpKQoKdHlwZWRlZiBsb25nIGRvdWJsZSBsZDsKdHlwZWRlZiBwYWlyPGxsLGxsPiBwbDsKdHlwZWRlZiBwYWlyPGludCxpbnQ+IHBpOwp0eXBlZGVmIHZlY3RvcjxsbD4gdmxsOwp0eXBlZGVmIHZlY3RvcjxpbnQ+IHZpOwoKY29uc3QgaW50IE1PRCA9IDFlOSs3Owpjb25zdCBsZCBQSSA9IDMuMTQxNTkyNjUzNTg5NzkzMjM4NDYyNjQzMzgzMjc5NTAyODg0TDsKCmlubGluZSBsbCBnY2QobGwgYSwgbGwgYil7cmV0dXJuIGI9PTAgPyBhIDogZ2NkKGIsYSViKTt9CmlubGluZSBsbCBsY20obGwgYSwgbGwgYil7cmV0dXJuIGEvZ2NkKGEsYikqYjt9Cgpjb25zdCBsbCBMSU5GID0gMWUxOCArIDU7CmNvbnN0IGludCBJTkYgPSAxZTk7CmNvbnN0IGludCBOID0gNWU1ICsgNTsKY29uc3QgaW50IExPRyA9IF9fbGcoTikrMTsKCmNvbnN0IGxsIE1BWE4gPSAzMDA1OwoKLy9JVElTCgppbnQgdCA9IDE7CgpzdHJ1Y3Qgc2VnbWVudHJlZXsKICAgIGludCBuOwogICAgdmVjdG9yPGludD4gdHJlZTsKCiAgICBzZWdtZW50cmVlKGludCB4ID0gMCkgewogICAgICAgIG4gPSB4OwogICAgICAgIHRyZWUuYXNzaWduKDQqbis1LDApOwogICAgfQoKICAgIHZvaWQgYnVpbGQoaW50IGlkeCxpbnQgbCxpbnQgcikgewogICAgICAgIGlmKGw9PXIpIHsKICAgICAgICAgICAgdHJlZVtpZHhdID0gMTsKICAgICAgICAgICAgcmV0dXJuOwogICAgICAgIH0KICAgICAgICBpbnQgbWlkID0gKGwrcik+PjE7CiAgICAgICAgYnVpbGQoaWR4IDw8IDEsbCxtaWQpOwogICAgICAgIGJ1aWxkKGlkeCA8PCAxIHwgMSxtaWQrMSxyKTsKICAgICAgICB0cmVlW2lkeF0gPSB0cmVlW2lkeCA8PCAxXSArIHRyZWVbaWR4IDw8IDEgfCAxXTsKICAgIH0KCiAgICB2b2lkIHVwZGF0ZShpbnQgaWR4LGludCBsLGludCByLGludCBwb3MpIHsKICAgICAgICBpZihsPT1yKSB7CiAgICAgICAgICAgIHRyZWVbaWR4XSA9IDA7CiAgICAgICAgICAgIHJldHVybjsKICAgICAgICB9CgogICAgICAgIGludCBtaWQgPSAobCtyKT4+MTsKICAgICAgICBpZihwb3MgPD0gbWlkKSB7CiAgICAgICAgICAgIHVwZGF0ZShpZHggPDwgMSwgbCxtaWQscG9zKTsKICAgICAgICB9CiAgICAgICAgZWxzZSB7CiAgICAgICAgICAgIHVwZGF0ZShpZHggPDwgMSB8IDEsbWlkKzEscixwb3MpOwogICAgICAgIH0KICAgICAgICB0cmVlW2lkeF0gPSB0cmVlW2lkeCA8PCAxXSArIHRyZWVbaWR4IDw8IDEgfCAxXTsKICAgIH0KCiAgICBpbnQgcXVlcnkoaW50IGlkeCxpbnQgbCxpbnQgciwgaW50IHFsLCBpbnQgcXIpIHsKICAgICAgICBpZihxciA8IGwgfHwgciA8IHFsKSByZXR1cm4gMDsKICAgICAgICBpZihxbCA8PSBsICYmIHFyID49IHIpIHJldHVybiB0cmVlW2lkeF07CgogICAgICAgIGludCBtaWQgPSAobCtyKSA+PiAxOwogICAgICAgIHJldHVybiBxdWVyeShpZHggPDwgMSxsLG1pZCxxbCxxcikgKyBxdWVyeShpZHggPDwgMSB8IDEsbWlkKzEscixxbCxxcik7CiAgICB9CgogICAgdm9pZCB1cGRhdGUoaW50IHBvcykgewogICAgICAgIHVwZGF0ZSgxLDEsbixwb3MpOwogICAgfQoKICAgIGludCBxdWVyeShpbnQgbCxpbnQgcikgewogICAgICAgIGlmKGw+cikgcmV0dXJuIDA7CiAgICAgICAgcmV0dXJuIHF1ZXJ5KDEsMSxuLGwscik7CiAgICB9Cn07CgppbnQgbWFpbigpIHsKICAgIGJvb3N0OwogICAgLy9jaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pCiAgICB7CiAgICAgICAgaW50IG4sbSxrOwogICAgICAgIGNpbiA+PiBuID4+IG0gPj4gazsKICAgICAgICB2ZWN0b3I8aW50PiBmaXJzdF9jb2wobisxLG0rMSk7CiAgICAgICAgdmVjdG9yPGludD4gZmlyc3Rfcm93KG0rMSxuKzEpOwoKICAgICAgICBmb3IoaW50IGk9MTtpPD1rOysraSkgewogICAgICAgICAgICBpbnQgeCx5OwogICAgICAgICAgICBjaW4gPj4geCA+PiB5OwogICAgICAgICAgICBmaXJzdF9jb2xbeF0gPSBtaW4oZmlyc3RfY29sW3hdLHkpOwogICAgICAgICAgICBmaXJzdF9yb3dbeV0gPSBtaW4oZmlyc3Rfcm93W3ldLHgpOwogICAgICAgIH0KICAgICAgICBpbnQgZCA9IGZpcnN0X3Jvd1sxXSAtIDE7CiAgICAgICAgaW50IHIgPSBmaXJzdF9jb2xbMV0gLSAxOwoKICAgICAgICBpZihkID09IDAgJiYgciA9PSAwKSB7CiAgICAgICAgICAgIGNvdXQgPDwgMSA8PCBlbmRsOwogICAgICAgICAgICByZXR1cm4gMDsKICAgICAgICB9CgogICAgICAgIHZlY3Rvcjx2ZWN0b3I8aW50Pj4gYmxvY2soZCs1KTsKICAgICAgICBmb3IoaW50IGNvbCA9IDE7Y29sPD1yOysrY29sKSB7CiAgICAgICAgICAgIGlmKGZpcnN0X3Jvd1tjb2xdIDw9IGQpIGJsb2NrIFtmaXJzdF9yb3dbY29sXV0ucHVzaF9iYWNrKGNvbCk7CiAgICAgICAgfQoKICAgICAgICBzZWdtZW50cmVlIHNlZyhyKTsKCiAgICAgICAgaWYociA+IDApIHNlZy5idWlsZCgxLDEscik7CgogICAgICAgIGxsIGFucyA9IDA7CgogICAgICAgIGZvcihpbnQgY29sID0gMTsgY29sIDw9IHI7ICsrY29sKSB7CiAgICAgICAgICAgIGFucyArPSBmaXJzdF9yb3dbY29sXSAtIDE7CiAgICAgICAgfQoKICAgICAgICBmb3IoaW50IGk9MTtpPD1kOysraSkgewogICAgICAgICAgICBmb3IoaW50IGNvbCA6IGJsb2NrW2ldKSB7CiAgICAgICAgICAgICAgICBzZWcudXBkYXRlKGNvbCk7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgaW50IHJlYWNoID0gZmlyc3RfY29sW2ldIC0gMTsKCiAgICAgICAgICAgIGFucyArPSBtYXgoMCxyZWFjaCAtIHIpOwoKICAgICAgICAgICAgaW50IGxpbSA9IG1pbihyZWFjaCxyKTsKCiAgICAgICAgICAgIGlmKGxpbSA+IDApIHsKICAgICAgICAgICAgICAgIGFucyArPSBsaW0gLSBzZWcucXVlcnkoMSxsaW0pOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgICAgIGNvdXQgPDwgYW5zIDw8IGVuZGw7CiAgICB9CiAgICAvL3RpbWU7CiAgICByZXR1cm4gMDsKfQoKLyoKICAgIEhhdiBhIG5pY2UgZGF5IHhECiAgICBBdXRob3IgQuG6oWNoIE5n4buNYyDEkOG7qWMgLSBDcm9zcwoqLw==