[ABC132F] Small Products

题意翻译

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

题目描述

[problemUrl]: https://atcoder.jp/contests/abc132/tasks/abc132_f 正の整数 $ K $ 個を一列に並べたものであって、隣接して並んでいるどの $ 2 $ つの整数の積も $ N $ 以下であるものの個数を $ 10^9+7 $ で割った余りを求めてください。

输入输出格式

输入格式


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

输出格式


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

输入输出样例

输入样例 #1

3 2

输出样例 #1

5

输入样例 #2

10 3

输出样例 #2

147

输入样例 #3

314159265 35

输出样例 #3

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) $ が条件を満たします。