{"id":2150,"hash":"6175e5703d0ffeae31b108d3cebed4bee4847451a7a7c499f51b6e42c4273122","degree":1507,"score":0.9763861463327389,"score_delta":1.5543122344752192e-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-115 record polynomial","created_at":"2026-08-26T00:52:43Z","submitter_name":"David Renshaw"}