numbers = [367, 12, 4]
digits = [
    [3, 6, 7],
    [2, 1, 9],
    [1, 2, 4],
    [5, 3, 1]
]


def get_num_digits(num):
    digit_list = []

    while num > 0:
        digit_list.append(num % 10)
        num //= 10

    digit_list.reverse()
    return digit_list


def check_if_digits_in_rows(digit_list):
    for row in digits:
        counter = 0
        for row_digit in row:
            if row_digit == digit_list[counter]:
                counter += 1
                if counter == len(digit_list):
                    return True
            else:
                counter = 0
    return False


def check_if_digits_in_columns(digit_list):
    for c in range(len(digits[0])):
        counter = 0
        for column_digit in [row[c] for row in digits]:
            if column_digit == digit_list[counter]:
                counter += 1
                if counter == len(digit_list):
                    return True
            else:
                counter = 0
    return False


ans = "YES"
for i in range(len(numbers) - 1):
    if check_if_digits_in_rows(get_num_digits(numbers[i])):
        if not check_if_digits_in_columns(get_num_digits(numbers[i + 1])):
            ans = "NO"
            break

print(ans)