欢迎来到西安,各位 ICPC 选手。
西安是一座美丽的古都,曾是周、秦、汉、唐等朝代的都城。西安历史悠久,街道呈网格状分布。
Coach Pang 被这种街道结构所吸引,想要对它们进行研究。他在黑板上画了一个 $n \times m$ 的网格。该网格由 $n + 1$ 条垂直线段和 $m + 1$ 条水平线段组成。垂直线段和水平线段在 $(n + 1) \times (m + 1)$ 个点处相交,形成了 $n \times m$ 个单位正方形。我们将这 $(n + 1) \times (m + 1)$ 个交点称为网格点。请输出满足以下三个条件的线段 $l$(不限于垂直或水平线段)的数量:
- 长度不为零。
- $l$ 的两个端点均为网格点。
- $l$ 的中点为网格点。
输入格式
仅一行,包含两个整数 $n, m(1 \le n, m \le 1000)$。
输出格式
输出一行答案。
样例
样例输入 1
1 1
样例输出 1
0
样例输入 2
2 3
样例输出 2
14