{"id":2147,"hash":"e4879cc42b27700718d5064768d0f91d5e92d6fb3aa40bac0184d9c8391b86cc","degree":1416,"score":0.9791505979814669,"score_delta":7.304157279008905e-13,"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-108 record polynomials","created_at":"2026-08-26T00:46:04Z","submitter_name":"David Renshaw"}