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:
#coding:utf-8

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

print (int((AB*BC) / 2))

Submission status: Accepted

Solution code:
p, q, r = map(int, input().split())
print(int(p*q/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:
l = input().split()
A = int(l[0])
B = int(l[1])
C = int(l[2])
ans = (A * B)/2
print(int(ans))

Submission status: Accepted

Solution code:
a = [int(num) for num in input().split()]

a.sort(reverse=False)

print(int(a[0]*a[1]/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= input().split()

AB = int(AB)
BC = int(BC)
CA = int(CA)

S = (AB * BC) / 2
print(int(S))

Submission status: Accepted

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

print(A * B // 2)

Submission status: Accepted

Solution code:
l = list(map(int, input().split()))
print(int(l[0]*l[1]/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(bc*ab//2)

Submission status: Accepted

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

ans = A * B / 2
print(int(ans))

Submission status: Accepted

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

    longest = max(ab, bc, ca)

    if longest == ab:
        print(bc * ca // 2)
    if longest == bc:
        print(ca * ab // 2)
    if longest == ca:
        print(ab * bc // 2)

if __name__ == "__main__":
    main()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(AB * BC // 2)

Submission status: Accepted

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

Submission status: Accepted

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



# Generated by 1.1.4 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():
    L = list(map(int,input().split()))

    s = sum(L)/2

    S = (s*(s-L[0])*(s-L[1])*(s-L[2])) ** 0.5

    print(int(S))


if __name__ == '__main__':
    main()

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 = list(map(int, input().split()))
a = sorted(a)
print(a[0] * a[1] // 2)

Submission status: Accepted

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

if a>b and a>c:
  print(int((1/2 * b * c)))
  
if b>a and b>c:
  print(int((1/2 * a * c)))
  
else:
  print(int((1/2 * a *b)))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(int(ab * bc / 2))

Submission status: Accepted

Solution code:
x = input()
box= x.split(" ")

add = int(box[0]) * int(box[1])/ 2
print(int(add))

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((1/2)*a*b))

Submission status: Accepted

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

print(a*b//2)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
h, w, x = map(int, input().split(' '))
print(int((h * w)/2))

Submission status: Accepted

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

triangle.sort()

area = triangle[0] * triangle[1] / 2

print(int(area))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-
"""
A - Right Triangle
https://atcoder.jp/contests/abc116/tasks/abc116_a

"""
import sys


def solve(a, b, c):
    s = (a + b + c) / 2
    return int((s*(s-a)*(s-b)*(s-c))**0.5)

def main(args):
    a, b, c = map(int, input().split())
    ans = solve(a, b, c)
    print(ans)


if __name__ == '__main__':
    main(sys.argv[1:])

Submission status: Accepted

Solution code:
from __future__ import print_function
import numpy as np
import sys
import math,string,itertools,fractions,heapq,collections,re,array,bisect,copy,functools
# from itertools import accumulate
# from collections import deque
import random

def eprint(*args, **kwargs):
    print(*args, file=sys.stderr, **kwargs)

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

Submission status: Accepted

Solution code:
i = list(map(int, input().split()))
ab = i[0]
bc = i[1]
ca = i[2]

print(round(ab * bc / 2));

Submission status: Accepted

Solution code:
import sys


def input():
    return sys.stdin.readline()[:-1]

# N = int(input())
# A = [int(x) for x in input().split()]
# a, b, c = map(int, input().split())
# name1 = str(input())
# alph = {"A": 1, "B": 2, "C": 3, "D": 4, "E": 5}


a,b,c=map(int,input().split())
print(int(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:
import sys
import bisect
input = sys.stdin.readline

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

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a,b,c = map(int, input().split())
if a == max(a,b,c):
    print(int(b*c / 2))
elif b == max(a,b,c):
    print(int(a*c / 2))
elif c == max(a,b,c):
    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:
from functools import reduce
from operator import mul
T = [int(x) for x in input().split()]
print(reduce(mul, sorted(T)[0:2]) // 2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

S=c*a/2

print(int(S))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# coding: utf-8

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

Submission status: Accepted

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

print(a * b // 2)

Submission status: Accepted

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

x = list(map(int, input().split()))
x.sort()

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

Submission status: Accepted

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

if A > B and A > C:
    print(str(B*C//2))
elif B > A and B > C:
    print(str(A*C//2))
else:
    print(str(A*B//2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
if __name__ == '__main__':
    AB, BC, CA = map(int, input().split())

    answer = int((AB * BC)/2)
    print(answer)

Submission status: Accepted

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

Submission status: Accepted

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

a = sorted(a)

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print (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:
nums = sorted(map(int, input().split()))
print(round(nums[0]*nums[1]/2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
[a,b,c] = [int(j) for j in input().split()]
x = [a,b,c]
d = min(x)
e = a+b+c-d-max(x)
print(int(d*e/2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
x, y, z = map(int, input().split())

print(int(x*y/2))

Submission status: Accepted

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

Submission status: Accepted

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

print(round(AB*BC/2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(int(b * a / 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 = map(int, input().split())
print(int(a*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:
# -*- coding:utf-8 -*-

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

if __name__ == "__main__":
    solve()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
l1, l2, l3 = map(int,input().split())
print(int(l1 * l2 / 2))

Submission status: Accepted

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

Submission status: Accepted

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

print (A * B //2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
AB, BC, CA = map(int, 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, b, c = map(int, input().split())

menseki = a * b // 2

print(menseki)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a,b,c = map(int,input().split())
d = max(a,b,c)
if a == d:
    print (b*c//2)
elif b == d:
    print (a*c//2)
else:
    print (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:
AB, BC, CA = map(int,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, b, c = [int(item) for item in input().split()]
print((a * b) // 2)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# coding: utf-8
ab, bc, ca = map(int, input().split())
s = ab * bc / 2
print(int(s))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#!/usr/bin/env python3
import sys
from math import *
from itertools import *
from collections import *
from functools import *
try:
    from math import gcd
except Exception:
    from fractions import gcd
readInt = lambda: int(sys.stdin.readline())
readIntN = lambda: [int(v) for v in sys.stdin.readline().split(' ')]



def main():
    a, b, c = readIntN()
    result = a * b // 2
    print(result)

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:
ab, bc, ca = map(int, input().split())
ans = ab * bc * 0.5
print(int(ans))

Submission status: Accepted

Solution code:
A, B, C =map(int,input().split())
print((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= map(int,input().split())

print(a*b//2)

Submission status: Accepted

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

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:
length = list(map(int, input().split()))
print(int(length[0]*length[1]/2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(a * b // 2)

Submission status: Accepted

Solution code:
# coding: utf-8
AB,BC,AC = map(int, input().split())
print(AB*BC//2)

Submission status: Accepted

Solution code:
# coding: utf-8
from sys import stdin
AB,BC,AC = map(int, stdin.readline().rstrip().split())
print(int(AB*BC/2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
h, w, n = map(int, input().split())

print(int(h*w/2))

Submission status: Accepted

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

print(int(AB * BC / 2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(A*B//2)

Submission status: Accepted

Solution code:
ABClist=input().split()
AB=int(ABClist[0])
BC=int(ABClist[1])
ans=int(AB*BC/2)
print(ans)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
abc = input().split()
x = int(abc[0])
y = int(abc[1])
z = int(abc[2])

print((x * y) // 2)

Submission status: Accepted

Solution code:
x,y,z=map(int,input().split())

ans=x*y/2

print(int(ans))

Submission status: Accepted

Solution code:
x,y,z=map(int,input().split())

ans=x*y/2

print('{:.0f}'.format(ans))

Submission status: Accepted

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

print(int(ab*bc/2))

Submission status: Accepted

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

abc.sort()

abc.pop()

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

Submission status: Accepted

Solution code:
import functools
import math

import os

INF = float('inf')


def inp():
    return int(input())


def inpf():
    return float(input())


def inps():
    return input()


def inl():
    return list(map(int, input().split()))


def inlf():
    return list(map(float, input().split()))


def inls():
    return input().split()


def debug(fn):
    if not os.getenv('LOCAL'):
        return fn

    @functools.wraps(fn)
    def wrapper(*args, **kwargs):
        print('DEBUG: {}({}) -> '.format(
            fn.__name__,
            ', '.join(
                list(map(str, args)) +
                ['{}={}'.format(k, str(v)) for k, v in kwargs.items()]
            )
        ), end='')
        ret = fn(*args, **kwargs)
        print(ret)
        return ret

    return wrapper
a, b, c = inl()
print(a * b // 2)

Submission status: Accepted

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

print(ab*bc//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#116 A
a =[int(j) for j in input().split()]
a.remove(max(a))
print(int(0.5*a[0]*a[1]))

Submission status: Accepted

Solution code:
# ABC116A - Right Triangle
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>>1)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
A,B,_ = map(int, input().split())
print(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:
AB,BC,CA = map(int,input().split())

print(int(AB*BC/2))

Submission status: Accepted

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

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#!/usr/bin/env python3
import sys
INF = float("inf")


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


if __name__ == '__main__':
    main()

Submission status: Accepted

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

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

print(a * b // 2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
ab,bc,ca = map(int,input().split())
print('{0:.0f}'.format((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 = map(int, input().split())

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

Submission status: Accepted

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

edge.sort()

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

Submission status: Accepted

Solution code:
def MI(): return map(int, input().split())
def II(): return int(input())
def IS(): return input()
def LI(): return list(map(int, input().split()))


a, b, c = MI()
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,c = map(int,input().split())
ans = a * b // 2
print(ans)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a,b,c=map(int,input().split())
arr=[a,b,c]
arr=sorted(arr)
print(int(arr[0]*arr[1]/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:
a, b, c = map(int, input().split())

print(round(a*b / 2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
AB,BC,CA = map(int, 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,b,c = [int(i) for i in 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(ab*bc//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#!/usr/bin/python

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

if __name__ == "__main__":
    main()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(c*a//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:

A, B, _ = input().split()

print(int(int(A)*int(B)/2))

Submission status: Accepted

Solution code:
# Right Triangle
ab, bc, ca = map(int, input().strip().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:
def main():
	a, b, c = map(int, input().split())
	print(a*b//2)

if __name__ == '__main__':
    main()

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 = map(int, input().split())

edge = [a, b, c]
edge.sort()
ans = int(edge[0]*edge[1]/2)

print(ans)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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



def main():
    a, b, c = map(int, input().split())
    edges = [a,b,c]
    edges.sort()
    print(edges[0] * edges[1] // 2)
    pass

if __name__ == '__main__':
    main()

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a=list(map(int,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:
AB,BC,_ = list(map(int,input().split()))
print((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=map(int,input().split())
d=max(a,b,c)
print(int(a*b*c/(2*d)))

Submission status: Accepted

Solution code:
a_list = list(map(int, input().split()))
a_list.sort()
print(int(a_list[0] * a_list[1]/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 = map(int, input().split())

print(int(A*B/2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a = [ int(i) for i in 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:
c,a,b = [int(i) for i in input().split()]
print(int(c*a/2))

Submission status: Accepted

Solution code:
c,a,b=map(int,input().split())
print(round(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 = map(int, input().split())

print(int(AB*BC//2))

Submission status: Accepted

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

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

print(int(a*c/2))

Submission status: Accepted

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

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

Submission status: Accepted

Solution code:
import math
a,b,c = list(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:
AB, BC, CA = map(int, input().split())
ans = AB*BC/2
print(int(ans))

Submission status: Accepted

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

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 = [int(i) for i in input().split()]
print(AB * BC // 2)

Submission status: Accepted

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

def main():
    return int(AB*BC/2)

if __name__ == '__main__':
    print(main())

Submission status: Accepted

Solution code:
List=[int(x) for x in input().split()]

Max=max(List)

List.remove(Max)

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

Submission status: Accepted

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

Submission status: Accepted

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

if (A*A+B*B==C*C):
    s = A*B/2
elif (A*A+C*C==B*B):
    s = A*C/2
else:
    s = B*C/2

print(int(s))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
from sys import stdin
import numpy as np

H = [int(x) for x in stdin.readline().rstrip().split()]

print(int(H[0]*H[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/2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print((a * b) // 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:
ab,bc,ca = map(int,input().split())
square = int(ab*bc/2)
print(square)

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())
print(bc*ab//2)

Submission status: Accepted

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

Submission status: Accepted

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

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())
print(int(ab*bc/2))

Submission status: Accepted

Solution code:
#!/usr/bin/env python3
AB, BC, CA = map(int, input().split())
print(int(AB*BC/2))

Submission status: Accepted

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

Submission status: Accepted

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

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

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())
area = int(bc*ab/2)
print(area)

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=input().split()
A=int(A)
B=int(B)
print(int(A*B/2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
###A - Right Triangle
AB, BC, CA = map(int, input().split())
print(int(AB * BC / 2))