#include <bits/stdc++.h>
using namespace std;
long long n,a[20000000],ttime,maxn=-100,k;
int main()
{
scanf("%lld",&n);
for(int i=0;i<n;i++)
{
scanf("%lld",&k);
a[k]++;
if(k>maxn)maxn=k;
}
for(int i=1;i<=maxn;i++)
{
ttime+=6;
if(a[i]!=0){
ttime+=5;
ttime+=a[i];
}
}
ttime+=maxn*4;
cout<<ttime;
return 0;