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?≤?b1?≤?b2?≤?...?≤?bl?≤?n) is
called good if each number divides (without a remainder) by the next number in the sequence. More formally
for
all i (1?≤?i?≤?l?-?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).
The first line of input contains two space-separated integers n,?k (1?≤?n,?k?≤?2000).
Output a single integer — the number of good sequences of length k modulo 1000000007 (109?+?7).
3 2
5
6 4
39
2 1
2
In the first sample the good sequences are: [1,?1],?[2,?2],?[3,?3],?[1,?2],?[1,?3].
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<string>
#include<iostream>
#include<queue>
#include<cmath>
#include<map>
#include<stack>
#include<set>
using namespace std;
#define REPF( i , a , b ) for ( int i = a ; i <= b ; ++ i )
#define REP( i , n ) for ( int i = 0 ; i < n ; ++ i )
#define CLEAR( a , x ) memset ( a , x , sizeof a )
typedef long long LL;
typedef pair<int,int>pil;
const int INF = 0x3f3f3f3f;
const int MOD=1e9+7;
const int maxn=2000+100;
LL dp[maxn][maxn];
int n,k;
int main()
{
while(cin>>n>>k)
{
CLEAR(dp,0);
REPF(i,1,n) dp[i][1]=1;
for(int j=1;j<=n;j++)
for(int kk=j;kk<=n;kk+=j)
for(int i=2;i<=k;i++)
dp[kk][i]=(dp[kk][i]+dp[j][i-1])%MOD;
LL ans=0;
REPF(i,1,n)
ans=(ans+dp[i][k])%MOD;
cout<<ans<<endl;
}
return 0;
}