set(auto).
clear(print_given).

assign(max_distinct_vars, 3).
assign(max_literals, 1).
assign(max_mem, 30000).
assign(max_weight, 18).

include("iv.txt").
include("9_10booleanLaws.txt").
include("13booleanLaws.txt").
include("28booleanLaws.txt").
include("viii.txt").
include("x_a.txt").
include("xv_a.txt"). % Dedekind's law

include("xxvii_a_ghost.txt").

include("xxvii_a.txt").