i;main(t){for(;++i<503;i>2&&printf("1 1 1 %d\n",t))scanf("%d",&t);}