짝이 다른 양말

프레드는 색이 서로 다른 양말 두 개를 한 짝으로 신는 것을 좋아한다. 그래서 미리 계획을 세워야 할 때가 있다.

서랍에 빨간 양말 한 개, 파란 양말 한 개, 초록 양말 두 개가 있다고 하자. 빨간 양말과 파란 양말을 한 짝으로 신으면 남은 초록 양말 두 개는 색이 같아서 짝이 되지 못한다. 반면 빨간 양말을 초록 양말과 신고 파란 양말을 남은 초록 양말과 신으면 색이 서로 다른 짝을 두 개 만들 수 있다.

한 짝은 양말 두 개로 이루어지며, 두 양말의 색은 서로 달라야 한다. 양말 하나는 많아야 한 짝에만 쓸 수 있다.

서랍에 든 양말이 색깔별로 몇 개인지 주어진다. 색이 서로 다른 짝을 최대 몇 개까지 만들 수 있는지 구하라.

입력은 하나의 테스트 케이스로 이루어진다.

첫째 줄에 서랍에 있는 양말 색의 개수 $n$이 주어진다 ($1 \le n \le 1{,}000$).

다음 $n$개의 줄에는 각 색의 양말 개수 $k$가 한 줄에 하나씩 주어진다 ($1 \le k \le 10^9$).

색이 서로 다른 짝을 최대 몇 개 만들 수 있는지 정수 하나로 한 줄에 출력한다.