#include #include #define rep(i,b) for(int i=0;i=0;i--) #define rep1(i,b) for(int i=1;i=x;i--) #define fore(i,a) for(auto& i:a) #define rng(x) (x).begin(), (x).end() #define rrng(x) (x).rbegin(), (x).rend() #define sz(x) ((int)(x).size()) #define pb push_back #define fi first #define se second #define pcnt __builtin_popcountll using namespace std; using namespace atcoder; using ll = long long; using ld = long double; template using mpq = priority_queue, greater>; template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (b ll sumv(const vector&a){ll res(0);for(auto&&x:a)res+=x;return res;} bool yn(bool a) { if(a) {cout << "Yes" << endl; return true;} else {cout << "No" << endl; return false;}} #define dame { cout << "No" << endl; return;} #define dame1 { cout << -1 << endl; return;} #define cout2(x,y) cout << x << " " << y << endl; #define coutp(p) cout << p.fi << " " << p.se << endl; #define out cout << ans << endl; #define outd cout << fixed << setprecision(20) << ans << endl; #define outm cout << ans.val() << endl; #define outv fore(yans , ans) cout << yans << "\n"; #define outdv fore(yans , ans) cout << yans.val() << "\n"; #define coutv(v) {fore(vy , v) {cout << vy << " ";} cout << endl;} #define coutv2(v) fore(vy , v) cout << vy << "\n"; #define coutvm(v) {fore(vy , v) {cout << vy.val() << " ";} cout << endl;} #define coutvm2(v) fore(vy , v) cout << vy.val() << "\n"; using pll = pair;using pil = pair;using pli = pair;using pii = pair;using pdd = pair; using vi = vector;using vd = vector;using vl = vector;using vs = vector;using vb = vector; using vpii = vector;using vpli = vector;using vpll = vector;using vpil = vector; using vvi = vector>;using vvl = vector>;using vvs = vector>;using vvb = vector>; using vvpii = vector>;using vvpli = vector>;using vvpll = vector;using vvpil = vector; using mint = modint998244353; //using mint = modint1000000007; //using mint = dynamic_modint<0>; using vm = vector; using vvm = vector>; vector dx={1,0,-1,0,1,1,-1,-1},dy={0,1,0,-1,1,-1,1,-1}; ll gcd(ll a, ll b) { return a?gcd(b%a,a):b;} ll lcm(ll a, ll b) { return a/gcd(a,b)*b;} #define yes {cout <<"Yes"< fact, ifact; combination(int n):fact(n+1),ifact(n+1) { fact[0] = 1; for (int i = 1; i <= n; ++i) fact[i] = fact[i-1]*i; ifact[n] = fact[n].inv(); for (int i = n; i >= 1; --i) ifact[i-1] = ifact[i]*i; } mint operator()(int n, int k) { if (k < 0 || k > n) return 0; return fact[n]*ifact[k]*ifact[n-k]; } } com(10000005); void solve(){ int n,m; cin>>n>>m; // vi l(n); vi cnt(n),a(n); rep(i,n) cin>>a[i]; rep(i,n) cnt[a[i]]++; mint ans = 1; int res = n; int now = 0; int kind = 0; int r=n; bool ok = true; int ok3 = 0; while(r--){ if (cnt[r]==0) continue; res -= cnt[r]; if (cnt[r]%2==1){ if (res+now==r){ break; }else{ ok = false; break; } }else{ if (res+now+cnt[r]/2==r){ kind += 2; ans *= com(cnt[r],cnt[r]/2); }else{ if (res+now==r){ break; }else{ ok = false; break; } } } now += cnt[r]/2; } rep(i,now) if (cnt[i]>0) ok = false; rep(i,n-now) cnt[i] = cnt[i+now]; n -= now*2; r -= now; if (!ok){ cout << 0 << endl; return; } res = n; now = 0; rrep(i,r+1){ if (cnt[i]==0) continue; ok3++; kind++; res -= cnt[i]; if (now>res || i>res){ res += cnt[i]; kind--; ok3--; int r = res; int l = now+res; rrep(j,i+1){ if (cnt[j]==0) continue; kind++; ok3++; if (j==l-cnt[j]){ l -= cnt[j]; }else if(j==r-cnt[j]){ r -= cnt[j]; }else{ ok = false; } // if (now!=j) ok = false; // now += cnt[j]; } break; }else{ if (res!=i) ok = false; } now += cnt[i]; } if (!ok){ ans = 0; } ans *= com(m,kind); if (ok3>=2) ans *= 2; outm; return; } int main(){ ios::sync_with_stdio(false); cin.tie(0); int t = 1; cin>>t; rep(i,t){ solve(); } return 0; }