#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; using ull=unsigned long long; map dp; int main() { int n; ll k; cin>>n>>k; dp[k]=1; for(int i=1; i<=n; i++){ map ndp=dp; for(auto p:dp){ if(p.first>=i) ndp[p.first/i]+=p.second; } swap(dp, ndp); } ull ans=0; for(auto p:dp) ans+=p.second; ans--; cout<