{"id":2167,"hash":"4dca36fa9e9e7bc6a412828811c155e2eed206fb372a657b8d37b86eb930afb2","degree":1728,"score":0.9777374782124815,"score_delta":1.7075230118734908e-13,"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-132 record polynomial","created_at":"2026-08-26T00:52:56Z","submitter_name":"David Renshaw"}