#include<fstream>
using namespace std;
int v[1000001];
int main()
{
	ifstream fcin("gardieni.in");
	ofstream fcout("gardieni.out");
	int a,b,c,i,n,t;
	long long s=0;
	fcin>>n>>t;
	for(i=1;i<=t;i++)
		v[i]=10000000;
	while(n--)
	{
		fcin>>a>>b>>c;
		for(;a<=b;a++)
			if(v[a]>c)
				v[a]=c;
	}
	for(i=1;i<=t;i++)
		s+=v[i];
	fcout<<s;
	return 0;
}