:- initialization(main).

main :-
	number_chars(N, "0'").