//Author: NguyenBaoAnh
//Problem: C
#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define ii pair<int,int>
#define vi vector<int>
#define pb push_back
#define all(s) s.begin(), s.end()
#define fi first
#define se second
const int N=1e5, M=1e5, Ban=(1<<1)+(1<<8)+(1<<9);
const ll Mod=1e9+7, oo=1e18;
int n, m;
ll P, C, a[N+5], s[N+5], dp[N+5][70];
signed main()
{
//Its cookin' time!!
freopen("WHOME.inp", "r", stdin); freopen("WHOME.out", "w", stdout);
ios_base::sync_with_stdio(NULL), cin.tie(NULL), cout.tie(NULL);
cin>>n>>m>>P>>C;
for(int i=1; i<=n; i++) cin>>a[i];
for(int i=0; i<m; i++) cin>>s[i];
sort(a+1, a+n+1);
for(int i=1; i<=n; i++)
for(int msk=0; msk<(1<<m); msk++) dp[i][msk]=-oo;
for(int i=1; i<=n; i++) {
for(int msk=0; msk<(1<<m); msk++) {
int S=0;
for(int j=0; j<m; j++)
if((msk>>j)&1) S+=s[j];
if(S<=i) dp[i][msk]=max(dp[i][msk], dp[i-1][msk]);
for(int j=0; j<m; j++) {
if(i<s[j]) continue;
ll d=a[i]-a[i-s[j]+1];
int SS, msk2=msk|(1<<j);
if((msk>>j)&1) SS=S; else SS=S+s[j];
if(SS<=i) dp[i][msk2]=max(dp[i][msk2], dp[i-s[j]][msk]+P-d*d*C);
}
}
}
cout<<dp[n][(1<<m)-1];
return 0;
}
Ly9BdXRob3I6IE5ndXllbkJhb0FuaAovL1Byb2JsZW06IEMKI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgbGwgbG9uZyBsb25nCiNkZWZpbmUgaWkgcGFpcjxpbnQsaW50PgojZGVmaW5lIHZpIHZlY3RvcjxpbnQ+CiNkZWZpbmUgcGIgcHVzaF9iYWNrCiNkZWZpbmUgYWxsKHMpIHMuYmVnaW4oKSwgcy5lbmQoKQojZGVmaW5lIGZpIGZpcnN0CiNkZWZpbmUgc2Ugc2Vjb25kCmNvbnN0IGludCBOPTFlNSwgTT0xZTUsIEJhbj0oMTw8MSkrKDE8PDgpKygxPDw5KTsKY29uc3QgbGwgTW9kPTFlOSs3LCBvbz0xZTE4OwppbnQgbiwgbTsKbGwgUCwgQywgYVtOKzVdLCBzW04rNV0sIGRwW04rNV1bNzBdOwpzaWduZWQgbWFpbigpCnsKICAgIC8vSXRzIGNvb2tpbicgdGltZSEhCiAgICBmcmVvcGVuKCJXSE9NRS5pbnAiLCAiciIsIHN0ZGluKTsgZnJlb3BlbigiV0hPTUUub3V0IiwgInciLCBzdGRvdXQpOwogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhOVUxMKSwgY2luLnRpZShOVUxMKSwgY291dC50aWUoTlVMTCk7CiAgICBjaW4+Pm4+Pm0+PlA+PkM7CiAgICBmb3IoaW50IGk9MTsgaTw9bjsgaSsrKSBjaW4+PmFbaV07CiAgICBmb3IoaW50IGk9MDsgaTxtOyBpKyspIGNpbj4+c1tpXTsKICAgIHNvcnQoYSsxLCBhK24rMSk7CiAgICBmb3IoaW50IGk9MTsgaTw9bjsgaSsrKQogICAgICAgIGZvcihpbnQgbXNrPTA7IG1zazwoMTw8bSk7IG1zaysrKSBkcFtpXVttc2tdPS1vbzsKICAgIGZvcihpbnQgaT0xOyBpPD1uOyBpKyspIHsKICAgICAgICBmb3IoaW50IG1zaz0wOyBtc2s8KDE8PG0pOyBtc2srKykgewogICAgICAgICAgICBpbnQgUz0wOwogICAgICAgICAgICBmb3IoaW50IGo9MDsgajxtOyBqKyspCiAgICAgICAgICAgICAgICBpZigobXNrPj5qKSYxKSBTKz1zW2pdOwogICAgICAgICAgICBpZihTPD1pKSBkcFtpXVttc2tdPW1heChkcFtpXVttc2tdLCBkcFtpLTFdW21za10pOwogICAgICAgICAgICBmb3IoaW50IGo9MDsgajxtOyBqKyspIHsKICAgICAgICAgICAgICAgIGlmKGk8c1tqXSkgY29udGludWU7CiAgICAgICAgICAgICAgICBsbCBkPWFbaV0tYVtpLXNbal0rMV07CiAgICAgICAgICAgICAgICBpbnQgU1MsIG1zazI9bXNrfCgxPDxqKTsKICAgICAgICAgICAgICAgIGlmKChtc2s+PmopJjEpIFNTPVM7IGVsc2UgU1M9UytzW2pdOwogICAgICAgICAgICAgICAgaWYoU1M8PWkpIGRwW2ldW21zazJdPW1heChkcFtpXVttc2syXSwgZHBbaS1zW2pdXVttc2tdK1AtZCpkKkMpOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgfQogICAgY291dDw8ZHBbbl1bKDE8PG0pLTFdOwogICAgcmV0dXJuIDA7Cn0K