#pragma GCC target("avx") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include using namespace std; using ll=long long; using datas=pair; using ddatas=pair; using tdata=pair; using vec=vector; using mat=vector; using pvec=vector; using pmat=vector; #define For(i,a,b) for(i=a;i<(ll)b;++i) #define bFor(i,b,a) for(i=b,--i;i>=(ll)a;--i) #define rep(i,N) For(i,0,N) #define rep1(i,N) For(i,1,N) #define brep(i,N) bFor(i,N,0) #define brep1(i,N) bFor(i,N,1) #define all(v) (v).begin(),(v).end() #define allr(v) (v).rbegin(),(v).rend() #define vsort(v) sort(all(v)) #define vrsort(v) sort(allr(v)) #define uniq(v) vsort(v);(v).erase(unique(all(v)),(v).end()) #define endl "\n" #define popcount __builtin_popcountll #define eb emplace_back #define print(x) cout< ostream& operator<<(ostream& os,const pair& p){return os<<"("< ostream& operator<<(ostream& os,const vector& v){ os<<"{";bool f=false; for(auto& x:v){if(f)os<<",";os< ostream& operator<<(ostream& os,const set& v){ os<<"{";bool f=false; for(auto& x:v){if(f)os<<",";os< ostream& operator<<(ostream& os,const multiset& v){ os<<"{";bool f=false; for(auto& x:v){if(f)os<<",";os< ostream& operator<<(ostream& os,const map& v){ os<<"{";bool f=false; for(auto& x:v){if(f)os<<",";os< inline bool chmax(T& a,const T b){bool x=a inline bool chmin(T& a,const T b){bool x=a>b;if(x)a=b;return x;} #ifdef DEBUG void debugg(){cout<void debugg(const T& x,const Args&... args){cout<<" "<size;--i)modncrlistm[i-1]=modncrlistm[i]*i%mod; } return modncrlistp[n]*modncrlistm[r]%mod*modncrlistm[n-r]%mod; } ll modpow(ll a,ll n,const ll m=mod){ if(n<0)return 0; ll res=1; while(n>0){ if(n&1)res=res*a%m; a=a*a%m; n>>=1; } return res; } constexpr ll gcd(const ll a,const ll b) noexcept{return (!b)?abs(a):(a%b==0)?abs(b):gcd(b,a%b);} constexpr ll lcm(const ll a,const ll b) noexcept{return a/gcd(a,b)*b;} struct unionfind{ private: int maxN; vector par,treesize; public:unionfind(int N) :maxN(N),par(N),treesize(N,1){ for(int i=0;itreesize[y])swap(x,y); par[x]=y; treesize[y]+=treesize[x]; return true; } bool unite(pair v){ return unite(v.first,v.second); } bool parcheck(int x,int y){ return root(x)==root(y); } bool parcheck(pair v){ return parcheck(v.first,v.second); } int size(int x){ return treesize[root(x)]; } void clear(){ treesize.assign(maxN,1); for(int i=0;i> groups(){ vector> res(maxN); for(int i=0;i> res2; for(vector x:res){ if(x.size())res2.eb(x); } return res2; } }; bool vis[100001]; pvec val; pmat g; ll dfs(ll now,ll a,ll b){ if(vis[now]){ if(val[now].first==a){ if(b!=val[now].second)return -1; else return 0; }else{ if(a>N>>M>>K; g.resize(N); val.resize(N,datas(0,0)); unionfind dsu(N); while(M--){ ll c; cin>>i>>j>>c; --i;--j; g[i].eb(c,j); g[j].eb(c,i); dsu.unite(i,j); } ll ans0=1,ans1=1; for(auto v:dsu.groups()){ ll t=dfs(v[0],1,0); if(t<0||t>=K){ print(0); return 0; } debug(t); debug(val); if(t){ for(auto x:v)vis[x]=false; dfs2(v[0],t); bool f=false; for(auto x:v){ if(val[x].second<=0||val[x].second>K){ print(0); return 0; } f|=val[x].second==K; } if(f)ans0=0; continue; } vec p,m; for(auto x:v){ assert(abs(val[x].first)==1); if(val[x].first>0)p.emplace_back(val[x].second); else m.emplace_back(val[x].second); } vsort(p); vec Klis; debug(p); ll mi=1-p[0],ma=min(K,K-p.back()); debug(mi,ma); for(auto x:p)Klis.emplace_back(K-x); if(m.size()){ vsort(m); debug(m); chmax(mi,m.back()-K); chmin(ma,m[0]-K); debug(mi,ma); for(auto x:m)Klis.emplace_back(x-K); } if(mi>ma){ print(0); return 0; } debug(mi,ma); uniq(Klis); t=0; for(auto x:Klis)if(mi<=x&&ma<=x)++t; (ans1*=ma-mi+1)%=mod; (ans0*=ma-mi+1-t)%=mod; } print((ans1-ans0+mod)%mod); }