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

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