#include <stdio.h>

int main() {
    int a, b, m[20], n[20], i = 0;
    while (scanf("%d%d", &a, &b) != EOF) {

        if (a != 0 || b != 0) {
            m[i] = a;
            n[i] = b;
            i++;
        } else {
            if(i==0)
            {
                break;
            }
            
            int min1 = m[0], min2 = n[0], max1 = m[0], max2 = n[0];
            for (int j = 0; j < i; j++) {
                if (min1 > m[j]) {
                    min1 = m[j];
                }
                if (min2 > n[j]) {
                    min2 = n[j];
                }
                if (max1 <m[j]) {
                    max1 = m[j];
                }
                if (max2 < n[j]) {
                    max2 = n[j];
                }
            }
            printf("%d %d %d %d\n",min1,min2,max1,max2);
            i=0;


        }



    }

    return 0;
}