read Words123New:
read SCHUTZENBERGER:

algtorec(ExplicitEq1(1,x,F),F,x,n,N);
algtorec(ExplicitEq1(2,x,F),F,x,n,N);

quit: