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