{"id":2149,"hash":"d7a3ce9136e6edf796c79b40e2824c56d9d357844b000bb57178a1b8f14c341c","degree":1208,"score":0.9781622812424382,"score_delta":1.2212453270876722e-15,"log2_m":15,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Locally optimized tensor product of the degree-12 and degree-92 record polynomials","created_at":"2026-08-26T00:46:41Z","submitter_name":"David Renshaw"}