#abc132f. [abc132_f]Small Products

[abc132_f]Small Products

题目描述

给定一个正整数 NN,找出长度为 KK 的由正整数组成的序列数量,使得任意相邻元素的乘积不超过 NN,结果对 109+710^9+7 取模。

约束条件

  • 1N1091\leq N\leq 10^9
  • 2K1002\leq K\leq 100(于JST 21:33时修复)
  • NNKK 都是整数。

输入

从标准输入读入输入数据,数据格式如下:

NN KK

输出

输出序列的数量,对 109+710^9+7 取模。

示例输入 1

3 2

示例输出 1

5

满足条件的序列有 (1,1)(1,1), (1,2)(1,2), (1,3)(1,3), (2,1)(2,1)(3,1)(3,1)

示例输入 2

10 3

示例输出 2

147

示例输入 3

314159265 35

示例输出 3

457397712