Program machine;
Uses Math;
{ constraints }
const
MAXD = 1000;
{ input data }
var
C, D, Y, i,j,acquisti,costo, costominimo, temporestante, total, minimo : 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; total:=0;
for i := 1 to D do
begin
total := total +M[i]+P[i-1]-P[i];
minimo := total+C;
for j := 1 to i div 2 do
begin
minimo := min(minimo, bilancio[j]+bilancio[i-j]);
bilancio[i] := minimo;
end;
end;
for i := D+1 to Y do
begin
minimo := bilancio[1]+bilancio[i-1];
writeln(bilancio[1]);
for j := 2 to j div 2 do
begin
minimo := min(minimo, bilancio[j]+bilancio[i-j]);
bilancio[i] := minimo;
end;
end;
minimo:=bilancio[1]* Y;
for i:=2 to Y do
minimo := min(minimo, (Y div i)*bilancio[i] + bilancio[Y mod i]);
writeln(minimo); { print result }
end.
UHJvZ3JhbSBtYWNoaW5lOwpVc2VzIE1hdGg7CnsgY29uc3RyYWludHMgfQpjb25zdAogICAgTUFYRCA9IDEwMDA7Cgp7IGlucHV0IGRhdGEgfQp2YXIKICAgIEMsIEQsIFksIGksaixhY3F1aXN0aSxjb3N0bywgY29zdG9taW5pbW8sIHRlbXBvcmVzdGFudGUsIHRvdGFsLCBtaW5pbW8gIDogbG9uZ2ludDsKICAgIC8vIFdhcm5pbmchIE0gYW5kIFAgYXJlIDEtYmFzZWQKICAgIE0sIFAgICAgICAgIDogYXJyYXlbMS4uTUFYRF0gb2YgbG9uZ2ludDsKICAgIGJpbGFuY2lvIDogYXJyYXlbMC4uMjAwMF0gb2YgbG9uZ2ludDsKCmJlZ2luCgogICAoKiBhc3NpZ24oaW5wdXQsICAnaW5wdXQudHh0Jyk7ICByZXNldChpbnB1dCk7CiAgICBhc3NpZ24ob3V0cHV0LCAnb3V0cHV0LnR4dCcpOyByZXdyaXRlKG91dHB1dCk7KikKCgogICAgcmVhZGxuKEMsIEQsIFkpOwogICAgIC8vIFdhcm5pbmchIE0gYW5kIFAgYXJlIDEtYmFzZWQKICAgIGZvciBpOj0xIHRvIEQgZG8KICAgICAgICByZWFkKE1baV0pOwogICAgcmVhZGxuKCk7CiAgICBmb3IgaTo9MSB0byBEIGRvCiAgICAgICAgcmVhZChQW2ldKTsKICAgIHJlYWRsbigpOwogICAgZm9yIGk6PTAgdG8gWSBkbyBiaWxhbmNpb1tpXTo9MjAwMDAwMDsKICAgIGJpbGFuY2lvWzFdOj1DK01bMV0tUFsxXTsgCiAgICB7IGluc2VydCB5b3VyIGNvZGUgaGVyZSB9CiAgICBiaWxhbmNpb1swXTo9MDsgdG90YWw6PTA7IAogICAgZm9yIGkgOj0gMSB0byBEIGRvCiAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgdG90YWwgOj0gdG90YWwgK01baV0rUFtpLTFdLVBbaV07CiAgICAgICAgICAgICAgICAgIG1pbmltbyA6PSB0b3RhbCtDOwogICAgICAgICAgICAgICAgICBmb3IgaiA6PSAxIHRvIGkgZGl2IDIgZG8KICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luIAogICAgICAgICAgICAgICAgICAgICAgICAgICBtaW5pbW8gOj0gbWluKG1pbmltbywgYmlsYW5jaW9bal0rYmlsYW5jaW9baS1qXSk7CiAgICAgICAgICAgICAgICAgICAgICAgICAgIGJpbGFuY2lvW2ldIDo9IG1pbmltbzsKICAgICAgICAgICAgICAgICAgICAgICAgIGVuZDsgIAogICAgICAgICAgICAgIGVuZDsKICAgZm9yIGkgOj0gRCsxIHRvIFkgZG8KICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgIG1pbmltbyA6PSBiaWxhbmNpb1sxXStiaWxhbmNpb1tpLTFdOwogICAgICAgICAgICAgICAgIHdyaXRlbG4oYmlsYW5jaW9bMV0pOwogICAgICAgICAgICAgICAgIGZvciBqIDo9IDIgdG8gaiBkaXYgMiBkbwogICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgbWluaW1vIDo9IG1pbihtaW5pbW8sIGJpbGFuY2lvW2pdK2JpbGFuY2lvW2ktal0pOwogICAgICAgICAgICAgICAgICAgICAgICAgIGJpbGFuY2lvW2ldIDo9IG1pbmltbzsKICAgICAgICAgICAgICAgICAgICAgICBlbmQ7CiAgICAgICAgICAgICAgZW5kOwogICAKICAgIG1pbmltbzo9YmlsYW5jaW9bMV0qIFk7IAogICAgZm9yIGk6PTIgdG8gWSBkbwogICAgICAgICAgICAgICAgbWluaW1vIDo9IG1pbihtaW5pbW8sIChZIGRpdiBpKSpiaWxhbmNpb1tpXSArIGJpbGFuY2lvW1kgbW9kIGldKTsKICAgICAgCiAgICB3cml0ZWxuKG1pbmltbyk7ICAgeyBwcmludCByZXN1bHQgfQplbmQu