cpp```language

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
ll a[1010][1010];
int main(){
	ll n,k;
	cin>>n>>k;
	for(ll i=1;i<=n;i++){
		ll a1,a2,b1,b2;
		cin>>a1>>b1>>a2>>b2;
		swap(++a1,++b1);
		swap(a2,b2);
		a[a1][b1]++;
		a[a1][b2+1]--;
		a[a2+1][b1]--;
		a[a2+1][b2+1]++;
	}
	ll cnt=0;
	for(ll a1=1;a1<=1009;a1++){
		for(ll b1=1;b1<=1009;b1++){
			a[a1][b1]+=a[a1][b1-1]+a[a1-1][b1]-a[a1-1][b1-1];
			if(a[a1][b1]==k){
				cnt++;
			}
		}
	}
	cout<<cnt;
	return 0;
}