判断是否存在一个无向简单图，满足每个顶点的度数依次为 $D_1,\dots, D_N$。如果不存在这样的图，还需要判断是否可以通过将某个顶点的度数 $D_i$ 增加 $1$ 来实现。

输入格式：

第一行包含一个整数 $N$，表示顶点的数量。

第二行包含 $N$ 个整数 $D_1, \dots, D_N$，表示每个顶点的度数。

输出格式：

如果存在满足条件的图，则输出 YES。

如果不存在满足条件的图，但可以通过增加某个顶点的度数来实现条件，则输出 NO。

如果无论如何都不能满足条件，则输出 ABSOLUTELY NO。