T517395 倍数

SPJ的题。@[KevinMZ](https://www.luogu.com.cn/user/1358215) 出的第一道SPJ题目。 --- 课上，pty讲了CRT模版，还留了一道作业： 给定一个长度为 $n$ 的排列 $[a_1, a_2, \ldots a_n]$ 试求一个数 $m$，使得 $m + a_1 \equiv 0 \pmod 1$、$m + a_2 \equiv 0 \pmod 2$、$\ldots$、$m + a_n \equiv 0 \pmod n$。 PDH三人上课只顾着抄代码去了，根本不会做这题，想让你帮忙做一下这题。

给定一个长度为 $n$ 的排列 $[a_1, a_2, \ldots a_n]$ 试求一个数 $m$，使得 $m + a_1 \equiv 0 \pmod 1$、$m + a_2 \equiv 0 \pmod 2$、$\ldots$、$m + a_n \equiv 0 \pmod n$。

共两行。 第一行一个整数 $n$。 第二行一个长度为 $n$ 的排列 $[a_1, a_2, \ldots a_n]$。

一行一个整数 $m$，如果有多个答案，输出其中一个即可。请保证你的输出在int64范围内。没有则输出```NO```。

注：排列是 $[1, n]$ 之间所有数的无序集合（只能这么描述）。 数据范围： 对于 $30\%$ 的数据，$3 \le n < 20$； 对于 $100\%$ 的数据，$3 \le n \le 100$。