for(int i=1;i<=n;i++)
{
    cin>>a[i];
    b[a[i]]++;
}

for(int i=1;i<=200000;i++)if(b[i]&&b[i+3]&&b[i+6])return (cout<<"Yes")&&0;

return (cout<<"No")&&0;

#include<bits/stdc++.h>
#define 定义无符号 unsigned
#define 定义整型变量 int 
#define 定义假整型变量 signed
#define 定义字符 char 
#define 定义字符串 string
#define 定义布尔型变量 bool 
#define 定义浮点数 double
#define 定义常量 const
#define 定义无返回值函数 void
#define 定义长整形变量 long long
#define 定义超长整形变量 __int128
#define 定义结构体 struct
#define 定义动态数组 vector
#define 定义优先队列 priority_queue
#define 定义动态数组 vector
#define 定义 auto
#define 定义主函数 int main()
#define 定义头文件 #include
#define ， ,
#define 结束 ;
#define ； ;
#define 换行 "\n"
#define ？ ?
#define 与 &&
#define 按位与 &
#define 或 ||
#define 按位或 |
#define 非 ！
#define 异或 ^
#define  ） )
#define （  (
#define 输入输出加速 ios::sync_with_stdio(false),cin.tie(0),cout.tie(0);
#define 输入 cin
#define 输出 cout
#define 输入流 >>
#define 输出流 <<
#define 左移 <<
#define 右移 >>
#define 命名空间 using namespace std; 
#define 返回 return
#define 如果 if
#define 否则 else
#define 条件循环 while
#define 循环 for
#define 赋值为 =
#define 等于 ==
#define 大于 >
#define 小于 <
#define 大于等于 >=
#define 小于等于 <=
#define 不等于 !=
#define 随机数初始化 srand(time(0));
#define 随机数 rand()
#define 退出 break;
#define 跳过本轮循环 continue;
#define 真 true
#define 假 false
命名空间
定义整型变量 n ， a[200005] ， b[200010] 结束
定义主函数
{
    输入输出加速
    输入 输入流 n 结束
    循环 （ 定义整型变量 i 赋值为 1 结束 i 小于等于 n 结束 i++ ）
    {
        输入 输入流 a[i] 结束
        b[a[i]]++ 结束
    }
    循环 （ 定义整型变量 i 赋值为 1 结束 i 小于等于 200000 结束 i++ ） 如果 （ b[i] 与 b[i+3] 与 b[i+6] ） 返回 （ 输出 输出流 "Yes" ） 与 0 结束
    返回 （ 输出 输出流 "No" ） 与 0 结束
    返回 0 结束
}