[FRAC] control 1: row 4 data at p = 12.006: p=12006/1000=12.006, a=171/221 (s=140/221), r=1/2, case B, z_-=-9/19, e(0)=361/442
       h=['1', '699/2500', '-77/2500', '11/2000', '9/5000'], R=1, eta=0.3177, N=70
       Le=88001829363/1000000000000 <= e(0)^p ~ 0.088001829365096  (exact check Le^Q <= e0^P passed)
       lower bound of M_p(r,g')^p ~ 1.766115074256
       upper bound of M_p(r,f')^p ~ 1.766133131992   (tail bound 8.636e-42)
       ratio lower bound ~ 0.9999897756   CERTIFIED VIOLATION: False   (0.1s)
[EVEN] control 2: f = z, p = 14, a = 23/100, r = 1/2: p=14, a=23/100, r=1/2 (~0.500000), h=['1'], N=160
       lower bound of M_p(r,g')^p (partial Parseval sum) ~ 0.981144380790
       exact M_p(r,f')^p                                ~ 1.000000000000
       ratio lower bound ~ 0.9811443808   CERTIFIED VIOLATION: False   (0.0s)
[EVEN] control 3: row 5 data at r = 0.4920: p=14, a=823/1000, r=123/250 (~0.492000), h=['1', '139/500'], N=120
       lower bound of M_p(r,g')^p (partial Parseval sum) ~ 2.071334624762
       exact M_p(r,f')^p                                ~ 2.079187369184
       ratio lower bound ~ 0.9962231665   CERTIFIED VIOLATION: False   (0.0s)
[EVEN] control 4: phi = z^2, f = z, p = 16, r = 1/2: p=16, a=0, r=1/2 (~0.500000), h=['1'], N=40
       lower bound of M_p(r,g')^p (partial Parseval sum) ~ 1.000000000000
       exact M_p(r,f')^p                                ~ 1.000000000000
       ratio lower bound ~ 1.0000000000   CERTIFIED VIOLATION: False   (0.0s)
[EVEN] control 5: phi = z^2, f = z, p = 16, r = 51/100: p=16, a=0, r=51/100 (~0.510000), h=['1'], N=40
       lower bound of M_p(r,g')^p (partial Parseval sum) ~ 1.372785705091
       exact M_p(r,f')^p                                ~ 1.000000000000
       ratio lower bound ~ 1.3727857051   CERTIFIED VIOLATION: True   (0.0s)
returned: [False, False, False, False, True]  expected: [False, False, False, False, True]
NEGATIVE CONTROL PASSED
