{"id":2180,"hash":"95001018a6a269ab106c69484e9c8d663105af5182c0b095e96557fbc2e3b703","degree":1234,"score":0.9787100355060051,"score_delta":5.329070518200751e-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-94 record polynomials","created_at":"2026-08-26T01:13:16Z","submitter_name":"David Renshaw"}