set(auto). clear(print_given). assign(max_seconds,60). assign(max_distinct_vars,3). assign(max_literals,1). assign(max_mem,32000). assign(max_weight,25). include("iDef.txt"). include("robbinsAx.txt"). % Note: Robbins' instead of Boolean here include("peirceanAx0.txt"). include("peirceanAx1.txt"). include("peirceanAx2.txt"). include("uzDef.txt"). include("xxii.txt").