:- initialization(main).

main :-
	number_chars(N,"1(").