//uva11538 #include <cstdio> #include <iostream> using namespace std; typedef long long LL; int main() { LL n, m, ans; // n >= m while (scanf("%lld%lld", &m, &n)) { if (m == 0 && n == 0) break; if (m > n) swap(m, n); ans = 2 * n * (m * (m - 1) / 2) + 2 * m * (n * (n - 1) / 2); // ans = ans + 2 * 2 * ((n - m + 1) * (m * (m - 1) / 2) + 2 * ((m) * (m - 1) * (m - 2) / 6)); // printf("%lld\n", ans); } return 0; }