#include <stdio.h> int main(){ int arr[20][2]; while(1){ if(scanf("%d%d",&arr[0][0],&arr[0][1])==EOF) return 0; if(arr[0][1]==arr[0][0]&&arr[0][0]==0) return 0; int i=1; for(;;i++){ scanf("%d%d",&arr[i][0],&arr[i][1]); if(arr[i][1]==arr[i][0]&&arr[i][0]==0) break; } int max0=arr[0][0],min0=arr[0][0],max1=arr[0][1],min1=arr[0][1]; for(int j=1;j<i;j++){ if(arr[j][0]>max0)max0=arr[j][0]; if(arr[j][0]<min0)min0=arr[j][0]; if(arr[j][1]>max1)max1=arr[j][1]; if(arr[j][1]<min1)min1=arr[j][1]; } printf("%d %d %d %d\n",min0,min1,max0,max1); } return 0; }