{"id":2183,"hash":"40e7b96d74092c11cd65acceaaf6ee71060a62d81a0b24d9db3bc058f1c1fa59","degree":2235,"score":0.9796975759661762,"score_delta":2.375877272697835e-14,"log2_m":16,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Locally optimized tensor product of the degree-12 and degree-171 record polynomials","created_at":"2026-08-26T01:15:09Z","submitter_name":"David Renshaw"}