#include<bits/stdc++.h>
#define rep(i, s, f) for(ll i = s; i <= f; i++)
using namespace std;
typedef long long ll;

void solve() {
   ll N, H, X;
  cin >> N >> H >> X;
  ll G, B;
  cin >> G;
  vector<ll> g(G+1);
  for(int i = 1; i <= G; i++) {
    cin >> g.at(i);
   
  }
  cin >> B;
  vector<ll> b(B+1);
  for(int i = 1; i <= B; i++) {
    cin >> b.at(i);
  }

  vector<ll> table(N+1, 0);
  rep(i, 1, G){
    table.at(g.at(i)) = 1;
  }
  rep(i, 1, B) {
    table.at(b.at(i)) = -1;
  }

  ll ans = 0;
  rep(i, 1, N) {
    if(table.at(i) == 1) {
        ans++;
    }
    else if(table.at(i) == -1 && H > 0) {
        i += X - 1;
        H--;
    }
  }

  cout << ans << endl;




}
//stringでの数字の下から1桁目は 正:S.at(N-1)  誤:S.at(0)
//if(S.at(i) == 1　← charなのに1...?
// modは取りましたか...?(´・ω・｀)



int main() {
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  cout << fixed << setprecision(15);
  solve();
  return 0;
}