set(auto). clear(print_given). assign(max_distinct_vars, 3). assign(max_literals, 1). assign(max_mem, 20000). assign(max_weight, 15). include("booleanAx.txt"). include("peirceanAx0.txt"). include("nDef.txt"). include("uzDef.txt"). include("ii.txt"). include("v.txt"). include("cycleLawC.txt"). include("xxxi_ghost.txt").