跳到主要内容
图灵 OJTURING / ONLINE JUDGE

#F2074. Mashmokh and ACM

    ID: 2080 传统题 2000ms 256MiB 尝试: 0 已通过: 0 难度: 3 上传者: 标签>组合数学动态规划数论数学基础难度共享题库Codeforces英文题面题目来源题面语言

Mashmokh and ACM

题目描述

B. Mashmokh and ACM
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output

Mashmokh's boss, Bimokh, didn't like Mashmokh. So he fired him. Mashmokh decided to go to university and participate in ACM instead of finding a new job. He wants to become a member of Bamokh's team. In order to join he was given some programming tasks and one week to solve them. Mashmokh is not a very experienced programmer. Actually he is not a programmer at all. So he wasn't able to solve them. That's why he asked you to help him with these tasks. One of these tasks is the following.

A sequence of l integers b1,b2,...,bl (1≤b1b2≤...≤bln) is called good if each number divides (without a remainder) by the next number in the sequence. More formally for all i (1≤il-1).

Given n and k find the number of good sequences of length k. As the answer can be rather large print it modulo 1000000007 (109+7).

Input

The first line of input contains two space-separated integers n,k(1≤n,k≤2000).

Output

Output a single integer − the number of good sequences of length k modulo 1000000007 (109+7).

Examples
Input
3 2
Output
5
Input
6 4
Output
39
Input
2 1
Output
2
Note

In the first sample the good sequences are: [1,1],[2,2],[3,3],[1,2],[1,3].


题目来源:fps-www.educg.net-codeforce-1-2833.xml.zip;FPS 共享题包,题包内第 1670 题。保留原作者与原赛事署名。