CF1286F.Harry The Potter

To defeat Lord Voldemort, Harry needs to destroy all horcruxes first. The last horcrux is an array $a$ of $n$ integers, which also needs to be destroyed. The array is considered destroyed if all its elements are zeroes. To destroy the array, Harry can perform two types of operations:

1. choose an index $i$ ($1 \le i \le n$), an integer $x$, and subtract $x$ from $a_i$.
2. choose two indices $i$ and $j$ ($1 \le i, j \le n; i \ne j$), an integer $x$, and subtract $x$ from $a_i$ and $x + 1$ from $a_j$.

Note that $x$ does not have to be positive.

Harry is in a hurry, please help him to find the minimum number of operations required to destroy the array and exterminate Lord Voldemort.

为了击败伏地魔，哈利需要先摧毁所有魂器。最后一个魂器是一个包含 $n$ 个整数的数组 $a$，该数组本身也必须被摧毁。当数组中所有元素均为零时，即视为已被摧毁。为摧毁该数组，哈利可以执行以下两种操作：

1. 选择一个下标 $i$（$1 \le i \le n$）和一个整数 $x$，然后将 $a_i$ 减去 $x$；
2. 选择两个下标 $i$ 和 $j$（$1 \le i, j \le n$；且 $i \ne j$）以及一个整数 $x$，然后将 $a_i$ 减去 $x$，同时将 $a_j$ 减去 $x + 1$。

注意：$x$ 可以为任意整数（不必为正数）。

哈利时间紧迫，请你帮助他找出摧毁该数组所需的最少操作次数，从而彻底消灭伏地魔。

The first line contains a single integer $n$ — the size of the array $a$ ($1 \le n \le 20$).

The following line contains $n$ integers $a_1, a_2, \ldots, a_n$ — array elements ($-10^{15} \le a_i \le 10^{15}$).

第一行包含一个整数 $n$ —— 数组 $a$ 的大小（$1 \le n \le 20$）。

接下来的一行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$ —— 数组元素（$-10^{15} \le a_i \le 10^{15}$）。

Output a single integer — the minimum number of operations required to destroy the array $a$.

输出一个整数——摧毁数组 $a$ 所需的最少操作次数。

In the first example one can just apply the operation of the first kind three times.

In the second example, one can apply the operation of the second kind two times: first, choose $i = 2, j = 1, x = 4$, it transforms the array into $(0, -1, -2)$, and then choose $i = 3, j = 2, x = -2$ to destroy the array.

In the third example, there is nothing to be done, since the array is already destroyed.

在第一个例子中，只需执行三次第一种操作。

在第二个例子中，可以执行两次第二种操作：首先选择 $i = 2, j = 1, x = 4$，将数组变为 $(0, -1, -2)$；然后选择 $i = 3, j = 2, x = -2$，即可使数组被摧毁。

在第三个例子中，无需任何操作，因为数组已经处于被摧毁状态。