set(auto).
clear(print_given).

assign(max_distinct_vars, 3).
assign(max_literals, 2).
assign(max_mem,20000).
assign(max_weight, 25).

include("4To8booleanLaws.txt").
include("9_10booleanLaws.txt").
include("13booleanLaws.txt").
include("20To24booleanLaws.txt").
include("ix_b.txt").

include("xxviii_a_ghost.txt").

include("xxviii_a.txt").