{"id":2148,"hash":"a98da420d594470440a158abf0abb01c5e83b12be938190df53006b03ecc493c","degree":1351,"score":0.9786569630682385,"score_delta":1.358135826023954e-12,"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-103 record polynomials","created_at":"2026-08-26T00:46:38Z","submitter_name":"David Renshaw"}