I1a  S^2*[t^2]g == S^2*A: PASS
I1b  S*(S^2 B) == 2*A*D*S^2  (B = 2AD/S): PASS
I1c  4(S^2A)(S^2C) - (S^2B)^2 == 16 A W1 W2 W3 S^2: PASS
I1d  S^4 - beta^2 == 4 W1 W3 S^2 + 4 D^2 W2 A   (so |b*| < 1 when A > 0): PASS
I2   trial 0: |K|=5, limit identity True, blow-up identity True: PASS
I2   trial 1: |K|=3, limit identity True, blow-up identity True: PASS
I2   trial 2: |K|=5, limit identity True, blow-up identity True: PASS
I2   trial 3: |K|=5, limit identity True, blow-up identity True: PASS
I2   trial 4: |K|=5, limit identity True, blow-up identity True: PASS
I2   trial 5: |K|=5, limit identity True, blow-up identity True: PASS
I3   trial 0: m=7, sign-flip identity: PASS
I3   trial 1: m=3, sign-flip identity: PASS
I3   trial 2: m=7, sign-flip identity: PASS
I3   trial 3: m=7, sign-flip identity: PASS
I3   trial 4: m=3, sign-flip identity: PASS
I4   trial 0: exact small-angle factorisation True, limit N_0 True: PASS
I4   trial 1: exact small-angle factorisation True, limit N_0 True: PASS
I4   trial 2: exact small-angle factorisation True, limit N_0 True: PASS
I5   random 5-pole lists tested 3526, good 111, violating the alternating sign pattern 0
I5   necessary sign pattern holds on all good random lists: PASS
ALL IDENTITIES PASS
