Problem
编写一个程序，读取直角三角形中两条边的长度并打印其面积。
直角三角形的面积可以使用公式求出：
\(S = {1 \over 2} \cdot a \cdot b\),
其中
a, b 是腿的长度。
输入
程序的输入是两个实数——腿长（
a, b），每条在单独的一行上（1 <= a, b <= 10
4）。
印记
程序应该显示一个数字——三角形的面积。
例子
<头>
| # |
输入 |
输出 |
<正文>
| 1 |
2.0
3.0
| 3.0 |
| 2 |
26.0
78.0 |
1014.0 |
| 3 |
3.5
7.8 |
13.65 |