#include <bits/stdc++.h>
using namespace std;
int main() {
    int N,K;
    cin >> N >> K;
    vector<int>A(K);
    map<int,bool>Mp;
    for(int i = 0; i < K; i++) {
        cin >> A[i];
        Mp[A[i]] = true;
    }
    bool ok = true;
    for(int i = 0; i < K; i++) {
        if(A[i]%2 == 1) {
            if(Mp[A[i]+1] || Mp[A[i]+3] || Mp[A[i]+5]) {
                ok = false;
            }
        }
    }
    cout << ((ok)?"Yes":"No") << endl;
}