#include using namespace std; // #include // using mint = atcoder::modint998244353; using ld = long double; #define fi first #define se second #define all(x) x.begin(), x.end() #define rep(i,n) for(int i=0;i<(int)(n);++i) #define chmax(a,b) a=max(a,b) #define chmin(a,b) a=min(a,b) #pragma GCC optimize("O3") int N,F; int A[15000],B[15000],C[15000]; bitset<900001> dp,np; int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); cin>>N>>F; rep(i,N)cin>>A[i]; rep(i,N)cin>>B[i]; rep(i,N)cin>>C[i]; dp[0]=1; rep(i,N){ np.reset(); np|=(dp<