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