WA求条，悬两关

#include<bits/stdc++.h>
using namespace std;
int cl[200005];
int c[200005];
int cnt;
int cntans;
int ans[200005];
//1:red 2: black 3:white
main() {
	ios::sync_with_stdio(0);
	cin.tie(0);
	cout.tie(0);
	int T;
	cin>>T;
	for(int KKK=1; KKK<=T; KKK++) {
		int n,m,k,w;
		cin>>n>>m>>k>>w;
		cnt=cntans=0;
		for(int i=1; i<=w; i++) cl[i]=3,c[i]=ans[i]=0;
		for(int i=1; i<=n; i++) {
			int x;
			cin>>x;
			cl[x]=1;
		}
		for(int i=1; i<=m; i++) {
			int x;
			cin>>x;
			cl[x]=2;
			c[++cnt]=x;
		}
		c[0]=0;
		c[++cnt]=w+1;
		sort(c,c+1+cnt);
		for(int i=0; i<=cnt-1; i++) {
			int now=c[i];
			int cha=c[i+1]-c[i]-1;
			if(c[i+1]==c[i]) continue;
			if(cha<k){
				for(int j=c[i]+1;j<=c[i+1];j++) if(cl[j]==1){
					cout<<-1<<'\n';
					goto end;
				}
				continue;
			}
			for(int j=c[i]+1;j<=c[i+1];j++){
				if(cl[j]==1){
					ans[++cntans]=j;
					if(j+k-1>=c[i+1]){
						for(int z=cntans;z>=1;z--){
							if(ans[z]>c[i]+1){
								ans[z]--;
								if(cl[ans[z]+k]==1){
									cntans++;
									for(int y=cntans;y>=z+2;y--) ans[y]=ans[y-1];
									ans[z+1]=ans[z]+k;
									cout<<ans[z+1]<<' '<<ans[z+2]<<'\n';
									if(ans[z+1]+k-1>ans[z+2]){
										cout<<-1<<'\n';
										goto end;
									}
								}
							}
							else if(ans[z]==c[i]+1){
								cout<<-1<<'\n';
								goto end;
							}
							else break;
						}
					}
					j+=k;
					j--;
				}
			}
		}
		cout<<cntans<<'\n';
		for(int i=1;i<=cntans;i++) cout<<ans[i]<<' ';
		cout<<'\n';
end:
		;
	}
}
/*
1
5 2 3 16
7 11 2 9 14
13 5
*/