#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;
#define rep(i,n) for(int i=0;i<(int)(n);i++)
using mint = atcoder::modint998244353;

int main(){
	int n,h,x;
	cin>>n>>h>>x;
	vector<pair<int,int>> eve;
	set<int> stl={0};
	int g;
	cin>>g;
	rep(i,g){
		int a;
		cin>>a;
		eve.push_back({a,1});
		stl.insert(a);
	}
	int b;
	cin>>b;
	rep(i,b){
		int a;
		cin>>a;
		eve.push_back({a,-1});
		stl.insert(a);
	}
	int m=eve.size();
	rep(i,m){
		for(int df=max(-eve.at(i).first,-x);df<=min(n-eve.at(i).first,x);df++){
			if(!stl.count(eve.at(i).first+df)){
				eve.push_back({eve.at(i).first+df,0});
				stl.insert(eve.at(i).first+df);
			}
		}
	}
	sort(eve.begin(),eve.end());
	m=eve.size();
	if(h>b)	h=b;
	vector<vector<int>> dp(m+1,vector<int>(h+1,-1e9));
	dp.at(0).at(0)=0;
	int bf=0;
	rep(i,m){
		rep(j,h+1){
			if(dp.at(i).at(j)!=-1e9) dp.at(i+1).at(j)=max(dp.at(i+1).at(j),dp.at(i).at(j)+eve.at(i).second);
			if(j<h){
				for(int k=max(0,i-10);k<=i;k++){
					int r=eve.at(k).first;
					int l=(k==0?0:eve.at(k-1).first);
					if(l+x<=eve.at(i).first&&r+x>bf+1&&dp.at(k).at(j)!=-1e9){
						dp.at(i+1).at(j+1)=max(dp.at(i+1).at(j+1),dp.at(k).at(j)+eve.at(i).second);
					}
				}
			}
		}
		bf=eve.at(i).first;
	}
	int ans=-1e9;
	rep(j,h+1){
		ans=max(ans,dp.at(m).at(j));
	}
	cout<<ans<<endl;
}