数论只会 for 循环

题号：NC214519
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

智乃酱在做她的数学作业，其中有这么一道题目

给定n,k计算函数

$f(n,k)=\begin{cases}1 & \text{ if } k=0 \\ \sum_{i=1}^{n} \left \lceil log_{2}\, i \right \rceil \times f(\left \lfloor \frac{n}{i} \right \rfloor,k-1) & \text{ if } k\geq1 \end{cases}$

智乃酱因为不太会算，所以她只能从1到n一个一个的数过去，不过她坚信你能够解决这个问题。

为了避免你的输出过于庞大，你只用输出答案mod $10^9+7$ 后的结果即可。

输入描述:

仅两个正整数n,k()。

输出描述:

仅一行，表示答案mod 后的结果。

示例1

输入

复制

10 1

输出

复制

说明

因为f(n,0)=1，所以k=1时就是计算

即0+1+2+2+3+3+3+3+4+4=25