set(auto).
clear(print_given).

include("uzDef.txt").
include("dDef.txt").

include("15_16booleanLaws.txt").

include("xix_a_ghost.txt").
include("xix_b_ghost.txt").

include("xix.txt").