#include<bits/stdc++.h>
using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef pair<ll, ll> pll;
typedef pair<ull, ull> pullull;
typedef pair<ll, int> plli;
typedef pair<int, pii> pipii;
typedef vector<vector<int> > mati;
typedef vector<vector<double> > matd;
typedef vector<ll> vll;
typedef vector<vector<ll>> vvll;
typedef vector<vector<vector<ll>>> vvvll;
typedef vector<bool> vb;
typedef vector<vector<bool>> vvb;
typedef vector<vector<vector<bool>>> vvvb;
typedef vector<pll> vpll;

#define FOR(i,x,y) for(ll i=(ll)x; i<(ll)y; ++i)
#define REP(i,y) FOR(i, 0, y)
#define RFOR(i,x,y) for(ll i=(ll)x; i>=(ll)y; --i)
#define RREP(i,x) RFOR(i, x, 0)
#define ALL(a) a.begin(), a.end()
#define pb push_back

inline void IN(void){
  return;
}

template <typename First, typename... Rest>
void IN(First& first, Rest&... rest){
  cin >> first;
  IN(rest...);
  return;
}

inline void OUT(void){
  cout << "\n";
  return;
}

template <typename First, typename... Rest>
void OUT(First first, Rest... rest){
  cout << first << " ";
  OUT(rest...);
  return;
}

template <typename T>
void vec_print(vector<T> VEC){
  REP(i, VEC.size()){
    cout << VEC[i] << " ";
  }
  cout << "\n";
};

template <typename T>
void mat_print(vector<vector<T> > MAT){
  REP(i, MAT.size()){
    REP(j, MAT[i].size()){
      cout << MAT[i][j] << " ";
    }
    cout << "\n";
  }
};

template <typename CLASS1, typename CLASS2>
class HOGE{
  public:
    CLASS1 key;
    CLASS2 value;
    HOGE(void){
      return;
    };
    HOGE(CLASS1 key, CLASS2 value){
      this->key = key;
      this->value = value;
    };
    ~HOGE(void){
      return;
    };

    void print(void){
      cout << "key : " << key << ", value : " << value << "\n";
      return;
    };
    
    bool operator==(const HOGE &obj){
      return (this->value == obj.value);
    };
    bool operator<(const HOGE &obj){
      return (this->value < obj.value);
    };
    bool operator>(const HOGE &obj){
      return (this->value > obj.value);
    };
};

template <typename CLASS1, typename CLASS2>
bool operator==(const HOGE<CLASS1, CLASS2> &hoge1, const HOGE<CLASS1, CLASS2> &hoge2){
  return hoge1.value == hoge2.value;
};

template <typename CLASS1, typename CLASS2>
bool operator<(const HOGE<CLASS1, CLASS2> &hoge1, const HOGE<CLASS1, CLASS2> &hoge2){
  return hoge1.value < hoge2.value;
};

template <typename CLASS1, typename CLASS2>
bool operator>(const HOGE<CLASS1, CLASS2> &hoge1, const HOGE<CLASS1, CLASS2> &hoge2){
  return hoge1.value > hoge2.value;
};

constexpr int INF = (1<<30);
constexpr ll INFLL = 1LL<<62;
constexpr long double EPS = 1e-12;
constexpr ll MOD = (ll)((1E+9)+7);

int main(){
  cin.tie(0); // cut the cin and cout (default, std::flush is performed after std::cin)
  ios::sync_with_stdio(false); // cut the iostream and stdio (DON'T endl; BUT "\n";)

  ll N,K;
  IN(N,K);

  ll P = (ll)(sqrt((double)N));
  P--;

  vll dp1(P);
  REP(i,P){
    dp1[i] = N/(i+1) - N/(i+2);
    dp1[i] %= MOD;
  }
  vll dp2(N/(P+1), 1);


  REP(k,K-1){
    vll dp1_copy(P, 0);
    vll dp2_copy(N/(P+1), 0);

    ll dp_sum = 0;
    REP(i,dp1.size()){
      dp_sum += dp1[i];
      dp_sum%=MOD;
    }
    REP(i,dp2.size()){
      dp_sum += dp2[i];
      dp_sum%=MOD;
    }

    REP(i,P){
      dp2_copy[i] = dp_sum%MOD;
      dp_sum += (MOD-dp1[i]);
      dp_sum %= MOD;
    }
    ll end = N/(P+1);
    FOR(i,P,N/(P+1)){
      while((i+1)*end>N){
        dp_sum += (MOD-dp2[end-1]);
        end--;
      }
      dp_sum%=MOD;
      dp2_copy[i] = dp_sum%MOD;
    }
    dp_sum = 0;
    REP(i,P){
      dp_sum += dp2[i];
      dp_sum%=MOD;
    }
    REP(i,P){
      ll itmp = P-i-1;
      dp1_copy[P-1-i] = (dp_sum*(N/(itmp+1)-N/(itmp+2)))%MOD;
      dp_sum += (MOD-dp2[P-1-i]);
      dp_sum%=MOD;
    }
    dp1 = dp1_copy;
    dp2 = dp2_copy;
  }

  ll ans = 0;
  REP(i,dp1.size()){
    ans += dp1[i];
    ans%=MOD;
  }
  REP(i,dp2.size()){
    ans += dp2[i];
    ans%=MOD;
  }

  OUT(ans);

  return 0;
}

Measured memory_bytes: 1312