#include "bits/stdc++.h" using namespace std; #define all(x) begin(x),end(x) template ostream& operator<<(ostream &os, const pair &p) { return os << '(' << p.first << ", " << p.second << ')'; } template::value, typename T_container::value_type>::type> ostream& operator<<(ostream &os, const T_container &v) { string sep; for (const T &x : v) os << sep << x, sep = " "; return os; } #define debug(a) cerr << "(" << #a << ": " << a << ")\n"; typedef long long ll; typedef vector vi; typedef vector vvi; typedef pair pi; const int mxN = 1<<19, oo = 1e9; const long long MD = 998244353; template struct mdint { int d=0; mdint () {d=0;} mdint (long long _d) : d(_d%MOD){ if(d<0) d+=MOD; }; friend mdint& operator+=(mdint& a, const mdint& o) { a.d+=o.d; if(a.d>=MOD) a.d-=MOD; return a; } friend mdint& operator-=(mdint& a, const mdint& o) { a.d-=o.d; if(a.d<0) a.d+=MOD; return a; } friend mdint& operator*=(mdint& a, const mdint& o) { return a = mdint((ll)a.d*o.d); } mdint operator*(const mdint& o) const { mdint res = *this; res*=o; return res; } mdint operator+(const mdint& o) const { mdint res = *this; res+=o; return res; } mdint operator-(const mdint& o) const { mdint res = *this; res-=o; return res; } mdint operator^(long long b) const { mdint tmp = 1; mdint power = *this; while(b) { if(b&1) { tmp = tmp*power; } power = power*power; b/=2; } return tmp; } friend mdint operator/=(mdint& a, const mdint& o) { a *= (o^(MOD-2)); return a; } mdint operator/(const mdint& o) { mdint res = *this; res/=o; return res; } bool operator==(const mdint& o) { return d==o.d;} bool operator!=(const mdint& o) { return d!=o.d;} friend istream& operator>>(istream& c, mdint& a) {return c >> a.d;} friend ostream& operator<<(ostream& c, const mdint& a) {return c << a.d;} }; using mint = mdint; typedef mint cd; void revperm(cd* in, int n) { for(int i=0,j=0;i> 1; (j ^= k) < k; k >>= 1); } } cd w[mxN+1]; // stores w^j for each j in [0,n-1] void precomp() { w[0] = 1; int pw = (MD-1)/mxN; w[1] = mint(3)^pw; for(int i= 2;i<=mxN;++i) { w[i] = w[i-1]*w[1]; } } void fft(cd* in, int n, bool reverse=false) { int lg = __lg(n); assert(1<>s); for(int j=0;j polymul(vector& a, vector& b) { int n = a.size(), m = b.size(), ptwo = 1; while(ptwo<(n+m)) ptwo*=2; a.resize(ptwo), b.resize(ptwo); fft(a.data(),ptwo); fft(b.data(),ptwo); for(int i=0;ia or a<0 or b<0) return 0; return ifact[b]*ifact[a-b]; } void precomp2() { fact[0]=1; for(int i=1;i=0;--i) { ifact[i]=ifact[i+1]*(i+1); } } int main() { precomp(); precomp2(); // ok need to choose subsets but only of unique // first choose number of days? // then choose how to do it? // you choose a subset of exactly so many // but empty is not allowed. // do it just with empties. // then choose which days to empty int n,m; cin >> m >> n; map cnt; for(int i=0;i> a; cnt[a]++; } // only sqrt items. // have to subtract those with ncr factors in front. // and one of those is just binomial coefs multiplied. vector aa(n+1),bb(n+1); map cntcnt; for(auto [j,c] : cnt) cntcnt[c]++; for(int i=1;i<=n;++i) { aa[i]=fact[i]^cnt.size(); for(auto [j,c] : cntcnt) { if(aa[i]==0) break; aa[i]*=ncr(i,j)^c; } aa[i]*=ifact[i]; } mint pw=1; for(int i=0;i<=n;++i) { // /i! bb[i] = ifact[i]*pw; pw*=MD-1; } auto cc = polymul(aa,bb); mint ans=0; for(int i=1;i<=n;++i) { cc[i]*=fact[i]; ans+=cc[i]; } for(auto [j,c] : cnt) ans*=fact[c]; cout << ans << '\n'; }