#include<stdio.h>
int MAX(int a,int b){return a<b?b:a;}
int main(){
  int n,s=1,i,j,w,d[510];
  scanf("%d",&n);
  for(i=0;i<n;i++){
    scanf("%d",&w);
    for(j=i;j;j--){
      if(d[j-1]>w)d[j]=d[j-1];
      else break;
    }
    d[j]=w;
  }
  for(i=0;i<n;i++)s+=MAX(0,d[i]-i/4);
  printf("%d\n",s);
  return 0;
}