#include<stdio.h>
int main()
{	int x;
	scanf("%d",&x);
	printf("%d %d %d\n%d   %d\n%d %d %d",x-1,x-1,x-1,x,x,x+1,x+1,x+1);
}