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