#include <bits/stdc++.h>
using namespace std;
long long dp[2015][2015];
int main() {
  int n, k;
  cin >> n >> k;
  for (int i = 1; i <= n; i++) dp[i][1] = 1;
  for (int i = 1; i <= n; i++)
    for (int j = 2; j <= n; j++) dp[i][j] = 0;
  for (int l = 2; l <= k; l++)
    for (int i = 1; i <= n; i++)
      for (int j = i; j <= n; j += i) {
        dp[j][l] += dp[i][l - 1];
        dp[i][l] %= 1000000007;
      }
  int res = 0;
  for (int i = 1; i <= n; i++) {
    res += dp[i][k];
    res %= 1000000007;
  }
  cout << res << endl;
}
