# vb_check J=120 seed=2 mode=adv
# degrees: 0010210202839050434313645310317373927353209383834354923490339492007192939231X331614310000311347164945421903484X124014463
[A] n_j first 12: [2, 5, 12, 21, 35, 51, 70, 94, 1213, 1244, 116248, 116286]  n_J = 421662  #nonzero a_m = 548
[A] exact recheck (A1),(A2): bad = 0
[A] p = (1 + (0)i) z^1 : nonzero values 548, |s|<2|c| violations 0, disc hits 0
[A] p = (1/1000 + (0)i) z^1 : nonzero values 548, |s|<2|c| violations 0, disc hits 0
[A] p = (0 + (1)i) z^2 : nonzero values 548, |s|<2|c| violations 0, disc hits 0
[A] p = (3/5 + (-4/5)i) z^3 : nonzero values 548, |s|<2|c| violations 0, disc hits 0
[A] p = (1/1000000 + (0)i) z^4 : nonzero values 548, |s|<2|c| violations 0, disc hits 0
[A] p = (-2/7 + (1/7)i) z^5 : nonzero values 548, |s|<2|c| violations 0, disc hits 0
[A] Remark B2: (1+z) f_A disc hits 33, all at block starts: True
[B] n_j first 12: [3, 11, 25, 45, 72, 106, 146, 193, 5464, 5526, 432994912908, 432994912984]  n_J = 20287539047537682  #nonzero a_m = 7808
[B] exact recheck (B1),(B2): bad = 0 ; layout (L1),(L2): bad = 0
[B] p=z                            d=1 j0=6 n*=100 cand>=n*: 7900 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=1+z                          d=1 j0=8 n*=185 cand>=n*: 7882 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=1/5+z                        d=1 j0=32 n*=432994916055 cand>=n*: 7289 viol 0 disc-hits 0 | disc hits below n*: 1 (max n 2)
[B] p=1-z                          d=1 j0=8 n*=185 cand>=n*: 7882 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=z-z^2                        d=2 j0=8 n*=185 cand>=n*: 7995 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=1/3+2z                       d=1 j0=26 n*=432994914821 cand>=n*: 7487 viol 0 disc-hits 0 | disc hits below n*: 1 (max n 2)
[B] p=2+z^3                        d=3 j0=10 n*=5516 cand>=n*: 8081 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=i+(1+i)z^2-z^4               d=4 j0=11 n*=432994912897 cand>=n*: 8175 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=(2-i)-3z+z^2/2+(1+2i)z^3     d=3 j0=40 n*=432994918132 cand>=n*: 7112 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=(-1+i)/7 z^2+3/11 z          d=2 j0=25 n*=432994914642 cand>=n*: 7615 viol 0 disc-hits 0 | disc hits below n*: 1 (max n 3)
[B] p=1+z/10                       d=1 j0=62 n*=179667022899820 cand>=n*: 5698 viol 0 disc-hits 0 | disc hits below n*: 2 (max n 4)
[B] p=-1+(1/4)z^4                  d=4 j0=26 n*=432994914821 cand>=n*: 7772 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand0(deg 4)                 d=4 j0=28 n*=432994915202 cand>=n*: 7705 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand1(deg 1)                 d=1 j0=11 n*=432994912897 cand>=n*: 7845 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand2(deg 2)                 d=2 j0=18 n*=432994913590 cand>=n*: 7807 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand3(deg 4)                 d=4 j0=28 n*=432994915202 cand>=n*: 7705 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand4(deg 2)                 d=2 j0=12 n*=432994912972 cand>=n*: 7933 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand5(deg 3)                 d=3 j0=28 n*=432994915202 cand>=n*: 7612 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[A] approximation: max_j (U_j + 2^-(j+5)) / 2^-j = 3.958e-01 over j=1..60
[B] approximation: max_j (U_j + 2^-(j+5)) / 2^-j = 1.002e-01 over j=1..60
# time 7.5 s
RESULT: ALL CHECKS PASSED
