#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using namespace std;
using ll=long long;
using ld=long double;
ld pie=3.141592653589793;
ll mod=998244353;
ll inf=1009999999999999990;
int main(){
    cout << "0 0" << endl;
    cout << "0 817711552" << endl;
    cout << "708158977 408855776" << endl;
}