#include<iostream>
using namespace std;
int n,k,ans,c[1010][1010],a[1010][1010];
//n,k意义如题,ans是答案,c是差分数组,a是原数组
int main()
{
cin>>n>>k;
for(int i=1;i<=n;i++)
{
int x1,y1,x2,y2;
cin>>x1>>y1>>x2>>y2;
c[x1][y1] += c;
c[x2 + 1][y1] -= c;
c[x1][y2 + 1] -= c;
c[x2 + 1][y2 + 1] += c;

}
for(int i=0;i<=1005;i++)
for(int j=0;j<=1005;j++)
{
a[i][j]=a[i-1][j]+a[i][j-1]-a[i-1][j-1]+c[i][j];//前缀和的递推式
if(a[i][j]==k)ans++;//恰被覆盖k次,统计
}
cout<<ans<<endl;
return 0;
}