出题人

软工222陈冠霖

小津的竞赛梦三

题目描述

小津披荆斩棘来到了ACM的大门前，现在他需要完成一个任务。随着环保意识的增强，许多城市开始推广自行车作为绿色出行方式。在一个理想化的城市中，政府设计了一个自行车共享网络，这个网络由若干个站点组成，每个站点之间的距离是素数，以鼓励人们使用自行车出行。现在，需要开发一个程序来帮助城市规划者确定在给定的预算下，可以连接哪些站点，使得连接的站点数量最多。

输入格式

第一行输入两个正整数$n,m$，分别表示站点的数量和预算。

输出格式

输出一个整数，表示在给定的预算下，可以连接的站点数量的最大值。

样例 #1

样例输入 #1

4 10

样例输出 #1

3

样例解释

不超过10的素数有：2, 3, 5, 7。我们可以用这些素数作为边的权重来连接站点。由于N=4，我们希望连接最多4个站点。在预算M=10的约束下，我们可以选择以下连接方式：
站点1到站点2的距离为2
站点2到站点3的距离为3
站点3到站点4的距离为5
总预算为2+3+5=10，恰好满足预算上限

提示

对于$100\%$的数据，$1\leq n\leq 1000,1\leq m\leq 1000000$。