#include "currency.h"


#include <bits/stdc++.h>
using namespace std;
#define sz(x) (int) (x).size()
#define all(x) (x).begin(), (x).end()
#define show(x) cerr << #x << " is " << x << endl;
#define show2(x,y) cerr << #x << " is " << x << " " << #y << " is " << y << endl;
#define show3(x,y,z) cerr << #x << " is " << x << " " << #y << " is " << y << " " << #z << " is " << z << endl;
#define showlist(x) cerr << #x << " is "; for(auto p : x) cerr << p << " "; cerr << endl;
typedef long long lint;
typedef pair<int,int> ii;

void solve(int type){
	if(type == 4){
		vector<int> can(1001);
		can[0] = 1;
		
		vector<int> v;
		for(int i = 1;i <= 1000;i++){
			if(can[i]) continue;
			
			if(query(i)){
				for(int j = i;j <= 1000;j++) if(can[j-i]) can[j] = 1;
				v.push_back(i);
			}
		}
		
		int n = v.size();
		int ans[n] = {};
		for(int i = 0;i < n;i++) ans[i] = v[i];
		
		answer(n, ans);
	}
}