{ "polynomial_degree": 33, "positive_coefficients": [ 0, 1, 2 ], "negative_coefficients": [ 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33 ], "maximum_point_bracket": [ "378667493/500000000", "757334987/1000000000" ], "refined_bracket": [ "457780909740984031378244106494583/604462909807314587353088000000000", "915561819481968062756488212989167/1208925819614629174706176000000000" ], "phase_interval": "[-18.8351123668081936003718677400690 +/- 7.31e-32]", "maximum_upper": "-18835112315041/1000000000000", "simplified_cleared_exponent": "[-0.2327922916008203587415181781273514788674979845961711881897998575990956704545792659120500950537196868699777846914397139947171964636280416445099387254739 +/- 4.59e-152]", "full_certificate_cleared_exponent": "[-0.3298178140528555490509126132736 +/- 8.83e-32]", "tail_slope": "-383/64" }