set(auto).
clear(print_given).

include("dDef.txt").

include("xviii_ghost.txt"). % passaggio intermedio gia` svolto

include("xviii.txt").