#include<iostream>
#include<cstdio>
#include<algorithm>
#define N 200
using namespace std;
long long read()
{
	char c=0;
	long long sum=0;
	while (c<'0'||c>'9') c=getchar();
	while ('0'<=c&&c<='9') sum=sum*10+c-'0',c=getchar();
	return sum;
}
int sgn(__int128 x)
{
	if (x>0) return 1;
	else if (x==0) return 0;
	else return -1;
}
struct reads
{
	long long a,ta,b,tb;
	__int128 ra,rb;
	bool operator < (const reads &t)const
	{
		if (sgn(rb-ra)!=sgn(t.rb-t.ra)) return sgn(rb-ra)>sgn(t.rb-t.ra);
		else if (rb-ra>=0) return ra<t.ra;
		else return rb>t.rb;
	}
};
reads st[N+1];
struct points
{
	long long x,y;
	bool operator < (const points &t)const
	{
		return x!=t.x?x<t.x:y<t.y;
	}
};
points tongs[N+1],dque[N+1];
points operator + (points a,points b)
{
	return (points){a.x+b.x,a.y+b.y};
}
points operator - (points a,points b)
{
	return (points){a.x-b.x,a.y-b.y};
}
int n,length,lengths,top;
long long tong[5*N*N+1],m;
unsigned long long ans;
__int128 operator * (points a,points b)
{
	return (__int128)(a.x)*b.y-(__int128)(a.y)*b.x;
}
bool check(points a,points b,points c)
{
	return (b-a)*(c-a)>=0;
}
unsigned long long F(long long x)
{
	if (x<0) return 0;
	return (unsigned long long)((__int128)((x)*(x+1))>>1);
}
void solve(long long l,long long r)
{
	long long res=0,res2=0,sl,sr;
	lengths=top=0;
	for (int i=1;i<=n;++i) st[i].ra=st[i].a+(__int128)(l)*st[i].ta,st[i].rb=st[i].b+(__int128)(l)*st[i].tb;
	sort(st+1,st+n+1);
	for (int i=1;i<=n;++i) tongs[++lengths]=(points){res2+st[i].ta,res+st[i].a},res+=st[i].a-st[i].b,res2+=st[i].ta-st[i].tb;
	sort(tongs+1,tongs+lengths+1);
	for (int i=1;i<=lengths;++i)
	{
		while (top>=2&&check(dque[top-1],dque[top],tongs[i])) top--;
		dque[++top]=tongs[i];
	}
	for (int i=1;i<=top;++i)
	{
		sl=l,sr=r;
		if (i>=2&&dque[i].x!=dque[i-1].x) sl=max(sl,(dque[i-1].y-dque[i].y+dque[i].x-dque[i-1].x-1)/(dque[i].x-dque[i-1].x));
		if (i+1<=top)
		{
			if (dque[i].x==dque[i+1].x) sr=l-1;
			else sr=min(sr,(dque[i].y-dque[i+1].y)/(dque[i+1].x-dque[i].x));
		}
		if (sl<=sr) ans+=(unsigned long long)(dque[i].x)*(F(sr)-F(sl-1))+(unsigned long long)(dque[i].y)*(unsigned long long)(sr-sl+1);
	}
	return;
}
int main()
{
	n=read(),m=read();
	for (int i=1;i<=n;++i) st[i].a=read(),st[i].ta=read(),st[i].b=read(),st[i].tb=read();
	sort(st+1,st+n+1);
	for (int i=1;i<=n;++i)
	{
		if (st[i].a<st[i].b&&st[i].ta>st[i].tb&&(st[i].b-st[i].a)%(st[i].ta-st[i].tb)==0) tong[++length]=(st[i].b-st[i].a)/(st[i].ta-st[i].tb);
		if (st[i].a>st[i].b&&st[i].ta<st[i].tb&&(st[i].a-st[i].b)%(st[i].tb-st[i].ta)==0) tong[++length]=(st[i].a-st[i].b)/(st[i].tb-st[i].ta);
		if (st[i].a<=st[i].b&&st[i].ta>st[i].tb) tong[++length]=(st[i].b-st[i].a)/(st[i].ta-st[i].tb)+1;
		if (st[i].a>=st[i].b&&st[i].ta<st[i].tb) tong[++length]=(st[i].a-st[i].b)/(st[i].tb-st[i].ta)+1;
	}
	for (int i=1;i<=n;++i)
		for (int j=1;j<=n;++j)
			if (i!=j)
			{
				if (st[i].a<=st[j].a&&st[i].ta>st[j].ta) tong[++length]=(st[j].a-st[i].a+st[i].ta-st[j].ta-1)/(st[i].ta-st[j].ta);
				if (st[i].b<=st[j].b&&st[i].tb>st[j].tb) tong[++length]=(st[j].b-st[i].b+st[i].tb-st[j].tb-1)/(st[i].tb-st[j].tb);
			}
	sort(tong+1,tong+length+1);
	while (length&&tong[length]>m) length--;
	length=unique(tong+1,tong+length+1)-tong-1,tong[length+1]=m+1;
	for (int i=0;i<=length;++i) solve(tong[i],tong[i+1]-1);
	printf("%llu\n",ans);
	return 0;
}