题目描述

Find the number of sequences of length $K$ consisting of positive integers such that the product of any two adjacent elements is at most $N$, mod $10^9+7$.

求长度为 $K$ 的序列中，由正整数组成，且任意两个相邻元素的乘积最多为 $N$ ，模为 $10^9+7$ 的序列个数。

输入格式

输入内容按以下格式标准输入：

$N$ $K$

输出格式

打印序列数，取模 $10^9+7$ 。

样例 #1

样例输入 #1

3 2

样例输出 #1

5

样例 #2

样例输入 #2

10 3

样例输出 #2

147

样例 #3

样例输入 #3

314159265 35

样例输出 #3

457397712

说明

数据规模与约定

• $1\leq N\leq 10^9$
• 1 $2\leq K\leq 100$ （固定于日本时间 21:33）
• $N$ 和 $K$ 是整数。

样例 $1$ 解释

$(1,1)$ 、 $(1,2)$ 、 $(1,3)$ 、 $(2,1)$ 和 $(3,1)$ 满足条件。