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