open Batteries
open BatPrintf

let dbg n = Printf.eprintf "%s\n" @@ dump n; n

let scan fmt f =
  Scanf.sscanf (read_line ()) fmt f

let scan_list cnv =
  read_line ()
  |> String.split_on_char ' '
  |> List.map cnv

let scan_listn n cnv =
  List.range 1 `To n |> List.map (fun _ -> cnv @@ read_line ())

let bsearch_ge arr a =
  let l = Array.length arr in
  match Array.bsearch Int.ord arr a with
  | `All_lower -> l
  | `All_bigger -> 0
  | `Just_after n -> l - n -1
  | `At n -> l - n
  | `Empty -> 0

let rec zip xs ys =
  match xs, ys with
  | [], _ -> []
  | _, [] -> []
  | x::xs, y::ys ->
    (x, y) :: zip xs ys

let square x = x * x

let as_ = scan_listn 3
    (fun s -> String.split_on_char ' ' s |> List.Labels.map ~f:Int.of_string)
let n = scan "%d" identity
let bs = scan_listn n Int.of_string
let bingo = [[(0,0);(0,1);(0,2)]; [(1,0); (1,1); (1,2)]; [(2,0);(2,1);(2,2)];
             [(0,0);(1,0);(2,0)]; [(0,1); (1,1); (2,1)]; [(0,2);(1,2);(2,2)];
             [(0,0);(1,1);(2,2)];
             [(2,0);(1,1);(0,2)]]
let () =
  List.mapi
    (fun i a -> List.mapi (fun j b -> if List.exists ((=) b) bs then Some (i,j) else None) a) as_
  |> List.flatten
  |> List.filter Option.is_some
  |> List.map Option.get
  |> (fun l -> List.exists ((=) true) @@ List.map (fun b -> (List.fold_left (fun r c -> List.exists ((=) c) l && r) true b)) bingo)
  |> (fun ans -> printf "%s\n" (if ans then "Yes" else "No"))
