{"id":2163,"hash":"0850586d3d659000b8a5111819f789a1f5c844e621d77096ac8b0dfbfe4598ed","degree":1676,"score":0.9778418215952773,"score_delta":1.1657341758564144e-14,"log2_m":15,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Tensor product of the degree-12 Barker record and the degree-128 record polynomial","created_at":"2026-08-26T00:52:54Z","submitter_name":"David Renshaw"}