题目描述

FF 是实验室有名的交际大佬，认识许许多多帅男靓女，于是他开了一家婚介所。婚介所开业后，基于 FF 的人气，来了 $1000000000000000$ 对男女。如此多的人，让 FF 头疼不已，他决定只帮助 VIP 用户找对象。其中男性 VIP 用户 $n$ 个，编号从 1 到 $n$ ，女性 VIP 用户 $m$ 个，编号从 1 到 $m$。

FF 在介绍时奉行以下的原则：一个男生匹配一个女生，配对男女的编号中，不能出现相同的数字。例如：编号为 $1111$ 的男生不能和编号为 $1234$ 的女生配对，但可以和编号为 $2222$ 的女生配对。编号为 $114514$ 的男生不能与编号为 $998244353$ 的女生配对。

为了避免打扰客户，每人最多被配对一次。每配对一对男女，FF 就可以获得一粒米。FF 想吃上饱饭，请你帮他计算他最多可以获得多少米。

输入描述

第一行有两个正整数 $n, m(1 \leqslant n, m \leqslant 10^{15})$，表示男性 VIP 个数和女性 VIP 个数。

输出描述

输出一个数字，表示 FF 能获得的米数。

样例

9 9

9

20 20

18

114514191980 1919810114514

14743241736