set(auto). clear(print_given). assign(max_distinct_vars, 4). assign(max_literals, 1). assign(max_mem, 40000). assign(max_weight, 24). %Kernel: include("1To4booleanLaws.txt"). include("9_10booleanLaws.txt"). include("13booleanLaws.txt"). include("20To24booleanLaws.txt"). include("26_27booleanLaws.txt"). include("29booleanLaws.txt"). %Layer 1: include("iv.txt").% include("xxii.txt"). include("vii.txt"). include("30booleanLaws.txt"). %Layer 1.5: %Layer 2: %Layer 2.5: %Layer 3: include("subId_ghost.txt"). include("subIdLaws_a.txt"). include("subIdLaws_b.txt").