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

int main(void) {
    puts("0 0");
    puts("1000000000 0");
    int x = (0 + 1e9) / 2;
    int y = sqrt(3) / 2 * 1e9;
    cout << x << " " << y << endl;
    return 0;
}