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

int main() {
	int K, N;
	cin >> K >> N;
	vector<vector<ll>> dp(K + 1, vector<ll>(55441));
	dp[0][0] = 1;
	vector<int> A;
	for (int i = 1; i <= N; i++) {
		if (i != 13 && i != 17 && i != 19 && i != 23) {
			A.push_back(55440 / i);
		}
	}
	for (int i = 0; i < K; i++) {
		for (int j = 0; j <= 55440; j++) {
			for (int k: A) {
				if (j + k <= 55440) {
					dp[i + 1][j + k] += dp[i][j];
				}
			}
		}
	}
	ll ans = dp[K][55440];
	if (K == 13 || K == 17 || K == 19 || K == 23) ans++;
	cout << ans << '\n';
}