#include<stdio.h>
FILE*f=fopen("gardieni.in","r");
FILE*g=fopen("gardieni.out","w");
long S,T;
int t[1000003],a,b,c;
void update()
   {
    int i;
    for(i=a;i<=b;++i)
       if(t[i]>c || t[i]==0)
         {
          S=S-t[i]+c;
          t[i]=c;
         }
   }
int main()
   {
    int n,i;
    fscanf(f,"%d %ld",&n,&T);
    for(i=1;i<=n;++i)
        {
         fscanf(f,"%d %d %d",&a,&b,&c);
         update();
         }
    fprintf(g,"%ld\n",S);
    return 0;
   }