#include #include using namespace atcoder; #ifdef LOCAL #include #define dbg(...) debug::dbg(#__VA_ARGS__, __VA_ARGS__) #else #define dbg(...) void(0) #endif using namespace std; // #define int long long #define rep(i, a, b) for(int i=static_cast(a), i##_end__=static_cast(b); i < i##_end__; i++) #define rep_r(i, a, b) for(int i=static_cast(a), i##_end__=static_cast(b); i >= i##_end__; i--) #define fore(i, a) for(auto& i: a) #define all(x) std::begin(x), std::end(x) using ll = long long; // __int128; using ull = unsigned long long; template int siz(const C& c) { return static_cast(c.size()); } template constexpr int siz(const T (&)[N]) { return static_cast(N); } template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template constexpr T pow2(T x){ return x * x; } template constexpr T divceil(T x, S div){ return (x + div - 1) / div; } constexpr long long INF = 1LL << 60; // 1.15e18 // constexpr int MOD = (int)1e9 + 7; // 二項係数ライブラリ template struct BiCoef { vector fact_, inv_, finv_; constexpr BiCoef(int n) noexcept : fact_(n, 1), inv_(n, 1), finv_(n, 1) { int mod = fact_[0].mod(); for(int i = 2; i < n; i++){ fact_[i] = fact_[i-1] * i; inv_[i] = -inv_[mod % i] * (mod / i); finv_[i] = finv_[i-1] * inv_[i]; } } // 重複なし組合せ - n 個のものから r 個取り出して作る組の総数 nCr / nCk - O(1) constexpr T nCr(int n, int k) const noexcept { if (n < k || n < 0 || k < 0) return 0; assert(n < siz(fact_) && k < siz(finv_)); return fact_[n] * finv_[k] * finv_[n - k]; } // n(≥k) 個の玉を k 個の箱にいれる。ただし、各箱に入る玉の個数は 1 個以上 - O(k log n) constexpr T nPr_rep1(ll n, int k) const noexcept { if (n < k || n < 0 || k < 0) return 0; T res = 0; for (int i = 0; i <= k; ++i) { auto add = nCr(k, i) * T(i).pow(n); if ((k - i) % 2 == 0) res += add; else res -= add; } return res; } }; void _main() { ll N; int M; cin >> N >> M; using mint = modint1000000007; BiCoef bc((int)1e6); auto ans = bc.nPr_rep1(N, M); cout << ans.val() << endl; } signed main() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); cerr << fixed << setprecision(15); _main(); }