#include #include #include #include namespace mp = boost::multiprecision; using Bint = mp::cpp_int; using namespace std; using namespace atcoder; #define rep(i, n) for(int i=0;i<(n);++i) #define rep1(i, n) for(int i=1;i<=(n);i++) #define ll long long using mint = modint998244353; using P = pair; using lb = long double; using T = tuple; #ifdef LOCAL # include # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast(0)) #endif int main() { int n, f; cin >> n >> f; 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]; bitset<1000000> dp; dp[0] = 1; rep(i,n) { vector T; T.push_back(a[i]); T.push_back(b[i]); T.push_back(c[i]); sort(T.begin(),T.end()); T.erase(unique(T.begin(),T.end()),T.end()); if(T.size()==2) dp|=dp<