数独数组
题号：NC287754
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 1024 M，其他语言2048 M
64bit IO Format: %lld

题目描述

\hspace{15pt}对于给定的由 n 个整数组成的数组 \{a_1, a_2, \dots, a_n\}，我们称其为数独数组，当且仅当其每一个长度为 9 的连续子数组，都包含 1 \sim 9 这 9 个数字。
\hspace{15pt}现在，对于给定的数组，是否存在一种方案，使得其经过重新排序后成为数独数组？如果是，直接输出 \rm YES；否则，输出 \rm NO。注意，您不必给出具体的排序方案。

输入描述:

\hspace{15pt}第一行输入一个整数 n \left(9 \leqq n \leqq 10^5\right) 代表数组中的元素数量。
\hspace{15pt}第二行输入 n 个整数 a_1, a_2, \dots, a_n \left(1 \leqq a_i \leqq 9\right) 代表数组元素。

输出描述:

\hspace{15pt}如果数组在重新排序后可以成为数独数组，输出 \rm YES；否则，输出 \rm NO。
示例1

输入

复制 
9
1 2 3 4 5 6 7 9 8

输出

复制 
YES

说明

\hspace{15pt}在这个样例中，不需要经过重新排序，数组已经是一个数独数组。
示例2

输入

复制 
9
1 2 3 4 5 6 7 8 1

输出

复制 
NO