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

quit;