#include <limits>
#include<bits/stdc++.h>
using namespace std;
#define int long long
#define dl '\n'
const int INF = 1e18;
#define printvec(v) for(int i=0;i<v.size();i++){cout<<v[i]<<" ";}cout<<endl;
#define loop(i,n){} for(int i=0;i<n;i++){}
#define read(v,n) for(int i=0;i<n;i++){cin>>v[i];}
#define all(v) ((v).begin()), ((v).end())
#define rall(v) ((v).rbegin()), ((v).rend())
typedef vector<int> vi;
typedef vector<pair<int,int>> vip;
#define ll long long
void Antoine_Sobhy(){
ios_base::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
#ifndef ONLINE_JUDGE
// freopen("business.in", "r", stdin);
freopen("/home/antoine/Desktop/acpc/input.txt", "r", stdin);
freopen("/home/antoine/Desktop/acpc/output.txt", "w", stdout);
#endif
}
void Read_Write() {
ios_base::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
freopen("nocross.in", "r", stdin);
freopen("nocross.out", "w", stdout);
}
const int N=5e2+5;
int dp[N][N];
vi sp(N);
vi no(N);
int n,l,K;
int rec(int i,int last,int k,int lastno){
if (i==n-1)
{
int opt1=INF;
int opt2=INF;
if (k>0){
opt1= ((l-lastno) *last);
}
else{
opt2=((l-no[i]) *sp[i]) + ((no[i]-lastno)*last) ;
}
return min(opt1,opt2);
}
int &ret=dp[i][k];
if(~ret) return ret;
ret=INF;
ret=rec(i+1,sp[i],k,no[i]) + ((no[i]-lastno)*last) ;
for (int j=1;j<=k;j++){
if (i+j<n){
ret=min(ret,rec(i+j,last,k-j,lastno)+ ((no[i+j]-lastno)*last) );
}
}
return ret;
}
void solve(){
memset(dp,-1,sizeof(dp));
cin>>n>>l>>K;
for(int i=0;i<n;i++)
{
cin>>no[i];
}
for(int i=0;i<n;i++)
{
cin>>sp[i];
}
if (n==1)
{
cout<<(l-0)*sp[0];
return;
}
cout<<rec(1,sp[0],K,0)<<endl;
}
int32_t main() {
Antoine_Sobhy();
int t=1;
// cin>>t;
while(t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGxpbWl0cz4KICAgICAgICAjaW5jbHVkZTxiaXRzL3N0ZGMrKy5oPgogICAgICAgIHVzaW5nIG5hbWVzcGFjZSBzdGQ7CiAgICAgICAgI2RlZmluZSBpbnQgIGxvbmcgbG9uZwogICAgICAgICNkZWZpbmUgZGwgJ1xuJwogICAgICAgIGNvbnN0IGludCBJTkYgPSAxZTE4OwogICAgICAgICNkZWZpbmUgcHJpbnR2ZWModikgZm9yKGludCBpPTA7aTx2LnNpemUoKTtpKyspe2NvdXQ8PHZbaV08PCIgIjt9Y291dDw8ZW5kbDsKICAgICAgICAjZGVmaW5lIGxvb3AoaSxuKXt9IGZvcihpbnQgaT0wO2k8bjtpKyspe30KICAgICAgICAjZGVmaW5lIHJlYWQodixuKSAgIGZvcihpbnQgaT0wO2k8bjtpKyspe2Npbj4+dltpXTt9CiAgICAgICAgI2RlZmluZSBhbGwodikgICAgICAgICAgICAgICAgKCh2KS5iZWdpbigpKSwgKCh2KS5lbmQoKSkKICAgICAgICAjZGVmaW5lIHJhbGwodikgICAgICAgICAgICAgICAgKCh2KS5yYmVnaW4oKSksICgodikucmVuZCgpKQogICAgICAgIHR5cGVkZWYgdmVjdG9yPGludD4gdmk7CiAgICAgICAgdHlwZWRlZiB2ZWN0b3I8cGFpcjxpbnQsaW50Pj4gdmlwOwogICAgICAgICNkZWZpbmUgbGwgbG9uZyBsb25nCiAgICAgICAgdm9pZCBBbnRvaW5lX1NvYmh5KCl7CiAgICAgICAgICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpLCBjaW4udGllKG51bGxwdHIpLCBjb3V0LnRpZShudWxscHRyKTsKICAgICAgICAjaWZuZGVmIE9OTElORV9KVURHRQogICAgICAgICAgICAvLyBmcmVvcGVuKCJidXNpbmVzcy5pbiIsICJyIiwgc3RkaW4pOwogICAgICAgICAgICBmcmVvcGVuKCIvaG9tZS9hbnRvaW5lL0Rlc2t0b3AvYWNwYy9pbnB1dC50eHQiLCAiciIsIHN0ZGluKTsKICAgICAgICAgICAgZnJlb3BlbigiL2hvbWUvYW50b2luZS9EZXNrdG9wL2FjcGMvb3V0cHV0LnR4dCIsICJ3Iiwgc3Rkb3V0KTsKICAgICAgICAjZW5kaWYKICAgICAgICB9CgogICAgICAgIHZvaWQgUmVhZF9Xcml0ZSgpIHsKICAgICAgICAgICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSksIGNpbi50aWUobnVsbHB0ciksIGNvdXQudGllKG51bGxwdHIpOwogICAgICAgICAgICBmcmVvcGVuKCJub2Nyb3NzLmluIiwgInIiLCBzdGRpbik7CiAgICAgICAgICAgIGZyZW9wZW4oIm5vY3Jvc3Mub3V0IiwgInciLCBzdGRvdXQpOwogICAgICAgIH0KICAgIGNvbnN0IGludCBOPTVlMis1OwogICAgaW50IGRwW05dW05dOwogICAgdmkgc3AoTik7CiAgICB2aSBubyhOKTsKICAgIGludCBuLGwsSzsKICAgIGludCByZWMoaW50IGksaW50IGxhc3QsaW50IGssaW50IGxhc3Rubyl7CiAgICAgICAgaWYgKGk9PW4tMSkKICAgICAgICB7CiAgICAgICAgICAgIGludCBvcHQxPUlORjsKICAgICAgICAgICAgaW50IG9wdDI9SU5GOwogICAgICAgICAgICBpZiAoaz4wKXsKICAgICAgICAgICAgICAgIG9wdDE9ICgobC1sYXN0bm8pICpsYXN0KTsKICAgICAgICAgICAgfQogICAgICAgICAgICBlbHNlewogICAgICAgICAgICAgICAgb3B0Mj0oKGwtbm9baV0pICpzcFtpXSkgKyAoKG5vW2ldLWxhc3RubykqbGFzdCkgOwogICAgICAgICAgICB9CiAgICAgICAgICAgIHJldHVybiBtaW4ob3B0MSxvcHQyKTsKICAgICAgICB9CgogICAgICAgIGludCAmcmV0PWRwW2ldW2tdOwogICAgICAgIGlmKH5yZXQpIHJldHVybiByZXQ7CiAgICAgICAgcmV0PUlORjsKICAgICAgICByZXQ9cmVjKGkrMSxzcFtpXSxrLG5vW2ldKSArICgobm9baV0tbGFzdG5vKSpsYXN0KSAgOwoKICAgICAgICBmb3IgKGludCBqPTE7ajw9aztqKyspewogICAgICAgICAgICBpZiAoaStqPG4pewogICAgICAgICAgICAgICAgcmV0PW1pbihyZXQscmVjKGkraixsYXN0LGstaixsYXN0bm8pKyAoKG5vW2kral0tbGFzdG5vKSpsYXN0KSApOwogICAgICAgICAgICB9CiAgICAgICAgICAgIH0KICAgICAgICByZXR1cm4gcmV0OwoKICAgICB9CgogICAgdm9pZCBzb2x2ZSgpewogICAgbWVtc2V0KGRwLC0xLHNpemVvZihkcCkpOwogICAgICAgIGNpbj4+bj4+bD4+SzsKICAgICAgICBmb3IoaW50IGk9MDtpPG47aSsrKQogICAgICAgIHsKICAgICAgICAgICAgY2luPj5ub1tpXTsKICAgICAgICB9CiAgICAgICAgZm9yKGludCBpPTA7aTxuO2krKykKICAgICAgICB7CiAgICAgICAgICAgIGNpbj4+c3BbaV07CiAgICAgICAgfQogICAgICAgIGlmIChuPT0xKQogICAgICAgIHsKICAgICAgICAgICAgY291dDw8KGwtMCkqc3BbMF07CiAgICAgICAgICAgIHJldHVybjsKICAgICAgICB9CiAgICAgICAgY291dDw8cmVjKDEsc3BbMF0sSywwKTw8ZW5kbDsKCiAgICAgICB9CiAgICAgICAgaW50MzJfdCBtYWluKCkgewogICAgICAgICAgICBBbnRvaW5lX1NvYmh5KCk7CgogICAgICAgICAgICBpbnQgdD0xOwogICAgICAgICAgICAvLyBjaW4+PnQ7CiAgICAgICAgICAgIHdoaWxlKHQtLSkgewogICAgICAgICAgICAgICAgc29sdmUoKTsKICAgICAgICAgICAgfQoKICAgICAgICAgICAgcmV0dXJuIDA7CgoKICAgICAgICB9