#include using namespace std; /*^ debug */ template string to_string(pair p); template string to_string(tuple p); template string to_string(tuple p); string to_string(const string& s) { return '"' + s + '"'; } string to_string(const char* s) { return to_string((string) s); } string to_string(bool b) { return (b ? "true" : "false"); } string to_string(vector v) { bool first = true; string res = "{"; for (int i = 0; i < static_cast(v.size()); i++) { if (!first) { res += ", "; } first = false; res += to_string(v[i]); } res += "}"; return res; } template string to_string(bitset v) { string res = ""; for (size_t i = 0; i < N; i++) { res += static_cast('0' + v[i]); } return res; } template string to_string(A v) { bool first = true; string res = "{"; for (const auto &x : v) { if (!first) { res += ", "; } first = false; res += to_string(x); } res += "}"; return res; } template string to_string(pair p) { return "(" + to_string(p.first) + ", " + to_string(p.second) + ")"; } template string to_string(tuple p) { return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")"; } template string to_string(tuple p) { return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ", " + to_string(get<3>(p)) + ")"; } void debug_out() { cerr << endl; } template void debug_out(Head H, Tail... T) { cerr << " " << to_string(H); debug_out(T...); } #ifdef LOCAL #define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif /* debug $*/ /*^ generic definitions */ template struct _RecurFun : F { _RecurFun(F&& f) : F(forward(f)) {} template decltype(auto) operator()(Args&&... args) const { return F::operator()(*this, forward(args)...); } }; template decltype(auto) RecurFun(F&& f) { return _RecurFun { forward(f) }; } template vector maps(const vector &&d, function f) { vector r(d.size()); for (int i = 0; i < (int) d.size(); ++i) r[i] = f(d[i]); return r; } /* generic definitions $*/ int main() { ios::sync_with_stdio(false); int N; int64_t K; { cin >> N >> K; } if (K == 1) { cout << 1 << endl; return 0; } const int L = 1<<17; vector small(L+1); vector large(L+1); { for (int i = 1; i <= N; ++i) { vector psmall(L+1); { partial_sum(small.begin(), small.end(), psmall.begin()); } for (int j = 1; j <= L; ++j) { int64_t x = i*j; if (x <= L) { large[j] += (K/j>=i) + large[x]; } else { assert(K/x <= L); large[j] += (K/j>=i) + psmall[K/x]; } } for (int j = L; j; --j) { if (j%i == 0) small[j] += small[j/i]; } small[i] += 1; /* debug(i); */ /* debug(small); */ /* debug(large); */ } } cout << large[1] << endl; }