Program machine;
Uses Math;
{ constraints }
const
MAXD = 1000;
MAXY = 1000000;
{ input data }
var
C, D, Y, i,j,k,w: longint;
// Warning! M and P are 1-based
M, P : array[1..MAXD] of longint;
bilancio : array[0..MAXD] of longint;
costo, indice : array[0..MAXY] of longint;
begin
(* 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();
bilancio[1]:=C+M[1]-P[1];
{ insert your code here }
bilancio[0]:=0; costo[0]:=0; w:=0;
for i:=2 to D do bilancio[i]:=bilancio[i-1]+M[i]-P[i]+ P[i-1];
for i:=1 to Y do costo[i]:=2147483647;
for i:= 0 to D do
begin
for j:=1 to D do
begin
if (i+j <= Y) then
begin
if (costo[i] + bilancio[j])<=costo[i+j] then
costo[i+j] := costo[i] + bilancio[j];
writeln(costo[i+j]);
end;
end;
if ((i <= Y) and (costo[i] = bilancio[i])) then
begin
indice[w] := i;
w := w+1;
end;
end;
for i:= D to Y do
begin
for k:=0 to w-1 do
begin
j := indice[k];
if (i+j <= Y) then
begin
if (costo[i+j] >= costo[i] + bilancio[j]) then
costo[i+j] := costo[i] + bilancio[j];
end;
end;
end;
writeln(costo[Y]); { print result }
end.
UHJvZ3JhbSBtYWNoaW5lOwpVc2VzIE1hdGg7CnsgY29uc3RyYWludHMgfQpjb25zdAogICAgTUFYRCA9IDEwMDA7CiAgICBNQVhZID0gMTAwMDAwMDsKeyBpbnB1dCBkYXRhIH0KdmFyCiAgICBDLCBELCBZLCBpLGosayx3OiBsb25naW50OwogICAgLy8gV2FybmluZyEgTSBhbmQgUCBhcmUgMS1iYXNlZAogICAgTSwgUCAgICAgICAgOiBhcnJheVsxLi5NQVhEXSBvZiBsb25naW50OwogICAgYmlsYW5jaW8gOiBhcnJheVswLi5NQVhEXSBvZiBsb25naW50OwogICAgY29zdG8sIGluZGljZSA6IGFycmF5WzAuLk1BWFldIG9mIGxvbmdpbnQ7CmJlZ2luCgogICAoKiBhc3NpZ24oaW5wdXQsICAnaW5wdXQudHh0Jyk7ICByZXNldChpbnB1dCk7CiAgICBhc3NpZ24ob3V0cHV0LCAnb3V0cHV0LnR4dCcpOyByZXdyaXRlKG91dHB1dCk7KikKCgogICAgcmVhZGxuKEMsIEQsIFkpOwogICAgIC8vIFdhcm5pbmchIE0gYW5kIFAgYXJlIDEtYmFzZWQKICAgIGZvciBpOj0xIHRvIEQgZG8KICAgICAgICByZWFkKE1baV0pOwogICAgcmVhZGxuKCk7CiAgICBmb3IgaTo9MSB0byBEIGRvCiAgICAgICAgcmVhZChQW2ldKTsKICAgIHJlYWRsbigpOwogICAgYmlsYW5jaW9bMV06PUMrTVsxXS1QWzFdOyAKICAgIHsgaW5zZXJ0IHlvdXIgY29kZSBoZXJlIH0KICAgIGJpbGFuY2lvWzBdOj0wOyAgY29zdG9bMF06PTA7IHc6PTA7CiAgICBmb3IgaTo9MiB0byBEIGRvIGJpbGFuY2lvW2ldOj1iaWxhbmNpb1tpLTFdK01baV0tUFtpXSsgUFtpLTFdOwogICAgZm9yIGk6PTEgdG8gWSBkbyBjb3N0b1tpXTo9MjE0NzQ4MzY0NzsKICAgIGZvciBpOj0gMCB0byBEIGRvCiAgICAgIGJlZ2luCiAgICAgICAgICBmb3Igajo9MSB0byBEIGRvCiAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgIGlmIChpK2ogPD0gWSkgdGhlbgogICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgaWYgKGNvc3RvW2ldICsgYmlsYW5jaW9bal0pPD1jb3N0b1tpK2pdIHRoZW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgIGNvc3RvW2kral0gOj0gY29zdG9baV0gKyBiaWxhbmNpb1tqXTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIHdyaXRlbG4oY29zdG9baStqXSk7CiAgICAgICAgICAgICAgICAgICAgIGVuZDsgICAgCiAgICAgICAgICAgIGVuZDsgCiAgICAgICAgIGlmICgoaSA8PSBZKSBhbmQgKGNvc3RvW2ldID0gYmlsYW5jaW9baV0pKSB0aGVuCiAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgIGluZGljZVt3XSA6PSBpOwogICAgICAgICAgICAgICB3IDo9IHcrMTsKICAgICAgICAgICBlbmQ7CiAgICAgIGVuZDsKICAgIGZvciBpOj0gRCB0byBZIGRvCiAgICBiZWdpbgogICAgICAgIGZvciBrOj0wIHRvIHctMSBkbwogICAgICAgIGJlZ2luCiAgICAgICAgICAgIGogOj0gaW5kaWNlW2tdOwogICAgICAgICAgICBpZiAoaStqIDw9IFkpIHRoZW4KICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgIGlmIChjb3N0b1tpK2pdID49IGNvc3RvW2ldICsgYmlsYW5jaW9bal0pIHRoZW4KICAgICAgICAgICAgICAgICAgICBjb3N0b1tpK2pdIDo9IGNvc3RvW2ldICsgYmlsYW5jaW9bal07CiAgICAgICAgICAgIGVuZDsKICAgICAgICBlbmQ7CiAgICBlbmQ7CgogICAgd3JpdGVsbihjb3N0b1tZXSk7IHsgcHJpbnQgcmVzdWx0IH0gCmVuZC4=