#include using namespace std; typedef long long int ll; typedef unsigned long long int ull; int main(){ cin.tie(nullptr); ios::sync_with_stdio(false); ll n; cin >> n; int k; cin >> k; set st; vector a(k); for(int i=0;i> a[i]; st.insert(a[i]); } bool ok=true; while(1){ bool f=false; vector v; for(ll p:a){ if(p==1){ f=false; ok=false; break; } for(ll q:a){ for(int u=1;u<=3;u++){ if(p-q==(7-u-u) and q>u){ if(st.find(q-u)==st.end()){f=true;st.insert(q-u);} v.push_back(q-u); } } } } for(ll p:a)v.push_back(p); sort(v.begin(), v.end()); v.erase(unique(v.begin(), v.end()),v.end()); a=v; if(!f)break; } if(ok)printf("Yes\n"); else printf("No\n"); }