#include <bits/stdc++.h>
using namespace ::std;
const long long maxn = 2e5 + 500;
const long long mod = 1e9 + 7;
const long long inf = 1e9 + 500;
pair<long long, pair<long long, long long> > seg[maxn * 4][2];
long long lazy[maxn * 4][2];
bool typ;
void shift(long long a) {
  seg[2 * a][typ].first += lazy[a][typ];
  seg[2 * a + 1][typ].first += lazy[a][typ];
  lazy[2 * a][typ] += lazy[a][typ];
  lazy[2 * a + 1][typ] += lazy[a][typ];
  lazy[a][typ] = 0;
}
void update(long long L, long long R, long long node, long long l, long long r,
            long long v) {
  if (r <= l) {
    return;
  }
  if (l <= L && R <= r) {
    seg[node][typ].first += v;
    lazy[node][typ] += v;
    return;
  }
  if (R <= l || r <= L) {
    return;
  }
  long long mid = (L + R) / 2;
  long long lb = 2 * node;
  long long rb = 2 * node + 1;
  shift(node);
  update(L, mid, lb, l, r, v);
  update(mid, R, rb, l, r, v);
  if (seg[lb][typ].first == seg[rb][typ].first) {
    seg[node][typ].first = seg[lb][typ].first;
    seg[node][typ].second.first =
        seg[rb][typ].second.first + seg[lb][typ].second.first;
    seg[node][typ].second.second =
        seg[rb][typ].second.second + seg[lb][typ].second.second;
  } else {
    seg[node][typ] = min(seg[lb][typ], seg[rb][typ]);
  }
}
void bild(long long l, long long r, long long node) {
  seg[node][typ].first = 0;
  lazy[node][typ] = 0;
  if (l + 1 == r) {
    seg[node][typ].second.second = 2 * l + typ;
    seg[node][typ].second.first = 1;
    return;
  }
  long long mid = (l + r) / 2;
  bild(l, mid, 2 * node);
  bild(mid, r, 2 * node + 1);
  seg[node][typ].second.second =
      seg[2 * node][typ].second.second + seg[2 * node + 1][typ].second.second;
  seg[node][typ].second.first =
      seg[2 * node][typ].second.first + seg[2 * node + 1][typ].second.first;
}
vector<long long> sar[maxn];
vector<long long> tah[maxn];
long long pars[maxn];
long long part[maxn];
long long kyu[maxn];
long long maxz;
long long maxf;
void updat(long long l, long long r, long long v, long long vv) {
  if (l > r) {
    return;
  }
  typ = 0;
  update(0, maxz, 1, (l + 1) / 2, r / 2 + 1, v);
  typ = 1;
  update(0, maxf, 1, (l) / 2, (r - 1) / 2 + 1, vv);
}
long long ans = 0;
long long m;
void add(long long i) {
  for (long long j = 0; j < tah[i + 1].size(); j++) {
    long long l = i + 2;
    long long r = tah[i + 1][j];
    if (l & 1) {
      updat(l, r, -1, +1);
    } else {
      updat(l, r, +1, -1);
    }
    if ((r - (i + 1) + 1) % 2 == 0) {
      l = r + 1;
      r = m - 1;
      updat(l, r, +1, +1);
    } else {
      l = r + 1;
      r = m - 1;
      updat(l, r, -1, -1);
    }
  }
  for (long long j = 0; j < sar[i + 1].size(); j++) {
    long long l = sar[i + 1][j];
    long long r = i + 1;
    l = i + 2;
    r = m - 1;
    updat(l, r, +1, +1);
  }
  long long v = pars[i] - part[i];
  if ((i + 1) & 1) {
    typ = 1;
    update(0, maxf, 1, (i + 1) / 2, (i + 1) / 2 + 1, v);
  } else {
    typ = 0;
    update(0, maxz, 1, (i + 1) / 2, (i + 1) / 2 + 1, v);
  }
  long long wr = 0;
  long long t = 0;
  if (seg[1][0].first == 0) {
    wr += seg[1][0].second.second;
    t += seg[1][0].second.first;
  }
  if (seg[1][1].first == 0) {
    wr += seg[1][1].second.second;
    t += seg[1][1].second.first;
  }
  t -= i;
  wr -= (i * (i - 1) / 2);
  wr -= ((i - 1) * t);
  ans += wr;
}
int main() {
  ans = 0;
  long long n;
  cin >> n >> m;
  if (m == 1) {
    cout << 1 << endl;
    return 0;
  }
  for (long long i = 0; i < n; i++) {
    long long l, r;
    cin >> l >> r;
    l--;
    r--;
    if (r != l) {
      sar[r].push_back(l);
      tah[l].push_back(r);
    } else {
      kyu[l]++;
    }
  }
  pars[0] = tah[0].size();
  part[0] = sar[0].size();
  for (long long i = 1; i < m + 10; i++) {
    pars[i] = pars[i - 1] + (tah[i].size());
    part[i] = part[i - 1] + (sar[i].size());
  }
  {
    long long ko = 0;
    for (long long i = 0; i < m; i++) {
      if (sar[i].size() == 0 && tah[i].size() == 0 && pars[i] == part[i] &&
          kyu[i] == 0) {
        ko++;
      } else {
        ko = 0;
      }
      ans -= (ko * (ko + 1) / 2);
    }
  }
  maxz = (m - 1) / 2 + 1;
  maxf = (m - 2) / 2 + 1;
  typ = 0;
  bild(0, maxz, 1);
  typ = 1;
  bild(0, maxf, 1);
  for (long long i = m - 1; i >= 0; i -= 2) {
    add(i);
  }
  typ = 0;
  bild(0, maxz, 1);
  typ = 1;
  bild(0, maxf, 1);
  for (long long i = m - 2; i >= 0; i -= 2) {
    add(i);
  }
  cout << ans;
}
