比太郎有 $N$ 张卡片，第 $i$ 张卡片上写着整数 $A_i$。

他想从这些卡片中选出 $3$ 张，使得它们上的数字满足以下条件：

条件：
选中的卡片上的数字，各相差 $3$。
即，存在某个整数 $x$，使得选出来的三个数字可以表示为 $x, x+3, x+6$。

例如，如果比太郎有 $5$ 张卡片，分别写有 $2, 4, 5, 7, 10$，那么选择数为 $4, 7, 10$ 的三张卡片即可满足条件。

给定比太郎手中卡片上的数字，请你编写程序判断能否选出满足条件的三张卡片。

输入如下格式给出：

$N$ $A_1$ $A_2$ $\cdots$ $A_N$

如果可以选出满足条件的三张卡片，输出 Yes；否则，输出 No。

子任务

1. （$20$ 分）$N = 3$。
2. （$20$ 分）$A_i \leq 7$ 且 $1 \leq i \leq N$。
3. （$30$ 分）$N \leq 100$。
4. （$30$ 分）无其它附加限制。

样例解释 1

选择数字为 $2, 5, 8$ 的三张卡片，可以满足条件。因此，输出 Yes。

该输入样例满足子任务 $1, 3, 4$ 的限制。

样例解释 2

无法选出满足条件的卡片。因此，输出 No。

该输入样例满足子任务 $2, 3, 4$ 的限制。

样例解释 3

无法选出满足条件的卡片。因此，输出 No。

该输入样例满足子任务 $3, 4$ 的限制。

样例解释 4

选择数字为 $15, 18, 21$ 的三张卡片，可以满足条件。因此，输出 Yes。

该输入样例满足子任务 $3, 4$ 的限制。

数据范围

• $3 \leq N \leq 200\,000$。
• $1 \leq A_i \leq 200\,000$（$1 \leq i \leq N$）。
• 输入的所有数均为整数。

由 ChatGPT 5 翻译