set(auto).
clear(print_given).

assign(max_literals, 1).

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

include("xv_a.txt").

include("xv_b.txt").