#include<stdio.h>

FILE*f=fopen("gardieni.in","r");
FILE*g=fopen("gardieni.out","w");

long long n,T,s[1000100],i,j,a,b,c,sum;

int main () {
	
	fscanf ( f , "%lld %lld\n" , &n , &T ) ; 
	

	for ( i = 1 ; i <= n ; ++i ){
		
		fscanf ( f , "%lld %lld %lld", &a , &b, &c ) ;
		
		for ( j = a ; j <= b ; ++j ) 
			if ( c < s[ j ] || s[ j ] == 0 )
				s[ j ] = c ;
		
	}
	
	for ( i = 1 ; i <= T ; ++i )
		sum += s[ i ] ;
	
	fprintf ( g , "%lld\n" , sum ) ;
	
	fclose(f);
	fclose(g);
	
	return 0;
	
}