#ifdef LOCAL
#include "stdafx.h"
#else
#include <bits/stdc++.h>
#define IL inline
#define LL long long
#define eb emplace_back
#define L(i, j, k) for (int i = (j); i <= (k); ++i)
#define R(i, j, k) for (int i = (j); i >= (k); --i)
#define FIO(FILE) freopen(FILE".in", "r", stdin), freopen(FILE".out", "w", stdout)
using namespace std;

using vi = vector<int>;
#endif

constexpr int N = 1e6 + 9;
int n, K, Q, T, p1[N], p2[N], x[N], y[N];

int main () {
	ios::sync_with_stdio(0), cin.tie(0);
	scanf("%d%d%d%d", &n, &K, &Q, &T);
	L (i, 1, n) {
		scanf("%d", p1 + i);
	}
	L (i, 1, n) {
		scanf("%d", p2 + i);
	}
	L (i, 1, K) {
		printf("%d ", i);
	}
	printf("\n");
	fflush(stdout);
	printf("!\n");
	fflush(stdout);
	L (i, 1, T) {
		scanf("%d%d", x + i, y + i);
	}
	L (i, 1, T) {
		printf("2\n");
	}
	fflush(stdout);
}
// I love WHQ!