/*
TASK: rtri
LANG:C++
*/
#include <iostream.h>
int main()
{
  int m, n;
  cin >> m >> n;
  unsigned int br=m*n*4;
  int x; if(m>n){x=m; m=n; n=x;}

  for(int i=1; i<=m; i++)
    for(int j=2; j<=n; j++)
     br+=(m-i+1)*4*(n-j+1);

  int l=1, t=1;
  for(int p=1; p<=m; p*=l)
  {
    for(int k=2; k<=n; k*=t)
    {
      br+=(m-p+1)*(n-k+1)*2;
      t++;
    }
    l++;
  }
/*  for(i=2; i<=m; i*=2)
    for(int j=1; j<=n; j*=2)
      br+=(m/i)*(n/j)*2; */

  cout << br;
  return 0;
}