int main(void) { 
long long n = 1;
printf("%d %d %d %d\n",n,n,n,n);
return 0;
}