#include<bits/stdc++.h>
using namespace std;
int main(){
    cout<<"2 0 0 9";
    return 0;
}