2^4-1

Ограничение по времени: 2.000 секунд

Ограничение по памяти: 500.000 мегабайт

Формат входных данных

На вход подаётся 4 строки. В каждой строке находится 4 целых числа от 0 до 15 включительно.

Все числа различны между собой.

Формат выходных данных

Выведите YES или NO - ответ на задачу.

Пример

input output
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15 0
YES
1 2 3 4
5 6 7 8
9 10 11 12
13 15 14 0
NO
Войдите, что бы отправлять решения