特判就行了,用1,2来特判
#include <bits\stdc++.h>
using namespace std;
#define pb() push_back()
#define mp make_pair
const int maxn=10;
int main(){
//freopen("test.in","r",stdin);
int n;
cin>>n;
if(n==1)
{
printf("1 1\n");
printf("1\n");
return 0;
}
printf("%d %d\n",n*2-2,2);
printf("1 2\n");
return 0;
}