set(auto).
clear(print_given).

assign(max_literals,1).


include("i.txt").

include("xxi_a_ghost.txt").
include("xxi_b_ghost.txt").

include("xxi.txt").