#include<bits/stdc++.h>
using namespace std;
#define int long long
int _c_n_t_=1;
int node(){
	return ++_c_n_t_;
}
int n;
struct _dz{
	int type,x,y1,y2;
};
vector<_dz>vt;
_dz make__dz(int tp,int _x,int _x1,int _x2){
	_dz _;
	_.x=_x;
	_.y1=_x1;
	_.y2=_x2;
	_.type=tp;
	return _;
}
bool cmp(_dz a,_dz b){
	return a.x<b.x;
};	
struct {
		int val,ls,rs,lrg,rrg,vad;
	}nod[40000005];
	int rt=1;
	#define bf(p,s,t) if(!p){\
			p=node();\
			nod[p].rrg=t;\
			nod[p].lrg=s;\
		}
	void add(int l,int r,int d,int&p,int s,int t){
		bf(p,s,t);
	//	cout<<'A'<<' '<<l<<' '<<r<<' '<<d<<' '<<p<<' '<<nod[p].lrg<<' '<<nod[p].rrg<<'\n';
		if((l==nod[p].lrg&&r==nod[p].rrg)||s==t){
            nod[p].vad+=d;
            if(!nod[p].vad)nod[p].val=nod[nod[p].ls].val+nod[nod[p].rs].val;
            else nod[p].val=t-s+1;
			return ;
		}
		int mid=nod[p].lrg+nod[p].rrg;
		mid>>=1;
		if(l<=mid)add(l,min(mid,r),d,nod[p].ls,s, mid);
		if(r>mid)add(max(mid+1,l),r,d,nod[p].rs,mid+1,t);
        if(!nod[p].vad)nod[p].val=nod[nod[p].ls].val+nod[nod[p].rs].val;
        else nod[p].val=t-s+1;
	}
	int query(int l,int r,int p){
		if(!p)return 0;
//		cout<<"Q"<<' '<<l<<' '<<r<<' '<<p<<' '<<nod[p].lrg<<' '<<nod[p].rrg<<' '<<nod[p].val<<'\n';
		if((l==nod[p].lrg&&r==nod[p].rrg&&nod[p].val)||l==r){
			return nod[p].val;
		}
		int mid=nod[p].lrg+nod[p].rrg;
		mid>>=1;
		int s=nod[p].lrg;
		int t=nod[p].rrg;
		int ans=0;
		if(r<=mid)ans+=query(l,r,nod[p].ls);
		else if(l>mid)ans+=query(l,r,nod[p].rs);
		else{
			ans+=query(l,mid,nod[p].ls);ans+=query(1+mid,r,nod[p].rs);
		}
		return ans;
	}
signed main(){
	cin>>n;
	nod[1].lrg=-1;
	nod[1].rrg=1e9;
	for(int i=1;i<=n;i++){
		int x1,y1,x2,y2;
		cin>>x1>>y1>>x2>>y2;
		vt.push_back(make__dz(1,x1,y1,y2-1));
		vt.push_back(make__dz(-1,x2,y1,y2-1));
	}
	int ANS=0;
	sort(vt.begin(),vt.end(),cmp);
	for(int i=0;i<2*n;i++){
		int wid=0;
		if(i)wid=vt[i].x-vt[i-1].x;
		ANS+=wid*(query(-1,1e9,rt));
	//	cout<<wid<<' '<<query(-1,1e9,rt)<<' '<<ANS<<endl;
		add(vt[i].y1,vt[i].y2,vt[i].type,rt,-1,1e9);
	}
	cout<<ANS;
}

保证没有死循环