#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int n,v[21][21][21],w,x,h,q,x1,x2,y3,y2,z1,z2,cnt;

int main(){
	scanf("%d%d%d%d",&w,&x,&h,&q);
	for(int i=1;i<=w;i++)
		for(int j=1;j<=x;j++)
			for(int k=1;k<=h;k++)
				v[i][j][k]=1;
	while(q>0){
		q--;
		scanf("%d%d%d%d%d%d",&x1,&y3,&z2,&x2,&y2,&z2);
		for(int i=x1;i<=x2;i++)
			for(int j=y3;j<=y2;j++)
				for(int k=z1;k<=z2;k++)
					v[i][j][k]=0;
	}
	for(int i=1;i<=w;i++)
		for(int j=1;j<=x;j++)
			for(int k=1;k<=h;k++)
				cnt+=v[i][j][k];
	printf("%d",cnt);
	return 0;
}