#include <bits/stdc++.h>
using namespace std;

int main() {
  int A=19000,B=101;
  cout<<A<<' '<<B<<endl;
  int K;
  cin>>K;
  cout<<"1"<<endl;
}