PASS Lemma1 recurrence W_{m+1}=S W_m+(a-1)T W_{m-1}, m<=7
PASS Lemma1 mutant (a instead of a-1) detected
PASS Lemma1 closed form and 0<=W_m<=(m+1)Lambda^m at samples, a>=0
PASS Lemma3 (and Lemma2 symmetry N_m(P)=N_m(-P)) for m<=7, a in {0,1/2,1,3}
PASS Lemma4 bound for n<=24, k<=5, 7 deltas, a in {0,1/2,1,3}
PASS Lemma4 mutant (e^{-4delta(k+1)}, no prefactor) violated somewhere (detected)
PASS Lemma5 padding P=N^k E^{k+1} W, F=E W^{k+1} S^k, n<=4, k<=2
PASS Lemma5 mutant P'=N^k E^k W^0 ... (P=N^k E^k) detected
PASS Lemma5 mutant F'=W^k S^k (no leading E) detected
PASS Lemma6 supermultiplicativity Q_{m+n}>=Q_m Q_n, a in {0,1,2}, m+n<=200
PASS Q_n(a) <= G(a)^n, n<=200, a in {0,1,2}
PASS delta choice: Lambda_delta<=lambda+K delta^2 and the e^{-delta eps n} bound
SUMMARY ALL PASS
