A. Башня из игральных костей
ограничение по времени на тест
2 секунды
ограничение по памяти на тест
256 мегабайт
ввод
stdin
вывод
stdout

Игральная кость — это куб, на гранях которого изображены различные целые числа от 1 до 6 в виде черных точек. При этом сумма чисел на противоположных гранях игральной кости всегда равна 7. Обратите внимание, что под заданные ограничения подходят всего две игральные кости, которые являются зеркальным отражением друг друга (они изображены на рисунке слева).

Алиса и Боб играют в кости. Алиса построила башню из n игральных костей. Известно, что в этой башне соседние игральные кости соприкасаются гранями с разными числами. Боб хочет однозначно определить числа, написанные на гранях всех игральных костей, из которых построена башня. К сожалению, Боб смотрит на башню со стороны, и поэтому он не видит всех чисел на гранях. Боб видит число на вершине башни, а также числа на двух соседних боковых сторонах (то, что видно Бобу, показано на рисунке справа).

Помогите Бобу, скажите, можно ли по данной информации однозначно определить числа на всех гранях игральных костей, из которых сложена башня, или нет?

Входные данные

В первой строке записано единственное целое число n (1 ≤ n ≤ 100) — количество игральных костей в башне.

Во второй строке записано целое число x (1 ≤ x ≤ 6) — число, которое видит Боб на вершине башни. В следующих n строках записаны по два целых числа через пробел: в i-ой строке записаны числа ai, bi (1 ≤ ai, bi ≤ 6; ai ≠ bi) — числа, которые видит Боб на боковых гранях i-ой игральной кости башни.

Считайте, что кости в башне пронумерованы сверху вниз от 1 до n. То есть самая верхняя игральная кость имеет номер 1 (та кость, верхнюю грань которой видит Боб). Гарантируется, что можно составить башню из игральных костей, которая будет иметь заданный во входных данных вид.

Выходные данные

Выведите «YES» (без кавычек), если можно однозначно определить числа на всех гранях всех игральных костей башни. Если этого сделать нельзя — выведите «NO» (без кавычек).

Примеры
Входные данные
3
6
3 2
5 4
2 4
Выходные данные
YES
Входные данные
3
3
2 6
4 1
5 3
Выходные данные
NO