P13938 [EC Final 2019] City

你好，ICPCer，欢迎来到西安。 作为一座美丽的古城，西安曾是周、秦、汉、唐等朝代的都城。西安历史悠久，街道呈现网格状布局。 受到街道结构的吸引，教练 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$）。

输出一个整数，表示满足条件的线段数量。

由 ChatGPT 4.1 翻译