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