def solve(K, N): if K == 1: return 1 from collections import defaultdict R = tuple(set(range(1, N+1)) - {13, 17, 19, 23}) from math import gcd def lcm(a, b): return a*b//gcd(a, b) L = 1 for x in R: L = lcm(L, x) F = tuple(L//x for x in R) dp = defaultdict(int) dp[0] = 1 for _ in range(K): ndp = defaultdict(int) for k, cnt in dp.items(): for f in F: nkey = k+f if nkey <= L: ndp[nkey] += cnt dp = ndp res = dp[L] if K in {13, 17, 19, 23}: res += 1 return res K, N = map(int, input().split()) ans = solve(K, N) print(ans)