#include <bits/stdc++.h>
typedef long long i64;
using std::cout;
using std::endl;
using std::cin;

int main() {
	int n, k; scanf("%d %d", &n, &k);
	int g = 0;
	for(int i = 0; i < n; i++) {
		int a; scanf("%d", &a);
		
		g ^= a % (k + 1);
	}
	
	if(g) printf("Yes\n");
	else printf("No\n");
	return 0;
}