#include<cstdio>#include<cstring>const int N = 500005;typedef long long ll;int cnt[N];ll sum[N];int main(){int x,y,z,i,j,tmp=0;cnt[1]=0;for(i=1;i<N;i++){for(j=i+i;j<N;j+=i){if(cnt[j]<cnt[i]+1)cnt[j]=cnt[i]+1;tmp++;}}for(i=1;i<N;i++)sum[i]=sum[i-1]+cnt[i];while(~scanf("%d%d%d",&x,&y,&z)){ll ret=(ll)x*y*z;ret+=sum[x]*y*z+sum[y]*x*z+sum[z]*x*y;printf("%lldn",ret);}return 0;}


