set(auto). clear(print_given). assign(max_seconds,30). assign(max_distinct_vars, 3). assign(max_literals, 1). assign(max_mem, 30000). assign(max_weight, 20). include("booleanAx.txt"). include("peirceanAx0.txt"). include("iDef.txt"). include("nDef.txt"). include("uzDef.txt"). include("ix_b.txt"). include("cycleLawC.txt"). include("xvii_a.txt").