/*
dp[i][j][k]表示 已經選i個，本次選到了第j個，小紅滿意度k時，小明最大收益*
*/
#include<cstdio>
#include<algorithm>
using std::max;
using std::min;
const int maxn=107;
inline int read() {
    int x=0,f=1;
    char c=getchar();
    while(c<'0'||c>'9') {if(c=='-')f=-1;c=getchar();}
    while(c<='9'
 
&&c>='0')x=x*10+c-'0',c=getchar();
    return x*f;
}
int n,m,K,c;
int a[maxn],b[maxn],p[maxn],q[maxn];
int dp[maxn][maxn][20*maxn];
int main() {
    n=read(),m=read(),K=read(),c=read();
    for(int i=1;i<=n;i++)a[i]=read();
    for(int i=1;i<=n;i++)b[i]=read();
    for(int
 
 i=1;i<=m;i++)p[i]=read(),q[i]=read();
    int ans=-1;
    for(int i=1;i<=K;i++)
       for(int j=i;j<=m;j++)
           for(int k=20*m;k>=0;k--) {
               dp[i][j][k]=max(dp[i][j][k],dp[i][j-1][k]);
               if(k>=b[p[j]]+b[q[j]])
                   if(dp[i-1][j-1][k-b[p[j]]-b[q[j]]]>0
 
||k==b[p[j]]+b[q[j]])
                       dp[i][j][k]=max(dp[i][j][k],dp[i-1][j-1][k-b[p[j]]-b[q[j]]]+a[p[j]]*a[q[j]]);
               if(k>=c) ans=dp[i][j][k]>0?max(ans,dp[i][j][k]):ans;
           }
    printf("%d\n",ans);
    return 0;
}

luogu P2113 看球泡妹子