set(auto).
clear(print_given).

assign(max_distinct_vars, 3).
assign(max_literals, 1).
assign(max_mem, 64000).
assign(max_weight, 15).

include("booleanAx.txt").
include("peirceanAx0.txt").
include("peirceanAx1.txt").
include("nDef.txt").
include("uzDef.txt").

include("ix_a.txt"). % right identity for composition
include("cycleLawA.txt").

include("xxiv_a.txt").