#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;

const bool debug = false;

int T, N;
long long Money;
vector<long long> L;
vector<long long> S, P, R;
vector<long double> D;
vector<long double> est;
vector<vector<long double>> Z;
set<int> grow, waste;
int X = 1;
long long Score = 0;

vector<int> bi = {1, 2, 4, 8, 16};

void out(int type){
	if(!debug){
		if(type == 1){
			cout << 1;
			rep(i, N) cout << " " << L[i];
			cout << "\n";
		}
		if(type == 2){
			cout << 2 << " " << X << "\n";
		}
	}else{
		if(type == 2){
			rep(i, N) P[i] += X;
		}
	}
}

void in(int t){
	if(debug){
		rep(i, N) R[i] += L[i];
		rep(i, N){
			if(R[i] == 0){
				rep(i, N) S[i] = 0;
			}else{
				S[i] = min(R[i], (long long)(sqrtl(R[i]) * pow(1.05, P[i]) * D[i] * Z[t][i]));
				if(S[i] * 10 >= R[i] * 3) P[i]++;
				if(S[i] * 10 < R[i]) P[i]--;
				R[i] -= S[i];
				Money += 1000 * S[i];
			}
			Score += S[i];
		}
		cout << Money << "\n";
		rep(i, N) cout << S[i] << " "; cout << "\n";
		rep(i, N) cout << P[i] << " "; cout << "\n";
		rep(i, N) cout << R[i] << " "; cout << "\n";
	}else{
		cin >> Money;
		rep(i, N) cin >> S[i];
		rep(i, N) cin >> P[i];
		rep(i, N) cin >> R[i];
	}
}

int main() {
	// 最初の入力
	if(debug){
		cin >> T >> N;
		Money = 2000000;
	}else cin >> T >> N >> Money;
	L.resize(N);
	S.resize(N);
	P.resize(N);
	R.resize(N);
	D.resize(N);
	Z.resize(T, vector<long double>(N));
	rep(i, N) grow.insert(i);
	if(debug){
		rep(i, N) cin >> D[i];
		rep(t, T) rep(i, N) cin >> Z[t][i];
	}
	est.resize(N, 1.0);

	// インタラクティブ開始
	rep(t, T){
		rep(i, N) L[i] = 0;
		if(t < 3){
			X = 1;
			Money -= 500000 * bi[X - 1];
			out(2);
		}else if(t < 23){
			{
				set<int> tmp;
				for(int i : grow){
					if(P[i] <= 0) tmp.insert(i);
				}
				for(int i : tmp){
					grow.erase(i);
					waste.insert(i);
				}
			}
			for(int i : grow){
				L[i] = min(3 - R[i], Money / 500);
				Money -= 500 * L[i];
			}
			for(int i : waste){
				L[i] = Money / 500;
				Money -= 500 * L[i];
			}
			out(1);
		}else{
			for(int i : grow){
				L[i] = Money / (500 * int(grow.size()));
				Money -= 500 * L[i];
			}
			out(1);
		}
		in(t);
	}
	if(debug) cout << Score;
	return 0;
}



// CHECK DEBUG FLAG!!!!
// CHECK DEBUG FLAG!!!!
// CHECK DEBUG FLAG!!!!

// CHECK DEBUG FLAG!!!!
// CHECK DEBUG FLAG!!!!
// CHECK DEBUG FLAG!!!!

// CHECK DEBUG FLAG!!!!
// CHECK DEBUG FLAG!!!!
// CHECK DEBUG FLAG!!!!