#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace std::chrono; typedef long long int llint; typedef long double lldo; #define mp make_pair #define mt make_tuple #define pub push_back #define puf push_front #define pob pop_back #define pof pop_front #define fir first #define sec second #define res resize #define ins insert #define era erase #define REP(i, n) for(int i = 0;i < (n);i++) /*cout<bool chmin(T& a,U b){if(a>b){a=b;return true;}return false;} template bool chmax(T& a,U b){if(a void SO(T& ve){sort(ve.begin(),ve.end());} template void REV(T& ve){reverse(ve.begin(),ve.end());} templatellint LBI(const vector&ar,T in){return lower_bound(ar.begin(),ar.end(),in)-ar.begin();} templatellint UBI(const vector&ar,T in){return upper_bound(ar.begin(),ar.end(),in)-ar.begin();} #include #include #include #include //永夜作 #define mnt mint_base class mint_base; //mint_base_base型用の累乗関数 constexpr mint_base m_pow(mint_base x, uint64_t n)noexcept; //mod計算を自動で行う整数テンプレートクラス class mint_base { public: constexpr mint_base operator+(const mint_base &other)const noexcept {auto v = *this;return v += other;} constexpr mint_base operator-(const mint_base &other)const noexcept {auto v = *this;return v -= other;} constexpr mint_base operator*(const mint_base &other)const noexcept {auto v = *this;return v *= other;} constexpr auto operator/(const mint_base &other)const noexcept {auto v = *this;return v /= other;} constexpr mint_base & operator+=(const mint_base &other) noexcept {a += other.a;if (mod <= a) { a -= mod; };return *this;} constexpr mint_base & operator-=(const mint_base &other) noexcept {if (a >= other.a) {a -= other.a;}else {a = (a + mod) - other.a;}return *this;} constexpr mint_base & operator*=(const mint_base &other) noexcept {a *= other.a;a %= mod;return *this;} constexpr mint_base & operator/=(const mint_base &other) noexcept {return *this *= ~other;} constexpr mint_base operator+()const noexcept { return *this; } constexpr mint_base operator-()const noexcept {return{ mod - a, mod_value_tag{} };} constexpr mint_base & operator++() noexcept {if (mod <= ++a) { a = 0; };return *this;} constexpr mint_base & operator--() noexcept {if (a <= 0) { a = mod; };--a;return *this;} constexpr mint_base operator++(int) noexcept {auto tmp = *this;++*this;return tmp;} constexpr mint_base operator--(int) noexcept {auto tmp = *this;--*this;return tmp;} constexpr mint_base operator~()const noexcept {return m_pow(*this, mod-2);} constexpr mint_base & operator=(const mint_base &other) noexcept {a=other.a;return *this;} constexpr explicit operator uint64_t()const noexcept {return a;} constexpr explicit operator int()const noexcept {return a;} constexpr explicit operator unsigned()const noexcept {return (unsigned)a;} static constexpr uint64_t getmod() noexcept {return mod;} constexpr mint_base(uint64_t a_) noexcept :a(a_ % mod) {} constexpr mint_base()noexcept : a(0) {} struct mod_value_tag {}; constexpr mint_base(uint64_t a_, mod_value_tag) :a(a_) {} private: uint64_t a; }; //mint_base型用の累乗関数 constexpr mint_base m_pow(mint_base x,uint64_t n)noexcept { mint_base res = 1; while(n>0){ if(n&1){res*=x;} x*=x; n>>=1; } return res; } //mint_baseの階乗計算 //0からxまでの階乗を返す //O(x)時間が必要 vector fla;//階乗が入る void fla_set(mint_base x) { fla.resize(((uint64_t)x)+1); fla[0] = 1; for (uint64_t i = 1; i <= (uint64_t)x;i++){fla[i]=fla[i-1]*i;} } vector gya;//~fla[i] が入る //O(x+log mod)で求める O(xlogmod)より速い void fla_gya_set(mint_base x) { fla_set(x); gya.resize(((uint64_t)x)+1); gya[(uint64_t)x]=~fla[(uint64_t)x]; for(uint64_t i =(uint64_t)x;i>0;i--){gya[i-1]=gya[i]*i;} } //mint_base型のstreamへの出力 std::ostream& operator<<(std::ostream& os, mint_base i) {os<<(uint64_t)i;return os;} //mint_base型のstreamからの入力 std::istream& operator >> (std::istream& is, mint_base& i) {uint64_t tmp;is>>tmp;i=tmp;return is;} llint n,m,X; vector>>ki; pairsolve(int t,int p){ mint_base ans=0; int ko=1; for(auto it:ki[t]){ if(it.fir==p){continue;} mint_base ka; int kk; tie(ka,kk)=solve(it.fir,t); ans+=ka;ko+=kk; ans+=m_pow(X,it.sec)*kk*(n-kk); } return mp(ans,ko); } int main(void){ cin>>n>>m>>X; int i; llint ans=0; ki.res(n); vectorgo(n); vectorran(n); for(i=0;i>x>>y>>z; x--;y--; int xx=x,yy=y; while(go[xx]!=xx){xx=go[xx];} while(go[yy]!=yy){yy=go[yy];} go[x]=xx;go[y]=yy; if(go[xx]==go[yy]){continue;} if(ran[xx]>ran[yy]){swap(xx,yy);} if(ran[xx]==ran[yy]){ran[xx]++;} go[xx]=yy; ki[x].pub(mp(y,z)); ki[y].pub(mp(x,z)); } cout<