#include <bits/stdc++.h>
#include<atcoder/all>
using namespace atcoder;
using namespace std;
using ll=long long;
using ld=long double;
ld pie=3.141592653589793;
ll inf=9999999999999999;
ll mod=998244353;
int main(){
    ll n,m,w;
    cin >> n >> m >> w;
    vector<ll>a(n),b(n),c(m),d(m);
    for (ll i = 0; i < n; i++)
    {
        cin >> a[i];
    }
    for (ll i = 0; i < n; i++)
    {
        cin >> b[i];
    }
    for (ll i = 0; i < m; i++)
    {
        cin >> c[i];
    }
    for (ll i = 0; i < m; i++)
    {
        cin >> d[i];
    }
    vector<ll>two(10,1);
    ll ans=0;
    for (ll i = 1; i < 10; i++)
    {
        two[i]=two[i-1]*2;
    }
    for (ll i = 0; i < two[n]; i++)
    {
        for (ll j = 0; j < two[m]; j++)
        {
            ll x=0,y=0;
            for (ll k = 0; k < n; k++)
            {
                if (two[k]&i)
                {
                    x+=a[k];
                    y+=b[k];
                }
            }
            for (ll k = 0; k < m; k++)
            {
                if (two[k]&j)
                {
                    x-=c[k];
                    y-=d[k];
                }
            }
            if (x>w)
            {
                continue;
            }
            ans=max(ans,y);
        }
    }
    cout << ans << endl;
}