#include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; const ll INF=1LL<<60; typedef pair P; typedef pair PP; const ll MOD=998244353; class NTT{ private: ll MOD; const ll root=3; ll add(const ll x, const ll y) { return (x + y < MOD) ? x + y : x + y - MOD; } ll sub(const ll x, const ll y) { return (x >= y) ? (x - y) : (MOD - y + x); } ll mul(const ll x, const ll y) { return x * y % MOD; } ll mod_pow(ll x, ll n) { ll res = 1; while(n > 0){ if(n & 1){ res = mul(res, x); } x = mul(x, x); n >>= 1; } return res; } ll inverse(const ll x) { return mod_pow(x, MOD - 2); } void ntt(vector& a, const bool rev = false){ unsigned int i, j, k, l, p, q, r, s; const unsigned int size = a.size(); if(size == 1) return; vector b(size); r = rev ? (MOD - 1 - (MOD - 1) / size) : (MOD - 1) / size; s = mod_pow(root, r); vector kp(size / 2 + 1, 1); for(i = 0; i < size / 2; ++i) kp[i + 1] = mul(kp[i], s); for(i = 1, l = size / 2; i < size; i <<= 1, l >>= 1){ for(j = 0, r = 0; j < l; ++j, r += i){ for(k = 0, s = kp[i * j]; k < i; ++k){ p = a[k + r], q = a[k + r + size / 2]; b[k + 2 * r] = add(p, q); b[k + 2 * r + i] = mul(sub(p, q), s); } } swap(a, b); } if(rev){ s = inverse(size); for(i = 0; i < size; i++){ a[i] = mul(a[i], s); } } } public: NTT(ll mod=998244353):MOD(mod){}; // //vector c = ntt(a,b)みたいにして使う vector operator()(const vector& a, const vector& b){ const int size = (int)a.size() + (int)b.size() - 1; ll t = 1; while(t < size){ t <<= 1; } vector A(t, 0), B(t, 0); for(int i = 0; i < (int)a.size(); i++){ A[i] = a[i]; } for(int i = 0; i < (int)b.size(); i++){ B[i] = b[i]; } ntt(A), ntt(B); for (int i = 0; i < t; i++){ A[i] = mul(A[i], B[i]); } ntt(A, true); A.resize(size); return A; } }; int main(){ ll N,M,X; cin>>N>>M>>X; vector input(N); vector> C(6,vector(N,0)); for(int i=0;i>input[i]; C[input[i]][i]=1; } vector A(M),B(M),Y(M); for(int j=0;j>A[j]>>B[j]>>Y[j]; A[j]--;//0-indexにしておく } vector> points(6,vector(N,0)); for(int j=0;j> res(6);//色iについての畳み込み結果がp[i] NTT ntt; for(int j=1;j<=5;j++){//各々の色について reverse(points[j].begin(),points[j].end()); res[j]=ntt(points[j],C[j]); } ll sz=2*N-1; ll ans=X*N; //for(int i=N-1;i<=res[1].size()-1;i++){ for(int i=N-1;i