#include <bits/stdc++.h>
int a[140000] = {0};
int main() {
  int n, x, t;
  long long ans = 0;
  scanf("%d%d", &n, &x);
  while (n--) {
    scanf("%d", &t);
    ans += a[x ^ t];
    ++a[t];
  }
  printf("%I64d\n", ans);
  return 0;
}
