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