set(auto).
clear(print_given).

include("25booleanLaws.txt").

include("cycleLawsB.txt").

include("cycleLawC.txt").