files / problems / riemann-hypothesis / compute / q2 / certificate / analytic-summary.json
{
"prisms": 883,
"recomputed_margin_lower": "9877147997663578324352968163450789/19000000000000000000000000000000000",
"maximum_winding_absolute": "454000000330872245021211/200000000000000000000000000000000000000",
"regenerated_coefficient_components": 7688,
"target": "893927/5000000",
"prior_record": "1/5",
"published_height": 3000175332800,
"height_surplus": "350479773/2"
}