#include<bits/stdc++.h>

using namespace std;

typedef long long int64;

int main()
{
  int N, XX[2000][4];

  cin >> N;
  vector< int > nums;
  for(int i = 0; i < N; i++) {
    for(int j = 0; j < 4; j++) {
      cin >> XX[i][j];
      nums.push_back(XX[i][j]);
    }
  }

  sort(begin(nums), end(nums));
  nums.erase(unique(begin(nums), end(nums)), end(nums));

  for(int i = 0; i < N; i++) {
    for(int j = 0; j < 4; j++) {
      XX[i][j] = lower_bound(begin(nums), end(nums), XX[i][j]) - begin(nums);
    }
  }


  vector< vector< int > > sum(nums.size(), vector< int >(nums.size(), 0));
  for(int i = 0; i < N; i++) {
    ++sum[XX[i][0]][XX[i][1]];
    --sum[XX[i][2]][XX[i][1]];
    --sum[XX[i][0]][XX[i][3]];
    ++sum[XX[i][2]][XX[i][3]];
  }

  for(int i = 1; i < nums.size(); i++) {
    for(int j = 0; j < nums.size(); j++) {
      sum[i][j] += sum[i - 1][j];
    }
  }
  for(int i = 0; i < nums.size(); i++) {
    for(int j = 1; j < nums.size(); j++) {
      sum[i][j] += sum[i][j - 1];
    }
  }

  int64 ret = 0;
  for(int i = 0; i + 1 < nums.size(); i++) {
    for(int j = 0; j + 1 < nums.size(); j++) {
      if(sum[i][j] > 0) {
        ret += 1LL * (nums[i + 1] - nums[i]) * (nums[j + 1] - nums[j]);
      }
    }
  }

  cout << ret << endl;
}