"use strict";

const main = arg => {
    // 標準入力の不要な空白と改行を削除し、配列に格納する
    const input = arg.trim().split("\n");

    // 盤面
    const lineA = input[0].split(" ");
    const lineB = input[1].split(" ");
    const lineC = input[2].split(" ");
    const table = lineA.concat(lineB.concat(lineC));
    // 試行回数
    const times = input[3];
    // 番号は　input[4]~timesまで
    

    let lines = []; // 答えを入れてく
    for (let i=4; i<4+times; i++) {
        if (table.indexOf(input[i]) >= 0) {
            table[table.indexOf(input[i])] = "x";
        } else {
            continue;
        }
    }

    

    table.filter((num, index) => {
        num == "x" ? lines.push(index): '';
    })

    
    if (lines.some(num => num === 0)) {
        if (lines.some(num => num === 4)) {
            if (lines.some(num => num === 7)) {
                console.log("Yes");
            }else{
                console.log("No");
            }
        }else{
            console.log("No");
        }
    }else{
        console.log("No");
    }
    //console.log(lines.some(num => num == 4 && 3 && 7));
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));  