set(auto).
clear(print_given).

assign(max_distinct_vars,3).
assign(max_literals,1).

formula_list(usable).
	all x ( x = x ).
end_of_list.

include("i.txt").

include("x_a.txt").

include("x_b.txt").