#include <bits/stdc++.h>
int main(int argc, char const *argv[]) {
  int a[3][3];
  int n;
  int b[10];
  int bingo_board[3][3];
  for (int i = 0; i < 3; i++) {
    for (int j = 0; j < 3; j++) {
      bingo_board[i][j] = 0;
    }
  }
  for (int i = 0; i < 3; i++) {
    scanf("%d %d %d", &a[i][0], &a[i][1], &a[i][2]);
  }
  scanf("%d", &n);
  for (int i = 0; i < n; i++) {
    scanf("%d", &b[i]);
  }
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < 3; j++) {
      for (int k = 0; k < 3; k++) {
        if (b[i] == a[j][k]) {
          bingo_board[j][k] = 1;
        }
      }
    }
  }
  int bingo = 0;
  for (int i = 0; i < 3; i++) {
    for (int j = 0; j < 3; j++) {
      if (bingo_board[i][j] == 0) {
        break;
      }
      if (j == 2) {
        bingo = 1;
      }
    }
  }
  for (int i = 0; i < 3; i++) {
    for (int j = 0; j < 3; j++) {
      if (bingo_board[j][i] == 0) {
        break;
      }
      if (j == 2) {
        bingo = 1;
      }
    }
  }
  if (bingo_board[0][0] == 1 && bingo_board[1][1] == 1 &&
      bingo_board[2][2] == 1) {
    bingo = 1;
  }
  if (bingo_board[2][0] == 1 && bingo_board[1][1] == 1 &&
      bingo_board[0][2] == 1) {
    bingo = 1;
  }
  if (bingo == 1) {
    printf("Yes");
  } else {
    printf("No");
  }
  return 0;
}
