# vb_check J=120 seed=1 mode=plain
# degrees: 001021021324234143434041002403201200220042320140214144304300110313042143302414040242134314004222440244043424230131001344
[A] n_j first 12: [2, 5, 12, 21, 35, 51, 70, 94, 121, 153, 188, 228]  n_J = 23945  #nonzero a_m = 361
[A] exact recheck (A1),(A2): bad = 0
[A] p = (1 + (0)i) z^1 : nonzero values 361, |s|<2|c| violations 0, disc hits 0
[A] p = (1/1000 + (0)i) z^1 : nonzero values 361, |s|<2|c| violations 0, disc hits 0
[A] p = (0 + (1)i) z^2 : nonzero values 361, |s|<2|c| violations 0, disc hits 0
[A] p = (3/5 + (-4/5)i) z^3 : nonzero values 361, |s|<2|c| violations 0, disc hits 0
[A] p = (1/1000000 + (0)i) z^4 : nonzero values 361, |s|<2|c| violations 0, disc hits 0
[A] p = (-2/7 + (1/7)i) z^5 : nonzero values 361, |s|<2|c| violations 0, disc hits 0
[A] Remark B2: (1+z) f_A disc hits 22, all at block starts: True
[B] n_j first 12: [3, 11, 25, 45, 72, 106, 146, 193, 247, 309, 378, 1439]  n_J = 91410  #nonzero a_m = 7621
[B] exact recheck (B1),(B2): bad = 0 ; layout (L1),(L2): bad = 0
[B] p=z                            d=1 j0=6 n*=100 cand>=n*: 7713 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=1+z                          d=1 j0=8 n*=185 cand>=n*: 7695 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=1/5+z                        d=1 j0=32 n*=11394 cand>=n*: 7123 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*: 7695 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*: 7808 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=1/3+2z                       d=1 j0=26 n*=10170 cand>=n*: 7317 viol 0 disc-hits 0 | disc hits below n*: 1 (max n 2)
[B] p=2+z^3                        d=3 j0=10 n*=299 cand>=n*: 7893 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*=367 cand>=n*: 7986 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*=13450 cand>=n*: 6978 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*=9993 cand>=n*: 7440 viol 0 disc-hits 0 | disc hits below n*: 1 (max n 3)
[B] p=1+z/10                       d=1 j0=62 n*=21682 cand>=n*: 5618 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*=10170 cand>=n*: 7602 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand0(deg 2)                 d=2 j0=18 n*=3719 cand>=n*: 7627 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand1(deg 4)                 d=4 j0=30 n*=10957 cand>=n*: 7466 viol 0 disc-hits 0 | disc hits below n*: 1 (max n 2)
[B] p=rand2(deg 4)                 d=4 j0=16 n*=1798 cand>=n*: 7881 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand3(deg 3)                 d=3 j0=75 n*=28349 cand>=n*: 4775 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand4(deg 3)                 d=3 j0=46 n*=15319 cand>=n*: 6688 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[B] p=rand5(deg 3)                 d=3 j0=17 n*=3601 cand>=n*: 7755 viol 0 disc-hits 0 | disc hits below n*: 0 (max n -)
[A] approximation: max_j (U_j + 2^-(j+5)) / 2^-j = 5.265e-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.0 s
RESULT: ALL CHECKS PASSED
