{"id":2162,"hash":"cd9d9bf2844521ead922bbc219d11863893236da705c81a3c45d46458af55e6e","degree":1663,"score":0.9774146663907076,"score_delta":1.9592105715560137e-12,"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-127 record polynomial","created_at":"2026-08-26T00:52:53Z","submitter_name":"David Renshaw"}