// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.split("\n");
	//文字列から10進数に変換するときはparseIntを使います
	var a1 = input[0].split(" ");
	var a2 = input[1].split(" ");
	var a3 = input[2].split(" ");
	var n = input[3];

	var b1=[0,0,0];
	var b2=[0,0,0];
	var b3=[0,0,0];
	
	for(var i = 0; i<n; i++){
		var b = input[4+i];
		for(var j=0;j<3;j++){
			if(a1[j]==b){
				b1[j]+=1;
			}else{
				b1[j]+=0;
			}
			if(a2[j]==b){
				b2[j]+=1;
			}else{
				b2[j]+=0;
			}
			if(a3[j]==b){
				b3[j]+=1;
			}else{
				b3[j]+=0;
			}

		}
			
		

	}

	if(b1[0]>=1&b1[1]>=1&b1[2]>=1){
		//出力
		console.log('Yes');
	}else if(b2[0]>=1&b2[1]>=1&b2[2]>=1){
		//出力
		console.log('Yes');

	}else if(b3[0]>=1&b3[1]>=1&b3[2]>=1){
		//出力
		console.log('Yes');

	}else if(b1[0]>=1&b2[0]>=1&b3[0]>=1){
		//出力
		console.log('Yes');

	}else if(b1[1]>=1&b2[1]>=1&b3[1]>=1){
		//出力
		console.log('Yes');

	}else if(b1[2]>=1&b2[2]>=1&b3[2]>=1){
		//出力
		console.log('Yes');

	}else if(b1[0]>=1&b2[1]>=1&b3[2]>=1){
		//出力
		console.log('Yes');

	}else if(b1[2]>=1&b2[1]>=1&b3[0]>=1){
		//出力
		console.log('Yes');

	}else{
		//出力
		console.log('No');
	}
}

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