set(auto).

clear(print_given).

assign(max_seconds, 1).

%assign(max_literals, 1). % useful if full booleanAx is called into play

include("1_2booleanAx.txt").
include("peirceanAx0.txt").
include("peirceanAx1.txt").
include("peirceanAx2.txt").
include("iDef.txt").

include("xxv.txt").