namespace AtCoder; #nullable enable using System.Numerics; static class Extensions { public static T[] Repeat(this int time, Func F) => Enumerable.Range(0, time).Select(_ => F()).ToArray(); } class AtCoder { object? Solve() { var k = Int(); var n = Int(); var banned = new bool[25]; banned[13] = banned[17] = banned[19] = banned[23] = true; var m = 55440; var dz = new int[n + 1].AsSpan(); for (var i = 1; i <= n; i++) if (!banned[i]) dz[i] = m / i; var dp = new long[m + 1]; dp[0] = 1; for (var lp = 0; lp < k; lp++) { var dps = dp.AsSpan(); var ep = new long[m + 1]; var eps = ep.AsSpan(); for (var i = 0; i <= m; i++) { for (var j = 1; j <= n; j++) { if (banned[j]) continue; var next = i + dz[j]; if (next <= m) eps[next] += dps[i]; } } dp = ep; } var ans = dp[m]; if (banned[k]) ans++; return ans; } public static void Main() => new AtCoder().Run(); public void Run() { var res = Solve(); if (res != null) { if (res is bool yes) res = yes ? "Yes" : "No"; sw.WriteLine(res); } sw.Flush(); } string[] input = Array.Empty(); int iter = 0; readonly StreamWriter sw = new(Console.OpenStandardOutput()) { AutoFlush = false }; string String() { while (iter >= input.Length) (input, iter) = (Console.ReadLine()!.Split(' '), 0); return input[iter++]; } T Input() where T : IParsable => T.Parse(String(), null); int Int() => Input(); void Out(object? x, string? separator = null) { separator ??= Environment.NewLine; if (x is System.Collections.IEnumerable obj and not string) { var firstLine = true; foreach (var item in obj) { if (!firstLine) sw.Write(separator); firstLine = false; sw.Write(item); } } else sw.Write(x); sw.WriteLine(); } }