set(auto).

clear(print_given).

%assign(max_seconds, 63).
assign(max_distinct_vars, 3).
assign(max_literals, 1).
assign(max_mem, 64000).
assign(max_weight, 19).

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

% assiomi booleani e peirceani
include("booleanAx.txt").
%include("peirceanAx0.txt").
%include("peirceanAx1.txt").
%include("peirceanAx2.txt").
include("iDef.txt").
include("nDef.txt").
%include("uzDef.txt").
%include("dDef.txt").

%include("booleanLaws.txt").
include("monotLaws.txt").
include("i.txt").
include("xxix_ghost.txt").

include("xxix_b_ghost.txt").