#include"bits/stdc++.h" using namespace std; int mianji(int x1,int y1,int x2,int y2,int a1,int b1,int a2,int b2){ if(x2<=a1&&x1>=y2&&y2<=b1&&y1>=b2)return(x2-x1)*(y2-y1); else if(x1>=a1&&y1>=b1&&x2<=a2&&y2<=b2)return 0; else return(y2-y1)*(x2-x1)-((min(x2,a2)-max(x1,a1))*(min(y2,b2)-max(y1,b1))); } int main(){ int x1,y1,x2,y2,a1,b1,a2,b2,c1,d1,c2,d2; cin>>x1>>y1>>x2>>y2; cin>>a1>>b1>>a2>>b2; cin>>c1>>d1>>c2>>d2; cout<<mianji(x1,y1,x2,y2,c1,d1,c2,d2)+mianji(a1,b1,a2,b2,c1,d1,c2,d2); }