A: Q_n(1)=C_n C_{n+1}, Q_n(-1)=sum binom C C, L_n(1)=binom^2, L_n(-1) formula: n<=12 OK
A: Q_n polys n=1..6: [[2], [8, 2], [44, 24, 2], [288, 246, 52, 2], [2100, 2464, 882, 96, 2], [16480, 24756, 12724, 2502, 164, 2]]
A: L_n polys n=1..4: [[4], [26, 8, 2], [208, 144, 48], [1846, 2016, 936, 96, 6]]
B1: Lemma 1 recurrence and closed form, m<=7, 4 random (a,x,y): OK
B2,B3,B5,B6: reversal, NS insertion (+inequality), padding (k<=2,n<=3), concatenation: OK
  C: a=0 k=2 n=9  B^x=2.652e+07  best bound=9.939e+11
  C: a=1/2 k=2 n=9  B^x=1.084e+08  best bound=4.701e+12
  C: a=1 k=2 n=9  B^x=3.446e+08  best bound=1.591e+13
  C: a=3 k=2 n=9  B^x=9.047e+09  best bound=1.337e+15
C: Lemma 4 bound holds for a in {0,1/2,1,3}, k<=2, n<=9, eight deltas: OK
  D: a=0 lam=3.41421 K(from f')=1.8392 K(empirical sup)=0.9676 delta=0.0928
  D: a=0.5 lam=3.73205 K(from f')=1.9207 K(empirical sup)=1.0301 delta=0.0972
  D: a=1 lam=4.00000 K(from f')=2.0000 K(empirical sup)=1.0862 delta=0.1000
  D: a=2 lam=4.44949 K(from f')=2.2247 K(empirical sup)=1.1845 delta=0.1000
  D: a=5 lam=5.46410 K(from f')=2.7321 K(empirical sup)=1.4162 delta=0.1000
  D: a=50 lam=12.09950 K(from f')=6.0498 K(empirical sup)=3.0249 delta=0.1000
D: K bound, final exponent inequality, Q_n <= G^n (n<=12): OK
ALL OK
