{"id":2146,"hash":"045c5c2a4b1adf69d48cc7cb717ff48b3684dc541481028986343b979c70c6e8","degree":1338,"score":0.9794969714419131,"score_delta":1.587618925213974e-14,"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-102 record polynomials","created_at":"2026-08-26T00:23:55Z","submitter_name":"David Renshaw"}