#include <cstdio>
int v, c;
template <class T> T read(T& x) {
	x = 0; v = 1; c = getchar();
	for (; c < '0' || c > '9'; c = getchar()) if (c == '-') v = -1;
	for (; c >= '0' && c <= '9'; c = getchar()) x = (x << 3) + (x << 1) + (c ^ 48);
	return x *= v;
}
template <class T> inline T max(T x, T y) {return x > y ? x : y;}
const int N = 25, S = 32800;
int n, ans, r1[N], r2[N], a1[N], a2[N], a3[N];
int sta, s, d1[S], d2[S], d3[S];
bool back(int x, int y) {
	if (d1[x] >= r1[y]) {
		if (d2[x] + d3[x] >= r2[y]) return 0;
		else return 1;
	}
	if (d2[x] >= r2[y]) {
		if (d1[x] + d3[x] >= r1[y]) return 0;
		else return 1;
	}
	if (d1[x] + d2[x] + d3[x] >= r1[y] + r2[y]) return 0;
	else return 1;
}
int main() {
	freopen("asm_grenade.in", "r", stdin);
	freopen("asm_grenade.out", "w", stdout);
	read(n);
	for (int i = 1; i <= n; ++i) read(r1[i]);
	for (int i = 1; i <= n; ++i) read(r2[i]);
	for (int i = 1; i <= n; ++i) read(a1[i]);
	for (int i = 1; i <= n; ++i) read(a2[i]);
	for (int i = 1; i <= n; ++i) read(a3[i]);
	read(d1[0]); read(d2[0]); read(d3[0]);
	sta = (1 << n) - 1;
	for (int i = 0; i <= sta; ++i) {
		for (int j = 1; j <= n; ++j) {
			if (i & (1 << (j - 1))) continue;
			s = i | (1 << (j - 1));
			if (back(i, j)) continue;
			d1[s] = d1[i] - r1[j];
			d2[s] = d2[i] - r2[j];
			d3[s] = d3[i];
			if (d1[s] < 0) {
				d3[s] += d1[s]; d1[s] = 0;
			}
			if (d2[s] < 0) {
				d3[s] += d2[s]; d2[s] = 0;
			}
			d1[s] += a1[j];
			d2[s] += a2[j];
			d3[s] += a3[j];
		}
	}
	for (int i = 0; i <= sta; ++i) {
		ans = max(ans, d1[i] + d2[i] + d3[i]);
	}
	printf("%d\n", ans);
	return 0;
}