function main(input) {
    const args = input.split('\n');
  
  	const a = parseInt(args[0], 10),
          b = parseInt(args[1], 10),
          h = parseInt(args[2], 10);
          
    console.log((a+b)*h/2);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));