// ~~ icebear ~~
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> ii;
typedef pair<int, ii> iii;
template<class T>
bool minimize(T &a, const T &b) {
if (a > b) return a = b, true;
return false;
}
template<class T>
bool maximize(T &a, const T &b) {
if (a < b) return a = b, true;
return false;
}
#define FOR(i,a,b) for(int i=(a); i<=(b); ++i)
#define FORR(i,a,b) for(int i=(a); i>=(b); --i)
#define REP(i, n) for(int i=0; i<(n); ++i)
#define RED(i, n) for(int i=(n)-1; i>=0; --i)
#define MASK(i) (1LL << (i))
#define BIT(S, i) (((S) >> (i)) & 1)
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define all(x) x.begin(), x.end()
#define task "recs"
/*END OF TEMPLATE. ICEBEAR AND THE CAT WILL WIN VOI26 */
const int MOD = 1e9 + 7;
const int inf = 1e9 + 27092008;
const ll INF = 1e18 + 27092008;
const int N = 5000 + 5;
int numRow, numCol, numOne, targetSum;
int row[N], col[N];
vector<int> comRow(1, 0), comCol(1, 0), point_on_row[N];
int distLeft[N], distRight[N], distBot[N], distTop[N];
void init(void) {
cin >> numRow >> numCol >> numOne >> targetSum;
FOR(i, 1, numOne) cin >> row[i] >> col[i];
FOR(i, 1, numOne) comRow.pb(row[i]);
FOR(i, 1, numOne) comCol.pb(col[i]);
sort(all(comRow)); comRow.resize(unique(all(comRow)) - comRow.begin());
sort(all(comCol)); comCol.resize(unique(all(comCol)) - comCol.begin());
FOR(i, 1, numOne) row[i] = lower_bound(all(comRow), row[i]) - comRow.begin();
FOR(i, 1, numOne) col[i] = lower_bound(all(comCol), col[i]) - comCol.begin();
}
void process(void) {
if (targetSum == 0) return void(cout << 1LL * numRow * (numRow + 1) / 2 * numCol * (numCol + 1) / 2);
FOR(i, 1, numOne) point_on_row[row[i]].pb(col[i]);
int diffRow = (int)comRow.size() - 1, diffCol = (int)comCol.size() - 1;
comRow.pb(numRow + 1); comCol.pb(numCol + 1);
FOR(i, 1, diffRow) distBot[i] = comRow[i] - comRow[i - 1];
FOR(i, 1, diffRow) distTop[i] = comRow[i + 1] - comRow[i];
FOR(i, 1, diffCol) distLeft[i] = comCol[i] - comCol[i - 1];
FOR(i, 1, diffCol) distRight[i] = comCol[i + 1] - comCol[i];
ll countBoard = 0;
FOR(bot, 1, diffRow) {
vector<int> cntOne(diffCol + 5, 0), ansCol(diffCol + 5, 0), sumCol(diffCol + 5, 0);
ll mul_left_right = 0;
FOR(top, bot, diffRow) {
for(int point : point_on_row[top]) {
cntOne[point]++;
FOR(right, point, diffCol) if (ansCol[right] <= point) {
if (ansCol[right - 1] > ansCol[right]) {
mul_left_right -= 1LL * comCol[ansCol[right]] * distRight[right];
sumCol[right] = sumCol[right - 1] + cntOne[right];
ansCol[right] = ansCol[right - 1];
mul_left_right += 1LL * comCol[ansCol[right]] * distRight[right];
} else sumCol[right]++;
if (ansCol[right] <= point) {
while(sumCol[right] - cntOne[ansCol[right]] >= targetSum) {
mul_left_right -= 1LL * comCol[ansCol[right]] * distRight[right];
sumCol[right] -= cntOne[ansCol[right]++];
mul_left_right += 1LL * comCol[ansCol[right]] * distRight[right];
}
}
} else break;
}
countBoard += 1LL * mul_left_right * distBot[bot] * distTop[top];
}
}
cout << countBoard;
}
int main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
if (fopen(task".inp", "r")) {
freopen(task".inp", "r", stdin);
freopen(task".out", "w", stdout);
}
int tc = 1;
// cin >> tc;
while(tc--) {
init();
process();
}
return 0;
}
Ly8gfn4gaWNlYmVhciB+fgojaW5jbHVkZSA8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCnR5cGVkZWYgbG9uZyBsb25nIGxsOwp0eXBlZGVmIHBhaXI8aW50LCBpbnQ+IGlpOwp0eXBlZGVmIHBhaXI8aW50LCBpaT4gaWlpOwoKdGVtcGxhdGU8Y2xhc3MgVD4KICAgIGJvb2wgbWluaW1pemUoVCAmYSwgY29uc3QgVCAmYikgewogICAgICAgIGlmIChhID4gYikgcmV0dXJuIGEgPSBiLCB0cnVlOwogICAgICAgIHJldHVybiBmYWxzZTsKICAgIH0KCnRlbXBsYXRlPGNsYXNzIFQ+CiAgICBib29sIG1heGltaXplKFQgJmEsIGNvbnN0IFQgJmIpIHsKICAgICAgICBpZiAoYSA8IGIpIHJldHVybiBhID0gYiwgdHJ1ZTsKICAgICAgICByZXR1cm4gZmFsc2U7CiAgICB9CgojZGVmaW5lIEZPUihpLGEsYikgZm9yKGludCBpPShhKTsgaTw9KGIpOyArK2kpCiNkZWZpbmUgRk9SUihpLGEsYikgZm9yKGludCBpPShhKTsgaT49KGIpOyAtLWkpCiNkZWZpbmUgUkVQKGksIG4pIGZvcihpbnQgaT0wOyBpPChuKTsgKytpKQojZGVmaW5lIFJFRChpLCBuKSBmb3IoaW50IGk9KG4pLTE7IGk+PTA7IC0taSkKI2RlZmluZSBNQVNLKGkpICgxTEwgPDwgKGkpKQojZGVmaW5lIEJJVChTLCBpKSAoKChTKSA+PiAoaSkpICYgMSkKI2RlZmluZSBtcCBtYWtlX3BhaXIKI2RlZmluZSBwYiBwdXNoX2JhY2sKI2RlZmluZSBmaSBmaXJzdAojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIGFsbCh4KSB4LmJlZ2luKCksIHguZW5kKCkKI2RlZmluZSB0YXNrICJyZWNzIgovKkVORCBPRiBURU1QTEFURS4gSUNFQkVBUiBBTkQgVEhFIENBVCBXSUxMIFdJTiBWT0kyNiAqLwoKY29uc3QgaW50IE1PRCA9IDFlOSArIDc7CmNvbnN0IGludCBpbmYgPSAxZTkgKyAyNzA5MjAwODsKY29uc3QgbGwgSU5GID0gMWUxOCArIDI3MDkyMDA4Owpjb25zdCBpbnQgTiA9IDUwMDAgKyA1OwppbnQgbnVtUm93LCBudW1Db2wsIG51bU9uZSwgdGFyZ2V0U3VtOwppbnQgcm93W05dLCBjb2xbTl07CnZlY3RvcjxpbnQ+IGNvbVJvdygxLCAwKSwgY29tQ29sKDEsIDApLCBwb2ludF9vbl9yb3dbTl07CmludCBkaXN0TGVmdFtOXSwgZGlzdFJpZ2h0W05dLCBkaXN0Qm90W05dLCBkaXN0VG9wW05dOwoKdm9pZCBpbml0KHZvaWQpIHsKICAgIGNpbiA+PiBudW1Sb3cgPj4gbnVtQ29sID4+IG51bU9uZSA+PiB0YXJnZXRTdW07CiAgICBGT1IoaSwgMSwgbnVtT25lKSBjaW4gPj4gcm93W2ldID4+IGNvbFtpXTsKICAgIEZPUihpLCAxLCBudW1PbmUpIGNvbVJvdy5wYihyb3dbaV0pOwogICAgRk9SKGksIDEsIG51bU9uZSkgY29tQ29sLnBiKGNvbFtpXSk7CiAgICBzb3J0KGFsbChjb21Sb3cpKTsgY29tUm93LnJlc2l6ZSh1bmlxdWUoYWxsKGNvbVJvdykpIC0gY29tUm93LmJlZ2luKCkpOwogICAgc29ydChhbGwoY29tQ29sKSk7IGNvbUNvbC5yZXNpemUodW5pcXVlKGFsbChjb21Db2wpKSAtIGNvbUNvbC5iZWdpbigpKTsKICAgIEZPUihpLCAxLCBudW1PbmUpIHJvd1tpXSA9IGxvd2VyX2JvdW5kKGFsbChjb21Sb3cpLCByb3dbaV0pIC0gY29tUm93LmJlZ2luKCk7CiAgICBGT1IoaSwgMSwgbnVtT25lKSBjb2xbaV0gPSBsb3dlcl9ib3VuZChhbGwoY29tQ29sKSwgY29sW2ldKSAtIGNvbUNvbC5iZWdpbigpOwp9Cgp2b2lkIHByb2Nlc3Modm9pZCkgewogICAgaWYgKHRhcmdldFN1bSA9PSAwKSByZXR1cm4gdm9pZChjb3V0IDw8IDFMTCAqIG51bVJvdyAqIChudW1Sb3cgKyAxKSAvIDIgKiBudW1Db2wgKiAobnVtQ29sICsgMSkgLyAyKTsKICAgIEZPUihpLCAxLCBudW1PbmUpIHBvaW50X29uX3Jvd1tyb3dbaV1dLnBiKGNvbFtpXSk7CgogICAgaW50IGRpZmZSb3cgPSAoaW50KWNvbVJvdy5zaXplKCkgLSAxLCBkaWZmQ29sID0gKGludCljb21Db2wuc2l6ZSgpIC0gMTsKICAgIGNvbVJvdy5wYihudW1Sb3cgKyAxKTsgY29tQ29sLnBiKG51bUNvbCArIDEpOwoKICAgIEZPUihpLCAxLCBkaWZmUm93KSBkaXN0Qm90W2ldID0gY29tUm93W2ldIC0gY29tUm93W2kgLSAxXTsKICAgIEZPUihpLCAxLCBkaWZmUm93KSBkaXN0VG9wW2ldID0gY29tUm93W2kgKyAxXSAtIGNvbVJvd1tpXTsKCiAgICBGT1IoaSwgMSwgZGlmZkNvbCkgZGlzdExlZnRbaV0gPSBjb21Db2xbaV0gLSBjb21Db2xbaSAtIDFdOwogICAgRk9SKGksIDEsIGRpZmZDb2wpIGRpc3RSaWdodFtpXSA9IGNvbUNvbFtpICsgMV0gLSBjb21Db2xbaV07CgogICAgbGwgY291bnRCb2FyZCA9IDA7CgogICAgRk9SKGJvdCwgMSwgZGlmZlJvdykgewogICAgICAgIHZlY3RvcjxpbnQ+IGNudE9uZShkaWZmQ29sICsgNSwgMCksIGFuc0NvbChkaWZmQ29sICsgNSwgMCksIHN1bUNvbChkaWZmQ29sICsgNSwgMCk7CiAgICAgICAgbGwgbXVsX2xlZnRfcmlnaHQgPSAwOwoKICAgICAgICBGT1IodG9wLCBib3QsIGRpZmZSb3cpIHsKICAgICAgICAgICAgZm9yKGludCBwb2ludCA6IHBvaW50X29uX3Jvd1t0b3BdKSB7CiAgICAgICAgICAgICAgICBjbnRPbmVbcG9pbnRdKys7CiAgICAgICAgICAgICAgICBGT1IocmlnaHQsIHBvaW50LCBkaWZmQ29sKSBpZiAoYW5zQ29sW3JpZ2h0XSA8PSBwb2ludCkgewogICAgICAgICAgICAgICAgICAgIGlmIChhbnNDb2xbcmlnaHQgLSAxXSA+IGFuc0NvbFtyaWdodF0pIHsKICAgICAgICAgICAgICAgICAgICAgICAgbXVsX2xlZnRfcmlnaHQgLT0gMUxMICogY29tQ29sW2Fuc0NvbFtyaWdodF1dICogZGlzdFJpZ2h0W3JpZ2h0XTsKICAgICAgICAgICAgICAgICAgICAgICAgc3VtQ29sW3JpZ2h0XSA9IHN1bUNvbFtyaWdodCAtIDFdICsgY250T25lW3JpZ2h0XTsKICAgICAgICAgICAgICAgICAgICAgICAgYW5zQ29sW3JpZ2h0XSA9IGFuc0NvbFtyaWdodCAtIDFdOwogICAgICAgICAgICAgICAgICAgICAgICBtdWxfbGVmdF9yaWdodCArPSAxTEwgKiBjb21Db2xbYW5zQ29sW3JpZ2h0XV0gKiBkaXN0UmlnaHRbcmlnaHRdOwogICAgICAgICAgICAgICAgICAgIH0gZWxzZSBzdW1Db2xbcmlnaHRdKys7CgogICAgICAgICAgICAgICAgICAgIGlmIChhbnNDb2xbcmlnaHRdIDw9IHBvaW50KSB7CiAgICAgICAgICAgICAgICAgICAgICAgIHdoaWxlKHN1bUNvbFtyaWdodF0gLSBjbnRPbmVbYW5zQ29sW3JpZ2h0XV0gPj0gdGFyZ2V0U3VtKSB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBtdWxfbGVmdF9yaWdodCAtPSAxTEwgKiBjb21Db2xbYW5zQ29sW3JpZ2h0XV0gKiBkaXN0UmlnaHRbcmlnaHRdOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgc3VtQ29sW3JpZ2h0XSAtPSBjbnRPbmVbYW5zQ29sW3JpZ2h0XSsrXTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIG11bF9sZWZ0X3JpZ2h0ICs9IDFMTCAqIGNvbUNvbFthbnNDb2xbcmlnaHRdXSAqIGRpc3RSaWdodFtyaWdodF07CiAgICAgICAgICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICB9IGVsc2UgYnJlYWs7CiAgICAgICAgICAgIH0KCiAgICAgICAgICAgIGNvdW50Qm9hcmQgKz0gMUxMICogbXVsX2xlZnRfcmlnaHQgKiBkaXN0Qm90W2JvdF0gKiBkaXN0VG9wW3RvcF07CiAgICAgICAgfQogICAgfQoKICAgIGNvdXQgPDwgY291bnRCb2FyZDsKfQoKaW50IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOwogICAgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CiAgICBpZiAoZm9wZW4odGFzayIuaW5wIiwgInIiKSkgewogICAgICAgIGZyZW9wZW4odGFzayIuaW5wIiwgInIiLCBzdGRpbik7CiAgICAgICAgZnJlb3Blbih0YXNrIi5vdXQiLCAidyIsIHN0ZG91dCk7CiAgICB9CiAgICBpbnQgdGMgPSAxOwovLyAgICBjaW4gPj4gdGM7CiAgICB3aGlsZSh0Yy0tKSB7CiAgICAgICAgaW5pdCgpOwogICAgICAgIHByb2Nlc3MoKTsKICAgIH0KICAgIHJldHVybiAwOwp9Cgo=