#define R(n,v) for(i=n;i--;)printf("%d%c",v,c);
main(k,w,c,x,i){k=1e9;w=1e5;c=32;scanf("%d",&x);printf("%d %d %d\n* ",x/w+1,w,k);R(x%w,k)R(w-1-x%w,1)c=10;R(1,(x-w+1+x%w+k)%k)R(x/w,k)R(1,1)}