#include #include #include #include #include #include #include using namespace std; using namespace atcoder; using ll = long long; using mint = modint998244353; using vi = vector; using vvi = vector; using vvvi = vector; using vll = vector; using vvll = vector; using vvvll = vector; using vmi = vector; using vvmi = vector; using vvvmi = vector; #define all(a) (a).begin(), (a).end() #define rep2(i, m, n) for (int i = (m); i < (n); ++i) #define rep(i, n) rep2(i, 0, n) #define drep2(i, m, n) for (int i = (m)-1; i >= (n); --i) #define drep(i, n) drep2(i, n, 0) void solve(){ } int main(){ int n, f; cin >> n >> f; vvi v(3, vi(n)); rep(i, 3)rep(j, n)cin >> v[i][j]; bitset<900010> bs(0); rep(i, n){ if(i == 0){ rep(j, 3)bs.set(v[j][i]); }else{ bitset<900010> tmp = bs; rep(j, 3){ if(j == 0){ bs = bs << v[j][i]; }else{ tmp = tmp << v[j][i]; bs = bs | tmp; tmp = tmp >> v[j][i]; } } } cout << bs.count() << endl; } return 0; }