set(auto).

clear(print_given).



assign(max_distinct_vars, 3).

assign(max_literals, 1).

assign(max_mem, 40000).

assign(max_weight, 24).





%Kernel:

	include("1To4booleanLaws.txt").

	include("13booleanLaws.txt").

	include("20To24booleanLaws.txt").

	include("26_27booleanLaws.txt").

	include("29booleanLaws.txt").



%Layer 1:

	include("30booleanLaws.txt").



%Layer 1.5:



%Layer 2:



%Layer 2.5:



%Layer 3:



%Layer 3.5:



include("subIdLaws_a.txt").

include("subIdLaws_b.txt").





include("xxiii_a.txt").