(cat list_even_inter_tree3plus2.p;\
 echo "input_clause(q_rec_cons_sX_X, conjecture,\
         [--q(cons(s(X),X))])") \
  | h1 -
