#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}

int read_int() {
	int c = getchar();
	int res = 0, sign = 0;
	if (c == '-') sign = 1;
	else if (c >= '0' && c <= '9') res = c - '0';
	else assert(0);
	
	while (1) {
		c = getchar();
		if (c < '0' || c > '9') break;
		assert(res <= 200000000); // no overflow
		res = res * 10 + c - '0';
	}
	ungetc(c, stdin);
	return sign ? -res : res;
}
void read_linebreak() {
	int c = getchar();
	if (c == '\r') c = getchar();
	assert(c == '\n');
}

int main() {
	int n = read_int();
	assert(3 <= n && n <= 100000);
	assert(getchar() == ' ');
	int m = read_int();
	assert(1 <= n && n <= 100000);
	read_linebreak();
	for (int i = 0; i < n; i++) {
		if (i) assert(getchar() == ' ');
		int a = read_int();
		assert(1 <= a && a <= m);
	}
	int c = getchar();
	if (c != EOF) {
		if (c == '\r') c = getchar();
		assert(c == '\n');
	}
	assert(getchar() == EOF);
	return 0;
}