import sys
from itertools import product

def generate_v(n):
    if n == 0:
        return [frozenset()]
    prev_v = generate_v(n-1)
    current_v = set()
    for bits in range(1 << len(prev_v)):
        subset = set()
        for i in range(len(prev_v)):
            if (bits >> i) & 1:
                subset.add(prev_v[i])
        current_v.add(frozenset(subset))
    return list(current_v)

def main():
    N = int(sys.stdin.readline())
    A = list(map(int, sys.stdin.readline().split()))
    A0, A1, A2, A3, A4, A5 = A

    v = generate_v(N)
    for m0, m1, m2 in product(v, repeat=3):
        mA0 = [m0, m1, m2][A0]
        mA1 = [m0, m1, m2][A1]
        mA2 = [m0, m1, m2][A2]
        mA3 = [m0, m1, m2][A3]
        mA4 = [m0, m1, m2][A4]
        mA5 = [m0, m1, m2][A5]

        condition1 = all(elem in mA1 for elem in mA0)
        condition2 = mA1 in mA2
        condition3 = mA3 in mA2
        condition4 = mA4 in mA2
        condition5 = mA5 in mA0

        if condition1 and condition2 and condition3 and condition4 and condition5:
            print("YES")
            return
    print("NO")

if __name__ == "__main__":
    main()