#include <bits/stdc++.h>

using i32 = std::int32_t;
using u32 = std::uint32_t;
using i64 = std::int64_t;
using u64 = std::uint64_t;
using i128 = __int128_t;
using u128 = __uint128_t;
using isize = std::ptrdiff_t;
using usize = std::size_t;

class rep {
    struct Iter {
        usize itr;
        constexpr Iter(const usize pos) noexcept : itr(pos) {}
        constexpr void operator++() noexcept { ++itr; }
        constexpr bool operator!=(const Iter& other) const noexcept {
            return itr != other.itr;
        }
        constexpr usize operator*() const noexcept { return itr; }
    };
    const Iter first, last;

  public:
    explicit constexpr rep(const usize first, const usize last) noexcept
        : first(first), last(std::max(first, last)) {}
    constexpr Iter begin() const noexcept { return first; }
    constexpr Iter end() const noexcept { return last; }
};

template <class T> using Vec = std::vector<T>;

void F_main() {
    usize H, W;
    std::cin >> H >> W;
    usize N, M;
    std::cin >> N >> M;
    Vec<std::tuple<usize, usize, usize, usize, u64>> slime(N);
    for (auto& [u, d, l, r, a] : slime) {
        std::cin >> u >> d >> l >> r >> a;
        u -= 1;
        l -= 1;
    }
    Vec<Vec<u64>> grid(H + 1, Vec<u64>(W + 1));
    while (M--) {
        usize x, y, b;
        std::cin >> x >> y >> b;
        u64 c;
        std::cin >> c;
        x -= 1;
        y -= 1;
        const auto u = (x >= b ? x - b : 0);
        const auto d = (x + b < H ? x + b + 1 : H);
        const auto l = (y >= b ? y - b : 0);
        const auto r = (y + b < W ? y + b + 1 : W);
        grid[u][l] += c;
        grid[u][r] -= c;
        grid[d][l] -= c;
        grid[d][r] += c;
    }
    for (const auto i : rep(0, H + 1)) {
        for (const auto j : rep(0, W + 1)) {
            if (i > 0) grid[i][j] += grid[i - 1][j];
            if (j > 0) grid[i][j] += grid[i][j - 1];
            if (i > 0 and j > 0) grid[i][j] -= grid[i - 1][j - 1];
        }
    }
    Vec<Vec<u64>> sum(H + 1, Vec<u64>(W + 1));
    for (const auto i : rep(1, H + 1)) {
        for (const auto j : rep(1, W + 1)) {
            sum[i][j] += sum[i - 1][j];
            sum[i][j] += sum[i][j - 1];
            sum[i][j] -= sum[i - 1][j - 1];
            sum[i][j] += grid[i - 1][j - 1];
        }
    }
    usize ans = 0;
    for (const auto [u, d, l, r, a] : slime) {
        if (sum[d][r] - sum[d][l] + sum[u][l] - sum[u][r] < a) {
            ans += 1;
        }
    }
    std::cout << ans << '\n';
}

int main() {
    std::ios_base::sync_with_stdio(false);
    std::cin.tie(nullptr);
    F_main();
    return 0;
}