/*

给定一个无向图，边的属性为(u,v,l,r),表示<u,v>可以通过的size为[l,r]

求出有多少不同的size可以从1->n

把每条边的范围[l,r]进行区间离散化然后 建立线段树，然后把每条边按范围更新进线段树里

对线段树进行dfs，同时维护一个可撤销的并查集，经过每个线段树结点都用结点里存的边去更新并查集

到了叶子结点，如果发现[1,n]在同一个集合里，说明联通，那么把这个区间的贡献算上

回溯时要对并查集进行撤销

*/

#include<bits/stdc++.h>

#include<vector>

using namespace std;

#define maxn 200005

typedef pair<int,int>pii;

struct Edge{int u,v,l,r;}e[maxn];

int n,m,x[maxn],tot,ans;

stack<pii>stk;//合并操作栈

int F[maxn],size[maxn];

int find(int x){//这里不能路径压缩

    return F[x]==x?x:find(F[x]);

}

void bing(int x,int y){

    int f1=find(x),f2=find(y);

    if(f1==f2)//压入无效操作

        stk.push(make_pair(-,-));

    else {//把f2并入f1

        if(size[f1]<size[f2])swap(f1,f2);

        size[f1]+=size[f2];

        F[f2]=f1;

        stk.push(make_pair(f1,f2));

    }

}

void cancle(){

    pii t=stk.top();stk.pop();

    if(t.first==- && t.second==-)return;

    size[t.first]-=size[t.second];

    F[t.second]=t.second;

    return;

}

#define lson l,m,rt<<1

#define rson m+1,r,rt<<1|1

vector<int>seg[maxn<<];

void update(int L,int R,int id,int l,int r,int rt){

    if(L<=l && R>=r){seg[rt].push_back(id);return;}

    int m=l+r>>;

    if(L<=m)update(L,R,id,lson);

    if(R>m)update(L,R,id,rson);

}

void query(int l,int r,int rt){

    for(int i=;i<seg[rt].size();i++){

        int j=seg[rt][i];

        bing(e[j].u,e[j].v);

    }

    if(l==r){

        if(find()==find(n))

            ans+=x[l+]-x[l];

        for(int i=;i<seg[rt].size();i++)cancle();

        return;

    }

    int m=l+r>>;

    query(lson);query(rson);

    for(int i=;i<seg[rt].size();i++)cancle();

}

int main(){

    scanf("%d%d",&n,&m);

    for(int i=;i<=m;i++)

        scanf("%d%d%d%d",&e[i].u,&e[i].v,&e[i].l,&e[i].r);

    for(int i=;i<=m;i++){

        x[++tot]=e[i].l;

        x[++tot]=++e[i].r;

    }

    sort(x+,x++tot);

    tot=unique(x+,x++tot)-x-;

    for(int i=;i<=m;i++){

        int posl=lower_bound(x+,x++tot,e[i].l)-x;

        int posr=lower_bound(x+,x++tot,e[i].r)-x;posr--;

        update(posl,posr,i,,tot,);

    }

    for(int i=;i<=n;i++)F[i]=i;

    for(int i=;i<=n;i++)size[i]=;

    query(,tot,);

    cout<<ans<<'\n';

}

#include<bits/stdc++.h>

#include<vector>

using namespace std;

#define maxn 400005

typedef pair<int,int>pii; 

int n,m,x[maxn],tot;

long long ans;

int u[maxn],v[maxn],L[maxn],R[maxn],num[maxn];

stack<pii>stk;//合并操作栈

int fa[maxn],sz[maxn];

int find(int x){//这里不能路径压缩

    return fa[x]==x?x:find(fa[x]);

}

void bing(int x,int y){

    int f1=find(x),f2=find(y);

    if(f1==f2)//压入无效操作

        stk.push(make_pair(-,-));

    else {//把f2并入f1

        if(sz[f1]<sz[f2])swap(f1,f2);

        sz[f1]+=sz[f2];

        fa[f2]=f1;

        stk.push(make_pair(f1,f2));

    }

}

void cancel(){

    pii t=stk.top();stk.pop();

    if(t.first==- && t.second==-)return;

    sz[t.first]-=sz[t.second];

    fa[t.second]=t.second;

}

#define lson l,m,rt<<1

#define rson m+1,r,rt<<1|1

vector<int>seg[maxn<<];

void update(int L,int R,int id,int l,int r,int rt){

    if(L<=l && R>=r){seg[rt].push_back(id);return;}

    int m=l+r>>;

    if(L<=m)update(L,R,id,lson);

    if(R>m)update(L,R,id,rson);

}

void query(int l,int r,int rt){

    for(int i=;i<seg[rt].size();i++){

        int j=seg[rt][i];

        bing(u[j],v[j]);

    }

    if(l==r){

        if(find()==find(n))

            ans+=num[l+]-num[l];

        for(int i=;i<seg[rt].size();i++)cancel();

        return;

    }

    int m=l+r>>;

    query(lson);query(rson);

    for(int i=;i<seg[rt].size();i++)cancel();

}

int main(){

    cin>>n>>m;

    for(int i=;i<=m;i++){

        cin>>u[i]>>v[i]>>L[i]>>R[i];

        num[++tot]=L[i];

        num[++tot]=++R[i];

    }

    sort(num+,num++tot);

    tot=unique(num+,num++tot)-num-;

    for(int i=;i<=m;i++){

        int posl=lower_bound(num+,num++tot,L[i])-num;

        int posr=lower_bound(num+,num++tot,R[i])-num-;

        update(posl,posr,i,,tot-,);

    }

    for(int i=;i<=n;i++)fa[i]=i,sz[i]=;

    query(,tot-,);

    cout<<ans<<endl;

}