#include <bits/stdc++.h>
using namespace std;
int main() {
  int a[3][3], N, t[3][3];
  for (int i = 0; i < 3; i++) {
    for (int j = 0; j < 3; j++) {
      scanf("%d", &a[i][j]);
      t[i][j] = 0;
    }
  }
  scanf("%d", &N);
  int b[N];
  for (int k = 0; k < N; k++) {
    scanf("%d", &b[k]);
  }
  for (int k = 0; k < N; k++) {
    for (int i = 0; i < 3; i++) {
      for (int j = 0; j < 3; j++) {
        if (a[i][j] == b[k]) {
          t[i][j] = 1;
        }
      }
    }
  }
  int ans = 0;
  for (int i = 0; i < 3; i++) {
    if (t[i][0] == 1 && t[i][0] == t[i][1] && t[i][2] == t[i][0]) {
      ans = 1;
    }
  }
  for (int j = 0; j < 3; j++) {
    if (t[0][j] == 1 && t[0][j] == t[1][j] && t[2][j] == t[0][j]) {
      ans = 1;
    }
  }
  if (t[0][0] == 1 && t[0][0] == t[1][1] && t[1][1] == t[2][2]) {
    ans = 1;
  }
  if (t[0][2] == 1 && t[0][2] == t[1][1] && t[1][1] == t[2][0]) {
    ans = 1;
  }
  if (ans > 0) {
    printf("Yes");
  } else {
    printf("No");
  }
  return 0;
}
