

#include <bits/stdc++.h>
using namespace std;
using ll = int64_t;

int main()
{
vector<pair<ll,ll>> m;
ll n,Y;
cin>>n>>Y;

int a,b,c;
for(ll i=0;i<n;i++){
    cin>>a>>b>>c;
    m.emplace_back(a-1,c);
    m.emplace_back(b,-c);
    
}
sort(m.begin(),m.end());
ll charge=0,t=0,sum_total=0;
for(auto [x,y] : m){
    if(x!=t){
        sum_total+=min(charge,Y)*(x-t);
        t=x;
    }
    charge+=y;
}
cout<<sum_total;
}

#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

const int N=200005;
vector<int> tree(4*N,0);

void update(int idx,int l,int r,int pos,int val)
{
    if(l==r) tree[idx]=val;
    else
    {
        int m=(l+r)/2;
        if(pos<=m) update(2*idx,l,m,pos,val);
        else update(2*idx+1,m+1,r,pos,val);
        tree[idx]=tree[2*idx]+tree[2*idx+1];
    }
}

int query(int idx,int l,int r,int ql,int qr)
{
    if(ql>qr) return 0;
    if(l==ql&&r==qr) return tree[idx];
    int m=(l+r)/2;
    return query(2*idx,l,m,ql,min(qr,m))+query(2*idx+1,m+1,r,max(ql,m+1),qr);
}

int main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    int n,m,x;
    cin >> n >> m >> x;
    vector<int> b(n+1,m+1);
    vector<int> a(m+1,n+1);
    for(int i=0;i<x;i++)
    {
        int r,c;
        cin >> r >> c;
        b[r]=min(b[r],c);
        a[c]=min(a[c],r);
    }
    vector<int> rm[n+2];
    for(int j=1;j<b[1];j++) rm[a[j]].push_back(j);
    for(int j=1;j<b[1];j++) update(1,1,m,j,1);
    ll res=0;
    for(int j=1;j<b[1];j++) res+=(a[j]-1);
    for(int i=1;i<a[1];i++)
    {
        for(int j:rm[i]) update(1,1,m,j,0);
        res+=(b[i]-1);
        res-=query(1,1,m,1,b[i]-1);
    }
    cout << res << "\n";
    return 0;
}
