1 1 1
1000000000
2 1
 20 2 15
12698951 55128070 116962690 156763505 188535242 194018601 269939893 428710623 442819431 483000923 516768937 552903993 633087286 656092270 671535141 714291344 717660646 846508634 879748146 937368929
2 7
1 2
2 4
1 19
1 12
1 5
2 18
2 11
1 16
2 1
2 3
2 19
1 17
2 9
2 6
 6 3 10
62417580 78150524 410053501 582708235 630200761 760672946
2 2
1 5
1 2
1 4
2 4
2 1
2 1
1 6
2 5
2 6

NO
 NO
NO
NO
NO
NO
NO
YES
NO
NO
 NO
YES
NO
NO
YES
YES

#include <bits/stdc++.h>
using namespace std;
void ordenar(int x[], int m) {
  for (int i = 1; i < m; i++) {
    int j = i;
    while (j > 0 && x[j - 1] < x[j]) {
      swap(x[j - 1], x[j]);
      j--;
    }
  }
}
int main() {
  int n, k, q;
  int p = 0;
  cin >> n;
  cin >> k;
  cin >> q;
  int respuesta[q];
  int r[n];
  int pantalla[k + 1];
  for (int i = 0; i <= k; i++) {
    pantalla[i] = 0;
  }
  for (int i = 0; i < n; i++) {
    cin >> r[i];
  }
  for (int i = 0; i < q; i++) {
    int tipo, amigo;
    cin >> tipo;
    cin >> amigo;
    switch (tipo) {
      case 1:
        pantalla[k - 1] = r[amigo - 1];
        ordenar(pantalla, k + 1);
        break;
      case 2:
        bool sale = false;
        for (int j = 0; j < k; j++) {
          if (pantalla[j] == r[amigo - 1]) {
            respuesta[p] = 1;
            sale = true;
          }
        }
        if (sale == false) {
          respuesta[p] = 0;
        }
        p++;
        break;
    }
  }
  for (int i = 0; i < p; i++) {
    if (respuesta[i] == 1) {
      cout << "YES" << endl;
    } else if (respuesta[i] == 0) {
      cout << "NO" << endl;
    }
  }
  return 0;
}
