J = 60 zones/blocks.
g_j (first 12): ['(-1-1i)z^0', '(-1+0i)z^0', '(-1+1i)z^0', '(0-1i)z^0', '(0+1i)z^0', '(1-1i)z^0', '(1+0i)z^0', '(1+1i)z^0', '(-1-1i)z^0+(-1-1i)z^1', '(-1-1i)z^0+(-1+0i)z^1', '(-1-1i)z^0+(-1+1i)z^1', '(-1-1i)z^0+(0-1i)z^1']
deg_j (first 30): [0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
n_j (A) first 30: [2, 5, 12, 21, 34, 50, 69, 92, 119, 149, 182, 219, 259, 302, 349, 399, 452, 508, 568, 631, 697, 767, 840, 917, 997, 1080, 1167, 1257, 1350, 1447]
n_j (B) first 30: [3, 11, 25, 45, 72, 106, 146, 193, 247, 308, 376, 451, 534, 624, 721, 825, 936, 1054, 1180, 1313, 1453, 1601, 1756, 1919, 2089, 2267, 2452, 2645, 2846, 3054]
n_J(A) = 5889,  n_J(B) = 12885,  array lengths 5891, 12887
[Thm A step 4] n a_{n-1} in {0} u {|w|>=2} for all 0 <= n <= 5891: PASS
             (non-zero a_{n-1}: 112 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_* = 185, n range [0, 12888]; violations for n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = -1)
[Thm B]   p = (1+0i)z^1: d = 1, j_0' = 6, n_* = 100, n range [0, 12888]; violations for n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = -1)
[Thm B]   p = (1/5+0i)z^0 + (1+0i)z^1: d = 1, j_0' = 32, n_* = 3461, n range [0, 12888]; violations for n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 2)
[Thm B]   p = (1+0i)z^0 + (-1+0i)z^1 + (1+0i)z^2: d = 2, j_0' = 10, n_* = 298, n range [0, 12889]; 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_* = 298, n range [0, 12890]; violations for n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = -1)
[Thm B]   p = (0+1i)z^0 + (1+1i)z^2 + (-1+0i)z^4: d = 4, j_0' = 12, n_* = 439, n range [0, 12891]; violations for n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 3)
[Thm B]   p = (1/3+0i)z^0 + (2+0i)z^1: d = 1, j_0' = 26, n_* = 2241, n range [0, 12888]; violations for n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 2)
[Thm B]   p = (1+0i)z^0 + (0+1/2i)z^1 + (1/4+0i)z^5: d = 5, j_0' = 30, n_* = 3024, n range [0, 12892]; violations for n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = -1)
[Rem B2]  f_A with p = 1 + z: 60 values n with |s_n - 1| < 1 up to n = 5892; 60 of them at block starts n = n_j (e.g. [2, 5, 12, 21, 34, 50])
[tails]   sum_{i>j} T_i <= 2^-j for 1 <= j < J: PASS (A: max ratio 7.665e-01, B: max ratio 8.215e-01)
[float A] j = 1: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.16667  (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.035917  (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.054241  (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.010314  (exact bound 2^-j = 3.125e-02)
[float A] j = 8: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.00040374  (exact bound 2^-j = 3.906e-03)
[float A] j = 12: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 3.0598e-5  (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.022991  (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.022796  (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: 0.00074032  (exact bound 2^-j = 3.125e-02)
[float B] j = 8: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 0.00014586  (exact bound 2^-j = 3.906e-03)
[float B] j = 12: max |f_J^(n_j) - g_j| over 6 points on |z| = j: 1.4548e-6  (exact bound 2^-j = 2.441e-04)
ALL EXACT CHECKS PASSED
