set(auto).
clear(print_given).

assign(max_seconds, 3).

include("booleanAx.txt").

include("nDef.txt").

include("uzDef.txt").

include("xxxii.txt").