#include <bits/stdc++.h>
using namespace std;
template <typename A, typename B>
int print_value(A title, B val) {
  cout << title << " = " << val << "\n";
  return 1;
}
int break_point() {
  char c;
  while ((c = getchar()) != '\n')
    ;
  return 0;
}
template <typename A>
int logg(A v) {
  cout << v << "\n";
  return 0;
}
template <typename T>
void read_integer(T &r) {
  bool sign = 0;
  r = 0;
  char c;
  while (1) {
    c = getchar();
    if (c == '-') {
      sign = 1;
      break;
    }
    if (c != ' ' && c != '\n') {
      r = c - '0';
      break;
    }
  }
  while (1) {
    c = getchar();
    if (c == ' ' || c == '\n') break;
    r = r * 10 + (c - '0');
  }
  if (sign) r = -r;
}
void run();
int main() {
  srand(time(NULL));
  do {
    run();
    if (0) {
      0 ? printf("-------------------------------\n") : 0;
      0 ? printf("-------------------------------\n") : 0;
    }
  } while (0);
  return 0;
}
int grandy[] = {0, 1, 0, 1, 2};
int get_grandy(int v) {
  if (v < 5)
    return grandy[v];
  else if (v & 1)
    return 0;
  else {
    int g = get_grandy(v >> 1);
    if (g == 1)
      return 2;
    else
      return 1;
  }
}
void run() {
  int n, k, t;
  scanf("%d%d", &n, &k);
  int res = 0;
  for (int i = 0; i < n; i++) {
    scanf("%d", &t);
    if (k & 1)
      res ^= get_grandy(t);
    else
      res ^= (t == 2 ? 2 : ((t & 1) == 0 || t == 1));
  }
  printf(res ? "Kevin\n" : "Nicky\n");
}
