#include using namespace std; using ll=long long; using ull=unsigned long long; using P=pair; templateusing minque=priority_queue,greater>; templatebool chmax(T &a,const T &b){return (abool chmin(T &a,const T &b){return (a>b?(a=b,true):false);} templateistream &operator>>(istream &is,pair&p){is>>p.first>>p.second;return is;} templateistream &operator>>(istream &is,tuple&a){is>>std::get<0>(a)>>std::get<1>(a)>>std::get<2>(a);return is;} templateistream &operator>>(istream &is,array&a){for(auto&i:a)is>>i;return is;} templateistream &operator>>(istream &is,vector &a){for(auto &i:a)is>>i;return is;} templatevoid operator++(pair&a,int n){a.first++,a.second++;} templatevoid operator--(pair&a,int n){a.first--,a.second--;} templatevoid operator++(vector&a,int n){for(auto &i:a)i++;} templatevoid operator--(vector&a,int n){for(auto &i:a)i--;} #define overload3(_1,_2,_3,name,...) name #define rep1(i,n) for(int i=0;i<(int)(n);i++) #define rep2(i,l,r) for(int i=(int)(l);i<(int)(r);i++) #define rep(...) overload3(__VA_ARGS__,rep2,rep1)(__VA_ARGS__) #define reps(i,l,r) rep2(i,l,r) #define all(x) x.begin(),x.end() #define pcnt(x) __builtin_popcountll(x) #define fin(x) return cout<<(x)<<'\n',static_cast(0) #define yn(x) cout<<((x)?"Yes\n":"No\n") #define uniq(x) sort(all(x)),x.erase(unique(all(x)),x.end()) template inline int fkey(vector&z,T key){return lower_bound(z.begin(),z.end(),key)-z.begin();} ll myceil(ll a,ll b){return (a+b-1)/b;} template auto vec(const int (&d)[n],const T &init=T()){ if constexpr (id(d,init)); else return init; } #ifdef LOCAL #include #define SWITCH(a,b) (a) #else #define debug(...) static_cast(0) #define debugg(...) static_cast(0) #define SWITCH(a,b) (b) templateostream &operator<<(ostream &os,const pair&p){os<>testcase; for(int i=0;i constexpr bool isprime_constexpr(unsigned long long n){ if(n==998244353)return true; if(n==1000000007)return true; if(n<64)return 2891462833508853932ll>>n&1; if(n%2==0)return false; unsigned long long d=n-1; int s=0; while(!(d&1))d>>=1,s++; int q=63; while(!(d>>q))q--; unsigned long long r=n; for(int i=0;i<5;i++)r*=2-r*n; auto redc=[&r,&n](__uint128_t x)->unsigned long long { x=(x+__uint128_t((unsigned long long)x*-r)*n)>>64; return x>=n?x-n:x; }; __uint128_t r2=-__uint128_t(n)%n; unsigned long long one=redc(r2); for(unsigned long long base:{2,325,9375,28178,450775,9780504,1795265022}){ if(base%n==0)continue; unsigned long long a=base=redc((base%n)*r2); for(int i=q-1;i>=0;i--){ a=redc(__uint128_t(a)*a); if(d>>i&1)a=redc(__uint128_t(a)*base); } if(a==one)continue; for(int i=1;a!=n-one;i++){ if(i>=s)return false; a=redc(__uint128_t(a)*a); } } return true; } constexpr int factorize_constexpr(unsigned long long n,unsigned long long*a){ if(n<=1)return 0; int ptr=0; while(n%2==0){ a[ptr++]=2; n/=2; } while(n>1){ if(isprime_constexpr(n)){ a[ptr++]=n; break; } unsigned long long pf=n; unsigned long long x=0,y=0; int c=1; do{ x=((__uint128_t)x*x+c)%pf; y=((__uint128_t)y*y+c)%pf; y=((__uint128_t)y*y+c)%pf; unsigned long long g=std::gcd(x>y?x-y:y-x,pf); if(g==pf){ c++; x=y=0; continue; } if(g>1)pf=g; }while(!isprime_constexpr(pf)); while(n%pf==0){ a[ptr++]=pf; n/=pf; } } return ptr; } #include template constexpr std::enable_if_t<(std::numeric_limits::digits<=32),T>pow_mod(T a,T n,T mod){ using u64=unsigned long long; u64 res=1; while(n>0){ if(n&1)res=((u64)res*a)%mod; a=((u64)a*a)%mod; n>>=1; } return T(res); } template constexpr std::enable_if_t<(std::numeric_limits::digits>32),T>pow_mod(T a,T n,T mod){ using u128=__uint128_t; u128 res=1; while(n>0){ if(n&1)res=((u128)res*a)%mod; a=((u128)a*a)%mod; n>>=1; } return T(res); } namespace Random{ constexpr unsigned long long to_seed(const char*s){ unsigned long long h=14695981039346656037ULL; while(*s){ h^=static_cast(*s++); h*=1099511628211ULL; } return h; } constexpr unsigned long long constexpr_random_seed=(to_seed(__TIME__)*0x9e3779b97f4a7c15ULL)^to_seed(__DATE__); constexpr unsigned long long next_value(unsigned long long n){ n^=n<<13; n^=n>>7; n^=n<<17; return n; } } constexpr unsigned long long primitive_root_constexpr(unsigned long long x){ if(!isprime_constexpr(x))throw "not prime"; if(x==167772161)return 3; if(x==469762049)return 3; if(x==754974721)return 11; if(x==880803841)return 26; if(x==998244353)return 3; if(x==2)return 1; unsigned long long a[64]={}; int ptr=factorize_constexpr(x-1,a); for(unsigned long long v=Random::constexpr_random_seed;;){ unsigned long long g=v%(x-1)+1; bool ok=true; for(int i=0;i0&&a[i-1]==a[i])continue; if(pow_mod(g,(x-1)/a[i],x)==1){ ok=false; break; } } if(ok)return g; v=Random::next_value(v); } } #include template constexpr std::enable_if_t::digits<=32,int>msb(T n){return n==0?-1:31-__builtin_clz(n);} template constexpr std::enable_if_t<(std::numeric_limits::digits>32),int>msb(T n){return n==0?-1:63-__builtin_clzll(n);} template constexpr std::enable_if_t::digits<=32,int>lsb(T n){return n==0?-1:__builtin_ctz(n);} template constexpr std::enable_if_t<(std::numeric_limits::digits>32),int>lsb(T n){return n==0?-1:__builtin_ctzll(n);} template constexpr std::enable_if_t,T>floor_pow2(T n){return n==0?0:T(1)< constexpr std::enable_if_t,T>ceil_pow2(T n){return n<=1?1:T(1)<<(msb(n-1)+1);} template constexpr T safe_div(T a,T b){return a/b-(a%b&&(a^b)<0);} template constexpr T safe_ceil(T a,T b){return a/b+(a%b&&(a^b)>0);} template struct ntt_root{ static_assert(1<=m&&m<(1ull<<63)); static_assert(isprime_constexpr(m)); using value_type=std::conditional_t<((m>>31)==0),uint32_t,uint64_t>; using mul_type=std::conditional_t<((m>>31)==0),uint64_t,__uint128_t>; static constexpr int rank2=lsb(m-1); static constexpr value_type g=primitive_root_constexpr(m); std::arrayroot,invroot; std::arrayrate2,invrate2; std::arrayrate3,invrate3; constexpr ntt_root(){ root[rank2]=pow_mod(g,m>>rank2,m); invroot[rank2]=pow_mod(root[rank2],m-2,m); for(int i=rank2-1;i>=0;i--){ root[i]=(mul_type)root[i+1]*root[i+1]%m; invroot[i]=(mul_type)invroot[i+1]*invroot[i+1]%m; } value_type prod=1,invprod=1; for(int i=0;i void dft(std::vector&a){ using value_type=typename T::value_type; using mul_type=typename T::mul_type; #ifdef NTT_SIMD if constexpr(std::numeric_limits::digits<=32){ if((int)a.size()>=32){ dft_simd(a); return; } } #endif static constexpr ntt_rootr; static constexpr mul_type mod2=(mul_type)T::mod()*T::mod(); int n=a.size(); int h=lsb(n); int len=0; while(len void idft(std::vector&a){ using value_type=typename T::value_type; using mul_type=typename T::mul_type; #ifdef NTT_SIMD if constexpr(std::numeric_limits::digits<=32){ if((int)a.size()>=32){ idft_simd(a); return; } } #endif static constexpr ntt_rootr; int n=a.size(); int h=lsb(n); int len=h; while(len){ if(len==1){ int p=1<<(h-1); for(int i=0;i std::vectorntt_convolution(std::vector a,std::vector b){ int n=a.size(),m=b.size(),s=n+m-1; if(std::min(n,m)<60){ if(n==0||m==0)return {}; std::vectorret(s,0); if(nc(z); for(int i=0;i std::vector fps_inv(const std::vector &a,int deg=-1){ int n=a.size(); if(deg==-1)deg=n; const T zero=T::raw(0); assert(a[0]!=zero); std::vector ret(ceil_pow2(deg)); ret[0]=a[0].inv(); for(int m=1;m f(a.begin(),a.begin()+std::min(n,m*2)); if(f.size() g(ret); f.resize(m*2); dft(f); g.resize(m*2); dft(g); for(int i=0;i std::vectorpower_projection(const std::vector&f,const std::vector&g,int m){ assert(f.size()==g.size()); const int n=ceil_pow2(f.size()); std::vectorp(n*4),q(n*4); std::vectorprep(n*4),preq(n*4); T invn4=T(n*4).inv(); for(int i=0;i<(int)f.size();i++)p[i+n-f.size()]=g[i],q[i]=-f[i]; for(int x=n,y=1;x>1;x>>=1,y<<=1){ std::copy(p.begin(),p.begin()+n*2,prep.begin()); std::copy(q.begin(),q.begin()+n*2,preq.begin()); dft(p),dft(q); for(int i=0;i void transposed_dft(std::vector&a){ using value_type=typename T::value_type; using mul_type=typename T::mul_type; #ifdef NTT_SIMD if constexpr(std::numeric_limits::digits<=32){ if((int)a.size()>=32){ transposed_dft_simd(a); return; } } #endif static constexpr ntt_rootr; int n=a.size(); int h=lsb(n); int len=h; while(len){ if(len==1){ int p=1<<(h-1); for(int i=0;i void transposed_idft(std::vector&a){ using value_type=typename T::value_type; using mul_type=typename T::mul_type; #ifdef NTT_SIMD if constexpr(std::numeric_limits::digits<=32){ if((int)a.size()>=32){ transposed_idft_simd(a); return; } } #endif static constexpr ntt_rootr; static constexpr mul_type mod2=(mul_type)T::mod()*T::mod(); int n=a.size(); int h=lsb(n); int len=0; while(len std::vectortransposed_ntt_convolution(std::vectora,std::vectorb){ assert(a.size()>=b.size()); int n=a.size(),m=b.size(); int s=ceil_pow2(n); T inv=T(s).inv(); for(int i=0;i void ntt_doubling(std::vector&a){ static constexpr ntt_rootr; int n=a.size()/2; std::vectorb(a.begin(),a.begin()+n); idft(b); T now=T::raw(n).inv(),zeta=T::raw(r.root[msb(n)+1]); for(int i=0;i void transposed_ntt_doubling(std::vector&a){ static constexpr ntt_rootr; int n=a.size()/2; std::vectorb(a.begin(),a.begin()+n); a=std::vector(a.begin()+n,a.end()); transposed_dft(a); T now=T::raw(n).inv(),zeta=T::raw(r.root[msb(n)+1]); for(int i=0;i template std::vector fps_exp(const std::vector&a,int deg=-1){ assert(a.empty()||a[0]==0); int n=a.size(); if(deg==-1)deg=n; std::vectorinv(ceil_pow2(deg)); inv[0]=0,inv[1]=1; for(int i=2;ib{1,1y(b); y.resize(m*2); dft(y); f1=f2; std::vectorz(m); for(int i=0;ix(m); std::copy(a.begin(),a.begin()+std::min(n,m),x.begin()); for(int i=0;i=1;i--)x[i]=x[i-1]*inv[i]; x[0]=T(); for(int i=m;i std::vector fps_diff(const std::vector&a){ int n=a.size(); std::vectorb(std::max(0,n-1)); for(int i=1;i std::vector fps_integral(const std::vector&a){ int n=a.size(); std::vectorb(n+1); b[0]=0; if(n)b[1]=1; for(int i=2;i<=n;i++)b[i]=-b[T::mod()%i]*(T::mod()/i); for(int i=0;i std::vector fps_log(const std::vector&a,int deg=-1){ int n=a.size(); if(deg==-1)deg=n; std::vectorb=fps_integral(ntt_convolution(fps_diff(a),fps_inv(a,deg))); return {b.begin(),b.begin()+deg}; } template std::vector fps_pow(std::vector a,unsigned long long k,int deg=-1){ int n=a.size(); if(deg==-1)deg=n; if(k==0){ std::vectorret(deg,0); ret[0]=1; return ret; } int of=0; while(a[of]==0&&of!=n)of++; if(of==n)return std::vector(deg,0); if(of!=0&&k>=deg)return std::vector(deg,0); if(of*k>=deg)return std::vector(deg,0); a.erase(a.begin(),a.begin()+of); n=a.size(); T a0=a[0]; T inv=a[0].inv(); for(int i=0;ilg=fps_log(a,deg); T tk=T(k); for(int i=0;iep=fps_exp(lg,deg); T pw=a0.pow(k); for(int i=0;iret(deg,0); for(int i=of*k;i std::vectorfps_divmod(std::vectorf,std::vectorg){ if(f.empty())return f; int n=f.size(),m=g.size(); std::vectorr(f); std::reverse(f.begin(),f.end()),std::reverse(g.begin(),g.end()); std::vectorq=ntt_convolution(f,fps_inv(g,n)); q.resize(std::max(0,n-m+1)); auto p=ntt_convolution(g,q); std::reverse(p.begin(),p.end()); for(int i=0;i(p.size(),m);i++)r[i]-=p[i]; r.resize(m-1); while(!r.empty()&&r.back().val()==0)r.pop_back(); return r; } template std::optional>fps_sqrt(std::vectorf,int deg=-1){ if(deg==-1)deg=f.size(); int prefix_zero=0; while(prefix_zero(deg,0)); if(prefix_zero&1)return std::nullopt; f.erase(f.begin(),f.begin()+prefix_zero); prefix_zero/=2; auto opt_sq=f[0].sqrt(); if(!opt_sq)return std::nullopt; T sq=*opt_sq; T inv0=f[0].inv(); for(int i=0;ig{1}; T inv2=T::raw(2).inv(); while(g.size()fp(f.begin(),f.begin()+std::min(f.size(),g.size()*2)); fp=ntt_convolution(fp,fps_inv(g,g.size()*2)); std::vectornxtg(g); nxtg.resize(g.size()*2); for(int i=0;i std::vectormultipoint_evaluation(std::vectorf,const std::vector&x){ int n=ceil_pow2((int)x.size()),log2n=msb(n); std::vector>f2(log2n+1,std::vector(n*2)); for(int i=0;il(b*2),r(b*2); for(int j=0;jg(f2[log2n].begin(),f2[log2n].begin()+n); idft(g); { T inv=T::raw(g.size()).inv(); for(int i=0;i=0;i--){ std::vectornxtf(n); int b=1<l(b*2),r(b*2); for(int k=0;kext_gcd(long long a,long long b){ if(b==0)return std::make_pair(1,0); auto [x,y]=ext_gcd(b,a%b); std::swap(x,y); return std::make_pair(x,y-a/b*x); } template constexpr std::pair inv_mod(T a,T b){ a%=b; if(a<0)a+=b; if(a==0)return std::make_pair(b,0); T s=b,t=a; T m0=0,m1=1; while(t){ T u=s/t; s-=t*u; m0-=m1*u; std::swap(s,t); std::swap(m0,m1); } if(m0<0)m0+=b/s; return std::make_pair(s,m0); } template struct modint{ static_assert(1<=m&&m<(1ull<<63)); using value_type=std::conditional_t<((m>>31)==0),uint32_t,uint64_t>; using mul_type=std::conditional_t<((m>>31)==0),uint64_t,__uint128_t>; private: value_type v; static constexpr value_type umod=m; constexpr modint sqrt_impl()const{ if(this->val()<=1)return *this; if(umod%8==1){ modint b=2; while(b.pow((umod-1)/2).val()==1)b++; value_type m2=umod-1; int e=0; while(m2%2==0)m2>>=1,e++; modint x=this->pow((m2-1)/2); modint y=(*this)*x*x; x*=*this; modint z=b.pow(m2); while(y.val()!=1){ int j=0; modint t=y; while(t.val()!=1)t*=t,j++; z=z.pow((value_type(1))<<(e-j-1)); x*=z; z*=z; y*=z; e=j; } return x; } else if(umod%8==5){ modint res=this->pow((umod+3)/8); if((res*res).val()==this->val())return res; else return res*modint(2).pow((umod-1)/4); } else return this->pow((umod+1)/4); } template||std::is_same_v,std::nullptr_t> =nullptr> static constexpr value_type take_mod(U x){ if constexpr(std::numeric_limits::max()>61)+(x&umod); if(res>=umod)res-=umod; return res; } if constexpr(umod==(1ull<<61)-(1ull<<24)+1){ static constexpr value_type mask=(1ull<<61)-1; value_type high=x>>61,low=x&mask; mul_type t=low+(mul_type(high)<<24)-high; high=t>>61,low=t&mask; low=low+(mul_type(high)<<24)-high; if(low>=umod)low-=umod; return low; } return x%umod; } public: constexpr modint():v(0){} template||std::is_same_v,std::nullptr_t> =nullptr> constexpr modint(U x){ x%=std::make_signed_t(umod); v=x>=0?x:x+umod; } template||std::is_same_v,std::nullptr_t> =nullptr> constexpr modint(U x):v(take_mod(x)){} static constexpr value_type mod(){return umod;} template static constexpr modint raw(U x){ modint res; res.v=x; return res; } constexpr std::make_signed_t val()const{return v;} constexpr modint &operator+=(const modint&b){ this->v+=b.v; if(this->v>=umod)this->v-=umod; return *this; } constexpr modint &operator-=(const modint&b){ this->v-=b.v; if(this->v>=umod)this->v+=umod; return *this; } constexpr modint &operator*=(const modint&b){ this->v=take_mod(mul_type(this->v)*mul_type(b.v)); return *this; } constexpr modint &operator/=(const modint&b){return *this*=b.inv();} constexpr modint operator+()const{return *this;} constexpr modint operator-()const{return modint()-*this;} friend constexpr modint operator+(const modint&a,const modint&b){return modint(a)+=b;} friend constexpr modint operator-(const modint&a,const modint&b){return modint(a)-=b;} friend constexpr modint operator*(const modint&a,const modint&b){return modint(a)*=b;} friend constexpr modint operator/(const modint&a,const modint&b){return modint(a)/=b;} constexpr auto operator<=>(const modint&)const=default; constexpr modint operator++(int){ modint res=*this; this->v++; if(this->v==umod)this->v=0; return res; } constexpr modint operator--(int){ modint res=*this; if(this->v==0)this->v=umod; this->v--; return res; } template constexpr modint pow(U k)const{ if constexpr(std::is_signed_v){ assert(0<=k); } modint res=1,a(*this); while(k){ if(k&1)res*=a; a*=a; k>>=1; } return res; } constexpr modint inv()const{ if constexpr(isprime_constexpr(umod)){ if(std::is_constant_evaluated()){ if(v==0){ throw "no inverse"; } } else assert(v!=0); return pow(umod-2); } else{ modint res; auto [g,x]=inv_mod>(this->v,umod); if(std::is_constant_evaluated()){ if(g!=1){ throw "no inverse"; } } else assert(g==1); res.v=x; return res; } } std::optionalsqrt()const{ if(this->val()<=1||this->pow((umod-1)/2)==1)return std::make_optional(this->sqrt_impl()); else return std::nullopt; } friend std::istream &operator>>(std::istream&is,modint&b){ long long a; is>>a; b=modint(a); return is; } friend std::ostream &operator<<(std::ostream&os,const modint&b){ os< struct std::hash>{ std::size_t operator()(modintx)const{ return std::hash::value_type>(x.val()); } }; using mint998=modint<998244353>; using mint107=modint<1000000007>; using mint61=modint<2305843009213693951>; using mint6124=modint<2305843009196916737>; using mint=mint998; void SOLVE(){ int n,m; cin>>n>>m; vectorf(n),g(n),h(n); cin>>f>>g>>h; vectorone(n); one[0]=1; auto g2=power_projection(g,one,n); debug(g2); rep(i,n)g2[i]*=h[i]; vectorx(m); rep(i,m)x[i]=f[1].pow(i); auto ans=multipoint_evaluation(g2,x); rep(i,m)cout<