#include <functional>
#include <algorithm>
#include <iostream>
#include <utility>
#include <sstream>
#include <iomanip>
#include <numeric>
#include <cstdlib>
#include <cstring>
#include <climits>
#include <cstring>
#include <vector>
#include <cstdio>
#include <string>
#include <stack>
#include <deque>
#include <queue>
#include <cmath>
#include <map>
#include <set>
#define lwb lower_bound
#define upb upper_bound
#define X first
#define Y second
#define coud(a,b) cout<<fixed << setprecision((b)) << (a)
#define L(x) ((x)<<1)
#define R(x) (((x)<<1)+1)
//#define int long long
#define double long double
#define joon ios :: sync_with_stdio(false)
//#define cin fin
//#define cout fout
using namespace std;
typedef pair<int, int> pii;
typedef long long ll;
const double pi = acos(-1);
const double eps = 1e-7;
int fib[100];
map< int , int > chandomfib;// fibonacci index
int main()
{
fib[1]=1;
chandomfib[1]=1;
chandomfib[2]=2;
fib[2]=2;
for(int i=3;i<=20;i++)
{
fib[i]=fib[i-1]+fib[i-2];
chandomfib[ fib[i] ]=i;
}
int n;
cin>>n;
if(n<11)
{
cout<<"Not enough money"<<endl;
return 0;
}
cout<<"Let's play!"<<endl;
fflush(stdout);
int l=1;
int r=144;
int tmp=0;
while(r-l+1>2)
{
// cout<<l<<" "<<r<<endl;
int len=r-l+1;
int ind=chandomfib[len];
ind--;
cout<<fib[ind-1]<<" ";
for(int i=r-fib[ind-1]+1;i<=r;i++)
cout<<i<<" ";
cout<<endl;
fflush(stdout);
string judge;
cin>>judge;
if(fib[ind-1]==1 && judge[0]=='Y')
{
cout<<0<<" "<<r-fib[ind-1]+1<<endl;
return 0;
}
if(judge[0]=='Y')
l=r-fib[ind-1]+1;
else
r-=fib[ind-1];
}
cout<<1<<" "<<r<<endl;
fflush(stdout);
string judge;
cin>>judge;
int ans=l;
if(judge[0]=='Y')
ans=r;
cout<<0<<" "<<ans<<endl;
fflush(stdout);
return 0;
}
I2luY2x1ZGUgPGZ1bmN0aW9uYWw+CiNpbmNsdWRlIDxhbGdvcml0aG0+CiNpbmNsdWRlIDxpb3N0cmVhbT4KI2luY2x1ZGUgPHV0aWxpdHk+CiNpbmNsdWRlIDxzc3RyZWFtPgojaW5jbHVkZSA8aW9tYW5pcD4KI2luY2x1ZGUgPG51bWVyaWM+CiNpbmNsdWRlIDxjc3RkbGliPgojaW5jbHVkZSA8Y3N0cmluZz4KI2luY2x1ZGUgPGNsaW1pdHM+CiNpbmNsdWRlIDxjc3RyaW5nPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8Y3N0ZGlvPgojaW5jbHVkZSA8c3RyaW5nPgojaW5jbHVkZSA8c3RhY2s+CiNpbmNsdWRlIDxkZXF1ZT4KI2luY2x1ZGUgPHF1ZXVlPgojaW5jbHVkZSA8Y21hdGg+CiNpbmNsdWRlIDxtYXA+CiNpbmNsdWRlIDxzZXQ+CiNkZWZpbmUgbHdiIGxvd2VyX2JvdW5kCiNkZWZpbmUgdXBiIHVwcGVyX2JvdW5kCiNkZWZpbmUgWCBmaXJzdAojZGVmaW5lIFkgc2Vjb25kCiNkZWZpbmUgY291ZChhLGIpIGNvdXQ8PGZpeGVkIDw8IHNldHByZWNpc2lvbigoYikpIDw8IChhKQojZGVmaW5lIEwoeCkgKCh4KTw8MSkKI2RlZmluZSBSKHgpICgoKHgpPDwxKSsxKQovLyNkZWZpbmUgaW50IGxvbmcgbG9uZwojZGVmaW5lIGRvdWJsZSBsb25nIGRvdWJsZQojZGVmaW5lIGpvb24gaW9zIDo6IHN5bmNfd2l0aF9zdGRpbyhmYWxzZSkKLy8jZGVmaW5lIGNpbiBmaW4KLy8jZGVmaW5lIGNvdXQgZm91dAoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCnR5cGVkZWYgcGFpcjxpbnQsIGludD4gcGlpOwp0eXBlZGVmIGxvbmcgbG9uZyBsbDsKY29uc3QgZG91YmxlIHBpID0gYWNvcygtMSk7CmNvbnN0IGRvdWJsZSBlcHMgPSAxZS03OwppbnQgZmliWzEwMF07Cm1hcDwgaW50ICwgaW50ID4gY2hhbmRvbWZpYjsvLyBmaWJvbmFjY2kgaW5kZXgKCmludCBtYWluKCkKewoJZmliWzFdPTE7CgljaGFuZG9tZmliWzFdPTE7CgljaGFuZG9tZmliWzJdPTI7CglmaWJbMl09MjsKCWZvcihpbnQgaT0zO2k8PTIwO2krKykKCXsKCQlmaWJbaV09ZmliW2ktMV0rZmliW2ktMl07CgkJY2hhbmRvbWZpYlsgZmliW2ldIF09aTsKCX0KCWludCBuOwoJY2luPj5uOwoJaWYobjwxMSkKCXsKCQljb3V0PDwiTm90IGVub3VnaCBtb25leSI8PGVuZGw7CgkJcmV0dXJuIDA7Cgl9Cgljb3V0PDwiTGV0J3MgcGxheSEiPDxlbmRsOwoJZmZsdXNoKHN0ZG91dCk7CglpbnQgbD0xOwoJaW50IHI9MTQ0OwoJaW50IHRtcD0wOwoJd2hpbGUoci1sKzE+MikKCXsKCS8vCWNvdXQ8PGw8PCIgIjw8cjw8ZW5kbDsKCQlpbnQgbGVuPXItbCsxOwoJCWludCBpbmQ9Y2hhbmRvbWZpYltsZW5dOwoJCWluZC0tOwoJCWNvdXQ8PGZpYltpbmQtMV08PCIgIjsKCQlmb3IoaW50IGk9ci1maWJbaW5kLTFdKzE7aTw9cjtpKyspCgkJCWNvdXQ8PGk8PCIgIjsKCQljb3V0PDxlbmRsOwoJCWZmbHVzaChzdGRvdXQpOwoJCXN0cmluZyBqdWRnZTsKCQljaW4+Pmp1ZGdlOwoJCWlmKGZpYltpbmQtMV09PTEgJiYganVkZ2VbMF09PSdZJykKCQl7CgkJCWNvdXQ8PDA8PCIgIjw8ci1maWJbaW5kLTFdKzE8PGVuZGw7CgkJCXJldHVybiAwOwoJCX0KCQlpZihqdWRnZVswXT09J1knKQoJCQlsPXItZmliW2luZC0xXSsxOwoJCWVsc2UKCQkJci09ZmliW2luZC0xXTsKCX0KCWNvdXQ8PDE8PCIgIjw8cjw8ZW5kbDsKCWZmbHVzaChzdGRvdXQpOwoJc3RyaW5nIGp1ZGdlOwoJY2luPj5qdWRnZTsKCWludCBhbnM9bDsKCWlmKGp1ZGdlWzBdPT0nWScpCgkJYW5zPXI7Cgljb3V0PDwwPDwiICI8PGFuczw8ZW5kbDsKCWZmbHVzaChzdGRvdXQpOwoJcmV0dXJuIDA7Cn0KCgo=