#include #include using namespace std; using namespace atcoder; #define ll long long #define rep(i,n) for (int i = 0; i < (n); i++) #define coutf(f) cout << fixed << setprecision(f) #define all(v) (v).begin(), (v).end() #define rall(v) (v).rbegin(), (v).rend() int main() { for (ll b = 1e9; b >= 0; b--) { ll a = 2 * b - 2 * sqrt(3 * b * b + 1); if (3 * b * b + 1 == sqrt(3 * b * b + 1) * sqrt(3 * b * b + 1)) { if (1e-9 < a && a < 1e9) { cout << 0 << " " << 0 << endl; cout << a << " " << b << endl; cout << b << " " << a << endl; return 0; } } } return 0; }