#include <atcoder/all>
using namespace std;
using ll = long long;

int main(){
	ios::sync_with_stdio(false);
    cin.tie(0);
    int n, m, l, r;
    cin >> n >> m;
    vector<int> tb(m, -1);
    for(int i = 0; i < n; i++){
        cin >> l >> r;
        if(l > r) swap(l, r);
        tb[r] = l;
    }
    ll ans = 0;
    atcoder::fenwick_tree<ll> fw(m);
    for(int i = 0; i < m; i++){
        if(tb[i] == -1) continue;
        ans += fw.sum(tb[i], i);
        fw.add(tb[i], -1);
        fw.add(i, 1);
    }
    cout << ans << '\n';
}