print "25_000_000", " ", -4, "\n";