{"id":2153,"hash":"df4cb38096ec758c9ff2774aed6e004b4a5d21d761a6721e2db22fbf945087df","degree":1546,"score":0.9767882072875004,"score_delta":1.2878587085651816e-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-118 record polynomial","created_at":"2026-08-26T00:52:45Z","submitter_name":"David Renshaw"}