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