typedeflonglong ll; const ll mod = 1e9 + 7; constint maxk = 1000000 + 10; ll n, k;
ll qpow(ll m, ll n, ll mod){ ll res = 1; while (n > 0) { if (n & 1) res = (res * m) % mod; m = (m * m) % mod; n = n >> 1; } return res; }
ll fac[maxk], y[maxk]; //前k+2项前缀和都已经算好 ll Largrange(){ fac[0] = fac[1] = 1, y[1] = 1; for (int i = 2; i <= k + 2; i++) fac[i] = fac[i - 1] * i % mod; //预处理阶乘 for (int i = 2; i <= k + 2; i++) y[i] = (y[i - 1] + qpow(i, k, mod)) % mod; //预处理求出每一项的结果 if (n <= k + 2) return y[n];
ll ans = 0, prod = 1, sig; for (ll i = n - k - 2; i <= n - 1; i++) prod = prod * i % mod; for (ll i = 1; i <= k + 2; i++) { ll fz = prod * qpow(n - i, mod - 2, mod) % mod; ll fm = qpow(fac[i - 1] * fac[k + 2 - i] % mod, mod - 2, mod); if ((k + 2 - i) % 2 == 0) sig = 1; else sig = -1; ans = (ans + sig * y[i] * fz % mod * fm % mod + 2 * mod) % mod; } return ans; }