#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b, int mod=M) {
int x = 1;
a %= mod;
while (b) {
if (b & 1) x = (x * a) % mod;
a = (a * a) % mod;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
vector<int> c;
vector<int> h;
vector<int> x;
vector<int> y;
int consistency(int n, int m){
vector<vector<int>> dp(n+1, vector<int>(m+1, -INF));
dp[0][0] = 0;
for(int i=1; i<=n; i++){
for(int j=0; j<=m; j++){
int xi = x[i-1];
int yi = y[i-1];
for(int k=xi; k<=yi; k++){
if(j-k*c[i-1] >= 0 && dp[i-1][j-k*c[i-1]] >= 0){
dp[i][j] = max(dp[i][j], dp[i-1][j-k*c[i-1]] + k*h[i-1]);
}
}
}
}
return dp[n][m];
}
int practice(int n){
return 0;
}
void solve() {
int n, m;
cin>> n >> m;
c.resize(n);
h.resize(n);
x.resize(n);
y.resize(n);
for(int i=0; i<n; i++) cin >> c[i];
for(int i=0; i<n; i++) cin >> h[i];
for(int i=0; i<n; i++) cin >> x[i];
for(int i=0; i<n; i++) cin >> y[i];
cout << consistency(n, m) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgoKCnZlY3RvcjxpbnQ+IGM7CnZlY3RvcjxpbnQ+IGg7CnZlY3RvcjxpbnQ+IHg7CnZlY3RvcjxpbnQ+IHk7CgppbnQgY29uc2lzdGVuY3koaW50IG4sIGludCBtKXsKCgl2ZWN0b3I8dmVjdG9yPGludD4+IGRwKG4rMSwgdmVjdG9yPGludD4obSsxLCAtSU5GKSk7CgkKCWRwWzBdWzBdID0gMDsKCQoJZm9yKGludCBpPTE7IGk8PW47IGkrKyl7CgkJZm9yKGludCBqPTA7IGo8PW07IGorKyl7CgkJCQoJCQlpbnQgeGkgPSB4W2ktMV07CgkJCWludCB5aSA9IHlbaS0xXTsKCQkJCgkJCWZvcihpbnQgaz14aTsgazw9eWk7IGsrKyl7CgkJCQlpZihqLWsqY1tpLTFdID49IDAgJiYgZHBbaS0xXVtqLWsqY1tpLTFdXSA+PSAwKXsKCQkJCQlkcFtpXVtqXSA9IG1heChkcFtpXVtqXSwgZHBbaS0xXVtqLWsqY1tpLTFdXSArIGsqaFtpLTFdKTsKCQkJCX0KCQkJfQoJCX0KCX0KCQoJcmV0dXJuIGRwW25dW21dOwp9CgoKCgoKCgoKCgoKCgoKCmludCBwcmFjdGljZShpbnQgbil7CgoKICAgIHJldHVybiAwOwp9CgoKCgoKdm9pZCBzb2x2ZSgpIHsKICAgIAogICAgaW50IG4sIG07CiAgICBjaW4+PiBuID4+IG07CiAgICAKICAgIGMucmVzaXplKG4pOwogICAgaC5yZXNpemUobik7CiAgICB4LnJlc2l6ZShuKTsKICAgIHkucmVzaXplKG4pOwogICAgZm9yKGludCBpPTA7IGk8bjsgaSsrKSBjaW4gPj4gY1tpXTsKICAgIGZvcihpbnQgaT0wOyBpPG47IGkrKykgY2luID4+IGhbaV07CiAgICBmb3IoaW50IGk9MDsgaTxuOyBpKyspIGNpbiA+PiB4W2ldOwogICAgZm9yKGludCBpPTA7IGk8bjsgaSsrKSBjaW4gPj4geVtpXTsKICAgIAogICAgY291dCA8PCBjb25zaXN0ZW5jeShuLCBtKSA8PCBlbmRsOwoKCn0KCgoKCgppbnQzMl90IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICBpbnQgdCA9IDE7CiAgICAvLyBjaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pIHsKICAgICAgICBzb2x2ZSgpOwogICAgfQoKICAgIHJldHVybiAwOwp9