#50303: cpp ans
1130335@stu.wghs.tp.edu.tw
(Quincy)
#include <iostream>
using namespace std;
int main()
{
int a,b;
while(cin>>a>>b){
cout<<(b*b)/2<<endl;
}
return 0;
}