n = int(input())
x = list(map(int, input().split()))
x.sort()
x.reverse()
for i in range(1, len(x)):
    x[0] += int(x[i] / 2)
print(x[0])