import sys
from itertools import chain, combinations

def generate_V(n):
    if n == 0:
        return [frozenset()]
    prev = generate_V(n - 1)
    all_elements = list(prev)
    subsets = []
    for r in range(len(all_elements) + 1):
        for subset in combinations(all_elements, r):
            subsets.append(frozenset(subset))
    return subsets

def main():
    N = int(sys.stdin.readline())
    A = list(map(int, sys.stdin.readline().split()))
    A0, A1, A2, A3, A4, A5 = A
    Vn = generate_V(N)
    
    for m0 in Vn:
        for m1 in Vn:
            for m2 in Vn:
                ma0 = [m0, m1, m2][A0]
                ma1_val = [m0, m1, m2][A1]
                ma2_val = [m0, m1, m2][A2]
                ma3_val = [m0, m1, m2][A3]
                ma4_val = [m0, m1, m2][A4]
                ma5_val = [m0, m1, m2][A5]
                
                cond1 = ma0.issubset(ma1_val)
                cond2 = ma1_val in ma2_val
                cond3 = ma3_val in ma2_val
                cond4 = ma4_val in ma2_val
                cond5 = ma5_val in ma0
                
                if cond1 and cond2 and cond3 and cond4 and cond5:
                    print("YES")
                    return
    print("NO")

if __name__ == "__main__":
    main()