#include <bits/stdc++.h>
using namespace std;
int dp[2016][2016];
int main() {
  int n, r, i, j, k, ans = 0;
  dp[0][1] = 1;
  scanf("%d %d", &n, &r);
  for (i = 1; i <= r; i++) {
    for (j = 1; j <= n; j++) {
      for (k = j; k <= n; k += j) (dp[i][k] += dp[i - 1][j]) %= 1000000007;
    }
  }
  for (i = 1; i <= n; i++) (ans += dp[r][i]) %= 1000000007;
  printf("%d", ans);
  return 0;
}
