Check1: rational identity Phi = q^2 E Omega/((E-1)^4 x (X-1)) and Omega=U-form; failures: 0 of 400
Check2: negative Taylor coefficients of Omega for m<=120, n<=60: 0
        zero coefficients with n<=3: [(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (0, 1), (1, 1), (2, 1), (3, 1), (0, 2), (1, 2), (2, 2), (0, 3), (1, 3)]
        [q^5 x^0] Omega = 1/6  [q^4 x^1] = 5/12  [q^3 x^2] = 1/3
Check3: closed forms of m![q^m] of A1(=U1),A0(=U2),B1(=U3),B0(=U4) match for m<=120: True
2 n0: 0  n1: 0  n>=2 min: 0  check: 0 0
3 n0: 0  n1: 0  n>=2 min: 4  check: 4 0
4 n0: 0  n1: 10  n>=2 min: 26  check: 26 10
5 n0: 20  n1: 60  n>=2 min: 108  check: 108 60
6 n0: 120  n1: 238  n>=2 min: 366  check: 366 238
7 n0: 476  n1: 784  n>=2 min: 1104  check: 1104 784
8 n0: 1568  n1: 2322  n>=2 min: 3090  check: 3090 2322
9 n0: 4644  n1: 6420  n>=2 min: 8212  check: 8212 6420
10 n0: 12840  n1: 16918  n>=2 min: 21014  check: 21014 16918
11 n0: 33836  n1: 43032  n>=2 min: 52248  check: 52248 43032
