{"id":2186,"hash":"b9b869b0ba8741e4c574ac15f8a101bee80152206a9c25b6bab4bf8b6f5e37d5","degree":636,"score":0.9785751148939918,"score_delta":1.4077627952246985e-13,"log2_m":14,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Locally optimized tensor product of the degree-12 and degree-48 record polynomials","created_at":"2026-08-26T01:23:21Z","submitter_name":"David Renshaw"}