output_description: Print the area of the triangle ABC.
  
  * * *
input_description: Input is given from Standard Input in the following format:
  
      
      
      |AB| |BC| |CA|
attempt: # abc116_a.py
  # https://atcoder.jp/contests/abc116/tasks/abc116_a
  
  # A - Right Triangle /
  # 実行時間制限: 2 sec / メモリ制限: 1024 MB
  # 配点 : 100点
  
  # 問題文
  # 直角三角形 ABCがあります。∠ABC=90°です。
  # 三角形 ABCの三辺の長さである |AB|,|BC|,|CA| が与えられるので、直角三角形 ABCの面積を求めて下さい。
  # ただし、三角形 ABCの面積は整数となることが保証されています。
  
  # 制約
  #     1≦|AB|,|BC|,|CA|≦100
  #     入力はすべて整数である。
  #     三角形 ABCの面積は整数である。
  
  # 入力
  # 入力は以下の形式で標準入力から与えられます。
  # |AB| |BC| |CA|
  
  # 出力
  # 三角形 ABCの面積を出力してください。
  
  # 入力例 1
  # 3 4 5
  
  # 出力例 1
  # 6
  
  # tri
  
  # この三角形の面積は 6です。
  
  # 入力例 2
  # 5 12 13
  
  # 出力例 2
  # 30
  
  # この三角形の面積は 30です。
  
  # 入力例 3
  # 45 28 53
  
  # 出力例 3
  # 630
  
  # この三角形の面積は 630です。
  
  
  def calculation(lines):
      # X = lines[0]
      # N = int(lines[0])
      ab, bc, ca = list(map(int, lines[0].split()))
      # values = list()
      # for i in range(N):
      #     values.append(int(lines[i+1]))
  
      result = int(ab * bc / 2)
  
      return [result]
  
  
  # 引数を取得
  def get_input_lines(lines_count):
      lines = list()
      for _ in range(lines_count):
          lines.append(input())
      return lines
  
  
  # テストデータ
  def get_testdata(pattern):
      if pattern == 1:
          lines_input = ["3 4 5"]
          lines_export = [6]
      if pattern == 2:
          lines_input = ["5 12 13"]
          lines_export = [30]
      if pattern == 3:
          lines_input = ["45 28 53"]
          lines_export = [630]
      return lines_input, lines_export
  
  
  # 動作モード判別
  def get_mode():
      import sys
  
      args = sys.argv
      if len(args) == 1:
          mode = 0
      else:
          mode = int(args[1])
      return mode
  
  
  # 主処理
  def main():
      import time
  
      started = time.time()
      mode = get_mode()
      if mode == 0:
          lines_input = get_input_lines(1)
      else:
          lines_input, lines_export = get_testdata(mode)
  
      lines_result = calculation(lines_input)
  
      for line_result in lines_result:
          print(line_result)
  
      # if mode > 0:
      #     print(f'lines_input=[{lines_input}]')
      #     print(f'lines_export=[{lines_export}]')
      #     print(f'lines_result=[{lines_result}]')
      #     if lines_result == lines_export:
      #         print('OK')
      #     else:
      #         print('NG')
      # finished = time.time()
      # duration = finished - started
      # print(f'duration=[{duration}]')
  
  
  # 起動処理
  if __name__ == "__main__":
      main()
  
problem_description: Statement
  
  There is a right triangle ABC with ∠ABC=90°.
  
  Given the lengths of the three sides, |AB|,|BC| and |CA|, find the area of the
  right triangle ABC.
  
  It is guaranteed that the area of the triangle ABC is an integer.
samples: [{"input": "3 4 5", "output": "6\n    \n\n![tri](https://img.atcoder.jp/ghi/44c1d4cbdf4677ce3b08ca70b5ce98ea.png)\n\nThis triangle has an area of 6.\n\n* * *"}, {"input": "5 12 13", "output": "30\n    \n\nThis triangle has an area of 30.\n\n* * *"}, {"input": "45 28 53", "output": "630\n    \n\nThis triangle has an area of 630."}]