(function Main(input){
	var input = input.split('\n'),
		bingo = input.slice(0,3).join(' ').split(' ');

	input.splice(0, 4);

	for(var i=input.length; i--;){
		for(var j=bingo.length; j--;){
			if(input[i] === bingo[j]){
				bingo[j] = 'bingo';
				break;
			}
		}
	}

	function check(){
		if(bingo[0] == 'bingo' && bingo[1] == 'bingo' && bingo[2] == 'bingo'){ return true; }
		if(bingo[3] == 'bingo' && bingo[4] == 'bingo' && bingo[5] == 'bingo'){ return true; }
		if(bingo[6] == 'bingo' && bingo[7] == 'bingo' && bingo[8] == 'bingo'){ return true; }
		if(bingo[0] == 'bingo' && bingo[3] == 'bingo' && bingo[6] == 'bingo'){ return true; }
		if(bingo[1] == 'bingo' && bingo[4] == 'bingo' && bingo[7] == 'bingo'){ return true; }
		if(bingo[2] == 'bingo' && bingo[5] == 'bingo' && bingo[8] == 'bingo'){ return true; }
		if(bingo[0] == 'bingo' && bingo[4] == 'bingo' && bingo[8] == 'bingo'){ return true; }
		if(bingo[2] == 'bingo' && bingo[4] == 'bingo' && bingo[6] == 'bingo'){ return true; }
		return false;
	}

	console.log(check() ? 'Yes': 'No');

})(require("fs").readFileSync("/dev/stdin","utf8"));