#include #include #include using namespace atcoder; using mint = modint998244353; using namespace std; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf32 1000000000 #define Inf64 1000000000000000001LL int main(){ int n,f; cin>>n>>f; bitset<900005> dp; dp[0] = 1; vector a(n),b(n),c(n); rep(i,n)cin>>a[i]; rep(i,n)cin>>b[i]; rep(i,n)cin>>c[i]; rep(i,n){ dp = (dp<