import sys input = sys.stdin.readline from math import lcm K,N=map(int,input().split()) ANS=0 if K==13 or K==17 or K==19 or K==23: ANS+=1 LCM=1 for i in range(1,N+1): if i==13 or i==17 or i==19 or i==23: continue else: LCM=lcm(i,LCM) DP=[[0]*(LCM+1) for i in range(K+1)] DP[0][0]=1 for i in range(K+1): for j in range(LCM+1): for k in range(1,N+1): if k==13 or k==17 or k==19 or k==23: continue if i+1