set(auto).
clear(print_given).

include("i.txt").

include("xxvii_a.txt").

include("xxvii_b_ghost.txt").