#include #include "atcoder/convolution" using namespace std; typedef long long ll; const int INF = 1<<30; const ll INFLL = 1LL<<60; const ll MOD = 998244353; const double INFD = 1.0E10; const int dx[4] = {1, 0, -1, 0}; const int dy[4] = {0, -1, 0, 1}; //const int dx[8] = {1, 1, 0, -1, -1, -1, 0, 1}; //const int dy[8] = {0, 1, 1, 1, 0, -1, -1, -1}; using Pair = pair; using Graph = vector>; //using mint = atcoder::modint1000000007;d int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(15); ll n, f; cin >> n >> f; vector a(n), b(n), c(n); for (int i = 0; i < n; i++) cin >> a[i]; for (int i = 0; i < n; i++) cin >> b[i]; for (int i = 0; i < n; i++) cin >> c[i]; vector ans(181); ans[0] = 1; for (int i = 0; i < n; i++){ vector vec(61); vec[a[i]]++; vec[b[i]]++; vec[c[i]]++; ans = atcoder::convolution_ll(ans, vec); int cnt = 0;; for (int i = 0; i <= 180; i++){ if (ans[i] > 0){ cnt++; ans[i] = 1; } } cout << cnt << '\n'; ans.resize(181); } return 0; }