#include <iostream> using namespace std; int main() { int a,b,c; cin>>a; ;b; ;c; cout<<"123456789 0 -1"; }