#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#include <list>
#include <atcoder/all>
#define popcount __builtin_popcount
using namespace std;
using namespace atcoder;
typedef long long ll;
typedef pair<int, int> P;
int h, w, n, m;
ll s[2020][2020];
ll sum[2020][2020];
int t[100010], u[100010], l[100010], r[100010], a[100010];
int main()
{
    cin>>h>>w>>n>>m;
    for(int i=0; i<n; i++){
        cin>>t[i]>>u[i]>>l[i]>>r[i]>>a[i];
        t[i]--; l[i]--;
    }
    for(int i=0; i<m; i++){
        int x, y, b, c;
        cin>>x>>y>>b>>c;
        x--; y--;
        int l1=max(0, x-b), r1=min(h, x+b+1), l2=max(0, y-b), r2=min(w, y+b+1);
        //cout<<l1<<" "<<r1<<" "<<l2<<" "<<r2<<endl;
        s[l1][l2]+=c;
        s[l1][r2]-=c;
        s[r1][l2]-=c;
        s[r1][r2]+=c;
    }
    //for(int i=0; i<h; i++) for(int j=0; j<w; j++) cout<<s[i][j]<<endl;
    for(int i=0; i<h; i++) for(int j=0; j<w; j++) s[i][j+1]+=s[i][j];
    for(int j=0; j<w; j++) for(int i=0; i<h; i++) s[i+1][j]+=s[i][j];
    for(int i=0; i<h; i++) for(int j=0; j<w; j++) sum[i+1][j+1]=sum[i+1][j]+sum[i][j+1]-sum[i][j]+s[i][j];
    int ans=0;
    for(int i=0; i<n; i++){
        //cout<<sum[u[i]][r[i]]-sum[u[i]][l[i]]-sum[t[i]][r[i]]+sum[t[i]][l[i]]<<endl;
        if(sum[u[i]][r[i]]-sum[u[i]][l[i]]-sum[t[i]][r[i]]+sum[t[i]][l[i]]<a[i]) ans++;
    }
    cout<<ans<<endl;
    return 0;
}