import std.stdio, std.conv, std.string, std.algorithm.searching, std.algorithm.iteration;

void main()
{
    auto N = readln().strip.to!int;
    int[] pList = [];
    foreach(i; 0..N)
    {
        pList ~= readln().strip.to!int;
    }
    writeln(pList.sum - pList.maxElement / 2);
}
