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