#include #include #include #include #include #include //#include using namespace std; //using mint=atcoder::modint998244353; int N,H,X,G,B; mapmp; int dp[6][5001]; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); cin>>N>>H>>X; mp[0]=0; mp[N]=0; cin>>G; for(;G--;) { int g;cin>>g; for(int i=max(g-X,0);i<=min(g+X,N);i++)mp[i]+=0; mp[g]+=1; } cin>>B; for(;B--;) { int g;cin>>g; for(int i=max(g-X,0);i<=min(g+X,N);i++)mp[i]+=0; mp[g]-=1; } vectord; for(pairp:mp)d.push_back(p.second); for(int i=0;i<=X;i++)for(int j=0;j<5000;j++)dp[i][j]=-1e9; dp[0][0]=0; for(int i=0;i+10?ni-1:X; if(i+X>=d.size())wi=-1; for(int j=0;j<5000;j++) { dp[ni][j]+=d[i]; dp[ti][j]=max(dp[ti][j],dp[ni][j]); if(wi>=0)dp[wi][j+1]=max(dp[wi][j+1],dp[ni][j]); dp[ni][j]=-1e9; } } int ans=-1e9; int ni=(d.size()-1)%(X+1); for(int j=0;j<5000&&j<=H;j++) { ans=max(ans,dp[ni][j]); } cout<