#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000000
int main(){
	
	int H,W,N,M;
	cin>>H>>W>>N>>M;
	
	vector imos(H+1,vector<long long>(W+1,0LL));
	
	vector<long long> a(N),b(N),c(N),d(N),hp(N);
	rep(i,N){
		cin>>a[i]>>b[i]>>c[i]>>d[i]>>hp[i];
	}
	
	rep(i,M){
		int x,y,z,w;
		cin>>x>>y>>z>>w;
		
		int A = max(1,x-z);
		int B = min(H,x+z);
		int C = max(1,y-z);
		int D = min(W,y+z);
		imos[B][D] += w;
		imos[B][C-1] -= w;
		imos[A-1][D] -= w;
		imos[A-1][C-1] += w;
	}
	
	
	
	for(int i=H-1;i>=0;i--){
		rep(j,W+1){
			imos[i][j] += imos[i+1][j];
		}
	}
	rep(i,H+1){
		for(int j=W-1;j>=0;j--){
			imos[i][j] += imos[i][j+1];
		}
	}
	
	
	rep(i,H){
		rep(j,W+1){
			imos[i+1][j] += imos[i][j];
		}
	}
	
	rep(i,H+1){
		rep(j,W){
			imos[i][j+1] += imos[i][j];
		}
	}
	int ans = N;
	rep(i,N){
		long long t = 0LL;
		t += imos[b[i]][d[i]];
		t -= imos[b[i]][c[i]-1];
		t -= imos[a[i]-1][d[i]];
		t += imos[a[i]-1][c[i]-1];
		if(t >= hp[i])ans--;
	}
	
	cout<<ans<<endl;
	
    return 0;
}