{"id":2166,"hash":"1f4ef77bc3f34b768aa42b5b9dc2a8a73935029584d4bcc1a6f14372d7173249","degree":1715,"score":0.9775341568989535,"score_delta":1.0325074129013956e-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-131 record polynomial","created_at":"2026-08-26T00:52:55Z","submitter_name":"David Renshaw"}