#include <stdio.h>

long long fact[] = { 1LL, 2LL, 6LL, 24LL, 120LL, 720LL, 5040LL, 40320LL, 362880LL, 3628800LL, 39916800LL, 479001600LL, 6227020800LL, 87178291200LL, 1307674368000LL, 20922789888000LL, 355687428096000LL, 6402373705728000LL, 121645100408832000LL, 2432902008176640000LL };

#define VMAX 64
long long visited[VMAX];

#define MAX (1LL<<33)
char *grundy = 0;

int main() {
	for (int n=0; n<VMAX; n++) {
		visited[n] = -1;
	}

	grundy = new char[MAX];
	if (grundy==0) {
		fprintf(stderr, "# out of memory!\n");
		return 1;
	}

	int w=0;

	for (long long n=0; n<MAX; n++) {
		for (int f=0;; f++) {
			long long m=n-fact[f];
			if (m<0) {
				break;
			} else {
				visited[grundy[m]]=n;
			}
		}
		
		for (int v=0;; v++) {
			if (visited[v]!=n) {
				grundy[n] = v;
				if (w==v) {
					printf("%d %lld\n", w, n);
					fflush(stdout);
					w++;
				}
				break;
			}
		}
	}

	delete[] grundy;

	return 0;
}