/*
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);

  for(int p=1; p<=m; p*=2)
   for(int k=2; k<=n; k*=2)
      br+=(m-p+1)*(n-k+1)*2;

/*  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;
}