A. Майк и телефон
ограничение по времени на тест
1 секунда
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

Купаясь на пляже, Майк случайно уронил свой телефон в воду. Сильно не беспокоясь, Майк купил дешевый телефон с кнопочной клавиатурой в качестве замены. Клавиатура состоит из десяти цифровых кнопок одинакового размера, расположенных привычным образом:

Вместе со старым телефоном Майк потерял и весь список контактов, и теперь он может вспомнить только как двигались его пальцы при наборе того или иного номера. Формально, движениями пальцев следует считать последовательность векторов, соединяющих центры кнопок, последовательно нажимаемых в процессе набора номера. К примеру, движения пальцев для номеров "586" и "253" совпадают:

Майк уже успел набрать номер по "памяти пальцев" и начать вызов, поэтому ему очень важно знать, может ли он быть уверен в том, что звонит по правильному номеру? Другими словами, существует ли какой-нибудь номер отличный от данного, с такими же движениями пальцев?

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

В первой строке входных данных содержится целое число n (1 ≤ n ≤ 9) — количество цифр в номере, который Майк уже успел набрать.

Во второй строке содержится сам номер, состоящий из n цифр от «0» до «9».

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

Если другого номера, соответствующего движениям пальцев Майка для набранного им номера, не существует и он может быть уверен в правильности номера, выведите «YES» (без кавычек).

В противном случае, в первой строке выведите «NO» (без кавычек).

Примеры
Входные данные
3
586
Выходные данные
NO
Входные данные
2
09
Выходные данные
NO
Входные данные
9
123456789
Выходные данные
YES
Входные данные
3
911
Выходные данные
YES
Примечание

В качестве пояснения к первому примеру входных данных используйте картинки из условия выше.