{"id":2152,"hash":"0186fe85823565169d9b4577293b712ae3a5c70dd8d958c932a12b98778b1b40","degree":1533,"score":0.9768440261568713,"score_delta":2.4424906541753444e-15,"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-117 record polynomial","created_at":"2026-08-26T00:52:45Z","submitter_name":"David Renshaw"}