#include <bits/stdc++.h>

using std::ios;
using std::cin;
using std::cout;
typedef long long ll;
int n, m; ll ans = 0;

int main()
{   
    cin >> n >> m;
    ll ans = 0;
    for (int i = 2; i <= n; ++i)
        for (int j = 2; j <= m; ++j)
            if (std::__gcd(i, j) != 1)
                ans += 2ll * (n + 1 - i) * (m + 1 - j);
    for (int i = 2; i <= n; i += 2)
        ans += 1ll * (m + 1) * (n + 1 - i);
    for (int j = 2; j <= m; j += 2)
        ans += 1ll * (n + 1) * (m + 1 - j);
    cout << ans << '\n';
}