#include <stdio.h>
#define MAX 1e18
typedef long long ll;
int main() {
	long long x, y,minx=MAX,miny=MAX,maxx=0,maxy=0;
	while (scanf("%lld %lld", &x, &y) == 2) {
		if(x==0&&y==0) {
			if(minx==MAX) {
				break;
			}
			/*
			输入0 0之后不会立即结束,如果后续还有用例,那么minx必定小于MAX
			如果没有用例,则minx会被赋值为MAX,进入break条件 
			*/
			printf("%lld %lld %lld %lld\n",minx,miny,maxx,maxy);
			minx=MAX;
			miny=MAX;
			maxx=0;
			maxy=0;
		} else {
			if(x<minx) minx=x;
			if(y<miny) miny=y;
			if(x>maxx) maxx=x;
			if(y>maxy) maxy=y;
		}

	}
	return 0;
}