--mix: the first 24 members of the enumeration are the fixed prefix (degrees [0, 0, 0, 1, 1, 1, 2, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 1, 0, 2, 3, 4, 1, 2])
J = 60 zones/blocks.
g_j (first 12): ['(1/7+0i)z^0', '(0-1/5i)z^0', '(1/3+1/3i)z^0', '(1/7+0i)z^0+(1+0i)z^1', '(1/9+1/9i)z^0+(-1/4+0i)z^1', '(2+0i)z^0+(1/11+0i)z^1', '(1/7+0i)z^0+(1/7+0i)z^1+(1/7+0i)z^2', '(1+0i)z^0+(-1/6+1/6i)z^1+(1/13+0i)z^2', '(1/5+0i)z^0+(3+0i)z^1+(-1/10+1/10i)z^2', '(1/7+0i)z^0+(-1/7+0i)z^1+(1/7+0i)z^2+(-1/7+0i)z^3', '(1/9+2/9i)z^0+(1+0i)z^1+(1+0i)z^2+(1/15+0i)z^3', '(1/7+0i)z^0+(1/7+0i)z^1+(1/7+0i)z^2+(1/7+0i)z^3+(1/7+0i)z^4']
deg_j (first 30): [0, 0, 0, 1, 1, 1, 2, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 1, 0, 2, 3, 4, 1, 2, 0, 0, 0, 0, 0, 0]
n_j (A) first 30: [14, 17, 23, 33, 46, 63, 83, 106, 134, 164, 198, 236, 278, 324, 373, 427, 484, 540, 599, 662, 729, 800, 873, 949, 1028, 1110, 1196, 1285, 1377, 1473]
n_j (B) first 30: [8, 16, 30, 50, 77, 138, 178, 225, 280, 341, 409, 485, 568, 3374, 3472, 11536, 12257, 12375, 12501, 12634, 12774, 12923, 13078, 13241, 13411, 13589, 13774, 13967, 14167, 14375]
n_J(A) = 5918,  n_J(B) = 24207,  array lengths 5920, 24209
[Thm A step 4] n a_{n-1} in {0} u {|w|>=2} for all 0 <= n <= 5920: PASS
             (non-zero a_{n-1}: 146 values, all with |n a_{n-1}| >= 2)
[Rem A']  p = (1+0i) z^2: values in {0} u {|w| >= 2|c|}: PASS
[Rem A']  p = (1/2+0i) z^1: values in {0} u {|w| >= 2|c|}: PASS
[Rem A']  p = (0+3i) z^3: values in {0} u {|w| >= 2|c|}: PASS
[Rem A']  p = (1/7-1/7i) z^5: values in {0} u {|w| >= 2|c|}: PASS
[Thm B]   p = (1+0i)z^0 + (1+0i)z^1: d = 1, j_0' = 8, n_* = 217, n range [0, 24210]; violations for n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 9)
[Thm B]   p = (1+0i)z^1: d = 1, j_0' = 6, n_* = 132, n range [0, 24210]; violations for n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 9)
[Thm B]   p = (1/5+0i)z^0 + (1+0i)z^1: d = 1, j_0' = 32, n_* = 14781, n range [0, 24210]; violations for n >= n_*: 0 -> PASS; violations below n_*: 2 (last at n = 9)
[Thm B]   p = (1+0i)z^0 + (-1+0i)z^1 + (1+0i)z^2: d = 2, j_0' = 10, n_* = 331, n range [0, 24211]; violations for n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = -1)
[Thm B]   p = (2+0i)z^0 + (1+0i)z^3: d = 3, j_0' = 10, n_* = 331, n range [0, 24212]; violations for n >= n_*: 0 -> PASS; violations below n_*: 2 (last at n = 16)
[Thm B]   p = (0+1i)z^0 + (1+1i)z^2 + (-1+0i)z^4: d = 4, j_0' = 12, n_* = 473, n range [0, 24213]; violations for n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 8)
[Thm B]   p = (1/3+0i)z^0 + (2+0i)z^1: d = 1, j_0' = 26, n_* = 13563, n range [0, 24210]; violations for n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 7)
[Thm B]   p = (1+0i)z^0 + (0+1/2i)z^1 + (1/4+0i)z^5: d = 5, j_0' = 30, n_* = 14345, n range [0, 24214]; violations for n >= n_*: 0 -> PASS; violations below n_*: 2 (last at n = 17)
[Rem B2]  f_A with p = 1 + z: 59 values n with |s_n - 1| < 1 up to n = 5921; 59 of them at block starts n = n_j (e.g. [14, 17, 23, 33, 46, 83])
[tails]   sum_{i>j} T_i <= 2^-j for 1 <= j < J: PASS (A: max ratio 7.560e-01, B: max ratio 7.643e-01)
[float A] j = 1: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.033332  (exact bound 2^-j = 5.000e-01)
[float A] j = 2: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.041903  (exact bound 2^-j = 2.500e-01)
[float A] j = 3: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.0067625  (exact bound 2^-j = 1.250e-01)
[float A] j = 5: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.0043441  (exact bound 2^-j = 3.125e-02)
[float A] j = 8: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 6.4266e-5  (exact bound 2^-j = 3.906e-03)
[float A] j = 12: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 1.8771e-6  (exact bound 2^-j = 2.441e-04)
[float B] j = 1: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.023016  (exact bound 2^-j = 5.000e-01)
[float B] j = 2: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.011398  (exact bound 2^-j = 2.500e-01)
[float B] j = 3: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.008617  (exact bound 2^-j = 1.250e-01)
[float B] j = 5: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 1.3153e-28  (exact bound 2^-j = 3.125e-02)
[float B] j = 8: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 3.8042e-5  (exact bound 2^-j = 3.906e-03)
[float B] j = 12: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 3.4915e-6  (exact bound 2^-j = 2.441e-04)
ALL EXACT CHECKS PASSED
