#include using namespace std; #define SZ(x) (int)(x.size()) #define REP(i, n) for(int i=0;i<(n);++i) #define FOR(i, a, b) for(int i=(a);i<(b);++i) #define RREP(i, n) for(int i=(int)(n)-1;i>=0;--i) #define RFOR(i, a, b) for(int i=(int)(b)-1;i>=(a);--i) #define ALL(a) a.begin(),a.end() #define DUMP(x) cerr<<#x<<" = "<<(x)<; using vvi = vector; using vll = vector; using vvll = vector; using P = pair; const double EPS = 1e-8; const ll MOD = 1000000007; const int INF = INT_MAX / 2; const ll LINF = LLONG_MAX / 2; template bool chmax(T1 &a, const T2 &b) { if (a < b) { a = b; return true; } return false; } template bool chmin(T1 &a, const T2 &b) { if (a > b) { a = b; return true; } return false; } template ostream &operator<<(ostream &os, const map &mp); template ostream &operator<<(ostream &os, const vector &v); template ostream &operator<<(ostream &os, const pair &p) { os << "(" << p.first << ":" << p.second << ")"; return os; } template ostream &operator<<(ostream &os, const map &mp) { os << "{"; int a = 0; for (auto &tp : mp) { if (a) os << ", "; a = 1; os << tp; } return os << "}"; } template ostream &operator<<(ostream &os, const vector &v) { os << "["; REP(i, SZ(v)) { if (i) os << ", "; os << v[i]; } return os << "]"; } template struct modint { using LL = int64_t; LL val; modint(LL val=0) : val(((val % mod) + mod) % mod) {} const modint operator+() const { return *this; } const modint operator-() const { return (-val + mod) % mod; } const modint inv() const { return pow(mod-2); } modint& operator+=(const modint& rhs) { (val += rhs.val) %= mod; return *this; } modint& operator-=(const modint& rhs) { return *this += -rhs; } modint& operator*=(const modint& rhs) { (val *= rhs.val) %= mod; return *this; } modint& operator/=(const modint& rhs) { return *this *= rhs.inv(); } const modint operator+(const modint& rhs) const { return modint(*this) += rhs; } const modint operator-(const modint& rhs) const { return modint(*this) -= rhs; } const modint operator*(const modint& rhs) const { return modint(*this) *= rhs; } const modint operator/(const modint& rhs) const { return modint(*this) /= rhs; } const modint pow(LL n) const { modint ret = 1, tmp = val; while (n) { if (n & 1) ret *= tmp; tmp *= tmp; n >>= 1; } return ret; } bool operator==(const modint& rhs) const { return val == rhs.val; } bool operator!=(const modint& rhs) const { return !(*this == rhs); } friend const modint operator+(const LL& lhs, const modint& rhs) { return modint(lhs) + rhs; } friend const modint operator-(const LL& lhs, const modint& rhs) { return modint(lhs) - rhs; } friend const modint operator*(const LL& lhs, const modint& rhs) { return modint(lhs) * rhs; } friend const modint operator/(const LL& lhs, const modint& rhs) { return modint(lhs) / rhs; } friend bool operator==(const LL& lhs, const modint& rhs) { return modint(lhs) == rhs; } friend bool operator!=(const LL& lhs, const modint& rhs) { return modint(lhs) != rhs; } friend ostream& operator<<(ostream& os, const modint& a) { return os << a.val; } friend istream& operator>>(istream& is, modint& a) { LL tmp; is >> tmp; a = tmp; return is; } }; template struct Combination { vector _fact, _rfact, _inv; Combination(int n) : _fact(n), _rfact(n), _inv(n) { _fact[0] = _rfact[n-1] = 1; for (int i = 1; i < n; ++i) _fact[i] = _fact[i-1] * i; _rfact[n-1] /= _fact[n-1]; for (int i = n-1; i > 0; --i) _rfact[i-1] = _rfact[i] * i; for (int i = 1; i < n; ++i) _inv[i] = _rfact[i] * _fact[i-1]; } inline Field fact(int k) const { return _fact.at(k); } inline Field rfact(int k) const { return _rfact.at(k); } inline Field inv(int k) const { assert(k != 0); return _inv.at(k); } Field P(int n, int r) const { if (r < 0 or n < r) return 0; return fact(n) * rfact(n-r); } Field C(int n, int r) const { if (r < 0 or n < r) return 0; return fact(n) * rfact(r) * rfact(n-r); } Field H (int n, int r) const { return (n == 0 and r == 0) ? 1 : C(n+r-1, r); } }; int main() { cin.tie(0); ios::sync_with_stdio(false); cout << fixed << setprecision(10); ll N, M, K; cin >> N >> M >> K; using Int = modint; Combination comb(max(N, M)+1); if (N == 1) { if (K <= M-1) { cout << comb.fact(M) << endl; } else { cout << 0 << endl; } return 0; } Int ans = 0; for (int k = 1, updated = 1; updated; ++k) { updated = 0; if (K <= N + M - (2*k + 2)) { updated = 1; ans += comb.H(M-k, k) * comb.H(N-1-(k-1), (k-1)); } if (K <= N + M - 2*k) { updated = 1; ans += comb.H(M-(k-1), (k-1)) * comb.H(N-1-k, k); ans += 2 * comb.H(M-(k-1), (k-1)) * comb.H(N-1-(k-1), (k-1)); } } ans *= comb.fact(N-1) * comb.fact(M); cout << ans << endl; return 0; }