// inputに入力データ全体が入る
function Main(input) {
	ans = 'No' 
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.trim().split("\n");
	s0 = input[0].split(' ').map((n) => (parseInt(n)))
	s1 = input[1].split(' ').map((n) => (parseInt(n)))
	s2 = input[2].split(' ').map((n) => (parseInt(n)))
	arr = s0.concat(s1)
	arr = arr.concat(s2)

	b = input.slice(3)

	for (i = 0; i <= b.length + 1; i++) {
		for (j = 0; j <= arr.length + 1; j++) {
			if (arr[i] == b[j]) {
				arr[i] = 'b'
			}
		}
	}

	if ((arr[0] == arr[1] && arr[0] == arr[2] && arr[0] == 'b') || 
    (arr[3] == arr[4] && arr[3] == arr[5] && arr[3] == 'b') || 
    (arr[6] == arr[7] && arr[6] == arr[8] && arr[6] == 'b') || 
    (arr[0] == arr[3] && arr[0] == arr[6] && arr[0] == 'b') || 
    (arr[1] == arr[4] && arr[1] == arr[7] && arr[1] == 'b') || 
    (arr[2] == arr[5] && arr[2] == arr[8] && arr[2] == 'b') || 
    (arr[0] == arr[4] && arr[0] == arr[8] && arr[0] == 'b') || 
    (arr[2] == arr[4] && arr[2] == arr[6] && arr[2] == 'b')) {
		ans = 'Yes'
	}


	//出力
	console.log(ans)
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
// Main(require('fs').readFileSync('./input.txt', 'utf-8'));