set(auto).

clear(print_given).

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

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

include("ii.txt").

include("v.txt").

include("9_10booleanLaws.txt").

include("12booleanLaws.txt").

include("13booleanLaws.txt").

include("xxxi_ghost.txt").

include("xxxi.txt").