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