#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<algorithm>
#include<iostream>
#include<string>
#include<ctime>
#include<queue>
#include<map>
#include<set>
#include<vector>
typedef long long LL;
using namespace std;
const int N=100010;
LL n,m,k,ans,f[N];
LL read() {LL d=0,f=1; char c=getchar(); while (c<‘0‘||c>‘9‘) {if (c==‘-‘) f=-1; c=getchar();} while (c>=‘0‘&&c<=‘9‘) d=(d<<3)+(d<<1)+c-48,c=getchar(); return d*f;}
void judge(){freopen(".in","r",stdin); freopen(".out","w",stdout);}
int main()
{
    //judge();
    n=read(); m=read(); int ljj=max(n,m),pjy=min(n,m);
    for (int i=ljj;i>=1;i--)
    {
        f[i]=(n/i)*(m/i);
        for (int j=2*i;j<=pjy;j+=i)
            f[i]-=f[j];
    }
    for (LL i=1;i<=ljj;i++)
        ans+=f[i]*(2*i-1);
    printf("%lld",ans);
    return 0;
}