set(auto). clear(print_given). assign(max_seconds,7). include("4To8booleanLaws.txt"). include("9_10booleanLaws.txt"). include("monotLaws.txt"). include("cycleLawsB.txt"). include("cycleLawC.txt"). include("xv_a_ghost.txt").