check G = conj F at x=1.3: [+/- 1.16e-37] + [+/- 9.67e-38]j
T_z f(0) = [1.0003018085241240585326071847633716023 +/- 7.68e-38] + [0.0078899331127799214875529404691633871 +/- 7.94e-38]j
  integral over [-12,-6] = [0.00881982202167484936 +/- 6.38e-21] + [+/- 2.02e-21]j
  integral over [-6,-3] = [0.00303678971703805741506 +/- 2.28e-24] + [+/- 2.05e-24]j
  integral over [-3,0] = [0.490094968453514570 +/- 3.86e-19] + [+/- 2.25e-19]j
  integral over [0,3] = [0.490094968453514570 +/- 3.86e-19] + [+/- 2.25e-19]j
  integral over [3,6] = [0.00303678971703805741506 +/- 2.28e-24] + [+/- 2.05e-24]j
  integral over [6,12] = [0.00881982202167484936 +/- 6.38e-21] + [+/- 2.02e-21]j
E = C^2/A - A + 1 = [0.235932782110588324719610298656703634 +/- 2.09e-37]  (need < 1/4)
tail bound = [0.024480588454146757543666722579797480 +/- 8.22e-37]
E|T_z f|^4 over [-12,12] = [1.003903160384454954 +/- 5.89e-19] + [+/- 4.53e-19]j
CERTIFIED: E|T_z f|^4 >=  [1.0039031603844549534115864223884166263 +/- 6.83e-39]   > 1: True
CERTIFIED: ||T_z f||_4 >=  [1.0009743650898460687235325018310963020 +/- 3.92e-38]  = exp( [0.00097389070430671126631656689697743586988 +/- 2.48e-42] )
(finiteness, Schur bound E<1/4): E|T_z f|^4 <=  [1.0283837488386017118606656434984544169 +/- 4.02e-38]
Schur condition 4E < 1: [0.943731128442353298878441194626814537 +/- 5.79e-37] True
non-degeneracy (p=16.000000000000000000000000000000000000): 1/q+a = [0.0846683347584449722284338403555565127 +/- 5.75e-38]  det-type quantity (1/q+a)(1-1/p+a)-C^2 = [0.0064496904080366391636209056288494122 +/- 8.92e-38] >0: True
non-degeneracy (p=1000000.0000000000000000000000000000000): 1/q+a = [0.0846683347584449722284338403555565127 +/- 5.75e-38]  det-type quantity (1/q+a)(1-1/p+a)-C^2 = [0.0117413766621046914829257922172313386 +/- 7.63e-38] >0: True
