using System; using System.Collections.Generic; using System.Numerics; public class Program { private int A, B, C; private ModInt[] Fact; public void Solve() { var sc = new Scanner(); A = sc.NextInt(); B = sc.NextInt(); C = sc.NextInt(); int sum = A + B + C; // aの上bit > b > c Fact = new ModInt[300001]; Fact[0] = 1; for (int i = 1; i <= 300000; i++) { Fact[i] = Fact[i - 1] * i; } ModInt ans = 0; // Zの最上位bit for (int i = C - 1; i < sum - 2; i++) { // Zの最上位bitの和 ModInt mostZ = ModInt.Pow(2 ,i); ModInt mostZSum = mostZ * Com(i, C - 1); // Zの最上位以外の和 ModInt t; if (C == 1) t = 0; else { t = Com(i - 1, C - 2) * ModInt.Pow(2, i - 1); } ModInt ZSum = mostZSum + t; // abのパターン数 ModInt patXY = Com(sum - C - 1, A - 1) - Com(i,B); ans += ZSum * patXY; //Console.WriteLine($"{i} {ZSum} {patXY}"); } Console.WriteLine(ans); } private ModInt Com(int n, int m) { if (n < m) return 0; return Fact[n] * ModInt.Inverse(Fact[n - m] * Fact[m]); } public static void Main(string[] args) { new Program().Solve(); } } #region ModInt /// /// [0,) までの値を取るような数 /// public struct ModInt { /// /// 剰余を取る値. /// public const long Mod = (int) 1e9 + 7; /// /// 実際の数値. /// public long num; /// /// 値が であるようなインスタンスを構築します. /// /// インスタンスが持つ値 /// パフォーマンスの問題上,コンストラクタ内では剰余を取りません.そのため, ∈ [0,) を満たすような を渡してください.このコンストラクタは O(1) で実行されます. public ModInt(long n) { num = n; } /// /// このインスタンスの数値を文字列に変換します. /// /// [0,) の範囲内の整数を 10 進表記したもの. public override string ToString() { return num.ToString(); } public static ModInt operator +(ModInt l, ModInt r) { l.num += r.num; if (l.num >= Mod) l.num -= Mod; return l; } public static ModInt operator -(ModInt l, ModInt r) { l.num -= r.num; if (l.num < 0) l.num += Mod; return l; } public static ModInt operator *(ModInt l, ModInt r) { return new ModInt(l.num * r.num % Mod); } public static implicit operator ModInt(long n) { n %= Mod; if (n < 0) n += Mod; return new ModInt(n); } /// /// 与えられた 2 つの数値からべき剰余を計算します. /// /// べき乗の底 /// べき指数 /// 繰り返し二乗法により O(N log N) で実行されます. public static ModInt Pow(ModInt v, long k) { return Pow(v.num, k); } /// /// 与えられた 2 つの数値からべき剰余を計算します. /// /// べき乗の底 /// べき指数 /// 繰り返し二乗法により O(N log N) で実行されます. public static ModInt Pow(long v, long k) { long ret = 1; for (k %= Mod - 1; k > 0; k >>= 1, v = v * v % Mod) if ((k & 1) == 1) ret = ret * v % Mod; return new ModInt(ret); } /// /// 与えられた数の逆元を計算します. /// /// 逆元を取る対象となる数 /// 逆元となるような値 /// 法が素数であることを仮定して,フェルマーの小定理に従って逆元を O(log N) で計算します. public static ModInt Inverse(ModInt v) { return Pow(v, Mod - 2); } } #endregion class Scanner { public Scanner() { _pos = 0; _line = new string[0]; } const char Separator = ' '; private int _pos; private string[] _line; #region スペース区切りで取得 public string Next() { if (_pos >= _line.Length) { _line = Console.ReadLine().Split(Separator); _pos = 0; } return _line[_pos++]; } public int NextInt() { return int.Parse(Next()); } public long NextLong() { return long.Parse(Next()); } public double NextDouble() { return double.Parse(Next()); } #endregion #region 型変換 private int[] ToIntArray(string[] array) { var result = new int[array.Length]; for (int i = 0; i < array.Length; i++) { result[i] = int.Parse(array[i]); } return result; } private long[] ToLongArray(string[] array) { var result = new long[array.Length]; for (int i = 0; i < array.Length; i++) { result[i] = long.Parse(array[i]); } return result; } private double[] ToDoubleArray(string[] array) { var result = new double[array.Length]; for (int i = 0; i < array.Length; i++) { result[i] = double.Parse(array[i]); } return result; } #endregion #region 配列取得 public string[] Array() { if (_pos >= _line.Length) _line = Console.ReadLine().Split(Separator); _pos = _line.Length; return _line; } public int[] IntArray() { return ToIntArray(Array()); } public long[] LongArray() { return ToLongArray(Array()); } public double[] DoubleArray() { return ToDoubleArray(Array()); } #endregion }