{"id":2157,"hash":"e21a0d7f670dcdc057f90156c142d71ceead4eb02332f315a836787b95fc930b","degree":1598,"score":0.9742637105158867,"score_delta":7.438494264988549e-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-122 record polynomial","created_at":"2026-08-26T00:52:49Z","submitter_name":"David Renshaw"}