#include #include #include #include #include #include #include #include #include #include #define mkp make_pair #define mkt make_tuple #define rep(i,n) for(int i = 0; i < (n); ++i) #define all(v) v.begin(),v.end() using namespace std; typedef long long ll; const ll MOD=1e9+7; template void chmin(T &a,const T &b){if(a>b) a=b;} template void chmax(T &a,const T &b){if(a rank,p; vector sz; DisjointSet(){} DisjointSet(int size){ rank.resize(size,0); p.resize(size,0); sz.resize(size,0); for(int i=0;irank[y]){ p[y]=x; sz[x]+=sz[y]; }else{ p[x]=y; sz[y]+=sz[x]; if(rank[x]==rank[y]){ rank[y]++; } } } int findSet(int x){ if(x!=p[x]){ p[x]=findSet(p[x]); } return p[x]; } int findSize(int x){ return sz[findSet(x)]; } }; ll mod_pow(ll x,ll n){ x%=MOD; ll res=1; while(n>0){ if(n&1) res=res*x%MOD; x=x*x%MOD; n>>=1; } return res; } void add(ll &a,ll b){ a=(a+b)%MOD; } void mul(ll &a,ll b){ a%=MOD;b%=MOD; a=a*b%MOD; } vector>> g; vector sz; void szdfs(int now,int par){ sz[now]=1; for(auto p:g[now]){ int nex=p.first; if(nex==par) continue; szdfs(nex,now); sz[now]+=sz[nex]; } } int main(){ cin.tie(0); ios::sync_with_stdio(false); int N,M; ll X; cin>>N>>M>>X; vector A(M),B(M); vector C(M); rep(i,M) cin>>A[i]>>B[i]>>C[i]; rep(i,M){ A[i]--;B[i]--; } g.resize(N); { DisjointSet us(N); rep(i,M){ if(us.same(A[i],B[i])) continue; us.unite(A[i],B[i]); g[A[i]].push_back(mkp(B[i],C[i])); g[B[i]].push_back(mkp(A[i],C[i])); } } sz.resize(N,0); szdfs(0,-1); ll ans=0; rep(i,N) for(auto p:g[i]){ int to=p.first; ll z=p.second; if(i>to) continue; ll num=min(sz[i],sz[to])*(N-min(sz[i],sz[to])); ll val=mod_pow(X,z); mul(val,num); add(ans,val); } cout<