set(auto).
clear(print_given).

assign(max_seconds,5).

include("4To8booleanLaws.txt").
include("9_10booleanLaws.txt").
include("1To3monotLaws.txt").
include("cycleLawsB.txt").
include("cycleLawC.txt").

include("v.txt").
include("ix_b.txt").
include("xv_a_ghost.txt").

include("xv_a.txt").