set(auto).
clear(print_given).

include("nDef.txt").
include("uzDef.txt").

include("20To24booleanLaws.txt").
include("xxiv_a.txt").

include("xxiv.txt").