:-initialization(main).

main :-
	A=B*A,B=B*A*B,A=B.