#include<bits/stdc++.h>
using namespace std;
long long n, k;
long long b[1010][1010];
long long u,v,x,y;
long long U, V, X, Y;
long long ans;
int main(){
	cin>>n>>k;
	for(int i=1;i<=n;i++){
		cin>>u>>v>>x>>y;
		U=max(u,U);
		V=max(v,V);
		X=max(x,X);
		Y=max(y,Y);
		b[u][v]++;
		b[u][y+1]--;
		b[x+1][v]--;
		b[x+1][y+1]++;
	}
	for(int i=1;i<=1000;i++)
		for(int j=1;j<=1000;j++)
			b[i][j]=b[i][j]+b[i-1][j]+b[i][j-1]-b[i-1][j-1];
	for(int i=U;i<=X;i++)
		for(int j=V;j<=Y;j++)
			if(b[i][j]==k) ans++;
	cout<<ans<<endl;
	return 0;
}