#include<bits/stdc++.h>
#include"testlib.h"
using namespace std;
using ll = long long;

const ll xymin = -1'000'000, xymax = 1'000'000;

int main(){
    registerValidation();
    string p = inf.readString();
    if ((int)(p.size()) == 4){
        ensuref(isdigit(p[0]),"invalid p[0]");
        ensuref(p[1] == '.',"invalid p[1]");
        ensuref(isdigit(p[2]),"invalid p[2]");
        ensuref(isdigit(p[3]),"invalid p[3]");
    }
    else {
        ensuref(p == "10.00","invalid p");
    }
    for (int i = 0; i < 3; i++){
        inf.readLong(xymin,xymax);
        inf.readSpace();
        inf.readLong(xymin,xymax);
        inf.readEoln();
    }
    inf.readEof();
}