#ifndef ___CLASS_MODINT #define ___CLASS_MODINT #include template class modint { private: std::uint32_t n; public: modint() : n(0) {}; modint(std::uint64_t n_) : n(n_ % mod) {}; bool operator==(const modint& m) const { return n == m.n; } bool operator!=(const modint& m) const { return n != m.n; } std::uint32_t get() const { return n; } modint& operator+=(const modint& m) { n += m.n; n = (n < mod ? n : n - mod); return *this; } modint& operator-=(const modint& m) { n += mod - m.n; n = (n < mod ? n : n - mod); return *this; } modint& operator*=(const modint& m) { n = std::uint64_t(n) * m.n % mod; return *this; } modint operator+(const modint& m) const { return modint(*this) += m; } modint operator-(const modint& m) const { return modint(*this) -= m; } modint operator*(const modint& m) const { return modint(*this) *= m; } modint binpow(std::uint64_t b) const { modint ans = 1, m = modint(*this); while (b) { if (b & 1) ans *= m; m *= m; b >>= 1; } return ans; } modint inv() { return (*this).binpow(mod - 2); } }; #endif // ___CLASS_MODINT #include #include using namespace std; using modulo = modint<1000000007>; int main() { int N, M; cin >> N >> M; modulo X = modulo(5) * modulo(2).inv(); // X = 2.5 vector > stirling2(N + 1); for (int i = 0; i <= N; ++i) { stirling2[i].resize(i + 1, 0); if (i == 0) stirling2[i][0] = 1; for (int j = 1; j <= i; ++j) { stirling2[i][j] = stirling2[i - 1][j - 1]; if (j != i) { stirling2[i][j] += stirling2[i - 1][j] * j; } } } modulo ans = 0; for (int i = 1; i <= N; ++i) { modulo sub = stirling2[N][i]; for (int j = 0; j < i; ++j) { sub *= X - j; } sub *= modulo(X - i).binpow(M); ans += sub; } cout << ans.get() << endl; return 0; }