:-initialization(main).

main :-
	X = (-𝒶𝒶 + 𝒶𝒶),
	writeq(X), nl.