program machine;
{ NOTE: it is recommended to use this even if you don't understand the following code. }
{ constraints }
const
MAXD = 1000;
MAXY = 1000000;
{ input data }
var
C, D, Y, i : longint;
// Warning! M and P are 1-based
M, P : array[1..MAXD] of longint;
cumulative : array[1..MAXD] of longint;
DP : array[0..MAXY] of longint;
j, k, u : longint;
useful : array[0..MAXD] of longint;
begin
{
uncomment the following lines if you want to read/write from files
assign(input, 'input.txt'); reset(input);
assign(output, 'output.txt'); rewrite(output);
}
readln(C, D, Y);
// Warning! M and P are 1-based
for i:=1 to D do
read(M[i]);
readln();
for i:=1 to D do
read(P[i]);
readln();
cumulative[1] := M[1];
for i:=2 to D do
cumulative[i] := cumulative[i-1] + M[i];
for i:=1 to D do
begin
cumulative[i] := cumulative[i] + C;
cumulative[i] := cumulative[i] - P[i];
end;
DP[0] := 0;
for i:= 1 to Y do
DP[i] := 2000000000;
u := 0;
for i:= 0 to D do
begin
for j:=1 to D do
begin
if (i+j <= Y) then
begin
if (DP[i+j] >= DP[i] + cumulative[j]) then
DP[i+j] := DP[i] + cumulative[j];
writeln(i,' ',j,' ',DP[i+j],' ', cumulative[j]);
end;
end;
if ((i <= Y) and (DP[i] = cumulative[i])) then
begin
useful[u] := i;
writeln(useful[u],' ', DP[i],' ',cumulative[i]);
u := u+1;
end;
end;
for i:= D to Y do
begin
for k:=0 to u-1 do
begin
j := useful[k];
if (i+j <= Y) then
begin
if (DP[i+j] >= DP[i] + cumulative[j]) then
DP[i+j] := DP[i] + cumulative[j];
end;
end;
end;
writeln(DP[Y]); { print result }
end.
cHJvZ3JhbSBtYWNoaW5lOwp7IE5PVEU6IGl0IGlzIHJlY29tbWVuZGVkIHRvIHVzZSB0aGlzIGV2ZW4gaWYgeW91IGRvbid0IHVuZGVyc3RhbmQgdGhlIGZvbGxvd2luZyBjb2RlLiB9Cgp7IGNvbnN0cmFpbnRzIH0KY29uc3QKICAgIE1BWEQgPSAxMDAwOwogICAgTUFYWSA9IDEwMDAwMDA7Cgp7IGlucHV0IGRhdGEgfQp2YXIKICAgIEMsIEQsIFksIGkgIDogbG9uZ2ludDsKICAgIC8vIFdhcm5pbmchIE0gYW5kIFAgYXJlIDEtYmFzZWQKICAgIE0sIFAgICAgICAgIDogYXJyYXlbMS4uTUFYRF0gb2YgbG9uZ2ludDsKICAgIGN1bXVsYXRpdmUgIDogYXJyYXlbMS4uTUFYRF0gb2YgbG9uZ2ludDsKICAgIERQIDogYXJyYXlbMC4uTUFYWV0gb2YgbG9uZ2ludDsKICAgIGosIGssIHUgOiBsb25naW50OwogICAgdXNlZnVsIDogYXJyYXlbMC4uTUFYRF0gb2YgbG9uZ2ludDsKCmJlZ2luCnsKICAgIHVuY29tbWVudCB0aGUgZm9sbG93aW5nIGxpbmVzIGlmIHlvdSB3YW50IHRvIHJlYWQvd3JpdGUgZnJvbSBmaWxlcwogICAgYXNzaWduKGlucHV0LCAgJ2lucHV0LnR4dCcpOyAgcmVzZXQoaW5wdXQpOwogICAgYXNzaWduKG91dHB1dCwgJ291dHB1dC50eHQnKTsgcmV3cml0ZShvdXRwdXQpOwp9CgogICAgcmVhZGxuKEMsIEQsIFkpOwogICAgLy8gV2FybmluZyEgTSBhbmQgUCBhcmUgMS1iYXNlZAogICAgZm9yIGk6PTEgdG8gRCBkbwogICAgICAgIHJlYWQoTVtpXSk7CiAgICByZWFkbG4oKTsKICAgIGZvciBpOj0xIHRvIEQgZG8KICAgICAgICByZWFkKFBbaV0pOwogICAgcmVhZGxuKCk7CgogICAgY3VtdWxhdGl2ZVsxXSA6PSBNWzFdOwogICAgZm9yIGk6PTIgdG8gRCBkbwogICAgICAgIGN1bXVsYXRpdmVbaV0gOj0gY3VtdWxhdGl2ZVtpLTFdICsgTVtpXTsKCiAgICBmb3IgaTo9MSB0byBEIGRvCiAgICBiZWdpbgogICAgICAgIGN1bXVsYXRpdmVbaV0gOj0gY3VtdWxhdGl2ZVtpXSArIEM7CiAgICAgICAgY3VtdWxhdGl2ZVtpXSA6PSBjdW11bGF0aXZlW2ldIC0gUFtpXTsKICAgIGVuZDsKCiAgICBEUFswXSA6PSAwOwogICAgZm9yIGk6PSAxIHRvIFkgZG8KICAgICAgICBEUFtpXSA6PSAyMDAwMDAwMDAwOwoKICAgIHUgOj0gMDsKICAgIGZvciBpOj0gMCB0byBEIGRvCiAgICBiZWdpbgogICAgICAgIGZvciBqOj0xIHRvIEQgZG8KICAgICAgICBiZWdpbgogICAgICAgICAgICBpZiAoaStqIDw9IFkpIHRoZW4KICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgIGlmIChEUFtpK2pdID49IERQW2ldICsgY3VtdWxhdGl2ZVtqXSkgdGhlbgogICAgICAgICAgICAgICAgICAgIERQW2kral0gOj0gRFBbaV0gKyBjdW11bGF0aXZlW2pdOwogICAgICAgICAgICAgICAgICAgIHdyaXRlbG4oaSwnICcsaiwnICcsRFBbaStqXSwnICAnLCBjdW11bGF0aXZlW2pdKTsKICAgICAgICAgICAgZW5kOwogICAgICAgIGVuZDsKICAgICAgICBpZiAoKGkgPD0gWSkgYW5kIChEUFtpXSA9IGN1bXVsYXRpdmVbaV0pKSB0aGVuCiAgICAgICAgYmVnaW4KICAgICAgICAgICAgdXNlZnVsW3VdIDo9IGk7CiAgICAgICAgICAgIHdyaXRlbG4odXNlZnVsW3VdLCcgICcsIERQW2ldLCcgJyxjdW11bGF0aXZlW2ldKTsKICAgICAgICAgICAgdSA6PSB1KzE7CiAgICAgICAgICAgIAogICAgICAgIGVuZDsKICAgIGVuZDsKCiAgICBmb3IgaTo9IEQgdG8gWSBkbwogICAgYmVnaW4KICAgICAgICBmb3Igazo9MCB0byB1LTEgZG8KICAgICAgICBiZWdpbgogICAgICAgICAgICBqIDo9IHVzZWZ1bFtrXTsKICAgICAgICAgICAgaWYgKGkraiA8PSBZKSB0aGVuCiAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICBpZiAoRFBbaStqXSA+PSBEUFtpXSArIGN1bXVsYXRpdmVbal0pIHRoZW4KICAgICAgICAgICAgICAgICAgICBEUFtpK2pdIDo9IERQW2ldICsgY3VtdWxhdGl2ZVtqXTsKICAgICAgICAgICAgZW5kOwogICAgICAgIGVuZDsKICAgIGVuZDsKCiAgICB3cml0ZWxuKERQW1ldKTsgeyBwcmludCByZXN1bHQgfQplbmQu