#include<bits/stdc++.h>
using namespace std;
long long read()
{
    long long x;scanf("%lld",&x);return x;
}
long long ans;
int n,m;
int main()
{
    n=read();m=read();
    for(int i=0;i<=n;i++)
    {
        for(int j=0;j<=n;j++)
        {
            int X1=0;
            int X2=2*i-X1;
            if(X2>n)
                X2=n,X1=2*i-X2;
            int Y1=0;
            int Y2=2*j-Y1;

            if(Y2>m)
                Y2=m,Y1=2*j-Y1;
            ans+=(Y2-Y1+1)*(X2-X1+1)/2*2;
        }

    }
    cout<<ans;
}