program squareunion;
const
MAXN = 100000;
type elenco= Array [1..MAXN] of LongInt;
var
N, i,j, base, altezza : LongInt;
R, X, Inizio, Fine :elenco;
ans, areaoverl : Int64;
Procedure scambia (var a,b: Longint);
var x:Longint;
begin
x:=a;
a:=b;
b:=x;
end;
Procedure ordinamento (estremoi,estremos: Longint; var v : elenco; var u:elenco; var w:elenco; ordinato:boolean);
var inf, sup, medio:Longint;
pivot :Longint;
begin
inf:=estremoi;
sup:=estremos;
medio:= (estremoi+estremos) div 2;
pivot:=v[medio];
repeat
if (ordinato) then
begin
while (v[inf]<pivot) do inf:=inf+1;
while (v[sup]>pivot) do sup:=sup-1;
end;
if inf<=sup then
begin
scambia(v[inf],v[sup]);
scambia(u[inf],u[sup]);
scambia(w[inf],w[sup]);
inf:=inf+1;
sup:=sup-1;
end;
until inf>sup;
if (estremoi<sup) then ordinamento(estremoi,sup,v,u,w,ordinato);
if (inf<estremos) then ordinamento(inf,estremos,v,u,w,ordinato);
end;
begin
{
uncomment the two following lines if you want to read/write from files
assign(input, 'input.txt'); reset(input);
assign(output, 'output.txt'); rewrite(output);
}
ReadLn(N);
for i:=1 to N do
Read(X[i]);
ReadLn();
ans:=0;
for i:=1 to N do begin Read(R[i]); ans:=ans+sqr(2*R[i]); end;
ReadLn();
for i:=1 to N do
begin
Inizio[i]:=X[i]-R[i];
Fine[i]:=X[i]+R[i];
end;
ordinamento(1,N,Inizio, Fine, R, true);
i:=1;
while i<N do
begin
if Fine[i]<=Inizio[i+1] then begin areaoverl:=0; i:=i+1; end
else
begin
j:=i+1;
areaoverl := 0;
while (Fine[i]>Inizio[j]) and (j<=N) do
begin
if Fine[i]>Fine[j] then areaoverl:=sqr(2*R[j])
else
begin
base:=Fine[i]-Inizio[j];
if R[i]<=R[j] then altezza:=2*R[i]
else altezza:=2*R[j];
areaoverl:=base*altezza;
end;
j:=j+1;
ans:= ans-areaoverl;
end;
i:=j-1;
end;
end;
WriteLn(ans);
end.
cHJvZ3JhbSBzcXVhcmV1bmlvbjsKY29uc3QKICAgIE1BWE4gPSAxMDAwMDA7CnR5cGUgZWxlbmNvPSBBcnJheSBbMS4uTUFYTl0gb2YgTG9uZ0ludDsKdmFyCiAgICBOLCBpLGosIGJhc2UsIGFsdGV6emEgOiBMb25nSW50OwogICAgUiwgWCwgSW5pemlvLCBGaW5lIDplbGVuY287CiAgICBhbnMsIGFyZWFvdmVybCAgOiBJbnQ2NDsKICAgIApQcm9jZWR1cmUgc2NhbWJpYSAodmFyIGEsYjogTG9uZ2ludCk7CnZhciB4OkxvbmdpbnQ7CmJlZ2luCiAgIHg6PWE7CiAgIGE6PWI7CiAgIGI6PXg7CmVuZDsgIAoKUHJvY2VkdXJlIG9yZGluYW1lbnRvIChlc3RyZW1vaSxlc3RyZW1vczogTG9uZ2ludDsgdmFyIHYgOiBlbGVuY287IHZhciB1OmVsZW5jbzsgdmFyIHc6ZWxlbmNvOyBvcmRpbmF0bzpib29sZWFuKTsKdmFyIGluZiwgc3VwLCBtZWRpbzpMb25naW50OwogICAgcGl2b3QgOkxvbmdpbnQ7CmJlZ2luCiAgICBpbmY6PWVzdHJlbW9pOwogICAgc3VwOj1lc3RyZW1vczsKICAgIG1lZGlvOj0gKGVzdHJlbW9pK2VzdHJlbW9zKSBkaXYgMjsKICAgIHBpdm90Oj12W21lZGlvXTsKICAgIHJlcGVhdAogICAgICBpZiAob3JkaW5hdG8pIHRoZW4KICAgICAgICAgYmVnaW4KICAgICAgICAgICAgd2hpbGUgKHZbaW5mXTxwaXZvdCkgZG8gIGluZjo9aW5mKzE7CiAgICAgICAgICAgIHdoaWxlICh2W3N1cF0+cGl2b3QpIGRvICBzdXA6PXN1cC0xOwogICAgICAgICBlbmQ7CiAgICAgIGlmIGluZjw9c3VwIHRoZW4KICAgICAgIGJlZ2luCiAgICAgICAgIHNjYW1iaWEodltpbmZdLHZbc3VwXSk7CiAgICAgICAgIHNjYW1iaWEodVtpbmZdLHVbc3VwXSk7CiAgICAgICAgIHNjYW1iaWEod1tpbmZdLHdbc3VwXSk7CiAgICAgICAgIGluZjo9aW5mKzE7CiAgICAgICAgIHN1cDo9c3VwLTE7CiAgICAgICBlbmQ7CiAgICB1bnRpbCBpbmY+c3VwOwogICAgaWYgKGVzdHJlbW9pPHN1cCkgdGhlbiBvcmRpbmFtZW50byhlc3RyZW1vaSxzdXAsdix1LHcsb3JkaW5hdG8pOwogICAgaWYgKGluZjxlc3RyZW1vcykgdGhlbiBvcmRpbmFtZW50byhpbmYsZXN0cmVtb3Msdix1LHcsb3JkaW5hdG8pOwplbmQ7CgoKCmJlZ2luCnsKICAgIHVuY29tbWVudCB0aGUgdHdvIGZvbGxvd2luZyBsaW5lcyBpZiB5b3Ugd2FudCB0byByZWFkL3dyaXRlIGZyb20gZmlsZXMKICAgIGFzc2lnbihpbnB1dCwgICdpbnB1dC50eHQnKTsgIHJlc2V0KGlucHV0KTsKICAgIGFzc2lnbihvdXRwdXQsICdvdXRwdXQudHh0Jyk7IHJld3JpdGUob3V0cHV0KTsKfQoKICAgIFJlYWRMbihOKTsKCiAgICBmb3IgaTo9MSB0byBOIGRvCiAgICAgICAgUmVhZChYW2ldKTsKICAgIFJlYWRMbigpOwogICAgYW5zOj0wOwogICAgZm9yIGk6PTEgdG8gTiBkbyBiZWdpbiBSZWFkKFJbaV0pOyBhbnM6PWFucytzcXIoMipSW2ldKTsgZW5kOwogICAgUmVhZExuKCk7CiAgICBmb3IgaTo9MSB0byBOIGRvCiAgICAgICAgIGJlZ2luCiAgICAgICAgICAgIEluaXppb1tpXTo9WFtpXS1SW2ldOwogICAgICAgICAgICBGaW5lW2ldOj1YW2ldK1JbaV07CiAgICAgICAgIGVuZDsKICAgIG9yZGluYW1lbnRvKDEsTixJbml6aW8sIEZpbmUsIFIsIHRydWUpOwogICAgaTo9MTsKICAgIHdoaWxlIGk8TiBkbwogICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgIGlmIEZpbmVbaV08PUluaXppb1tpKzFdIHRoZW4gYmVnaW4gYXJlYW92ZXJsOj0wOyBpOj1pKzE7IGVuZAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBqOj1pKzE7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFyZWFvdmVybCA6PSAwOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB3aGlsZSAoRmluZVtpXT5Jbml6aW9bal0pIGFuZCAoajw9TikgZG8KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYgRmluZVtpXT5GaW5lW2pdIHRoZW4gYXJlYW92ZXJsOj1zcXIoMipSW2pdKQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiYXNlOj1GaW5lW2ldLUluaXppb1tqXTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmIFJbaV08PVJbal0gdGhlbiBhbHRlenphOj0yKlJbaV0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZSBhbHRlenphOj0yKlJbal07CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhcmVhb3Zlcmw6PWJhc2UqYWx0ZXp6YTsgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZW5kOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgajo9aisxOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYW5zOj0gYW5zLWFyZWFvdmVybDsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVuZDsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaTo9ai0xOyAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQ7CiAgICAgICAgICAgICAgICBlbmQ7ICAgCiAgICBXcml0ZUxuKGFucyk7CmVuZC4=