#include<bits/stdc++.h>
using namespace std;
int n,k;
int a[1001][1001],b[1001][1001];
int x1,y_1,x2,y2,ans=0,maxn_x=-999,maxn_y=-999;
int main(){
cin>>n>>k;
for(int i=1;i<=n;i++){
cin>>x1>>y_1>>x2>>y2;
maxn_x=max(maxn_x,x1);
maxn_x=max(maxn_x,x2);
maxn_y=max(maxn_y,y_1);
maxn_y=max(maxn_y,y2);
a[x1][y_1]+=1;
a[x2+1][y2+1]+=1;
a[x1][y2+1]-=1;
a[x2+1][y_1]-=1;
}
for(int i=0;i<=maxn_x;i++){
for(int j=0;j<=maxn_y;j++){
b[i][j]=b[i-1][j]+b[i][j-1]-b[i-1][j-1]+a[i][j];
if(b[i][j]==k) ans++;
}
}
cout<<ans;
return 0;
}
