function Main(input) {
    var A1 = input.slice(0, 3).map(a => parseInt(a, 10));
    var A2 = input.slice(3, 6).map(a => parseInt(a, 10));
    var A3 = input.slice(6, 9).map(a => parseInt(a, 10));
    var N = parseInt(input[9], 10);
    var b = input.slice(10).map(a => parseInt(a, 10));

    for (var i = 0; i < N; i++) {
        for (var j = 0; j < 3; j++) {
            if (A1[j] === b[i]) {
                A1[j] = 0;
            }
        }
        for (var j = 0; j < 3; j++) {
            if (A2[j] === b[i]) {
                A2[j] = 0;
            }
        }
        for (var j = 0; j < 3; j++) {
            if (A3[j] === b[i]) {
                A3[j] = 0;
            }
        }
    }

    for (var i = 0; i < 3; i++) {
        if (A1[i] === 0 && A2[i] === 0 && A3[i] === 0) {
            return console.log('Yes');
        }
    }
    if (A1[0] === 0 && A1[1] === 0 && A1[2] === 0) {
        return console.log('Yes');
    }
    if (A2[0] === 0 && A2[1] === 0 && A2[2] === 0) {
        return console.log('Yes');
    }
    if (A3[0] === 0 && A3[1] === 0 && A3[2] === 0) {
        return console.log('Yes');
    }
    if (A1[0] === 0 && A2[1] === 0 && A3[2] === 0) {
        return console.log('Yes');
    }
    if (A1[2] === 0 && A2[1] === 0 && A3[0] === 0) {
        return console.log('Yes');
    }
    return console.log('No');
}

Main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split(/\n|\s/));