#include <bits/stdc++.h>

/* strict input checker */

int read_integer() {
	int c = getchar(), sign = 0, res = 0;
	if (c == '-') sign = 1;
	else {
		assert(c >= '0' && c <= '9');
		res = c - '0';
	}
	while (1) {
		c = getchar();
		if (c < '0' || c > '9') break;
		assert(res <= 200000000); // avoid 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_integer();
	assert(getchar() == ' ');
	int x = read_integer();
	
	assert(1 <= n && n <= 100);
	assert(1 <= x && x <= 500000);
	
	read_linebreak();
	for (int i = 0; i < n; i++) {
		if (i) assert(getchar() == ' ');
		int a = read_integer();
		assert(1 <= a && a <= x);
	}
	
	int c = getchar();
	if (c == '\r') assert((c = getchar()) == '\n'); 
	if (c == '\n') c = getchar();
	assert(c == EOF);
	
	puts("passed");
	return 0;
}