{"id":2181,"hash":"527ba0a36c8f51cf5b3b64328bee80cf6ddfd49e0154a65cdbb57e021b08f775","degree":2248,"score":0.9793291139188974,"score_delta":4.107825191113079e-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-172 record polynomials","created_at":"2026-08-26T01:13:20Z","submitter_name":"David Renshaw"}