#P2193. Divisible Sequence Count

    ID: 15474 Type: Default 1000ms 256MiB

Divisible Sequence Count

Divisible Sequence Count

HXY has an interesting idea! She wants to find a sequence of positive integers \(a_1, a_2, \ldots, a_p\) satisfying the following conditions:

  • Every number in the sequence is in the range \([1, n]\).
  • The sequence length is exactly \(p\).
  • For every index \(i\) with \(2 \le i \le p\), \(a_{i}\) is a multiple of \(a_{i-1}\) (i.e. \(a_{i-1}\) divides \(a_i\)).

HXY quickly found one such sequence, but now she wonders: How many such sequences exist? Because the total count may be huge, output the answer modulo \(10^9+7\).

inputFormat

The input consists of a single line containing two integers \(n\) and \(p\) separated by a space.

outputFormat

Output a single integer: the number of valid sequences modulo \(10^9+7\).

sample

5 2
10