/*加深一下对查分约束的理解建图的时候为了保证所有点联通 虚拟一个点它与所有点相连 权值为0然后跑SPFA判负环这题好像要写dfs的SPFA 要不超时比较懒 改了改重复进队的条件~ */#include<iostream>#include<cstdio>#include<cstring>#include<queue>#define maxn 40010using namespace std;int n,m,num,head[maxn],dis[maxn],f[maxn],c[maxn],falg;struct node{    int v,t,pre;}e[maxn];queue<int>q;void Add(int from,int to,int dis){    num++;e[num].v=to;    e[num].t=dis;    e[num].pre=head[from];    head[from]=num;}void SPFA(){    memset(dis,127/3,sizeof(dis));    f[n+1]=1;dis[n+1]=0;    q.push(n+1);c[n+1]++;    while(!q.empty()){        int k=q.front();q.pop();        if(c[k]>n){            falg=1;break;        }        f[k]=0;        for(int i=head[k];i;i=e[i].pre){            int v=e[i].v;            if(dis[v]>dis[k]+e[i].t){                dis[v]=dis[k]+e[i].t;                if(f[v]==0){                    f[v]=1;c[v]++;                    q.push(v);                }            }        }    }}int main(){    scanf("%d%d",&n,&m);    int w,x,y,z;    for(int i=1;i<=m;i++){        scanf("%d",&w);        if(w==1){            scanf("%d%d%d",&x,&y,&z);            Add(y,x,-z);        }        if(w==2){            scanf("%d%d%d",&x,&y,&z);            Add(x,y,z);        }        if(w==3){            scanf("%d%d",&x,&y);            Add(x,y,0);Add(y,x,0);        }    }    for(int i=1;i<=n;i++)Add(n+1,i,0);    SPFA();    if(!falg)printf("Yes\n");    else printf("No\n");    return 0;}