#include using namespace std; int main() { int N, H, X; cin >> N >> H >> X; int G, B; cin >> G; vector old(N+1, 0);//変換前のマス。0なら授業、1なら得単、-1なら落単 vector g(G+1); for(int i = 1; i <= G; i++) { cin >> g[i]; old[g[i]] = 1; } cin >> B; vector b(B+1); for(int i = 1; i <= B; i++) { cin >> b[i]; old[b[i]] = -1; } H = min(H, B); //リープする回数はせいぜいB回 vector count(N+1, 0);//iマス目の周辺に落単マスがあるならばcount[i]は1以上 for(int i = 1; i <= N; i++) { if(old[i] == -1) { int l = max(0, i-X); int r = min(N, i+X); for(int j = l; j <= r; j++) { count[j]++; } } } vector nw(1, 0);//変換後のマスの情報 for(int i = 1; i <= N; i++) { if(count.at(i) != 0) { nw.push_back(old[i]); } else { int sum = 0; sum += old[i]; while(i + 1 <= N && count[i+1] == 0) { i++; sum += old.at(i); } nw.push_back(sum); } } int N1 = nw.size() - 1;//変換後のマス目数 vector> dp(N1+1, vector(H+1, -100100100)); dp.at(0).at(H) = 0; for(int i = 1; i <= N1; i++) { for(int j = 0; j <= H; j++) { if(j != H && i >= X) { dp[i][j] = max(dp[i][j], dp[i-X][j+1] + nw[i]); } dp[i][j] = max(dp[i][j], dp[i-1][j] + nw[i]); } } int ans = -100100100;//単位の数はマイナスを取りうることに注意してください。 for (int j = 0; j <= H; j++) { ans = max(ans, dp[N1][j]); } cout << ans << endl; }