### 问题描述 屋里有从 $1$ 到 $n$ 编号的共 $n$ 个蜡烛，小蓝打算按某种顺序点亮共 $m$ 个蜡烛，每个蜡烛只能被点亮一次。 点亮第一个蜡烛时，小蓝可以选择任意编号的蜡烛点亮，之后，小蓝选择点亮的蜡烛 $i$，满足点亮蜡烛 $i$ 后已经点亮的蜡烛的编号的 $\gcd$（最大公约数）尽量大。 屋里最初的亮度为 $0$。每点亮一个蜡烛，屋里的亮度就会增加所有点亮的蜡烛的编号的 $\gcd$。 小蓝想知道他点亮 $m$ 个蜡烛后，屋里的亮度的最大值。 ### 输入格式 输入包含两个整数 $n,m$，含义见上文。 ### 输出格式 输出一个整数，表示屋里的亮度的最大值。 ### 样例输入 ``` 7 4 ``` ### 样例输出 ``` 11 ``` ### 评测数据规模 对于所有评测数据，$1\leq{m}\leq{n}\leq{10^7 }$。