:-initialization(main).

main :-
	 A=A*[],B=A*a*[], A\==B,
	write(ok), nl.