#include<fstream>
using namespace std;
ifstream F("gardieni.in");
ofstream G("gardieni.out");
#define D 10000
char b[D];
int p,c[1000001],i,j,N,T,x,y,z;
long long a;
void C(int &r)
{
    for(r=0;b[p]<'0'||b[p]>'9';)
        if(++p==D)
            F.read(b,D),p=0;
    for(;b[p]>='0'&&b[p]<='9';) {
        r=r*10+b[p]-'0';
        if(++p==D)
            F.read(b,D),p=0;
    }
}
int main()
{
    for(F>>N>>T,i=1;i<=T;++i)
        c[i]=1<<30;
    for(i=1;i<=N;++i)
        for(C(x),C(y),C(z),j=x;j<=y;++j)
            if(c[j]>z)
                c[j]=z;
    for(i=1;i<=T;++i)
        a+=c[i];
    G<<a;
    return 0;
}