CHAR(U(N+3)+6*U(N+2)+12*U(N+1)+8*U(N),0,U,N,3,[U(0)=1,U(1)=-2,U(2)=8]);
CHAR(U(N+1)-U(N),(1/6)*N*(N-1)*(N-2)+N-1,U,N,1,[U(0)=1]);
CHAR(U(N+2)-2*U(N+1)+U(N),N**2,U,N,2,[U(0)=0,U(1)=1]);
GENF(U(N+2)-U(N),2**N,U,N,2,[U(0)=1,U(1)=0]);
CHAR(U(N+2)-4*U(N),3+2*N,U,N,2,[U(0)=1,U(1)=0]);
VARC1(U(N+1)-(N+1)*U(N),1,U,N,1,[U(0)=1]);
VARC2(U(N+1)-(N+1)*U(N),1,U,N,1,[U(0)=1]);