#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){ vector t = {a[i],b[i],c[i]}; sort(t.begin(),t.end()); b[i] = t[1]-t[0],c[i] = t[2]-t[0]; dp |= (dp<