#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(40,1);
    for (ll i = 1; i < 30; i++)
    {
        two[i]=two[i-1]*2;
    }
    vector<vector<ll>>dp(two[n+m],vector<ll>(n+m,inf));
    for (ll i = 0; i < n; i++)
    {
        dp[two[i]][i]=a[i];
    }
    for (ll i = 0; i < two[n+m]; i++)
    {
        for (ll j = 0; j < n+m; j++)
        {
            if (dp[i][j]==inf||dp[i][j]<0)
            {
                continue;
            }
            for (ll k = 0; k < n+m; k++)
            {
                if (i&two[k])
                {
                    continue;
                }
                if (k>=n)
                {
                    dp[i+two[k]][k]=min(dp[i+two[k]][k],dp[i][j]-c[k-n]);
                }else{
                    dp[i+two[k]][k]=min(dp[i+two[k]][k],dp[i][j]+a[k]);
                }
            }
        }
    }
    ll ans=0;
    for (ll i = 0; i < two[n+m]; i++)
    {
        for (ll j = 0; j < n+m; j++)
        {
            if (dp[i][j]<=w&&dp[i][j]>=0)
            {
                ll x=0;
                for (ll k = 0; k < n+m; k++)
                {
                    if (two[k]&i)
                    {
                        if (k>=n)
                        {
                            x-=d[k-n];
                        }else{
                            x+=b[k];
                        }
                    }
                }
                ans=max(ans,x);
            }
        }
    }
    cout << ans << endl;
}