#include<bits/stdc++.h>
using namespace std;
using LL=long long;
using ULL=unsigned long long;
#define rep(i,n) for(int i=0;i<(n);i++)

int main(){
  int X; cin>>X;
  if(X<=90000){
    int N=1, M=X+1, K=X+1;
    printf("%d %d %d\n",N,M,K);
    printf("*"); rep(i,X) printf(" %d",K); printf(" %d",X); printf("\n");
    printf("1\n");
  }
  else{
    int N=X/N+1, M=90000, K=X+1;
    printf("%d %d %d\n",N,M,K);
    printf("*"); rep(i,X%M) printf(" %d",K); rep(i,M-X%M-1) printf(" 1"); printf(" %d\n",X-(M-X%M-1));
    rep(i,N-1) printf("%d\n",K); printf("1\n");
  }
  return 0;
}