partial fractions (2), i = 1: PASS
partial fractions (2), i = 2: PASS
partial fractions (2), i = 3: PASS
partial fractions (2), i = 4: PASS
partial fractions (2), i = 5: PASS
partial fractions (2), i = 6: PASS
B: Lemma 2.7 with Lambda=6, K=J=220: width 2.493e-65 < stated bound 3e-65: PASS
C10: Lemma 2.7 with Lambda=10, K=J=150: width 2.687e-55 < stated bound 3e-55: PASS
A: Lemma 2.7 with Lambda=6, K=J=160: width 3.998e-58 < stated bound 1e-57: PASS
