#include<stdio.h>
FILE*f=fopen("mins.in","r");
FILE*g=fopen("mins.out","w");
int min(int a,int b){
	if(a<b)
		return a;
	return b;
}
char w[1000001];
int c,d,p[1000001];
long long s;
int main() {
	fscanf(f,"%d%d",&c,&d);
	c--;
	d--;
	int mins=min(c,d);
	for(int i=2;i<=mins;++i)
		if(w[i]==0){
			p[i]++;
			long long ii=i*i;
			for(int j=2*i;j<=mins;j+=i){
				w[j]=1;
				if(j%ii)
					p[j]++;
			}
		}
	
	for(int i=2;i<=1000;++i)
		if(!w[i]){
			int ii=i*i;
			for(int j=ii;j<=mins;j+=ii)
				p[j]=0;
				
		}
		
	for(int i=1;i<=mins;++i)
		if(p[i])
			if(p[i]%2)
				s+=(c/i)*(d/i);
			else
				s-=(c/i)*(d/i);
			
	long long a=c*d;
	
	fprintf(g,"%lld",a-s);
	
	
	fclose(g);
	fclose(f);
	return 0;
}