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

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n, k, v = 1;
    cin >> k >> n;
    for(int i = 1; i <= n; i++){
        if(i == 13 || i == 17 || i == 19 || i == 23) continue;
        v = lcm(v, i);
    }
    vector<ll> dp(v + 1);
    dp[0] = 1;
    for(int i = 1; i <= k; i++){
        vector<ll> ndp(v + 1);
        for(int j = 1; j <= n; j++){
            if(j == 13 || j == 17 || j == 19 || j == 23) continue;
            int d = v / j;
            for(int l = 0; l + d <= v; l++){
                ndp[l + d] += dp[l];
            }
        }
        swap(ndp, dp);
    }
    cout << dp[v] + (k == 13) + (k == 17) + (k == 19) + (k == 23) << '\n';
}