#include<cstdio>
int n,m,a;
int main(){
	scanf("%d",&a);
	printf("2 3\n262143 %d 1\n131071 262143 131071\n",262143-a);
	return 0;
}