set(auto). clear(print_given). assign(max_seconds,60). assign(max_distinct_vars,2). assign(max_literals,2). assign(max_weight, 19). include("booleanAx.txt"). include("peirceanAx0.txt"). include("iDef.txt"). include("cycleLaw.txt"). include("xii.txt").