using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
class Solution {
    
    static long longestSequence(long[] a) 
    {
        long numberOfMoves = 0;
        for(int i = 0; i < a.Length; i++){
            numberOfMoves = 1 + a[i] / 2 +  a[i];
        }
        
        return numberOfMoves;
    }

    static void Main(String[] args) {
        int n = Convert.ToInt32(Console.ReadLine());
        string[] a_temp = Console.ReadLine().Split(' ');
        long[] a = Array.ConvertAll(a_temp,Int64.Parse);
        long result = longestSequence(a);
        Console.WriteLine(result);
    }
}