import std; void main () { writeln(0, " ", 1, " ", 1); }