#include <bits/stdc++.h>
using namespace std;
long long dp[2001][2001];
int main() {
  int n, k;
  scanf("%d", &n);
  scanf("%d", &k);
  for (int i = 1; i <= (n); i++) dp[0][i] = 1;
  for (int i = 1; i <= (k - 1); i++)
    for (int j = 1; j <= (n); j++) {
      for (int k1 = 1; k1 * k1 <= j; k1++)
        if (j % k1 == 0) {
          dp[i][j] = (dp[i - 1][k1] + dp[i][j]) % 1000000007;
          if (k1 * k1 != j)
            dp[i][j] = (dp[i - 1][j / k1] + dp[i][j]) % 1000000007;
        }
    }
  long long ans = 0;
  for (int i = 1; i <= (n); i++) ans = (ans + dp[k - 1][i]) % 1000000007;
  cout << ans << endl;
}
