set(auto).
clear(print_given).

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

include("booleanAx.txt").
include("peirceanAx0.txt").
include("nDef.txt").
include("dDef.txt").
include("uzDef.txt").

include("15_16booleanLaws.txt").

include("xvi_b_ghost.txt").

include("xvi_b.txt").