#define _USE_MATH_DEFINES #include "bits/stdc++.h" using namespace std; #define FOR(i,j,k) for(int (i)=(j);(i)<(int)(k);++(i)) #define rep(i,j) FOR(i,0,j) #define each(x,y) for(auto &(x):(y)) #define mp make_pair #define MT make_tuple #define all(x) (x).begin(),(x).end() #define debug(x) cout<<#x<<": "<<(x)< >(b,vector(c,d)) #define vvv(a,b,c,d,e) vector > >(b,vv(a,c,d,e)) using ll = long long; using pii = pair; using vi = vector; using vll = vector; int N, K; ll P; int X[4001], Y[4001]; int A[4001][4001]; queue > Q; int D = 6; int DX[6] = { -1,0,1,1,0,-1 }; int DY[6] = { -1,-1,0,1,1,0 }; int horizon[4001][4001], diagonal[4001][4001]; int main() { ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(20); cin >> N >> K >> P; rep(i, K) { cin >> X[i] >> Y[i]; --X[i]; --Y[i]; A[X[i]][Y[i]] = 0; Q.push(MT(X[i], Y[i], 0)); } MEM(A, -1); while (sz(Q)) { int x, y, d; tie(x, y, d) = Q.front(); Q.pop(); rep(i, D) { int nx = x + DX[i]; int ny = y + DY[i]; if (nx >= 0 && nx < N && ny >= 0 && ny <= nx && A[nx][ny] == -1) { A[nx][ny] = d + 1; Q.push(MT(nx, ny, d + 1)); } } } //部分和の初期化 rep(x, N)rep(y, x + 1) { horizon[x][y + 1] = horizon[x][y] + A[x][y]; diagonal[x + 1][y + 1] = diagonal[x][y] + A[x][y]; } ll ans = 0; // (x, y)を上端とするような和を考える for (int y = 0; y < N; ++y) { // 列yを見る // (0, y)を上端とする和について // P以上になるまで下端を伸ばす // その後は、x->x+1としながら下端を尺取 // x->x+1のとき斜めの部分を削る int bottom = y; // 下端 int len = 0; ll sum = 0; for (int x = y; x < N; ++x) { while (bottom == x || (bottom < N&&sum < P)) { len++; sum += horizon[bottom][y + len]; sum -= horizon[bottom][y]; bottom++; } if (sum < P)break; ans += N - bottom + 1; // 斜め上の部分を削る sum -= diagonal[x + len][y + len]; sum += diagonal[x][y]; len--; } } cout << ans << endl; }