{"id":2184,"hash":"c59962f4800f5307f3ae3b00037d153526059a75ffa641945c08ba20f6320681","degree":1832,"score":0.979133818993632,"score_delta":1.7763568394002505e-15,"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-140 record polynomials","created_at":"2026-08-26T01:15:12Z","submitter_name":"David Renshaw"}