read `RecSum.txt`;
rec :=simplify(RecSum(5,5,10,2,RecMotzkin(n,N),binomial(n,k),n,k,N)/N^n):
lprint(0 = (add(coeff(rec,N,i)*N^i,i=0..degree(rec,N)))*x_n);

quit;