import std.file;
//import std.stream;
import std.c.stdio;

int	main	(char[][] args)
{	return 9;
}