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

int main()
{
	int k;
	scanf("%d",&k);
	printf("3 2\n%d %d\n%d %d\n%d %d\n",(1<<18)-1,k,(1<<17),(1<<18)-1,0,k);
}