#include #include using namespace std; using namespace atcoder; using ll = long long; int main () { int N, F; cin >> N >> F; std::vector A(N), B(N), C(N); for (int& a : A) cin >> a; for (int& b : B) cin >> b; for (int& c : C) cin >> c; vector ans(F * N + 10, 0); ans[0] = 1; int cnt = 0; for (int i = 0; i < N; i ++) { int X[] = {A[i], B[i], C[i]}; sort(X, X + 3); int p = X[1] - X[0], q = X[2] - X[0]; for (int j = F * i; j >= 0; j --) { if (ans[j]) { cnt += (ans[j + p] == 0) + (ans[j + q] == 0); ans[j + p] = ans[j + q] = 1; } } cout << cnt << endl; } }