题目背景

Mirko 不喜欢拉丁文作业，所以他和 Slavko 打了个赌。输的人将在整个月内写他们两个人的作业。Mirko 想赢，所以他设计了这个问题用来打赌。

题目描述

在他的桌子上，他发现了一个立方体，如图中所示。

在这个立方体中，两个对立面的点数之和等于 $7$。这意味着，$6$ 在 $1$ 的对面，$5$ 在 $2$ 的对面，$4$ 在 $3$ 的对面。Mirko 将立方体放在了一个 $r\times c$ 的矩阵的左上方，最初立方体的方向是上侧显示 $1$，右侧显示 $3$。Mirko 现在依次重复以下动作：

1. 向右滚动立方体，直到它到达最后一列；
2. 向下滚动到下一行；
3. 向左滚动立方体，直到它到达第一列；
4. 像第二步一样，向下滚动到下一行。

Mirko 不停地重复这些步骤，直到立方体不能够再滚动为止。当一个立方体到达某一格时，Mirko 在这个格子中写下立方体的顶部的数字。最后他把他写的所有数字加起来。Mirko 与 Slavko 打了个赌，赌他能毫无差错地算出这个和。帮助 Slavko 算出这个和以验证 Mirko 的答案。

输入格式

输入仅一行，两个整数 $r,c$，分别表示矩阵的行数和列数。

输出格式

输出仅一行一个整数，表示最终矩阵里面填入的所有数字的和。

3 2

19

3 4

42

737 296

763532

提示

【样例 1 解释】

对于样例 $1$，最终矩阵里面填入的数字如下所示：

因此最终的和为 $1+4+1+5+3+5=19$。

【数据范围】

对于 $50\%$ 的数据，满足 $r,c\leqslant 100$。
对于所有数据，$1\leqslant r,c\leqslant 10^5$。

【题目来源】

本题来源自 COCI 2011-2012 CONTEST 3 T3 POGODAK，按照原题数据配置，满分 $100$ 分。

由 Eason_AC 翻译整理提供。