#include<bits/stdc++.h>
#include<atcoder/all>
#define rep(i,n) for(int i=0;i<n;i++)
using namespace std;
using namespace atcoder;
typedef long long ll;
typedef vector<int> vi;
typedef vector<long long> vl;
typedef vector<vector<int>> vvi;
typedef vector<vector<long long>> vvl;
typedef long double ld;

int T, N;
long long Money;
vector<int> L;
vector<int> S, P, R;
vector<long double> est;

void out(int type){
	if(type == 1){
		cout << 1;
		for (int i = 1; i <= N; i++) cout << " " << L[i];
		cout << endl;
	}
}

int main() {
	// 最初の入力
	cin >> T >> N >> Money;
	L.resize(N);
	S.resize(N);
	P.resize(N);
	R.resize(N);
	est.resize(N, 1.0);

	// インタラクティブ開始
	for (int t = 1; t <= T; t++) {
		if(t >= 1 and t <= 15){
			for (int i = 1; i <= N; i++) L[i] = 3;
		}else{
			for (int i = 1; i <= N; i++) L[i] = Money / (500 * N);
		}
		out(1);

		cin >> Money;
		for (int i = 1; i <= N; i++) cin >> S[i];
		for (int i = 1; i <= N; i++) cin >> P[i];
		for (int i = 1; i <= N; i++) cin >> R[i];
	}
	return 0;
}