#include <bits/stdc++.h>
#define FOR(i, a, b) for (int i = a; i <= b; ++i)
#define FORD(i, a, b) for (int i = a; i >= b; --i)
#define ll long long
#define fi first
#define se second
using namespace std;
const int N = 5e3 + 5;
int n;
pair <int, int> a[N];
ll r, c, k;
void nhap() {
cin >> r >> c >> n >> k;
FOR(i, 1, n) cin >> a[i].fi >> a[i].se;
}
void giai() {
if (!k) {
cout << r * (r + 1) / 2 * c * (c + 1) / 2;
return;
}
vector<int> xs, ys;
FOR(i, 1, n) {
xs.push_back(a[i].fi);
ys.push_back(a[i].se);
}
sort(xs.begin(), xs.end());
xs.resize(unique(xs.begin(), xs.end()) - xs.begin());
sort(ys.begin(), ys.end());
ys.resize(unique(ys.begin(), ys.end()) - ys.begin());
int H = xs.size(), W = ys.size();
FOR(i, 1, n) {
a[i].fi = lower_bound(xs.begin(), xs.end(), a[i].fi) - xs.begin() + 1;
a[i].se = lower_bound(ys.begin(), ys.end(), a[i].se) - ys.begin() + 1;
}
vector<vector<int>> Row(H + 1);
FOR(i, 1, n) Row[a[i].fi].push_back(a[i].se);
vector<ll> Top(H + 1), Bot(H + 1);
FOR(i, 1, H) {
ll pre = (i == 1 ? 0 : xs[i-2]);
Top[i] = xs[i-1] - pre;
}
FOR(i, 1, H) {
ll nxt = (i == H ? r + 1 : xs[i]);
Bot[i] = nxt - xs[i-1];
}
vector<ll> Left(W + 1), Right(W + 1), Pre(W + 1);
FOR(j, 1, W) {
ll pre = (j == 1 ? 0 : ys[j-2]);
Left[j] = ys[j-1] - pre;
}
FOR(j, 1, W) {
ll nxt = (j == W ? c + 1 : ys[j]);
Right[j] = nxt - ys[j-1];
}
Pre[0] = 0;
FOR(j, 1, W) Pre[j] = Pre[j-1] + Left[j];
vector<int> cnt(W + 2, 0);
ll ans = 0;
FOR(top, 1, H) {
cnt.assign(W + 2, 0);
for (int bottom = top; bottom <= H; ++bottom) {
for (int y : Row[bottom]) cnt[y]++;
int L = 1;
int curSum = 0;
FOR(R, 1, W) {
curSum += cnt[R];
while (L <= R && curSum - cnt[L] >= k) {
curSum -= cnt[L];
++L;
}
if (curSum >= k) {
ll SumL = Pre[L];
ll waysCols = SumL * Right[R];
ll waysRows = Top[top] * Bot[bottom];
ans += waysRows * waysCols;
}
}
}
}
cout << ans;
}
int main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
#define name "recs"
if (fopen(name".inp", "r")) {
freopen(name".inp", "r", stdin);
freopen(name".out", "w", stdout);
}
nhap();
giai();
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CgojZGVmaW5lIEZPUihpLCBhLCBiKSBmb3IgKGludCBpID0gYTsgaSA8PSBiOyArK2kpCiNkZWZpbmUgRk9SRChpLCBhLCBiKSBmb3IgKGludCBpID0gYTsgaSA+PSBiOyAtLWkpCiNkZWZpbmUgbGwgbG9uZyBsb25nCiNkZWZpbmUgZmkgZmlyc3QKI2RlZmluZSBzZSBzZWNvbmQKCnVzaW5nIG5hbWVzcGFjZSBzdGQ7Cgpjb25zdCBpbnQgTiA9IDVlMyArIDU7CmludCBuOwpwYWlyIDxpbnQsIGludD4gYVtOXTsKbGwgciwgYywgazsKCnZvaWQgbmhhcCgpIHsKICAgIGNpbiA+PiByID4+IGMgPj4gbiA+PiBrOwogICAgRk9SKGksIDEsIG4pIGNpbiA+PiBhW2ldLmZpID4+IGFbaV0uc2U7Cn0KCnZvaWQgZ2lhaSgpIHsKICAgIGlmICghaykgewogICAgICAgIGNvdXQgPDwgciAqIChyICsgMSkgLyAyICogYyAqIChjICsgMSkgLyAyOwogICAgICAgIHJldHVybjsKICAgIH0KCiAgICB2ZWN0b3I8aW50PiB4cywgeXM7CiAgICBGT1IoaSwgMSwgbikgewogICAgICAgIHhzLnB1c2hfYmFjayhhW2ldLmZpKTsKICAgICAgICB5cy5wdXNoX2JhY2soYVtpXS5zZSk7CiAgICB9CgogICAgc29ydCh4cy5iZWdpbigpLCB4cy5lbmQoKSk7CiAgICB4cy5yZXNpemUodW5pcXVlKHhzLmJlZ2luKCksIHhzLmVuZCgpKSAtIHhzLmJlZ2luKCkpOwogICAgc29ydCh5cy5iZWdpbigpLCB5cy5lbmQoKSk7CiAgICB5cy5yZXNpemUodW5pcXVlKHlzLmJlZ2luKCksIHlzLmVuZCgpKSAtIHlzLmJlZ2luKCkpOwoKICAgIGludCBIID0geHMuc2l6ZSgpLCBXID0geXMuc2l6ZSgpOwoKICAgIEZPUihpLCAxLCBuKSB7CiAgICAgICAgYVtpXS5maSA9IGxvd2VyX2JvdW5kKHhzLmJlZ2luKCksIHhzLmVuZCgpLCBhW2ldLmZpKSAtIHhzLmJlZ2luKCkgKyAxOwogICAgICAgIGFbaV0uc2UgPSBsb3dlcl9ib3VuZCh5cy5iZWdpbigpLCB5cy5lbmQoKSwgYVtpXS5zZSkgLSB5cy5iZWdpbigpICsgMTsKICAgIH0KCiAgICB2ZWN0b3I8dmVjdG9yPGludD4+IFJvdyhIICsgMSk7CiAgICBGT1IoaSwgMSwgbikgUm93W2FbaV0uZmldLnB1c2hfYmFjayhhW2ldLnNlKTsKCiAgICB2ZWN0b3I8bGw+IFRvcChIICsgMSksIEJvdChIICsgMSk7CiAgICBGT1IoaSwgMSwgSCkgewogICAgICAgIGxsIHByZSA9IChpID09IDEgPyAwIDogeHNbaS0yXSk7CiAgICAgICAgVG9wW2ldID0geHNbaS0xXSAtIHByZTsKICAgIH0KICAgIEZPUihpLCAxLCBIKSB7CiAgICAgICAgbGwgbnh0ID0gKGkgPT0gSCA/IHIgKyAxIDogeHNbaV0pOwogICAgICAgIEJvdFtpXSA9IG54dCAtIHhzW2ktMV07CiAgICB9CgogICAgdmVjdG9yPGxsPiBMZWZ0KFcgKyAxKSwgUmlnaHQoVyArIDEpLCBQcmUoVyArIDEpOwogICAgRk9SKGosIDEsIFcpIHsKICAgICAgICBsbCBwcmUgPSAoaiA9PSAxID8gMCA6IHlzW2otMl0pOwogICAgICAgIExlZnRbal0gPSB5c1tqLTFdIC0gcHJlOwogICAgfQogICAgRk9SKGosIDEsIFcpIHsKICAgICAgICBsbCBueHQgPSAoaiA9PSBXID8gYyArIDEgOiB5c1tqXSk7CiAgICAgICAgUmlnaHRbal0gPSBueHQgLSB5c1tqLTFdOwogICAgfQogICAgUHJlWzBdID0gMDsKICAgIEZPUihqLCAxLCBXKSBQcmVbal0gPSBQcmVbai0xXSArIExlZnRbal07CgogICAgdmVjdG9yPGludD4gY250KFcgKyAyLCAwKTsKICAgIGxsIGFucyA9IDA7CgogICAgRk9SKHRvcCwgMSwgSCkgewogICAgICAgIGNudC5hc3NpZ24oVyArIDIsIDApOwogICAgICAgIGZvciAoaW50IGJvdHRvbSA9IHRvcDsgYm90dG9tIDw9IEg7ICsrYm90dG9tKSB7CiAgICAgICAgICAgIGZvciAoaW50IHkgOiBSb3dbYm90dG9tXSkgY250W3ldKys7CgogICAgICAgICAgICBpbnQgTCA9IDE7CiAgICAgICAgICAgIGludCBjdXJTdW0gPSAwOwogICAgICAgICAgICBGT1IoUiwgMSwgVykgewogICAgICAgICAgICAgICAgY3VyU3VtICs9IGNudFtSXTsKICAgICAgICAgICAgICAgIHdoaWxlIChMIDw9IFIgJiYgY3VyU3VtIC0gY250W0xdID49IGspIHsKICAgICAgICAgICAgICAgICAgICBjdXJTdW0gLT0gY250W0xdOwogICAgICAgICAgICAgICAgICAgICsrTDsKICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgIGlmIChjdXJTdW0gPj0gaykgewogICAgICAgICAgICAgICAgICAgIGxsIFN1bUwgPSBQcmVbTF07CiAgICAgICAgICAgICAgICAgICAgbGwgd2F5c0NvbHMgPSBTdW1MICogUmlnaHRbUl07CiAgICAgICAgICAgICAgICAgICAgbGwgd2F5c1Jvd3MgPSBUb3BbdG9wXSAqIEJvdFtib3R0b21dOwogICAgICAgICAgICAgICAgICAgIGFucyArPSB3YXlzUm93cyAqIHdheXNDb2xzOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICB9CiAgICAgICAgfQogICAgfQoKICAgIGNvdXQgPDwgYW5zOwp9CgppbnQgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7CiAgICBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICAjZGVmaW5lIG5hbWUgInJlY3MiCgogICAgaWYgKGZvcGVuKG5hbWUiLmlucCIsICJyIikpIHsKICAgICAgICBmcmVvcGVuKG5hbWUiLmlucCIsICJyIiwgc3RkaW4pOwogICAgICAgIGZyZW9wZW4obmFtZSIub3V0IiwgInciLCBzdGRvdXQpOwogICAgfQoKICAgIG5oYXAoKTsKICAgIGdpYWkoKTsKCiAgICByZXR1cm4gMDsKfQ==