AT_arc153_c [ARC153C] ± Increasing Sequence

给定一个只包含 $1$ 和 $-1$ 的长度为 $N$ 的数列 $A = (A_1, \ldots, A_N)$。 请判断是否存在一个整数数列 $x = (x_1, \ldots, x_N)$，使其满足以下所有条件，并在存在时给出这样一个数列。 - 对于任意 $i$（$1 \leq i \leq N$），都有 $|x_i| \leq 10^{12}$。 - $x$ 是严格单调递增的，即 $x_1 < x_2 < \cdots < x_N$。 - $\sum_{i=1}^N A_i x_i = 0$。

输入以如下格式从标准输入读入。 > $N$ $A_1$ $A_2$ $\ldots$ $A_N$

如果存在满足条件的整数数列 $x$，输出 `Yes`，否则输出 `No`。若输出 `Yes`，则第二行输出这样一个整数数列 $x$ 的所有元素，空格分隔，输出一行。 > $x_1$ $x_2$ $\ldots$ $x_N$ 如果存在多个满足条件的数列，输出任意一个均可。

### 限制 - $1 \leq N \leq 2 \times 10^5$ - $A_i \in \{1, -1\}$ ### 样例解释 1 对于该输出，有 $\sum_{i=1}^N A_i x_i = -(-3) + (-1) - 4 - 5 + 7 = 0$。 由 ChatGPT 4.1 翻译