A standard validity check is to see that the resulting generating function simplifies to the correct univariate generating function. The first few coefficients at inert2dx = 1, y = 1 agree with the above generating function. The univariate generating function in inert2dt t is a generating function in terms of the length of the sequence.
Annotation Form Interface

          Your name: 
     E-Mail address: 
 Annotation Subject: 
        Related URL: