main(m,n,a){for(;~scanf("%d%d",&m,&n);printf("%d\n",a))for(a=0;m*n;)a+=m--*n--;}