set(auto). clear(print_given). assign(max_literals, 1). assign(max_mem, 13000). assign(max_weight, 16). include("booleanAx.txt"). include("peirceanAx0.txt"). include("peirceanAx2.txt"). include("nDef.txt"). include("30booleanLaws.txt").