题目描述

正の整数 $K$ 個を一列に並べたものであって、隣接して並んでいるどの $2$ つの整数の積も $N$ 以下であるものの個数を $10^9+7$ で割った余りを求めてください。

输入格式

入力は以下の形式で標準入力から与えられる。

$N$ $K$

输出格式

条件を満たす列の個数を $10^9+7$ で割った余りを出力せよ。

题目大意

求有多少种长度为 $K$ 的正整数序列，满足相邻元素乘积不超过 $N$，答案对 $10^9 + 7$ 取模。

3 2

5

10 3

147

314159265 35

457397712

提示

制約

• $1\leq\ N\leq\ 10^9$
• 1 $2\leq\ K\leq\ 100$ (21:33 修正)
• $N,K$ は整数である

Sample Explanation 1

$(1,1),(1,2),(1,3),(2,1),(3,1)$ が条件を満たします。