import java.io.*;
import java.util.*;

class Main {
    static final String YES = "Yes";
    static final String NO = "No";

    // Generated by 1.1.5 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
    public static void main(String[] args) throws Exception {
        final Scanner sc = new Scanner(System.in);
        long N;
        N = sc.nextLong();
        long K;
        K = sc.nextLong();
        long Q;
        Q = sc.nextLong();
        long[] A = new long[(int)(Q)];
        for(int i = 0 ; i < Q ; i++){
                A[i] = sc.nextLong();
        }
        solve(N, K, Q, A);
    }

    static void solve(long N, long K, long Q, long[] A){
        long[] AnswerNum = new long[(int)(N)];
        Arrays.fill(AnswerNum, 0);

        for (long ai: A) {
            AnswerNum[(int)(ai - 1)]++;
        }

        for (long ANi: AnswerNum) {
            if(ANi > Q - K) System.out.println(YES);
            else System.out.println(NO);
        }
    }
}

/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz