[Lemma 1] (pf)^(n)(0) = sum_i c_i n^(i) a_{n-i} verified symbolically with sympy (4 random p, n <= 9): PASS
[A] J = 120, prefix = True; degrees of g_1..g_20: [0, 1, 2, 3, 6, 5, 4, 7, 1, 0, 3, 4, 1, 2, 0, 5, 0, 0, 0, 0]; n_j first 12: [40, 46, 57, 74, 96, 124, 157, 196, 240, 289, 1680, 1740]; n_J = 40252
[Thm A step 4] n*a_(n-1) in {0} u {|w|>=2} for every n <= 40253: PASS  (164 non-zero entries; min |n a_(n-1)|^2 over them = 4.0191)
[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
[Rem A'] p = (-1/50+0i)z^1: values in {0} u {|w| >= 2|c|}: PASS
[Rem A'] p = (1/1000+1/1000i)z^8: values in {0} u {|w| >= 2|c|}: PASS
[Rem B2] f_A, p = 1+z: 118 values n with |s_n - 1| < 1; all at block starts n_j: True; number of block starts that violate: 118 of 120
[B] J = 200, prefix = True; degrees of g_1..g_20: [0, 1, 2, 3, 6, 5, 4, 7, 1, 0, 3, 4, 1, 2, 0, 5, 0, 0, 0, 0]; n_j first 12: [21, 32, 603, 627, 1355, 1398, 1448, 40328, 40387, 40454, 40529, 40614]; n_J = 241105; non-zero entries: 20344
[Thm B] p = (1+0i)z^1 p = z: d = 1, j_0' = 6, n_* = 1392; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (1+0i)z^0 + (1+0i)z^1 1+z: d = 1, j_0' = 8, n_* = 40320; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (1/5+0i)z^0 + (1+0i)z^1 1/5+z: d = 1, j_0' = 32, n_* = 44095; violations at n >= n_*: 0 -> PASS; violations below n_*: 2 (last at n = 22, zone 1)
[Thm B] p = (1+0i)z^0 + (-1+0i)z^1 + (1+0i)z^2 1-z+z^2: d = 2, j_0' = 10, n_* = 40444; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (2+0i)z^0 + (1+0i)z^3 2+z^3: d = 3, j_0' = 10, n_* = 40444; violations at n >= n_*: 0 -> PASS; violations below n_*: 2 (last at n = 32, zone 2)
[Thm B] p = (0+1i)z^0 + (1+1i)z^2 + (-1+0i)z^4 i+(1+i)z^2-z^4: d = 4, j_0' = 12, n_* = 40602; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 21, zone 1)
[Thm B] p = (1/3+0i)z^0 + (2+0i)z^1 1/3+2z: d = 1, j_0' = 26, n_* = 42668; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 20, zone 1)
[Thm B] p = (1+0i)z^0 + (0+1/2i)z^1 + (1/4+0i)z^5 1+(i/2)z+z^5/4: d = 5, j_0' = 30, n_* = 43582; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (1/50+0i)z^1: j_0' = 202 > J = 200: cannot test the Claim (threshold beyond the built zones)
[Thm B] p = (1/4+0i)z^0 + (-1+0i)z^1 + (1+0i)z^2 (z-1/2)^2: d = 2, j_0' = 34, n_* = 44646; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 20, zone 1)
[Thm B] p = (3+0i)z^0 + (3+0i)z^1 + (3+0i)z^2 + (3+0i)z^3 + (3+0i)z^4 + (3+0i)z^5 + (3+0i)z^6 + (3+0i)z^7 + (3+0i)z^8 3(1+z+...+z^8), d = 8: d = 8, j_0' = 20, n_* = 41576; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (1+0i)z^0 + (1+0i)z^2 1+z^2 (c_1 = 0): d = 2, j_0' = 8, n_* = 40320; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 21, zone 1)
[Thm B] p = (1+0i)z^1 + (1+0i)z^2 z+z^2 (c_0 = 0): d = 2, j_0' = 8, n_* = 40320; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (7+0i)z^0 + (1/7+0i)z^1 7+z/7 (small leading coefficient): d = 1, j_0' = 128, n_* = 117503; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (1/40+0i)z^0 + (1+0i)z^1: j_0' = 242 > J = 200: cannot test the Claim (threshold beyond the built zones)
[Thm B] p = (1+1i)z^0 + (-1+1i)z^1 + (0-1/3i)z^2 + (2/5+3/5i)z^3 complex cubic: d = 3, j_0' = 44, n_* = 47982; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-1+0i)z^0 + (1+0i)z^1 z-1: d = 1, j_0' = 8, n_* = 40320; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (1+0i)z^0 + (-2+0i)z^1 + (1+0i)z^2 (z-1)^2: d = 2, j_0' = 12, n_* = 40602; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (1/10+0i)z^0 + (1/10+0i)z^1 + (1/10+0i)z^2 + (1/10+0i)z^3 + (1/10+0i)z^4 + (1/10+0i)z^5 + (1/10+0i)z^6 all 1/10, d = 6: d = 6, j_0' = 54, n_* = 52312; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 20, zone 1)
[Thm B] p = (2/3+3i)z^0 + (0-4i)z^1 + (-3/2+3i)z^2 + (-6+0i)z^3 + (2-4i)z^5 random #0: d = 5, j_0' = 18, n_* = 41282; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-1/3-5/2i)z^0 + (4+1i)z^1 + (-1/4-2i)z^2 + (2-2i)z^3 + (3/4+5i)z^5 + (6-3/2i)z^6 random #1: d = 6, j_0' = 30, n_* = 43582; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (4/3+3/2i)z^0 + (-1/4+0i)z^3 random #2: d = 3, j_0' = 41, n_* = 46879; violations at n >= n_*: 0 -> PASS; violations below n_*: 2 (last at n = 32, zone 2)
[Thm B] p = (1+1/4i)z^0 + (1-4/3i)z^1 random #3: d = 1, j_0' = 12, n_* = 40602; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (5/2+2i)z^0 + (-4/3+1i)z^2 random #4: d = 2, j_0' = 14, n_* = 40794; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 21, zone 1)
[Thm B] p = (0+6i)z^0 + (2/3-6i)z^1 + (4/3-1i)z^3 + (3/4+1/2i)z^4 + (-5/4+3i)z^5 random #5: d = 5, j_0' = 60, n_* = 55400; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-5/2-1i)z^1 + (0-2i)z^3 + (5/3+0i)z^4 random #6: d = 4, j_0' = 11, n_* = 40518; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (1/3+6i)z^0 + (4-5/2i)z^1 random #7: d = 1, j_0' = 8, n_* = 40320; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (3-2i)z^0 + (-3/2+3/4i)z^1 + (6-5i)z^2 random #8: d = 2, j_0' = 27, n_* = 42883; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-2+2i)z^0 + (-5/2-5i)z^1 + (1/2+1i)z^2 + (4/3+2i)z^3 + (1/2-4i)z^4 random #9: d = 4, j_0' = 46, n_* = 48767; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-1-5/2i)z^0 + (-5/3+0i)z^2 + (5/2-1i)z^3 + (1+4i)z^4 + (-1-1i)z^6 random #10: d = 6, j_0' = 36, n_* = 45236; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 21, zone 1)
[Thm B] p = (-5+3i)z^1 random #11: d = 1, j_0' = 4, n_* = 623; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-3/2+1/2i)z^0 + (-5+4/3i)z^1 + (-5/2+0i)z^2 random #12: d = 2, j_0' = 18, n_* = 41282; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (1-2i)z^0 + (0+1i)z^1 + (-1/2+3/2i)z^2 + (3/2+2i)z^3 random #13: d = 3, j_0' = 23, n_* = 42082; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (5/2+4/3i)z^0 + (-5/2+2i)z^1 + (3/4+0i)z^2 random #14: d = 2, j_0' = 30, n_* = 43582; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-2/3-3/2i)z^1 + (5/3+3/2i)z^2 + (5/3+2i)z^4 random #15: d = 4, j_0' = 15, n_* = 40901; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-5+2i)z^0 + (-1/4+1i)z^2 + (0-1i)z^4 + (-1/3+1i)z^5 random #16: d = 5, j_0' = 26, n_* = 42668; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 21, zone 1)
[Thm B] p = (1/3+2/3i)z^2 + (5/3-1/2i)z^3 + (2+1/4i)z^4 random #17: d = 4, j_0' = 23, n_* = 42082; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (0-3/2i)z^0 + (2-3/2i)z^1 + (0+3/2i)z^3 + (5-1i)z^4 + (-2+3/2i)z^5 random #18: d = 5, j_0' = 24, n_* = 42268; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (-2-5/2i)z^0 + (1+1/3i)z^1 random #19: d = 1, j_0' = 16, n_* = 41024; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (1/2+1i)z^1 random #20: d = 1, j_0' = 7, n_* = 1441; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (5/4+3/4i)z^0 + (-4+5/4i)z^1 + (2+1i)z^3 random #21: d = 3, j_0' = 20, n_* = 41576; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] p = (3+3i)z^0 + (4/3+1i)z^1 random #22: d = 1, j_0' = 16, n_* = 41024; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (-5/2-1i)z^0 + (-1-1i)z^1 + (-5+4i)z^3 + (2+1/2i)z^4 + (-3-5/3i)z^5 random #23: d = 5, j_0' = 48, n_* = 49593; violations at n >= n_*: 0 -> PASS; violations below n_*: 1 (last at n = 22, zone 1)
[Thm B] p = (1-4i)z^0 + (5/2-6i)z^1 + (0-3i)z^2 + (-3-3/2i)z^3 + (2+1/3i)z^4 + (1+0i)z^5 + (0+3i)z^6 random #24: d = 6, j_0' = 59, n_* = 54859; violations at n >= n_*: 0 -> PASS; violations below n_*: 0 (last at n = None, zone None)
[Thm B] random polynomials tested: 25
[tails A] sum_(i>j) T_i <= 2^-j for 1 <= j < 60: PASS (max of 2^j * sum = 1.729e-02)
[tails B] sum_(i>j) T_i <= 2^-j for 1 <= j < 60: PASS (max of 2^j * sum = 8.936e-04)
[actual tail, exact, |a| upper bounds, zones <= 40] j = 1: A: 8.598e-04, B: 9.040e-05  (bound 2^-j = 5.000e-01)
[actual tail, exact, |a| upper bounds, zones <= 40] j = 2: A: 5.402e-04, B: 0.000e+00  (bound 2^-j = 2.500e-01)
[actual tail, exact, |a| upper bounds, zones <= 40] j = 3: A: 1.531e-07, B: 1.195e-05  (bound 2^-j = 1.250e-01)
[actual tail, exact, |a| upper bounds, zones <= 40] j = 4: A: 9.141e-09, B: 0.000e+00  (bound 2^-j = 6.250e-02)
[actual tail, exact, |a| upper bounds, zones <= 40] j = 6: A: 1.415e-11, B: 2.442e-10  (bound 2^-j = 1.562e-02)
[float A] j = 1: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 0.0008557  (bound 2^-j = 5.00e-01)
[float A] j = 2: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 0.0005383  (bound 2^-j = 2.50e-01)
[float A] j = 3: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 1.11e-7  (bound 2^-j = 1.25e-01)
[float A] j = 5: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 3.875e-11  (bound 2^-j = 3.12e-02)
[float A] j = 8: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 2.301e-15  (bound 2^-j = 3.91e-03)
[float A] j = 12: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 9.35e-22  (bound 2^-j = 2.44e-04)
[float B] j = 1: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 9.036e-5  (bound 2^-j = 5.00e-01)
[float B] j = 2: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 0.0  (bound 2^-j = 2.50e-01)
[float B] j = 3: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 1.195e-5  (bound 2^-j = 1.25e-01)
[float B] j = 5: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 4.787e-10  (bound 2^-j = 3.12e-02)
[float B] j = 8: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 9.389e-9  (bound 2^-j = 3.91e-03)
[float B] j = 12: max |f^(n_j) - g_j| at 8 points of |z| = j (zones <= 60): 2.259e-14  (bound 2^-j = 2.44e-04)
elapsed 770.1 s
ALL CHECKS PASSED
nice -n 10 ~/.cache/openmathproblems-audit/venv/bin/python -I vA_check.py 120  767.13s user 1.62s system 99% cpu 12:50.19 total
