Program machine;
Uses Math;
{ constraints }
const
MAXD = 1000;
{ input data }
var
C, D, Y, i,j,acquisti,costo, costominimo : longint;
// Warning! M and P are 1-based
M, P : array[1..MAXD] of longint;
bilancio : array[0..2000] 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();
for i:=0 to Y do bilancio[i]:=2000000;
bilancio[1]:=C+M[1]-P[1];
{ insert your code here }
bilancio[0]:=0; costo:=0;
for i := 1 to D do
begin
costo := costo +M[i]+P[i-1]-P[i];
costominimo := costo+C;
for j := 1 to i div 2 do
begin
costominimo:= min(costominimo, bilancio[j]+bilancio[i-j]);
bilancio[i] :=costominimo;
end;
end;
for i := D+1 to Y do
begin
costominimo := bilancio[1]+bilancio[i-1];
for j := 2 to j div 2 do
begin
costominimo := min(costominimo, bilancio[j]+bilancio[i-j]);
bilancio[i] := costominimo;
end;
end;
costominimo:=bilancio[1]* Y;
for i:=2 to Y do costominimo := min(costominimo, (Y div i)*bilancio[i] + bilancio[Y mod i]);
writeln(costominimo); { print result }
end.
UHJvZ3JhbSBtYWNoaW5lOwpVc2VzIE1hdGg7CnsgY29uc3RyYWludHMgfQpjb25zdAogICAgTUFYRCA9IDEwMDA7Cgp7IGlucHV0IGRhdGEgfQp2YXIKICAgIEMsIEQsIFksIGksaixhY3F1aXN0aSxjb3N0bywgY29zdG9taW5pbW8gIDogbG9uZ2ludDsKICAgIC8vIFdhcm5pbmchIE0gYW5kIFAgYXJlIDEtYmFzZWQKICAgIE0sIFAgICAgICAgIDogYXJyYXlbMS4uTUFYRF0gb2YgbG9uZ2ludDsKICAgIGJpbGFuY2lvIDogYXJyYXlbMC4uMjAwMF0gb2YgbG9uZ2ludDsKCmJlZ2luCgogICAoKiBhc3NpZ24oaW5wdXQsICAnaW5wdXQudHh0Jyk7ICByZXNldChpbnB1dCk7CiAgICBhc3NpZ24ob3V0cHV0LCAnb3V0cHV0LnR4dCcpOyByZXdyaXRlKG91dHB1dCk7KikKCgogICAgcmVhZGxuKEMsIEQsIFkpOwogICAgIC8vIFdhcm5pbmchIE0gYW5kIFAgYXJlIDEtYmFzZWQKICAgIGZvciBpOj0xIHRvIEQgZG8KICAgICAgICByZWFkKE1baV0pOwogICAgcmVhZGxuKCk7CiAgICBmb3IgaTo9MSB0byBEIGRvCiAgICAgICAgcmVhZChQW2ldKTsKICAgIHJlYWRsbigpOwogICAgZm9yIGk6PTAgdG8gWSBkbyBiaWxhbmNpb1tpXTo9MjAwMDAwMDsKICAgIGJpbGFuY2lvWzFdOj1DK01bMV0tUFsxXTsgCiAgICB7IGluc2VydCB5b3VyIGNvZGUgaGVyZSB9CiAgICBiaWxhbmNpb1swXTo9MDsgY29zdG86PTA7IAogICAgZm9yIGkgOj0gMSB0byBEIGRvCiAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgY29zdG8gOj0gY29zdG8gK01baV0rUFtpLTFdLVBbaV07CiAgICAgICAgICAgICAgICAgIGNvc3RvbWluaW1vIDo9IGNvc3RvK0M7CiAgICAgICAgICAgICAgICAgIGZvciBqIDo9IDEgdG8gaSBkaXYgMiBkbwogICAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4gCiAgICAgICAgICAgICAgICAgICAgICAgICAgIGNvc3RvbWluaW1vOj0gbWluKGNvc3RvbWluaW1vLCBiaWxhbmNpb1tqXStiaWxhbmNpb1tpLWpdKTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgYmlsYW5jaW9baV0gOj1jb3N0b21pbmltbzsKICAgICAgICAgICAgICAgICAgICAgICAgIGVuZDsgIAogICAgICAgICAgICAgIGVuZDsKICAgZm9yIGkgOj0gRCsxIHRvIFkgZG8KICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgIGNvc3RvbWluaW1vIDo9IGJpbGFuY2lvWzFdK2JpbGFuY2lvW2ktMV07CiAgICAgICAgICAgICAgICAgZm9yIGogOj0gMiB0byBqIGRpdiAyIGRvCiAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgICBjb3N0b21pbmltbyA6PSBtaW4oY29zdG9taW5pbW8sIGJpbGFuY2lvW2pdK2JpbGFuY2lvW2ktal0pOwogICAgICAgICAgICAgICAgICAgICAgICAgIGJpbGFuY2lvW2ldIDo9IGNvc3RvbWluaW1vOwogICAgICAgICAgICAgICAgICAgICAgIGVuZDsKICAgICAgICAgICAgICBlbmQ7CiAgIAogICAgY29zdG9taW5pbW86PWJpbGFuY2lvWzFdKiBZOyAKICAgIGZvciBpOj0yIHRvIFkgZG8gY29zdG9taW5pbW8gOj0gbWluKGNvc3RvbWluaW1vLCAoWSBkaXYgaSkqYmlsYW5jaW9baV0gKyBiaWxhbmNpb1tZIG1vZCBpXSk7CiAgICAgIAogICAgd3JpdGVsbihjb3N0b21pbmltbyk7ICAgeyBwcmludCByZXN1bHQgfQplbmQu