N,K = map(int,input().split())
A = [i-1 for i in list(map(int,input().split()))]
pa = 10 ** 18 + 10
X = [1] * 6
j = K -1
for i in reversed(range(K)):
    a = A[i]
    while i < j and A[j] - A[i] > 6:
        j -= 1
    for k in range(i+1,j+1):
        pa = A[k]
        d = pa - a
        if d % 2 == 1:
            X[a % 6] = 0
            X[pa % 6] = 0
            X[(a - (7 - d)//2)%6] = 0
    pa = a
    a6 = a % 6
    for i in range(1,6,2):
        if X[(a6+i)%6] == 0:
            X[(a6 - (7-i)//2)%6] = 0
    #print(a,X)
if X[2] == 0 and X[5] == 0:
    X[0] = 0
if X[3] == 0 and X[4] == 0:
    X[0] = 0

if X[0] == 0:
    print("No")
else:
    print("Yes")