#include<bits/stdc++.h>
main(){std::cout << "3 3 0\n";}