#include using namespace std; using ll = long long; using ld = long double; using vi = vector; using vvi = vector; using vvvi = vector; using vll = vector; using vvll = vector; using vvvll = vector; using vs = vector; using pll = pair; using vp = vector; template using V = vector; template using VV = vector >; #define rep(i, n) for(ll i = 0; i < (n); i++) #define repb(i, n) for(ll i = (n)-1; i >= 0; i--) #define repr(i, a, b) for(ll i = (a); i < (b); i++) #define reprb(i, a, b) for(ll i = (a)-1; i >= (b); i--) #define ALL(a) (a).begin(), (a).end() #define SZ(x) ((ll)(x).size()) const ll MOD = 1000000007; const ll INF = 100000000000000000LL; inline ll GCD(ll a, ll b){ return b?GCD(b, a % b):a; } inline ll LCM(ll a, ll b){ return a/GCD(a, b)*b; } inline ll powint(unsigned long long x, ll y){ ll r=1; while(y){ if(y&1) r*=x; x*=x; y>>=1; } return r; } inline ll powmod(ll x, ll y, ll m = MOD){ ll r=1; while(y){ if(y&1) r*=x; x*=x; r%=m; x%=m; y>>=1; } return r; } templateinline bool chmax(S &a, const T &b){ if(ainline bool chmin(S &a, const T &b){ if(b class ModInt{ public: ll x; ModInt() : x(0) {} ModInt(ll y) : x(y >= 0 ? y % mod : (mod - (-y) % mod) % mod){} constexpr ModInt &operator+=(const ModInt &p){ if((x += p.x) >= mod) x -= mod; return *this; } constexpr ModInt &operator-=(const ModInt &p){ if((x += mod - p.x) >= mod) x -= mod; return *this; } constexpr ModInt &operator*=(const ModInt &p){ x = x * p.x % mod; return *this; } constexpr ModInt &operator/=(const ModInt &p){ *this *= p.inverse(); return *this; } constexpr ModInt operator-(){ return ModInt(-x); } constexpr ModInt operator+(const ModInt &p){ return ModInt(*this) += p; } constexpr ModInt operator-(const ModInt &p){ return ModInt(*this) -= p; } constexpr ModInt operator*(const ModInt &p){ return ModInt(*this) *= p; } constexpr ModInt operator/(const ModInt &p){ return ModInt(*this) /= p; } constexpr bool operator==(const ModInt &p){ return x == p.x; } constexpr bool operator!=(const ModInt &p){ return x != p.x; } constexpr ModInt inverse() const{ ll a = x, b = mod, u = 1, v = 0, t; while(b > 0) { t = a / b; swap(a -= t * b, b); swap(u -= t * v, v); } return ModInt(u); } constexpr ModInt pow(ll n) { ModInt ret(1), mul(x); while(n > 0) { if(n & 1) ret *= mul; mul *= mul; n >>= 1; } return ret; } friend ostream &operator<<(ostream &os, const ModInt &p){ return os << p.x; } friend istream &operator>>(istream &is, ModInt &a){ ll t; is >> t; a = ModInt< mod >(t); return (is); } }; using mint = ModInt; using vm = vector; using vvm = vector; const int MAX = 300001; mint fac[MAX], facinv[MAX]; void combInit(){ fac[0] = mint(1); facinv[0] = mint(1); rep(i, MAX-1){ fac[i+1] = fac[i]*(i+1); facinv[i+1] = fac[i+1].inverse(); } } mint comb(const ll a, const ll b){ assert(a < MAX); assert(b < MAX); if(a < 0 || b < 0 || b > a){ return mint(0); } mint ret(1); ret *= fac[a]; ret *= facinv[b]; ret *= facinv[a-b]; return ret; } int main(){ cin.tie(0); ios::sync_with_stdio(false); cout << fixed << setprecision(15); mint a, b, c; cin >> a >> b >> c; if(a == 1 && b == 1 && c == 1){ cout << 1 << endl; return 0; } combInit(); mint ans(0); /* // (1) ans += c * (mint(2).pow(a.x+b.x+c.x-2) - 1) * comb(a.x+b.x+c.x-2, c.x) * comb(a.x+b.x-2, b.x) / (a.x+b.x+c.x-2); dump( c, (mint(2).pow(a.x+b.x+c.x-2) - 1) , comb(a.x+b.x+c.x-2, c.x) , comb(a.x+b.x-2, b.x)); cerr << ans << endl; // (2) ans -= (c-1) * (mint(2).pow(a.x+b.x+c.x-3) - 1) * comb(a.x+b.x+c.x-3, c.x-1) * comb(a.x+b.x-2, b.x) / (a.x+b.x+c.x-3); dump( (c-1) , (mint(2).pow(a.x+b.x+c.x-3) - 1) , comb(a.x+b.x+c.x-3, c.x-1) , comb(a.x+b.x-2, b.x)); ans -= mint(2).pow(a.x+b.x+c.x-3) * comb(a.x+b.x+c.x-3, c.x-1) * comb(a.x+b.x-2, b.x); dump( mint(2).pow(a.x+b.x+c.x-3) , comb(a.x+b.x+c.x-3, c.x-1) , comb(a.x+b.x-2, b.x)); cerr << ans << endl; // (3) ans += c * (mint(2).pow(a.x+b.x+c.x-2) - 1) * comb(a.x+b.x+c.x-2, c.x) * comb(a.x+b.x-2, b.x-1) / (a.x+b.x+c.x-2); dump( c , (mint(2).pow(a.x+b.x+c.x-2) - 1) , comb(a.x+b.x+c.x-2, c.x) , comb(a.x+b.x-2, b.x-1)); */ repr(i, 1, a.x+1){ ans += c * comb(a.x+b.x+c.x-i-1, c.x) * comb(a.x+b.x-i-1, b.x-1) * (mint(2).pow(a.x+b.x+c.x-i-1) - 1) / (a.x+b.x+c.x-i-1); dump(c , comb(a.x+b.x+c.x-i-1, c.x) , comb(a.x+b.x-i-1, b.x-1) , (mint(2).pow(a.x+b.x+c.x-i-1) - 1)); } cout << ans << endl; return 0; }