#include<bits/stdc++.h>
#define int long long
using namespace std;
signed main(){
  int N,K;cin>>N>>K;
  priority_queue<int> Q;
  set<int> S;
  for(int i=0;i<K;i++){
    int a;cin>>a;
    Q.push(a);
    S.insert(a);
  }
  while(!Q.empty() && Q.top()>0){
    int I=Q.top();
    Q.pop();
    if(I==1){
      puts("No");
      return 0;
    }
    priority_queue<int> q=Q;
    while(!q.empty() && q.top()>0 && (I+q.top()-7)/2<q.top()){
      int i=q.top();
      q.pop();
      if((I+i)%2 && !S.count((I+i-7)/2)){
        Q.push((I+i-7)/2);
        q.push((I+i-7)/2);
        S.insert((I+i-7)/2);
      }
    }
  }
  puts("Yes");
}