#include <stdio.h>

long long int a;
int check[1000010],check2[1000010];
int func2(int k)
{
	if(k>=a || k>=1000000) return 1;
	if(check2[k]) return 0;
	if(check[k]!=-1) return check[k];
	
	int s1 = func2(k+1);
	int s2 = func2(k+2);
	int s3 = func2(k+3);
	int s4 = func2(k+4);
	int s5 = func2(k+5);
	int s6 = func2(k+6);
	if(s1==0&&s6==0) return check[k] = 0;
	if(s2==0&&s5==0) return check[k] = 0;
	if(s3==0&&s4==0) return check[k] = 0;
	return check[k] = 1;
}

long long int x[110];
int main()
{
	int b;
	scanf("%lld%d",&a,&b);
	for(int i=1;i<=b;i++) scanf("%lld",&x[i]);
	for(int i=1;i<=1000000;i++) check[i] = -1;
	for(int i=1;i<=b;i++) if(x[i]<=1000000) check2[x[i]] = 1;
	
	for(int i=1;i<=b;i++)
	{
		if(x[i]<=1000000) continue;
		for(int j=i+1;j<=b;j++)
		{
			if((x[j]-x[i])%2==1 && (x[j]-x[i])<=5)
			{
				printf("No");
				return 0;
			}
		}
	}
	int t = func2(1);
	printf("%s",t==0?"No":"Yes");
}