#include<bits/stdc++.h>
using namespace std;
long long a[10000005],b[10000005],c[10000005];
int main(){
long long n,sum=0;
scanf("%lld",&n);
for(int i=1;i<=n;i++){
scanf("%lld",&a[i]);
}
sort(a+1,a+1+n);
int maxn=a[n];
for(int i=1;i<=n;i++){
b[a[i]]=a[i];
c[a[i]]++;
}
for(int i=1;i<=maxn;i++){
sum+=6;
if(b[i]){
sum+=5;
sum+=c[i];
}
}
sum+=(maxn*4);
printf("%lld",sum);
return 0;
}
本蒟蒻第一次碰见MLT 心累累 WA80分 神犇帮帮我