#include<bits/stdc++.h> #include<atcoder/modint> #include<atcoder/convolution> using namespace std; using lint = long long; #define rep(i,n) for(lint i=0;i<(n);++i) using mint=atcoder::static_modint<998244353>; int main(){ lint n,m; cin>>n>>m; vector<lint>a(n),b(n); rep(i,n)cin>>a[i]; rep(i,n)cin>>b[i]; vector<vector<mint>>v(m*2+1); rep(i,2*m+1)v[i].resize(601,1); vector<mint>table(1000,1),inv(1000); rep(i,1000)table[i+1]=table[i]*(i+1); inv[999]=table[999].inv(); for(lint i=998;i>=0;--i)inv[i]=inv[i+1]*(i+1); auto comb=[&](auto a,auto b){ return table[a]*inv[b]*inv[a-b]; }; rep(i,n){ rep(k,601){ if(300-a[i]<=k&&k<=300+b[i]){ const lint j=k-300+a[i]; v[i%m+m][k]*=comb(a[i]+b[i],j); }else{ v[i%m+m][k]=0; } } // rep(j,a[i]+b[i]+1){ // const lint k=300-a[i]+j; // v[i%m+m][k]*=comb(a[i]+b[i],j); // // if(j<a[i])v[i%(m)+(m)][k]=j+1; // // else if(j<b[i])v[i%(m)+(m)][k]=comb(a[i]); // // else v[i%(m)+(m)][k]=a[i]+b[i]-j+1; // } } for(lint i=m-1;i>=1;--i){ v[i]=atcoder::convolution(v[i*2],v[i*2+1]); } cout<<v[1][300*m].val()<<endl; }