#include using namespace std; using ll = long long; #define rep(i, n) for (int i = 0; i < (n); i++) #define repr(i, n) for (int i = (n) - 1; i >= 0; i--) #define repe(i, l, r) for (int i = (l); i < (r); i++) #define reper(i, l, r) for (int i = (r) - 1; i >= (l); i--) #define repi(i, l, r) for (int i = (l); i <= (r); i++) #define repir(i, l, r) for (int i = (r); i >= (l); i--) #define range(a) a.begin(), a.end() void initio() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); } constexpr int MOD = 1000000007; class mint { int n; public: mint(int n_ = 0) : n(n_) {} explicit operator int() { return n; } friend mint operator-(mint a) { return -a.n + MOD * (a.n != 0); } friend mint operator+(mint a, mint b) { int x = a.n + b.n; return x - (x >= MOD) * MOD; } friend mint operator-(mint a, mint b) { int x = a.n - b.n; return x + (x < 0) * MOD; } friend mint operator*(mint a, mint b) { return (long long)a.n * b.n % MOD; } friend mint &operator+=(mint &a, mint b) { return a = a + b; } friend mint &operator-=(mint &a, mint b) { return a = a - b; } friend mint &operator*=(mint &a, mint b) { return a = a * b; } friend bool operator==(mint a, mint b) { return a.n == b.n; } friend bool operator!=(mint a, mint b) { return a.n != b.n; } friend istream &operator>>(istream &i, mint &a) { return i >> a.n; } friend ostream &operator<<(ostream &o, mint a) { return o << a.n; } }; vector F_{1, 1}, R_{1, 1}, I_{0, 1}; void check_fact(int n) { for (int i = I_.size(); i <= n; i++) { I_.push_back(I_[MOD % i] * (MOD - MOD / i)); F_.push_back(F_[i - 1] * i); R_.push_back(R_[i - 1] * I_[i]); } } mint I(int n) { check_fact(n); return n < 0 ? 0 : I_[n]; } mint F(int n) { check_fact(n); return n < 0 ? 0 : F_[n]; } mint R(int n) { check_fact(n); return n < 0 ? 0 : R_[n]; } mint C(int n, int r) { return F(n) * R(n - r) * R(r); } mint RC(int n, int r) { return R(n) * F(n - r) * F(r); } mint P(int n, int r) { return F(n) * R(n - r); } mint H(int n, int r) { return n == 0 ? (r == 0) : C(n + r - 1, r); } mint alt(int n) { return n % 2 == 0 ? 1 : MOD - 1; } // f = 1/(1-x)(1-y)(1-z) と置く。 // 十分おおきな M をとると求めたい値は // [x^X y^Y z^Z] \sum_{k=0}^{M-1} (f-1)^k // となる。 // // \sum_{k=0}^{M-1} (f-1)^k // = \sum_{k=0}^{M-1} \sum_{j=0}^{M-1} \binom{k}{j} (-1)^{k-j} f^j (二項定理) // = \sum_{j=0}^{M-1} f^j \sum_{k=0}^{M-1} \binom{k}{j} (-1)^{k-j} (和の順番を入れ替えた) // // さらに // \sum_{k=0}^{M-1} \binom{k}{j} (-1)^{k-j} // = [x^j] \sum_{i=0}^{M-1} (x-1)^i // = [x^j] ((x-1)^M - 1) / ((x-1)-1) // なのでこの部分は計算できる。 // // [x^X y^Y z^Z] f^i = H(i,X) H(i,Y) H(i,Z) // なので解けた。 int main() { int X, Y, Z; cin >> X >> Y >> Z; const int M = 3000000; // (x-1)^M-1 vector f(M + 2); for (int i = 0; i <= M; i++) { f[i] = C(M, i) * alt(M - i); } f[0] -= 1; // ((x-1)^M-1)/((x-1)-1) /* for (int i = M - 1; i >= 0; i--) { f[i + 1] += f[i]; f[i] *= -mint(2); } */ for (int i = 0; i <= M - 1; i++) { f[i] *= -I(2); f[i + 1] -= f[i]; } // cout << f << endl; /* vector g(M); rep(i, M) { rep(k, M) { g[i] += C(k, i) * alt(k - i); } } cout << g << endl; */ mint ans; rep(i, M) { ans += H(i, X) * H(i, Y) * H(i, Z) * f[i]; } cout << ans << endl; }