#include<bits/stdc++.h>
using namespace std;
#define int long long
const int N=3005;
int n,m,k;
int op[N][N];
bool vis[N][N];
int tim[N][N];
int dx[]={0,0,-1,1},dy[]={1,-1,0,0};
void bfs(int x,int y){
queue<pair<int,int> >q;
q.push(make_pair(x,y));
vis[x][y]=true;
while(!q.empty()){
int X=q.front().first,Y=q.front().second;
q.pop();
for(int i=0;i<4;i++){
int xx=X+dx[i],yy=Y+dy[i];
if(xx<1||xx>n||yy<1||yy>m||op[xx][yy]!=2||vis[xx][yy]) continue;
vis[xx][yy]=true;
q.push(make_pair(xx,yy));
}
}
}
bool check(int x,int y){
for(int i=0;i<4;i++){
int xx=x+dx[i],yy=y+dy[i];
if(xx<1||xx>n||yy<1||yy>m) continue;
if(op[xx][yy]==2) return true;
}
return false;
}
bool check2(int x,int y){
for(int i=0;i<4;i++){
int xx=x+dx[i],yy=y+dy[i];
if(xx<1||xx>n||yy<1||yy>m) continue;
if(tim[xx][yy]!=-1&&abs(tim[xx][yy]-tim[x][y])<=k) return true;
}
return false;
}
signed main(){
memset(tim,-1,sizeof(tim));
int q,r;
cin>>n>>m>>q>>r>>k;
while(q--){
int a1,b1,a2,b2;
cin>>a1>>b1>>a2>>b2;
for(int i=a1;i<=a2;i++){
if(op[i][b1-1]==0) op[i][b1-1]=2;
if(op[i][b2+1]==0) op[i][b2+1]=2;
}
for(int j=b1;j<=b2;j++){
if(op[a1-1][j]==0) op[a1-1][j]=2;
if(op[a2+1][j]==0) op[a2+1][j]=2;
}
for(int i=a1;i<=a2;i++)
for(int j=b1;j<=b2;j++) op[i][j]=1;
}
while(r--){
int t,x,y;
cin>>t>>x>>y;
tim[x][y]=t;
if(op[x][y]==2||check(x,y)){
bfs(x,y);
}
}
int ans=0;
for(int i=1;i<=n;i++){
for(int j=1;j<=m;j++){
if(!vis[i][j]&&tim[i][j]!=-1&&check2(i,j)) ans++;
}
}
for(int i=1;i<=n;i++)
for(int j=1;j<=m;j++) if(vis[i][j]) ans++;
cout<<ans<<endl;
return 0;
}