Problem:


Score : 100 points

Problem 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.

Constraints

1 \leq |AB|,|BC|,|CA| \leq 100

All values in input are integers.

The area of the triangle ABC is an integer.

Input

Input is given from Standard Input in the following format:

|AB| |BC| |CA|

Output

Print the area of the triangle ABC.

Sample Input 1

3 4 5

Sample Output 1

6

This triangle has an area of 6.

Sample Input 2

5 12 13

Sample Output 2

30

This triangle has an area of 30.

Sample Input 3

45 28 53

Sample Output 3

630

This triangle has an area of 630.



Sample input:
3 4 5


Sample output:
6

Submission status: Accepted

Solution code:
a,b,c=map(int,input().split())
S=a*b/2
print(int(S))

Submission status: Accepted

Solution code:
ab, bc, ac = map(int, raw_input().split())
big = ab
if big < bc:
    big = bc
if big < ac:
    big = ac
inc = [ab, bc, ac]
inc.remove(big)

print inc[0] * inc[1] / 2

Submission status: Accepted

Solution code:
sides = sorted([int(_) for _ in input().split()])

print("{}".format(sides[0] * sides[1] // 2))

Submission status: Accepted

Solution code:
A, B, C = [int(x) for x in input().split()]
print(int(A*B/2))

Submission status: Accepted

Solution code:
A,B,C=map(int, input().split())
print(int(A*B*0.5))

Submission status: Accepted

Solution code:
ab,bc,ca = map(int, input().split())
print(int(ab*bc*0.5))

Submission status: Accepted

Solution code:
a,b,c = sorted([int(i) for i in input().split()])
print(int(a*b/2))

Submission status: Accepted

Solution code:
s = list(map(int, input().split()))
s.sort()
print(int(s[0]*s[1]/2))

Submission status: Accepted

Solution code:
A,B,C=map(int,input().split())
S=0
if A>B and A>C:
    S=B*C/2
elif B>A and B>C:
    S=A*C/2
else:
    S=A*B/2
print(int(S))

Submission status: Accepted

Solution code:
AB, BC, CA = map(int, input().split())

print(int(BC * AB / 2))

Submission status: Accepted

Solution code:
x = list(map(int, input().split(' ')))
print(int(x[0] * x[1] / 2))

Submission status: Accepted

Solution code:
a=list(map(int,input().split()))
r=[e for e in a if e != max(a)]
print(int(r[0]*r[1]/2))

Submission status: Accepted

Solution code:
import math
ab, bc, ca = [float(item) for item in input().split()]

s = (ab + bc + ca) / 2.0
area = math.sqrt(s*(s-ab)*(s-bc)*(s-ca))

print(int(area))

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())
ans = (a*b)/2
print (int(ans))

Submission status: Accepted

Solution code:
import numpy as np

sides = list(map(int, input().split()))
sides = np.array(sides)
answer_sides = []

for i in range(len(sides)):
    if sides[i] != sides.max():
        answer_sides.append(sides[i])

print(int(answer_sides[0] * answer_sides[1] / 2))

Submission status: Accepted

Solution code:
ab,bc,ca = map(int,input().split())
print(int(ab*bc/2))

Submission status: Accepted

Solution code:
#!/usr/bin/env python3



# Generated by 1.1.3 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
def main():
    # Failed to predict input format
    l = list(map(int,input().split()))
    l.sort()
    print(int(l[0]*l[1]/2))
    return 

if __name__ == '__main__':
    main()

Submission status: Accepted

Solution code:
A, B, C = map(int,input().split())
print((A*B)//2)

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())

print(int(a*b//2))

Submission status: Accepted

Solution code:
a,b,x = map(int, input().split(' '))
s = int(a*b/2)
print(str(s))

Submission status: Accepted

Solution code:
def main():
    ab, bc, _ = get_params()
    print(area(ab, bc))


def get_params():
    return [int(s) for s in input().split()]


def area(ab, bc):
    return ab * bc // 2


if __name__ == "__main__":
    main()

Submission status: Accepted

Solution code:
A,B,C = list(map(int,input().split()))
print(int(A*B/2))

Submission status: Accepted

Solution code:
AB, BC, CA = map(int, input().split())
 
S = int(AB*BC / 2)
print(S)

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())
if(a>b and a>c):
    print(b*c/2)
elif(b>c and b>a):
    print(c*a/2)
else:
    print(int(a*b/2))

Submission status: Accepted

Solution code:
arr = list(map(int, input().split()))
arr.sort()
print(arr[0] * arr[1] // 2)

Submission status: Accepted

Solution code:
#! /usr/bin/env python3
# -*- coding: utf-8 -*-

ls = [int(x) for x in input().split()]
ls.sort()
print(int((ls[0]*ls[1])/2))

Submission status: Accepted

Solution code:
ab,bc,ca = map(int,input().split())
print(int(ab * bc / 2))

Submission status: Accepted

Solution code:
a=sorted(map(int,input().split()))
print(a[0]*a[1]//2)

Submission status: Accepted

Solution code:
C,A,B=map(int,input().split())
print(C*A//2)

Submission status: Accepted

Solution code:
AB , BC, CA  = map(int,input().split())
print (int(1/2 * AB * BC))

Submission status: Accepted

Solution code:
x,y,_ = map(int,input().split())
print(x*y//2)

Submission status: Accepted

Solution code:
a=list(map(float,input().split()))
a.remove(max(a))
print(int(a[0]*a[1]*0.5))

Submission status: Accepted

Solution code:
def ans():
  A, B, C = map(int,input().split())
  print((A*B)//2)
ans()

Submission status: Accepted

Solution code:
a=list(map(int,input().split()))
a.sort()
print(a[0]*a[1]//2)

Submission status: Accepted

Solution code:
def right_triangle(AB: int, BC: int, CA: int) -> int:
    return (AB * BC) // 2


if __name__ == "__main__":
    AB, BC, CA = [int(s) for s in input().split()]
    ans = right_triangle(AB, BC, CA)
    print(ans)

Submission status: Accepted

Solution code:
a = map(int, input().split())
a = sorted(a)
print(a[0] * a[1] // 2)

Submission status: Accepted

Solution code:
L = list(map(int,input().split()))
print(int(L[0]*L[1]/2))

Submission status: Accepted

Solution code:
AB, BC, CA = [ int(x) for x in input().split() ]

ans = (AB * BC) // 2

print(ans)
print()

Submission status: Accepted

Solution code:
A = [int(x) for x in input().split()]
A.sort()
print(A[0]*A[1]//2)

Submission status: Accepted

Solution code:
A,B,_ = list(map(int,input().split(" ")))
print(int(A*B/2))

Submission status: Accepted

Solution code:
AB, BC, CA = [int(i) for i in input().split()]

print(int(AB * BC / 2))

Submission status: Accepted

Solution code:
a,b,c = map(int, input().split(" "))
print(int(a*b/2))

Submission status: Accepted

Solution code:
A, B, C = (int(x) for x in input().split())
print(A*B//2)

Submission status: Accepted

Solution code:
# https://atcoder.jp/contests/abc116/tasks/abc116_a
ab, bc, ca = [int(x) for x in input().split()]
print(ab * bc // 2)

Submission status: Accepted

Solution code:
a,b,c = map(int, input().split())
if a==max(a,b,c):
  print(b*c//2)
elif b==max(a,b,c):
  print(a*c//2)
else:
  print(a*b//2)

Submission status: Accepted

Solution code:
AB, BC, CA = list(map(int, input().split()))

print((AB * BC)//2)

Submission status: Accepted

Solution code:
ls = map(int, input().split())
ls = sorted(ls)

print(int(ls[0] * ls[1] / 2))

Submission status: Accepted

Solution code:
line = input()
info = results = [int(i) for i in line.split()]

s = info[0]*info[1]/2
print(int(s))

Submission status: Accepted

Solution code:
A, B, _ = input(" ").split(" ")
print(int(int(A)*int(B)/2))

Submission status: Accepted

Solution code:
ab, bc, ca = map(int, input().split())

print(ab*bc//2)

Submission status: Accepted

Solution code:
l=list(map(int,input().split()))
l.remove(max(l))
print(int(l[0]*l[1]/2))

Submission status: Accepted

Solution code:
AB, BC, CA = list(map(int, input().split()))
if AB ** 2 + BC ** 2 == CA ** 2:
	print(int(AB * BC / 2))
elif BC ** 2 + CA ** 2 == AB ** 2:
	print(int(BC * CA / 2))
else:
	print(int(CA * AB / 2))

Submission status: Accepted

Solution code:
from sys import stdin
 
a, b, c = [int(x) for x in stdin.readline().rstrip().split()]
print(int((a*b)/2))

Submission status: Accepted

Solution code:
ab,bc,ca=map(int,input().split())
s=(ab+bc+ca)/2
print(int(pow(s*(s-ab)*(s-bc)*(s-ca),1/2)))

Submission status: Accepted

Solution code:
x, y, z = map(int,input().split())
print(int(x*y/2))

Submission status: Accepted

Solution code:
# encoding:utf-8
import copy
import numpy as np
import random

l = [int(i) for i in input().split()]
l.sort()
print(l[1]*l[0]//2)

Submission status: Accepted

Solution code:
AB,BC,CA = map(int,input().split())
print(int(AB*BC*1/2))

Submission status: Accepted

Solution code:
a, b, c = map(int,input().split())
print("%d"%(a*b/2))

Submission status: Accepted

Solution code:
l=list(map(int,input().split()))
l.sort()
print(int(0.5*l[0]*l[1]))

Submission status: Accepted

Solution code:
list1 = [int(a) for a in input().split()]
list1_0 = list1[0] #AB
list1_1 = list1[1] #BC

print(int(list1_0 * list1_1 / 2))

Submission status: Accepted

Solution code:
a, b, c = map(int,input().split())
d = max(a, b, c)
print(a * b * c // d // 2)

Submission status: Accepted

Solution code:
listA = list(map(int, input().split()))
listB = (sorted(listA)[:2])
print(int(max(listB)*min(listB)/2))

Submission status: Accepted

Solution code:
a=input().split()
b=int(a[0])
c=int(a[1])
print(b*c//2)

Submission status: Accepted

Solution code:
h,b,_ = map(int,input().split())

ans = int(h*b/2)

print(ans)

Submission status: Accepted

Solution code:
a,b,c = map(int, input().split())
 
print(int(a*b/2))

Submission status: Accepted

Solution code:
(ab, bc, cd) = map(int, input().split())
print(int((ab * bc) / 2))

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())

s = int(a*b/2)

print(s)

Submission status: Accepted

Solution code:
def main():
    ab, bc, ca = map(int, input().split())
    print(ab * bc // 2)


if __name__ == "__main__":
    main()

Submission status: Accepted

Solution code:
#coding:utf-8
abc_ent = list(map(int, input().split()))

ab = abc_ent[0]
bc = abc_ent[1]

S = ab * bc / 2
S = int(S)
print(S)

Submission status: Accepted

Solution code:
A, B, C = map(int, input().split(" "))
print(A*B//2)

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split(' '))
print (int(a * b / 2))

Submission status: Accepted

Solution code:
(ab, bc, ca) = map(int, input().split())
print(int(ab * bc / 2))

Submission status: Accepted

Solution code:
a ,b, c = [int(x) for x in input().split()]
print(int(a*b/2))

Submission status: Accepted

Solution code:
list1 = [int(a) for a in input().split()]
list1_0 = list1[0] #AB
list1_1 = list1[1] #BC
list1_2 = list1[2] #CA

if (list1_0 * list1_1 // 2) > 1:
    print(list1_0 * list1_1 // 2)
else:
    print(list1)

Submission status: Accepted

Solution code:
def solve(string):
    l = sorted(map(int, string.split()))
    return str(l[0] * l[1] // 2)


if __name__ == '__main__':
    print(solve(input()))

Submission status: Accepted

Solution code:
#cording: utf-8

AB, BC, CA = map(int, input().split())

print(int(AB*BC/2))

Submission status: Accepted

Solution code:
E = list(map(int, input().split()))

print(int(E[0]*E[1]/2))

Submission status: Accepted

Solution code:
L = list(map(int, input().split()))
L.sort()
Area = int(L[0]*L[1]/2)
print(Area)

Submission status: Accepted

Solution code:
A = [int(n) for n in input().split()]
print(int(A[0]*A[1]/2))

Submission status: Accepted

Solution code:
a,b,c=map(int,input().split())
print(str(int(0.5*a*b)))

Submission status: Accepted

Solution code:
ab,bc,ca = list(map(int, input().split()))
print(ab*bc//2)

Submission status: Accepted

Solution code:
x, y,z = [int(i) for i in input().split()]

print(int(x*y/2))

Submission status: Accepted

Solution code:
ri = lambda: int(input())
rl = lambda: list(map(int,input().split()))

x,y,z =rl()
print(x*y//2)

Submission status: Accepted

Solution code:
A, B, C = map(int,input().split())
print(int(A*B/2))

Submission status: Accepted

Solution code:
ri = lambda: int(input())
rl = lambda: list(map(int,input().split()))

x,y,z = rl()

print(int(x*y/2))

Submission status: Accepted

Solution code:

# coding: utf-8

# In[6]:


l = [int(x) for x in input().split()]


# In[7]:


print(int(l[0]*l[1]/2))

Submission status: Accepted

Solution code:
hen_list = list(map(int,input().split()))

sorted_hen_list = sorted(hen_list)
menseki = sorted_hen_list[0]*sorted_hen_list[1]//2
print(menseki)

Submission status: Accepted

Solution code:
import math
x,y,z=map(int,input().split())
S=round(x*y/2)
print(S)

Submission status: Accepted

Solution code:
e = [int(x) for x in input().split()]
print(e[0]*e[1]//2)

Submission status: Accepted

Solution code:
#-*- coding: utf-8 -*-
"""
"""

from collections import defaultdict
import sys

import math


def sol(a, b, c):
    return int(a * b / 2)


do_submit = True


def input_parse(input_str):
    lines = [x.strip() for x in input_str.split("\n") if x.strip()]
    parsed_lines = [list(map(int, line.split())) for line in lines]
    a, b, c = parsed_lines[0]
    return a, b, c


if not do_submit:
    a, b, c = input_parse("""
    45 28 53
    """)
    print(sol(a, b, c))
else:
    a, b, c = list(map(int, input().split()))
    print(sol(a, b, c))

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())

if a**2+b**2 == c**2:
    print(int(a*b/2))
elif b**2+c**2 == a**2:
    print(int(b*c/2))
else:
    print(int(c*a/2))

Submission status: Accepted

Solution code:
ab,bc,ca = map(int,input().split())

print(int(ab*bc/2))

Submission status: Accepted

Solution code:
AB, BC, CA = list(map(int,input().split()))
print( int( AB * BC / 2) )

Submission status: Accepted

Solution code:
li = list(map(int, input().split()))

print(int(li[0] * li[1] / 2))

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())

menseki = int(a * b / 2)
print(menseki)

Submission status: Accepted

Solution code:
X = list(map(int, input().split()))
X.sort()
print(int(0.5*X[0]*X[1]))

Submission status: Accepted

Solution code:
ab, bc, ca = map(int, input().split())
print(int(bc*ab/2))

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-
# スペース区切りの整数の入力

ab, bc, ca = map(int,input().split())

res = ab * bc / 2

print("%d" % res)

Submission status: Accepted

Solution code:
a_b, b_c, c_a = map(int, input().split())
if (a_b**2 + b_c**2) == c_a**2:
    print(int(a_b * b_c /2))
else:
    print('直角三角形ではない')

Submission status: Accepted

Solution code:
l=list(map(int,input().split()))
p=l[0]*l[1]/2
print(int(p))

Submission status: Accepted

Solution code:
ab, bc, ac = map(int, input().split(' '))
print(int(ab * bc * 0.5))

Submission status: Accepted

Solution code:
import sys
A,B,C = [int(n) for n in input().split()]
# N = int(input())
# A = [0]*N
# for i in range(N):
#     A[i] = int(input())
# S = str(input())
# T = str(input())
print(int(A*B/2))

Submission status: Accepted

Solution code:
import math
a,b,c = map(int,input().split())

result = (a*b)/2
print(math.floor(result))

Submission status: Accepted

Solution code:
i = list(map(int, input().split())) #i_1 i_2を取得し、iに値を入れる
print(int((i[0] * i[1]) / 2))

Submission status: Accepted

Solution code:
ab, bc, cd = map(int, input().split())

print(int(ab*bc/2))

Submission status: Accepted

Solution code:
c,a,b=map(int,input().split())
print(int(c*a/2))

Submission status: Accepted

Solution code:
ab, bc, ac = [int(i) for i in input().split()]
print(ab * bc // 2)

Submission status: Accepted

Solution code:
ab,bc,ca = map(int,input().split())
print(int((ab*bc)/2))

Submission status: Accepted

Solution code:
# A
import math
a, b, c = map(int, input().split())

s = (a + b + c)/2

print(int(math.sqrt(s*(s-a)*(s-b)*(s-c))))

Submission status: Accepted

Solution code:
S = list(map(int,input().split()))
AB = S[0]
BC = S[1]
CA = S[2]

answer = AB * BC // 2

print(answer)

Submission status: Accepted

Solution code:
a,b,c = map(int, input().split())

print(a * b // 2)

Submission status: Accepted

Solution code:
a, b, c= map(int, input().split())
print(int(a*b/2))

Submission status: Accepted

Solution code:
AB, BC, CA = map( int, input().split() )

print( int(AB*BC/2) )

Submission status: Accepted

Solution code:
a,b,c=list(map(int,(input()).split()))
print (int(((a)*(b))/2))

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())
print(a * b //2)

Submission status: Accepted

Solution code:
def calc_area(w, h):
        return w * h // 2


w, h, _ = [int(v) for v in input().split()]
print(calc_area(w, h))

Submission status: Accepted

Solution code:
# https://atcoder.jp/contests/abc116/tasks/abc116_a

A, B, C = map(int, input().split())

print(int(A*B/2))

Submission status: Accepted

Solution code:
a = raw_input()
values = a.split(" ")
values = [int(i) for i in values]
m = max(values)
values = [i for i in values if i!=m]
print(values[0]*values[1]/2)

Submission status: Accepted

Solution code:
import math
a, b, c = map(int, input().split())
s = (a + b + c)/2
S = math.sqrt(s*(s-a)*(s-b)*(s-c))
print(int(S))

Submission status: Accepted

Solution code:
l = sorted(list(map(int, input().split())))
print(int(l[0]*l[1]/2))

Submission status: Accepted

Solution code:
from functools import reduce
from operator import mul

def solve():
	L = [int(i) for i in input().split()]
	return reduce(mul, L) // (2 * max(L))

print(solve())

Submission status: Accepted

Solution code:
a,b,c = list(map(int,input().split()))
print(int(a*b/2))

Submission status: Accepted

Solution code:
inp = input().split(" ")
a = int(inp[0])
b = int(inp[1])
print(int(a*b/2))

Submission status: Accepted

Solution code:
L = list(map(int, input().split()))

L.remove(L[L.index(max(L))])
S = 1
for i in range(2):
  S *= L[i]
  
print(S//2)

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())
print(min([a*b, b*c, c*a]) // 2)

Submission status: Accepted

Solution code:
#! usr/bin/env python
# -*- coding: utf-8 -*-


def main():
    x, y, z = map(int, input().split())
    print(x*y//2)


if __name__ == '__main__':
    main()

Submission status: Accepted

Solution code:
sides = raw_input()
sides = [int(i) for i in sides.split(" ")]
m = max(sides)
sides = [i for i in sides if i!=m]
print(sides[0]*sides[1]/2)

Submission status: Accepted

Solution code:
# A - Right Triangle


def main():
    s = input()
    ret = solve(s)
    print(ret)


def solve(s):
    ary = list(map(int, s.split()))
    ary.sort()
    return ary[0] * ary[1] // 2


main()

Submission status: Accepted

Solution code:
a, b, c = map(int,input().split())
print((a*b)//2)

Submission status: Accepted

Solution code:
a,b,c=map(int,input().split())
print(a*b*c//(2*max(a,b,c)))

Submission status: Accepted

Solution code:
# coding: utf-8
# Your code here!
a,b,c = map(int,input().split(" "))
print(round(a*b/2))

Submission status: Accepted

Solution code:
x,y,z= map(int,input().split())
print(int(x*y/2))

Submission status: Accepted

Solution code:
s = input().split()
s = [int(i) for i in s]
print(int(s[0]*s[1]/2))

Submission status: Accepted

Solution code:

v = sorted([int(x) for x in input().split()])

print( int(0.5 * v[0] * v[1]))

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())

print(round(a * b * (1/2)))

Submission status: Accepted

Solution code:
[c,b,a] = [int(i) for i in input().split()]
print(int(c*b/2))

Submission status: Accepted

Solution code:
import math

a, b, c = map(int, input().split())

s = (a + b + c) / 2

print(int(math.sqrt(s * (s - a) * (s - b) * (s - c))))

Submission status: Accepted

Solution code:
a, b, c = map(int ,input().split())
print((a*b)//2)

Submission status: Accepted

Solution code:
lines = list(map(int, input().split()))
lines.sort()
 
print((lines[0] * lines[1]) // 2)

Submission status: Accepted

Solution code:
x = list(map(int, input().split()))
print(int(x[0] * x[1] / 2))

Submission status: Accepted

Solution code:
n = list(map(int,input().split()))
n = sorted(n)
print(int(n[0]*n[1]/2))

Submission status: Accepted

Solution code:
abc = sorted(list(map(int, input().strip().split())))
print(abc[0] * abc[1] // 2)

Submission status: Accepted

Solution code:
n,m,p = map(int,input().split())
print(int(n*m/2))

Submission status: Accepted

Solution code:
ab, bc, ca = map(int, input().split(' '))
print('%d' % (ab * bc / 2))

Submission status: Accepted

Solution code:
a,b,c = map(int, input().split( ))
area = int(a*b /2)
print(area)

Submission status: Accepted

Solution code:
s=list(map(int,input().split()))
p=sorted(s)
print(p[0]*p[1]//2)

Submission status: Accepted

Solution code:
c, a, _ = map(int, input().split())
print(int(c * a / 2))

Submission status: Accepted

Solution code:
L = [int(x) for x in input().split()]
L.sort()
print(L[1] * L[0] // 2)

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-
A,B,C = map(int, input().split())

print(int(A*B/2))

Submission status: Accepted

Solution code:
A, B, C = map(int, input().split())
print(min(A, B, C)*(A+B+C-max(A, B, C)-min(A, B, C))//2)

Submission status: Accepted

Solution code:
ab, bc, ca = map(int,input().split())

print(int(ab * bc / 2))

Submission status: Accepted

Solution code:
a, b, c = [int(_) for _ in input().split()]
print(int(a * b / 2))

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())

hect = int(a*b*0.5)
print(hect)

Submission status: Accepted

Solution code:
from collections import defaultdict, Counter
from itertools import product, groupby, count, permutations, combinations
from math import pi, sqrt
from collections import deque
from bisect import bisect, bisect_left, bisect_right
from string import ascii_lowercase
from functools import lru_cache
import sys
sys.setrecursionlimit(10000)
INF = float("inf")
YES, Yes, yes, NO, No, no = "YES", "Yes", "yes", "NO", "No", "no"
dy4, dx4 = [0, 1, 0, -1], [1, 0, -1, 0]
dy8, dx8 = [0, -1, 0, 1, 1, -1, -1, 1], [1, 0, -1, 0, 1, 1, -1, -1]


def inside(y, x, H, W):
    return 0 <= y < H and 0 <= x < W


def ceil(a, b):
    return (a + b - 1) // b


# aとbの最大公約数
def gcd(a, b):
    if b == 0:
        return a
    return gcd(b, a % b)

# aとbの最小公倍数
def lcm(a, b):
    g = gcd(a, b)
    return a / g * b


def main():
    AB, BC, CA = map(int, input().split())
    print(AB * BC // 2)


if __name__ == '__main__':
    main()

Submission status: Accepted

Solution code:
AB, BC, CA = [int(data) for data in input().split()]
print(int(AB*BC / 2))

Submission status: Accepted

Solution code:
l = [int(i) for i  in input().split()]
print(int(l[0]*l[1]/2))

Submission status: Accepted

Solution code:
# coding: utf-8


def main():
    a, b, hypo = map(int, input().split())

    print(a*b//2)


if __name__ == '__main__':
    main()

Submission status: Accepted

Solution code:
AB, BC, CA = (int(i) for i in input().split())

print(int(AB*BC*CA /(2*(max(AB,BC,CA)))))

Submission status: Accepted

Solution code:
#n,m = map(int,input().split())
xlist = list(map(int,input().split()))

S = xlist[0]*xlist[1]/2
print(int(S))

Submission status: Accepted

Solution code:
AB,BC,CA=map(int,input().split())
print(int(AB*BC/2))

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-
from sys import stdin
# import numpy as np

s_in = lambda: stdin.readline()[:-1]  # s = s_in()
d_in = lambda: int(stdin.readline())  # N = d_in()
ds_in = lambda: list(map(int, stdin.readline().split()))  # List = ds_in()

a, b, c = ds_in()
print(a * b // 2)

Submission status: Accepted

Solution code:
a,b,c = (int(i) for i in input().split())
print(( a * b ) // 2 )

Submission status: Accepted

Solution code:
h,b,c =  map(int,input().split())
sum = h * b /2
print(round(sum),end="")

Submission status: Accepted

Solution code:
a_b, b_c, c_d = map(int, input().split())
print(int(a_b * b_c / 2))

Submission status: Accepted

Solution code:
import heapq

inputs = list(map(int, input().split()))
a, b = heapq.nsmallest(2, inputs)

print(a * b // 2)

Submission status: Accepted

Solution code:
#abc116a
a,b,c=map(int,raw_input().split())
print a*b/2

Submission status: Accepted

Solution code:
x,y = [int(i) for i in input().split()[:2]]
print(int(x*y/2))

Submission status: Accepted

Solution code:
ab, bc, ca = map(int, input().split())

print((bc * ab) // 2)

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split(" "))
print((a * b) // 2)

Submission status: Accepted

Solution code:
list = list(map(int, input().split()))

ab = list[0]
bc = list[1]
ac = list[2]

print(int(0.5*ac*bc*ab/ac))

Submission status: Accepted

Solution code:
T = input().rstrip().split(" ")
#print(T)
AB=int(T[0])
BC=int(T[1])
menseki = (AB * BC )/2
print(int(menseki))

Submission status: Accepted

Solution code:
items = sorted(list(map(int,input().split())))
print(int(items[0]*items[1]/2))

Submission status: Accepted

Solution code:
import sys
input = sys.stdin.readline

a, b, c = [int(i) for i in input().split()]
print(int(a*b/2))

Submission status: Accepted

Solution code:
A,B,C=map(int,input().split(" "))
print(A*B//2)

Submission status: Accepted

Solution code:
a, b, c = [int(i) for i in input().split()]
print(int(a * b / 2))

Submission status: Accepted

Solution code:
l=list(map(int,input().split()))
l.sort()
print(int((l[0]*l[1])/2))

Submission status: Accepted

Solution code:
n = list(map(int,input().split()))
print(int(0.5*n[0]*n[1]))

Submission status: Accepted

Solution code:
a = sorted(map(int, input().split()))

print(int((a[0]*a[1])/2))

Submission status: Accepted

Solution code:
l,n,m=map(int,input().split())
print(int(l*n/2))

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())
Area = ( a*b ) // 2
print(Area)

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())
s = int((a+b+c)/2)
print(int((s*(s-a)*(s-b)*(s-c))**0.5))

Submission status: Accepted

Solution code:
edges = list(map(int , input().split()))
edges.sort()

print(edges[0] * edges[1] // 2)

Submission status: Accepted

Solution code:
a = input().split()
b = []
for i in a:
    b.append(int(i))
b.sort()
print(int(b[0] * b[1] / 2))

Submission status: Accepted

Solution code:
ab, bc, ac = map(int,input().split())
print(int((ab*bc)/2))

Submission status: Accepted

Solution code:
inp = [int(x) for x in input().split(" ")]
print(int(inp[0]*inp[1]/2))

Submission status: Accepted

Solution code:
from sys import stdin


############################################


# read data for n sequences.
n = stdin.readline().split()
a = int(n[0])
b = int(n[1])
c = int(n[2])
#data = [int(stdin.readline().rstrip()) for _ in range(n)]

out = int(a * b /2)

print(out)

Submission status: Accepted

Solution code:
a = list(map(int, input().split()))
a.sort()
print(a[0]*a[1]//2)

Submission status: Accepted

Solution code:
a, b, c = sorted([int(i) for i in input().split()])
print(a * b // 2)

Submission status: Accepted

Solution code:
import math
import sys
from operator import itemgetter

# N, K = map(int, input().split())
# h = list(map(int, input().split()))
# S = [input() for _ in range(H)]
# X = [[0 for j in range(100)] for i in range(200)]


### input
a, b, c = map(int, input().split())
print(a*b//2)

Submission status: Accepted

Solution code:
ab, bc, ca = list(map(int, input().split())) # 整数
print(int(ab*bc / 2))

Submission status: Accepted

Solution code:
a,b,c = [int(x) for x in input().split()]
s = int(a * b / 2)
print(s)

Submission status: Accepted

Solution code:
ab, bc, _ = map(int, input().split())
print(ab * bc // 2)

Submission status: Accepted

Solution code:
s = input().split(" ")
item = [int(i) for i in s]
item.sort()
print(int(item[0] * item[1] / 2))

Submission status: Accepted

Solution code:
#!/usr/bin/env python3
# -*- coding:utf-8 -*-

if __name__=='__main__':
  li = [int(x) for x in input().split()]
  li.sort()
  print(int(li[0]*li[1]/2))

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())

t = max(a,max(b,c))

print((a*b*c)//(2*t))

Submission status: Accepted

Solution code:
a, b, c = [int(n) for n in input().split()]

print(a * b // 2)

Submission status: Accepted

Solution code:
def main():
    ab, bc, ca = map(int, input().strip().split(" "))
    area = int(ab*bc/2)
    print("{:d}".format(area))

if __name__ == "__main__":
    main()

Submission status: Accepted

Solution code:
a = list(int(i) for i in input().split())
print(a[0]*a[1]//2)

Submission status: Accepted

Solution code:
AB, BC, CA = map(int,input().split())
print(int(AB * BC / 2))

Submission status: Accepted

Solution code:
in1 = list(map(int ,input().split(" ")))
in1.sort()
print(int((in1[0] * in1[1])/2))

Submission status: Accepted

Solution code:
arr = [int(i) for i in input().split()]

s = max(arr)
arr.remove(s)
print(int(arr[0] * arr[1] / 2))

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-
# Luis Yoichi Morales January 2019

ab, bc, ca = map(int, raw_input().split())
print ab*bc/2

Submission status: Accepted

Solution code:
import sys
 
for line in sys.stdin:
  nbs = line.split(' ')
  print(int(nbs[0]) * int(nbs[1]) // 2)

Submission status: Accepted

Solution code:
#ABC116A-RightTriangle.py

INPUT = input().split()

print(int(int(INPUT[0])*int(INPUT[1]) / 2))

Submission status: Accepted

Solution code:
I = [int(i) for i in input().split()]
I.sort()
ans = I[0] * I[1] // 2
print(ans)

Submission status: Accepted

Solution code:
i = list(map(int, input().split(" ")))

s = int(i[0] * i[1] / 2)

print(s)

Submission status: Accepted

Solution code:
a,b,c=map(int,input().split())

if(a**2+b**2==c**2):
    print(int(a*b/2))
elif(b**2+c**2==a**2):
    print(int(b*c/2))
else:
    print(int(c*a/2))

Submission status: Accepted

Solution code:
A = list(map(int, input().split()))

A.sort()

print(A[0] * A[1] // 2)

Submission status: Accepted

Solution code:
def main():
    ab, bc, ca = map(int, input().split())
    print(ab * bc // 2)


if __name__ == '__main__':
    main()

Submission status: Accepted

Solution code:
import sys
input = sys.stdin.readline

AB, BC, CA = map(int, input().split())
print(int(0.5 * AB * BC))

Submission status: Accepted

Solution code:
AB, BC, CA = map(int, input().split())
print(int(0.5 * AB * BC))

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-
# Luis Yoichi Morales January 2019

a, b, c = map(int, raw_input().split())
print a*b /2

Submission status: Accepted

Solution code:
ab,bc,ca=map(int,input().split())
ans=int(ab*bc/2)
print(ans)

Submission status: Accepted

Solution code:
ab, bc, ca = list(map(int, input().split()))
area_of_triangle = int(round(ab*bc/2))
print(area_of_triangle)

Submission status: Accepted

Solution code:
import numpy as np

if __name__ == '__main__':
    a,b,c = map(int, input().split())
    print(int(a*b/2))

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())
print(int((a*b)/2))

Submission status: Accepted

Solution code:
x,y,z=list(map(int,input().split()))                              
print(int(x*y/2))

Submission status: Accepted

Solution code:
l = list(map(int, input().split()))
l.sort()
print(l[0] * l[1] // 2)

Submission status: Accepted

Solution code:
c, a, b = map(int, input().split())
ans = int(c * a / 2)
print(ans)

Submission status: Accepted

Solution code:
ab, bc, ca = input().split()
result = int((int(ab) * int(bc)) / 2)
print(result)

Submission status: Accepted

Solution code:
a,b,c = input().split(" ")
a,b,c = int(a),int(b),int(c)
area = int(a*b*c/(max(a,b,c)*2))
print(area)

Submission status: Accepted

Solution code:
ab, bc, ca = [int(x) for x in input().split()]
print(int(ab * bc / 2))

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())
res = int(a*b/2)
print(res)

Submission status: Accepted

Solution code:
line = input().split()
w = int(line[0]) * int(line[1]) // 2
print(w)