#include <bits/stdc++.h>
int main(void) {
  int A[3][3], N;
  int b[N];
  for (int i = 0; i < 3; i++) {
    scanf("%d", &A[0][i]);
  }
  for (int i = 0; i < 3; i++) {
    scanf("%d", &A[1][i]);
  }
  for (int i = 0; i < 3; i++) {
    scanf("%d", &A[2][i]);
  }
  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]) {
          A[j][k] = 0;
        }
      }
    }
  }
  if ((A[0][0] == 0 && A[0][1] == 0 && A[0][2] == 0) ||
      (A[1][0] == 0 && A[1][1] == 0 && A[1][2] == 0) ||
      (A[2][0] == 0 && A[2][1] == 0 && A[2][2] == 0)) {
    printf("Yes\n");
  } else if ((A[0][0] == 0 && A[1][0] == 0 && A[2][0] == 0) ||
             (A[0][1] == 0 && A[1][1] == 0 && A[2][1] == 0) ||
             (A[2][0] == 0 && A[2][1] == 0 && A[2][2] == 0)) {
    printf("Yes\n");
  } else if ((A[0][0] == 0 && A[1][1] == 0 && A[2][2] == 0) ||
             (A[0][2] == 0 && A[1][1] == 0 && A[2][0] == 0)) {
    printf("Yes\n");
  } else {
    printf("No\n");
  }
  return 0;
}
