(cat list_even_inter_tree3plus2.p;\
 echo "input_clause(q_is_not_empty, conjecture, [--q(X)]).")\
  | h1 -log-out - >list_even_inter_tree3plus2.log
