// // S i r o t a n w a t c h e s o v e r y o u . // // ...Jggg+J+JJJg@NQmgJa....., // ....gH@@@@HHB""""7"YYYYHMMMMMMM@@@@@@@Hma,. // ...JH@@MMHY"! ? __""YH@@@@N&... // ..JH@@HY"~ _TW@@@Mme. // .Jg@@#"= _TTM@@N.. // .Jg@@MY! ?T@@@h,. // .-@@@B! (TM@@@L // .(H@MY ?W@@@+ // .W@@@ .T@@@[ // .d@@M! .T@@N, // .d@M@' -W@@o. // (@@M\ ?M@N, // -d@M% .., .., j@@b // d@@M= TM9 ?MD W@@[ // .H@M: .W@H, // H@Ht ,@@# // (@@M~ .@@h. // .@@M% ..gmHHJ. .JdHga. .H@@e // j@@#_ .@@@@@@@b J@@@@@@@h. .H@@\ // d@@@ .4@@@@@@MF (@@@@@@@@ H@@b // d@@[ ?"BMY"= .d@@@@H, ?TWHHY"! d@@e // J@@b .JJJ-.., ,@@@@@@M% ......... -@@@M. // ?@@M\ ?YHHM@@@@b .. .W@@HP X@@HMWY"= d@@@# // ,@@@L. ?H@Ng&+gd@@#H@@NHaJ+gH@[ J@@@] // X@@@[ ...... ?"YYYYY"" ?"YHHHB"^ ..... (@@@# // WH@N+. .W@@@@MHB= .TWH@M@Hmc .H@@M~ // .H@@@@N, _!~ .d@@@N, // .J@@#T@@@N, .d@@@@@@@b. // (@@@@! .T@@@n, .(H@@@H>.W@@@x // (@@@F 4@@@@MaJ. .d@@@@Y77 4@@@r //.H@@P ?TM@@@@N... .-JH@HMY= d@@N, //(@@@F ?"WM@@@MQa-,. .(J(JN@@M#" Z@@@L // d@@H, (M@@@@@@@Ng&maJ.... .. ...J.J+W@@@@@@HY! .dH@b // ?M@@@N&. ..(JW@@@MM"?7""TYHMH@@HH@@@@@HHHgkHagHa(mggdmmagH@H@@Q@@HMMMHY"7!TMM@@@HaJ,. ..H@@@M^ // ?"W@@@@MN@@@@@H@@MMY" _???!"= ?WMMBYYTMH=7""Y@""?"~^ _"YM@@@@@@@@MH@@@@@#"^ // ?77WMMMYB""! _7"WWMMMY"7= // need #include #include // data structure #include #include #include #include #include #include #include #include #include #include //#include #include #include #include #include // etc #include #include #include #include #include #include #include #include //std::ifstream ifs("b.in"); //auto& scan_in = ifs; auto& scan_in = std::cin; auto& scan_out = std::cout; // input #define INIT std::ios::sync_with_stdio(false);std::cin.tie(0); #define VAR(type, ...)type __VA_ARGS__;MACRO_VAR_Scan(__VA_ARGS__); template void MACRO_VAR_Scan(T& t) { scan_in >> t; } templatevoid MACRO_VAR_Scan(First& first, Rest& ...rest) { scan_in >> first; MACRO_VAR_Scan(rest...); } #define VEC_ROW(type, n, ...)std::vector __VA_ARGS__;MACRO_VEC_ROW_Init(n, __VA_ARGS__); for(int w_=0; w_ void MACRO_VEC_ROW_Init(int n, T& t) { t.resize(n); } templatevoid MACRO_VEC_ROW_Init(int n, First& first, Rest& ...rest) { first.resize(n); MACRO_VEC_ROW_Init(n, rest...); } template void MACRO_VEC_ROW_Scan(int p, T& t) { scan_in >> t[p]; } templatevoid MACRO_VEC_ROW_Scan(int p, First& first, Rest& ...rest) { scan_in >> first[p]; MACRO_VEC_ROW_Scan(p, rest...); } #define VEC(type, c, n) std::vector c(n);for(auto& i:c)scan_in>>i; #define MAT(type, c, m, n) std::vector> c(m, std::vector(n));for(auto& R:c)for(auto& w:R)scan_in>>w; // output templatevoid MACRO_OUT(const T t) { scan_out << t; } templatevoid MACRO_OUT(const First first, const Rest...rest) { scan_out << first << ' '; MACRO_OUT(rest...); } #define OUT(...) MACRO_OUT(__VA_ARGS__); #define FOUT(n, dist) scan_out<=(a);--w) #define RREP(w, n) RFOR(w, 0, n) template bool IN(S a, T x, U b) { return a <= x && x < b; } template inline T CHMAX(T& a, const T b) { return a = (a < b) ? b : a; } template inline T CHMIN(T& a, const T b) { return a = (a > b) ? b : a; } // test template using V = std::vector; template using VV = V>; template std::ostream& operator<<(std::ostream& os, const std::pair& p) { os << '(' << p.first << ',' << p.second << ')'; return os; } template std::ostream& operator<<(std::ostream& os, const std::vector& v) { os << '{'; for (size_t i = 0; i < v.size(); ++i) os << v[i] << ((i + 1 < v.size()) ? ',' : '}'); return os; } template std::ostream & operator<<(std::ostream & os, const std::set & v) { os << '{'; for (auto it = v.cbegin(); it != v.cend();) { os << *it << (++it == v.cend() ? '}' : ','); } return os; } template std::ostream& operator<<(std::ostream & os, const std::map & m) { os << '{'; for (auto it = m.cbegin(); it != m.cend();) { os << it->first << ':' << it->second; ++it; os << (it != m.cend() ? ',' : '}'); } return os; } template std::ostream& operator<<(std::ostream & os, std::queue q) { os << '<'; while (!q.empty()) { os << q.front(); q.pop(); os << (q.empty() ? '<' : ','); } return os; } template std::ostream& operator<<(std::ostream & os, std::stack q) { os << '>'; while (!q.empty()) { os << q.top(); q.pop(); os << (q.empty() ? ']' : ','); } return os; } namespace std { template class numeric_limits> { public: static constexpr pair max() noexcept { return { numeric_limits::max(), numeric_limits::max() }; } static constexpr pair lowest() noexcept { return { numeric_limits::lowest(), numeric_limits::lowest() }; } }; } // type/const using i64 = std::int_fast64_t; using u64 = std::uint_fast64_t; using ll = long long; using ull = unsigned long long; using ld = long double; using PAIR = std::pair; constexpr int INFINT = (1 << 30) - 1; // 1.07x10^ 9 constexpr int INFINT_LIM = (1LL << 31) - 1; // 2.15x10^ 9 constexpr long long INFLL = 1LL << 60; // 1.15x10^18 constexpr long long INFLL_LIM = (1LL << 62) - 1 + (1LL << 62); // 9.22x10^18 constexpr double EPS = 1e-6; constexpr i64 MOD = 998244353; constexpr double PI = 3.141592653589793238462643383279; template void FILL(T(&a)[N], const T & val) { for (auto& x : a) x = val; } template void FILL(ARY(&a)[N][M], const T & val) { for (auto& b : a) FILL(b, val); } template void FILL(std::vector & a, const T & val) { for (auto& x : a) x = val; } template void FILL(std::vector> & a, const T & val) { for (auto& b : a) FILL(b, val); } // ------------>8--------- /* 1 2 3 6 5 4 ----- 5 3 1 p 1 _ _ _ _ 6 p _ 2 _ _ 5 _ p _ _ 3 4 _ _ */ signed main() { INIT; VAR(i64, n, k); VEC(i64, a, k); std::set set; REP(i, k) set.insert(a[i]); i64 now = n; while (true) { auto it = set.lower_bound(now); if (it == set.begin()) break; --it; i64 t = *it; if (t <= 0) break; if (set.count(t - 1)) set.insert(t - 4); if (set.count(t - 3)) set.insert(t - 5); if (set.count(t - 5)) set.insert(t - 6); if (set.count(t - 1) && set.count(t - 2) && set.count(t - 3) && set.count(t - 4) && set.count(t - 5) && set.count(t - 6)) { EOUT("No"); } if (set.count(1)) { EOUT("No"); } now = t; } EOUT("Yes"); return 0; }