#include<stdio.h>
int main()
{
    int a;
    scanf("%d",&a);
    for(i=1;i<=6;i++)
    printf("%d %d\n",i,a);
    return 0;
}