#ifndef ONLINE_JUDGE #define _GLIBCXX_DEBUG #endif #include #include #define pass (void)0 #define INF (1<<30)-1 #define INFLL (1LL<<60)-1 using namespace std; using namespace atcoder; using mint = modint998244353; using ll = long long; int main() { int N, F; cin >> N >> F; vector A(N); vector B(N); vector C(N); for (int i=0; i> A[i]; for (int i=0; i> B[i]; for (int i=0; i> C[i]; bitset<900001> BIT; BIT.set(0, 1); for (int i=0; i