function Main(input) {
	input = input.split("\n").map(function(i){ return Number(i); });
    console.log("%d",(input[0]+input[1])*input[2]*0.5);
};
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));