#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<ll,ll> P;
#define REP(i,n) for(ll i=0;i<ll(n);i++)








int main(void){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
	ll i,j,k;




	cout << 99990 << ' ' << 99991 << endl;
	cout.flush();


	ll K;
	cin >> K;


	cout << 1 << endl;
	cout.flush();


	ll ret;
	cin >> ret;









	return 0;

}