OUT=list_even_inter_tree3plus2
cat listeven.p tree3plus2.p >$OUT.p
echo "input_clause ($OUT, axiom, \
	[++q(X), --list_even(X),\
	--tree_3n_plus_2(X)])" >>$OUT.p
