set(auto).
clear(print_given).


assign(max_distinct_vars, 3).
assign(max_literals, 1).
assign(max_mem, 30000).
assign(max_weight, 25).

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

include("booleanAx.txt").
include("peirceanAx0.txt").
include("peirceanAx2.txt").
include("nDef.txt").

include("v.txt").

include("xxvii_a.txt").

include("20To24booleanLaws.txt").

include("11booleanLaws.txt").

include("xxx_a.txt").