N,K = map(int,input().split())
A = [i-1 for i in list(map(int,input().split()))]
pa = 10 ** 18 + 10
X = [1] * 6
for a in reversed(A):
    if X[a % 6] == 0:
        continue
    if pa - a < 6:
        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[0] == 0:
    print("No")
else:
    print("Yes")