// 那就是希望。
// 即便需要取模，也是光明。

#include <algorithm>
#include <stdio.h>
#include <vector>
typedef long long llt;
typedef unsigned uint;typedef unsigned long long ullt;
typedef bool bol;typedef char chr;typedef void voi;
typedef double dbl;
template<typename T>bol _max(T&a,T b){return(a<b)?a=b,true:false;}
template<typename T>bol _min(T&a,T b){return(b<a)?a=b,true:false;}
template<typename T>T lowbit(T n){return n&-n;}
template<typename T>T gcd(T a,T b){return b?gcd(b,a%b):a;}
template<typename T>T lcm(T a,T b){return(a!=0||b!=0)?a/gcd(a,b)*b:(T)0;}
template<typename T>T exgcd(T a,T b,T&x,T&y){if(b!=0){T ans=exgcd(b,a%b,y,x);y-=a/b*x;return ans;}else return y=0,x=1,a;}
template<typename T>T power(T base,T index,T mod)
{
    T ans=1%mod;
    while(index)
    {
        if(index&1)ans=ans*base%mod;
        base=base*base%mod,index>>=1;
    }
    return ans;
}
// Your shadow Gets in the way of my light
ullt solve(ullt a,ullt b,ullt c)
{
    ullt ans=0;
    ullt r=std::min(a,c);
    if(r<=b)
        ans+=r*(r-1)/2;
    else
        ans+=b*(b-1)/2+b*(r-b);
    // printf("%llu %llu %llu\n",r,b,ans);
    ans-=std::min(b,r/2);
    return ans;
}
int main()
{
#ifdef MYEE
    freopen("QAQ.in","r",stdin);
    freopen("QAQ.out","w",stdout);
#endif
    uint a,b,c;scanf("%u%u%u",&a,&b,&c);
    printf("%llu\n",8*(solve(a,b,c)+solve(b,c,a)+solve(c,a,b)));
    return 0;
}

// 那就是希望。
// 即便需要取模，也是光明。