Problem:
Score : 200 points

Problem Statement

In some other world, today is the day before Christmas Eve.

Mr. Takaha is buying N items at a department store. The regular price of the i-th item (1 \leq i \leq N) is p_i yen (the currency of Japan).

He has a discount coupon, and can buy one item with the highest price for half the regular price. The remaining N-1 items cost their regular prices. What is the total amount he will pay?

Constraints

2 \leq N \leq 10

100 \leq p_i \leq 10000

p_i is an even number.

Input

Input is given from Standard Input in the following format:

N
p_1
p_2
:
p_N

Output

Print the total amount Mr. Takaha will pay.

Sample Input 1

3
4980
7980
6980

Sample Output 1

15950

The 7980-yen item gets the discount and the total is 4980 + 7980 / 2 + 6980 = 15950 yen.

Note that outputs such as 15950.0 will be judged as Wrong Answer.

Sample Input 2

4
4320
4320
4320
4320

Sample Output 2

15120

Only one of the four items gets the discount and the total is 4320 / 2 + 4320 + 4320 + 4320 = 15120 yen.

Solution in C# (Mono 4.6.2.0) (judge verdict: Wrong Answer)

using System;
using System.Collections.Generic;

namespace myApp
{
    class Program
    {
        static void Main(string[] args)
        {
            var input_n = Console.ReadLine();
            var n = 0;

            if(!int.TryParse(input_n, out n))
                return;

            if(n < 2 && n > 10)
                return;

            var total_pi    = 0;
            var max_pi      = 0;

            while(n > 0)
            {
                n--;

                var input_pi    = Console.ReadLine();
                var pi          = 0;

                if(!int.TryParse(input_pi, out pi))
                    continue;

                if(pi < 100 && pi > 10000)
                    continue;

                if(pi % 2 != 0)
                    continue;

                if(max_pi == 0)
                    max_pi = pi;
                else if(max_pi < pi)
                {
                    total_pi += max_pi;
                    max_pi = pi;
                }
            }

            total_pi += max_pi / 2;

            System.Console.WriteLine(total_pi);
        }
    }
}