markdown

G. 多边形

给定两个整数 $n$ 和 $k$。

你需要构造 $k$ 个具有相同外接圆的正多边形，且这些多边形的边数互不相同，取值范围在 $3$ 到 $n$ 之间。

（第一个样例的示意图。你可以旋转这些多边形，以最小化圆上不同顶点的总数。）
请找出所需的最少顶点数。

输入

输入仅有一行，包含两个整数 $n$ 和 $k$（$3 \le n \le 10^6$，$2 \le k \le n-2$），分别表示多边形的最大边数和需要构造的多边形个数。

输出

输出一个整数——构造 $k$ 个多边形所需的最少顶点数。

样例

输入样例 1

6 2

输出样例 1

6

输入样例 2

200 50

输出样例 2

708

注释

在第一个样例中，$n=6$，$k=2$。因此，我们可以从边数为 $3$、$4$、$5$ 和 $6$ 的多边形中选择。如果我们选择三角形和正六边形，则可以按照题目描述中的示意图进行排列。
因此，圆上所需的最少顶点数为 $6$，这也是所有可能方案中的最小值。