(cat list_even_inter_tree3plus2.p;\
 echo "input_clause(what_q_rec_cons_sssX_Y, conjecture,\
         [++r(X,Y), --q(cons(s(s(s(X))),Y))])") \
  | h1 -no-trim -
mv h1out.model.pl rinter.model.pl

