#include<bits/stdc++.h>
using namespace std;
using Int = long long;
//INSERT ABOVE HERE
unsigned long long seed;
Int next() {
  seed = seed ^ (seed << 13);
  seed = seed ^ (seed >> 7);
  seed = seed ^ (seed << 17);
  return (seed >> 33);
}

signed main() {
  Int n, q;
  cin >> n >> q >> seed;
  for (Int i = 0; i < 10000; i++) next();
    
  vector<Int> a(n);
  for (Int i = 0; i < n; i++) a[i] = next();
  sort(a.begin(),a.end());

  Int ans=0;
  for(Int i=0;i<q;i++){
    Int x=next();
    Int cnt=lower_bound(a.begin(),a.end(),x)-a.begin();
    ans ^= cnt * i;
  }
  
  cout<<ans<<endl;
}