#include <bits/stdc++.h>
using namespace std;

int main() {
    int H, W, N, M;
    cin >> H >> W >> N >> M;
    vector<vector<int>> fi(H+1, vector<int>(W+1));
    vector<vector<int>> query;
    for (int i = 0; i < N; i++) {
        int T, U, L, R, A;
        cin >> T >> U >> L >> R >> A;
        T--; L--;

        vector<int> a = {T, U, L, R, A};
        query.emplace_back(a);
    }

    for (int i = 0; i < M; i++) {
        int X, Y, B, C;
        cin >> X >> Y >> B >> C;
        int T = max(0, X-B-1), U = min(H, X+B);
        int L = max(0, Y-B-1), R = min(W, Y+B);
        fi[T][L] += C;
        fi[T][R] -= C;
        fi[U][L] -= C;
        fi[U][R] += C;
    }

    for (int i = 0; i <= H; i++) {
        for (int j = 1; j <= W; j++) {
            fi[i][j] += fi[i][j-1];
        }
    }
    for (int j = 0; j <= W; j++) {
        for (int i = 1; i <= H; i++) {
            fi[i][j] += fi[i-1][j];
        }
    }
    
    vector<vector<int>> rui(H+1, vector<int>(W+1));
    for (int i = 0; i < H; i++) {
        for (int j = 0; j < W; j++) {
            rui[i+1][j+1] = rui[i+1][j] + rui[i][j+1] - rui[i][j] + fi[i][j];
        }
    }

    int ans = 0;
    for (auto q : query) {
        int a = rui[q[0]][q[2]] + rui[q[1]][q[3]] - rui[q[0]][q[3]] - rui[q[2]][q[1]];
        ans += q[4] - a > 0;
    }
    cout << ans << endl;
}