{"id":2159,"hash":"9bf5fcc9c1a87aeceae3cd591bad489488ba9a4d130465890ac96535db2a194d","degree":1624,"score":0.9760962070481636,"score_delta":4.218847493575595e-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-124 record polynomial","created_at":"2026-08-26T00:52:51Z","submitter_name":"David Renshaw"}